[analyzer] Create a temporary region when accessing a struct rvalue.
authorJordan Rose <jordan_rose@apple.com>
Wed, 17 Oct 2012 19:35:37 +0000 (19:35 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 17 Oct 2012 19:35:37 +0000 (19:35 +0000)
commit29fc261cd7062f5015918193c6ad0e1de3ba0732
treebb455273d5d97ac641abc9b9767618df71cd85f8
parent13ac0e253d0955248e66a2fa34064ed70e3daca1
[analyzer] Create a temporary region when accessing a struct rvalue.

In C++, rvalues that need to have their address taken (for example, to be
passed to a function by const reference) will be wrapped in a
MaterializeTemporaryExpr, which lets CodeGen know to create a temporary
region to store this value. However, MaterializeTemporaryExprs are /not/
created when a method is called on an rvalue struct, even though the 'this'
pointer needs a valid value. CodeGen works around this by creating a
temporary region anyway; now, so does the analyzer.

The analyzer also does this when accessing a field of a struct rvalue.
This is a little unfortunate, since the rest of the struct will soon be
thrown away, but it does make things consistent with the rest of the
analyzer.

This allows us to bring back the assumption that all known 'this' values
are Locs. This is a revised version of r164828-9, reverted in r164876-7.

<rdar://problem/12137950>

llvm-svn: 166120
clang/lib/StaticAnalyzer/Core/CallEvent.cpp
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
clang/test/Analysis/array-struct-region.cpp
clang/test/Analysis/fields.c
clang/test/Analysis/reference.cpp