]> granicus.if.org Git - clang/commit
[analyzer] Handle caching out while evaluating a C++ new expression.
authorJordan Rose <jordan_rose@apple.com>
Sat, 30 Mar 2013 01:31:42 +0000 (01:31 +0000)
committerJordan Rose <jordan_rose@apple.com>
Sat, 30 Mar 2013 01:31:42 +0000 (01:31 +0000)
commite6f2bf86288bc45060b21c4f55a6153b8ba80443
treea5020a7f6df2fb5e8eacb6c0e98cba87085c0b70
parent75f8bd01319000b3e1438847505302670514759d
[analyzer] Handle caching out while evaluating a C++ new expression.

Evaluating a C++ new expression now includes generating an intermediate
ExplodedNode, and this node could very well represent a previously-
reachable state in the ExplodedGraph. If so, we can short-circuit the
rest of the evaluation.

Caught by the assertion a few lines later.

<rdar://problem/13510065>

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@178401 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
test/Analysis/new.cpp