tree a9d8a81f6b8b6dd3363fbec07e70b5ee7175c2bc
parent 0073a5c7ce38e98365c00921316030627b3d129f
author Jordan Rose <jordan_rose@apple.com> 1348599789 +0000
committer Jordan Rose <jordan_rose@apple.com> 1348599789 +0000

[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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164623 91177308-0d34-0410-b5e6-96231b3b80d8