?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / clang / test / Analysis / z3 / enabled.c
blob9f44233b266c0891fbdf7f66ff040bed0f5c47e3
1 // REQUIRES: z3
2 // RUN: echo %clang_analyze_cc1 | FileCheck %s
3 // CHECK: -analyzer-constraints=z3
LLVM monorepo