]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4872762) | patch
[analyzer] Don't create new PostStmt nodes if we don't have to.
authorJordan Rose <jordan_rose@apple.com>
Wed, 18 Jun 2014 19:23:30 +0000 (19:23 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 18 Jun 2014 19:23:30 +0000 (19:23 +0000)
commit0674b813aa85ee53ab5ece6efd7f982aa04652d9
treed0b308b488f242a829ed0382a34b58a27dd1e930tree | snapshot
parent487276293aeaf5919fba290bfa7979e0bb1fa5becommit | diff
[analyzer] Don't create new PostStmt nodes if we don't have to.

Doing this caused us to mistakenly think we'd seen a particular state before
when we actually hadn't, which resulted in false negatives. Credit to
Rafael Auler for discovering this issue!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@211209 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/CoreEngine.cpp diff | blob | history
test/Analysis/retain-release-cache-out.m [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.