]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31c215e) | patch
Fix false positive null dereference by unifying code paths in GRSimpleVals for
authorTed Kremenek <kremenek@apple.com>
Mon, 4 May 2009 17:53:11 +0000 (17:53 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 4 May 2009 17:53:11 +0000 (17:53 +0000)
commit65d80fd4acfe65400b7ad594042adc08e972c405
tree858978d15971ad3e1594033e627f7ed069e76cdftree | snapshot
parent31c215e62031b14e85c2f695c261817c044b465bcommit | diff
Fix false positive null dereference by unifying code paths in GRSimpleVals for
'==' and '!=' (some code in the '!=' was not replicated in the '==' code,
causing some constraints to get lost).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70885 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/GRSimpleVals.cpp diff | blob | history
lib/Analysis/GRSimpleVals.h diff | blob | history
test/Analysis/null-deref-ps.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.