]> granicus.if.org Git - clang/commit
[analyzer] Remove the "direct bindings only" Environment lookup.
authorJordan Rose <jordan_rose@apple.com>
Sat, 13 Oct 2012 05:05:20 +0000 (05:05 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sat, 13 Oct 2012 05:05:20 +0000 (05:05 +0000)
commite5a934d3c840872d58724383a83443ed38f1d831
tree7ad5f1aa2ceb21f903e8c49742695982d97605d0
parent42e95acef35f4633119be1c1381e88878c966502
[analyzer] Remove the "direct bindings only" Environment lookup.

This was only used by OSAtomicChecker and makes it more
difficult to update values for expressions that the environment
may look through instead (it's not the same as IgnoreParens).
With this gone, we can have bindExpr bind to the inner
expression that getSVal will find.

Groundwork for <rdar://problem/12137950>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@165866 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/Environment.h
include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
lib/StaticAnalyzer/Core/Environment.cpp