]> granicus.if.org Git - clang/commit
Revert "[analyzer] Treat all struct values as regions (even rvalues)."
authorJordan Rose <jordan_rose@apple.com>
Wed, 5 Sep 2012 17:11:15 +0000 (17:11 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 5 Sep 2012 17:11:15 +0000 (17:11 +0000)
commitfd11957f02da689480618d5fc642ef14164e9cdc
treecaf99cc93fa3809106e055ec603a91b8ea0a249a
parenta78d0d6203a990b88c9c3e4c4f2a277001e8bd46
Revert "[analyzer] Treat all struct values as regions (even rvalues)."

This turned out to have many implications, but what eventually seemed to
make it unworkable was the fact that we can get struct values (as
LazyCompoundVals) from other places besides return-by-value function calls;
that is, we weren't actually able to "treat all struct values as regions"
consistently across the entire analyzer core.

Hopefully we'll be able to come up with an alternate solution soon.

This reverts r163066 / 02df4f0aef142f00d4637cd851e54da2a123ca8e.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163218 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h
include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h
lib/StaticAnalyzer/Core/RegionStore.cpp
lib/StaticAnalyzer/Core/SymbolManager.cpp
test/Analysis/array-struct-region.cpp [deleted file]
test/Analysis/reference.cpp