Remove unnecessary save-and-restore of the
node builder's 'HasGeneratedNode' field. llvm-svn: 123362
This commit is contained in:
parent
f044bd68e1
commit
b86ec25256
|
@ -595,7 +595,6 @@ void MallocChecker::evalDeadSymbols(CheckerContext &C, SymbolReaper &SymReaper)
|
||||||
|
|
||||||
void MallocChecker::evalEndPath(EndOfFunctionNodeBuilder &B, void *tag,
|
void MallocChecker::evalEndPath(EndOfFunctionNodeBuilder &B, void *tag,
|
||||||
ExprEngine &Eng) {
|
ExprEngine &Eng) {
|
||||||
SaveAndRestore<bool> OldHasGen(B.HasGeneratedNode);
|
|
||||||
const GRState *state = B.getState();
|
const GRState *state = B.getState();
|
||||||
RegionStateTy M = state->get<RegionState>();
|
RegionStateTy M = state->get<RegionState>();
|
||||||
|
|
||||||
|
|
|
@ -132,7 +132,7 @@ void StackAddrLeakChecker::PreVisitReturnStmt(CheckerContext &C,
|
||||||
|
|
||||||
void StackAddrLeakChecker::evalEndPath(EndOfFunctionNodeBuilder &B, void *tag,
|
void StackAddrLeakChecker::evalEndPath(EndOfFunctionNodeBuilder &B, void *tag,
|
||||||
ExprEngine &Eng) {
|
ExprEngine &Eng) {
|
||||||
SaveAndRestore<bool> OldHasGen(B.HasGeneratedNode);
|
|
||||||
const GRState *state = B.getState();
|
const GRState *state = B.getState();
|
||||||
|
|
||||||
// Iterate over all bindings to global variables and see if it contains
|
// Iterate over all bindings to global variables and see if it contains
|
||||||
|
|
|
@ -423,7 +423,6 @@ void StreamChecker::evalDeadSymbols(CheckerContext &C,SymbolReaper &SymReaper) {
|
||||||
|
|
||||||
void StreamChecker::evalEndPath(EndOfFunctionNodeBuilder &B, void *tag,
|
void StreamChecker::evalEndPath(EndOfFunctionNodeBuilder &B, void *tag,
|
||||||
ExprEngine &Eng) {
|
ExprEngine &Eng) {
|
||||||
SaveAndRestore<bool> OldHasGen(B.HasGeneratedNode);
|
|
||||||
const GRState *state = B.getState();
|
const GRState *state = B.getState();
|
||||||
typedef llvm::ImmutableMap<SymbolRef, StreamState> SymMap;
|
typedef llvm::ImmutableMap<SymbolRef, StreamState> SymMap;
|
||||||
SymMap M = state->get<StreamState>();
|
SymMap M = state->get<StreamState>();
|
||||||
|
|
Loading…
Reference in New Issue