forked from OSchip/llvm-project
Remove some dead spacing. No functionality change.
llvm-svn: 66437
This commit is contained in:
parent
0ee0da841d
commit
701e487520
|
@ -1037,12 +1037,10 @@ GRExprEngine::NodeTy* GRExprEngine::EvalLocation(Stmt* Ex, NodeTy* Pred,
|
|||
Loc LV = cast<Loc>(location);
|
||||
|
||||
// "Assume" that the pointer is not NULL.
|
||||
|
||||
bool isFeasibleNotNull = false;
|
||||
const GRState* StNotNull = Assume(state, LV, true, isFeasibleNotNull);
|
||||
|
||||
// "Assume" that the pointer is NULL.
|
||||
|
||||
bool isFeasibleNull = false;
|
||||
GRStateRef StNull = GRStateRef(Assume(state, LV, false, isFeasibleNull),
|
||||
getStateManager());
|
||||
|
|
Loading…
Reference in New Issue