diff options
| author | Vlad Tsyrklevich <vlad@tsyrklevich.net> | 2018-06-06 06:25:51 +0000 |
|---|---|---|
| committer | Vlad Tsyrklevich <vlad@tsyrklevich.net> | 2018-06-06 06:25:51 +0000 |
| commit | a7d25d5934409cdf5ef00b10cb3216bc338a88e2 (patch) | |
| tree | 94abd0d71627a92f0771595127dd7ab6794303ab /clang/test/Analysis/PR24184.cpp | |
| parent | 80a764bab17cf984db298078ba9010a553a15335 (diff) | |
| download | bcm5719-llvm-a7d25d5934409cdf5ef00b10cb3216bc338a88e2.tar.gz bcm5719-llvm-a7d25d5934409cdf5ef00b10cb3216bc338a88e2.zip | |
[Analyzer][Z3] Test fixes for Z3 constraint manager
Summary:
Since Z3 tests have been not been running [1] some tests needed to be
updated. I also added a regression test for [1].
[1] https://reviews.llvm.org/D47722
Reviewers: george.karpenkov, NoQ, ddcc
Reviewed By: george.karpenkov
Subscribers: mikhail.ramalho, dcoughlin, xazax.hun, szepet, zzheng, a.sidorin, cfe-commits
Differential Revision: https://reviews.llvm.org/D47726
llvm-svn: 334067
Diffstat (limited to 'clang/test/Analysis/PR24184.cpp')
| -rw-r--r-- | clang/test/Analysis/PR24184.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/test/Analysis/PR24184.cpp b/clang/test/Analysis/PR24184.cpp index 1280334d4d6..bfc5ae6ea56 100644 --- a/clang/test/Analysis/PR24184.cpp +++ b/clang/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 |
