HomePhabricator

[analyzer] Handle caching out while evaluating a C++ new expression.

Authored by jordan_rose on Mar 29 2013, 6:31 PM.

Description

[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

llvm-svn: 178401

Details

Committed
jordan_roseMar 29 2013, 6:31 PM
Parents
rG6fdef11c1703: [analyzer] Add debug helper LocationContext::dumpStack().
Branches
Unknown
Tags
Unknown