[analyzer][NFC] Be more descriptive when we replay without inlining
This patch adds a ProgramPointTag to the EpsilonPoint created before we replay a call without inlining. Differential Revision: https://reviews.llvm.org/D132246
This commit is contained in:
parent
ee648c0ce0
commit
a47ec1b797
|
@ -2117,8 +2117,9 @@ bool ExprEngine::replayWithoutInlining(ExplodedNode *N,
|
|||
|
||||
// Build an Epsilon node from which we will restart the analyzes.
|
||||
// Note that CE is permitted to be NULL!
|
||||
ProgramPoint NewNodeLoc =
|
||||
EpsilonPoint(BeforeProcessingCall->getLocationContext(), CE);
|
||||
static SimpleProgramPointTag PT("ExprEngine", "Replay without inlining");
|
||||
ProgramPoint NewNodeLoc = EpsilonPoint(
|
||||
BeforeProcessingCall->getLocationContext(), CE, nullptr, &PT);
|
||||
// Add the special flag to GDM to signal retrying with no inlining.
|
||||
// Note, changing the state ensures that we are not going to cache out.
|
||||
ProgramStateRef NewNodeState = BeforeProcessingCall->getState();
|
||||
|
|
Loading…
Reference in New Issue