Save and restore the HasGen flag in MallocChecker.
llvm-svn: 89590
This commit is contained in:
parent
2e245f4e18
commit
7f83e97b00
|
@ -405,6 +405,8 @@ class GREndPathNodeBuilder {
|
||||||
GRCoreEngine& Eng;
|
GRCoreEngine& Eng;
|
||||||
CFGBlock& B;
|
CFGBlock& B;
|
||||||
ExplodedNode* Pred;
|
ExplodedNode* Pred;
|
||||||
|
|
||||||
|
public:
|
||||||
bool HasGeneratedNode;
|
bool HasGeneratedNode;
|
||||||
|
|
||||||
public:
|
public:
|
||||||
|
|
|
@ -173,6 +173,7 @@ void MallocChecker::EvalDeadSymbols(CheckerContext &C, const Stmt *S,
|
||||||
|
|
||||||
void MallocChecker::EvalEndPath(GREndPathNodeBuilder &B, void *tag,
|
void MallocChecker::EvalEndPath(GREndPathNodeBuilder &B, void *tag,
|
||||||
GRExprEngine &Eng) {
|
GRExprEngine &Eng) {
|
||||||
|
SaveAndRestore<bool> OldHasGen(B.HasGeneratedNode);
|
||||||
const GRState *state = B.getState();
|
const GRState *state = B.getState();
|
||||||
typedef llvm::ImmutableMap<SymbolRef, RefState> SymMap;
|
typedef llvm::ImmutableMap<SymbolRef, RefState> SymMap;
|
||||||
SymMap M = state->get<RegionState>();
|
SymMap M = state->get<RegionState>();
|
||||||
|
|
Loading…
Reference in New Issue