commit | 214c6cb45d0682c67502cf4c78ae460b94fd4ed3 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Mon Mar 09 20:35:15 2009 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Mon Mar 09 20:35:15 2009 +0000 |
tree | fe9b773aedf160546f5a08f385bbbf51324ff85a | |
parent | 688a248e03f31312161db97e5e11a950b5b1369c [diff] |
Teach GRSimpleVals::EvalNE and GRSimplVals::EvalEQ about TypedRegionViews and SymbolicRegions. This fixes a serious regression when checking symbolic pointers against null. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66444 91177308-0d34-0410-b5e6-96231b3b80d8