enabled.c 98 Bytes Raw Blame History Permalink 1 2 3 // REQUIRES: z3 // RUN: echo %clang_analyze_cc1 | FileCheck %s // CHECK: -analyzer-constraints=z3
