projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80a764b) | patch
[Analyzer][Z3] Test fixes for Z3 constraint manager
authorVlad Tsyrklevich <vlad@tsyrklevich.net>
Wed, 6 Jun 2018 06:25:51 +0000 (06:25 +0000)
committerVlad Tsyrklevich <vlad@tsyrklevich.net>
Wed, 6 Jun 2018 06:25:51 +0000 (06:25 +0000)
commita7d25d5934409cdf5ef00b10cb3216bc338a88e2
tree94abd0d71627a92f0771595127dd7ab6794303abtree | snapshot
parent80a764bab17cf984db298078ba9010a553a15335commit | diff
[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
clang/test/Analysis/PR24184.cpp diff | blob | history
clang/test/Analysis/constant-folding.c diff | blob | history
clang/test/Analysis/loop-unrolling.cpp diff | blob | history
clang/test/Analysis/z3/enabled.c [new file with mode: 0644] blob
Domain: System / Toolchain;