]> granicus.if.org Git - clang/commit
Provide stop-gap solution to crash reported in PR 14436.
authorTed Kremenek <kremenek@apple.com>
Tue, 27 Nov 2012 23:05:37 +0000 (23:05 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 27 Nov 2012 23:05:37 +0000 (23:05 +0000)
commitbd8a11e224c3ec6cbc4bb9b1fc70a8aa3a633e43
tree3484cd2b37b3b5ca9436253cf3f352a6f62325dc
parent82c458ea76bf8f0981e3d1b5070c0b0e5878d784
Provide stop-gap solution to crash reported in PR 14436.

This was also covered by <rdar://problem/12753384>.  The static analyzer
evaluates a CXXConstructExpr within an initializer expression and
RegionStore doesn't know how to handle the resulting CXXTempObjectRegion
that gets created.  We need a better solution than just dropping the
value, but we need to better understand how to implement the right
semantics here.

Thanks to Jordan for his help diagnosing the behavior here.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@168741 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/RegionStore.cpp
test/Analysis/misc-ps-region-store.cpp