[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)
commit6914e2f339193cb465bd5817558beddfbe733345
tree266549e757b2ea0866e3054d7cddef42d6495f31
parentccf10727b066de682b57314ba5b6ed0fda5f236f
[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!

llvm-svn: 211209
clang/lib/StaticAnalyzer/Core/CoreEngine.cpp
clang/test/Analysis/retain-release-cache-out.m [new file with mode: 0644]