Go to file
Jordan Rose 902f02db72 [analyzer] Add tests for symbolic expression liveness.
There are very few tests here because SValBuilder is fairly aggressive
about not building SymExprs that we can't evaluate, which saves memory
and CPU but also makes it very much tied to the current constraint
manager. We should probably scale back here and let things decay to
UnknownVal later on.

bitwise-ops.c tests that for the SymExprs we do create, we persist our
assumptions about them. traversal-path-unification.c tests that we do
clean out constraints on arbitrary SymExprs once they have actually died.

llvm-svn: 164623
2012-09-25 19:03:09 +00:00
clang [analyzer] Add tests for symbolic expression liveness. 2012-09-25 19:03:09 +00:00
clang-tools-extra Fix typo in a comment in lit.cfg 2012-09-12 16:29:37 +00:00
compiler-rt [TSan] fork external symbolizer before starting internal threads 2012-09-25 12:35:47 +00:00
debuginfo-tests Fix this for gdb 7.4. 2012-07-23 19:41:58 +00:00
libclc Add barrier.cl to SOURCES, spotted by Jin Wang. 2012-09-05 18:13:55 +00:00
libcxx Apply the emulated nullptr_t with constexpr. This is an unusual configuration that would take advantage of this. But it has popped up in the wild and does no harm to support it. 2012-09-24 23:36:40 +00:00
libcxxabi Updating email address 2012-09-24 14:27:24 +00:00
lld This patch makes use of recently added relocation reference data. The bulk 2012-09-25 18:22:09 +00:00
lldb Added process attach options and also use the SBLaunchInfo and SBAttachInfo. 2012-09-25 18:27:12 +00:00
llvm Make this test check the transforms it's actually doing. Also add a test that it 2012-09-25 18:17:38 +00:00
polly Bailout if libpluto finds no schedule 2012-09-21 16:24:13 +00:00