diff options
Diffstat (limited to 'test/Analysis/PR24184.cpp')
| -rw-r--r-- | test/Analysis/PR24184.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/Analysis/PR24184.cpp b/test/Analysis/PR24184.cpp index 1280334d4d6a..bfc5ae6ea56b 100644 --- a/test/Analysis/PR24184.cpp +++ b/test/Analysis/PR24184.cpp @@ -1,3 +1,4 @@ +// UNSUPPORTED: z3 // RUN: %clang_analyze_cc1 -w -analyzer-eagerly-assume -fcxx-exceptions -analyzer-checker=core -analyzer-checker=alpha.core.PointerArithm,alpha.core.CastToStruct -analyzer-max-loop 64 -verify %s // RUN: %clang_analyze_cc1 -w -analyzer-checker=core -analyzer-checker=cplusplus -fcxx-exceptions -analyzer-checker alpha.core.PointerArithm,alpha.core.CastToStruct -analyzer-max-loop 63 -verify %s |