Remove a redundant method. We have a const version.
llvm-svn: 128762
This commit is contained in:
parent
8f89f7c893
commit
af2371e368
|
@ -273,8 +273,6 @@ public:
|
|||
|
||||
SVal getSValAsScalarOrLoc(const MemRegion *R) const;
|
||||
|
||||
const llvm::APSInt *getSymVal(SymbolRef sym);
|
||||
|
||||
bool scanReachableSymbols(SVal val, SymbolVisitor& visitor) const;
|
||||
|
||||
bool scanReachableSymbols(const SVal *I, const SVal *E,
|
||||
|
@ -626,10 +624,6 @@ public:
|
|||
// Out-of-line method definitions for GRState.
|
||||
//===----------------------------------------------------------------------===//
|
||||
|
||||
inline const llvm::APSInt *GRState::getSymVal(SymbolRef sym) {
|
||||
return getStateManager().getSymVal(this, sym);
|
||||
}
|
||||
|
||||
inline const VarRegion* GRState::getRegion(const VarDecl *D,
|
||||
const LocationContext *LC) const {
|
||||
return getStateManager().getRegionManager().getVarRegion(D, LC);
|
||||
|
|
|
@ -632,6 +632,7 @@ const GRState *MallocChecker::evalAssume(const GRState *state, SVal Cond,
|
|||
RegionStateTy RS = state->get<RegionState>();
|
||||
|
||||
for (RegionStateTy::iterator I = RS.begin(), E = RS.end(); I != E; ++I) {
|
||||
// If the symbol is assumed to NULL, this will return an APSInt*.
|
||||
if (state->getSymVal(I.getKey()))
|
||||
state = state->set<RegionState>(I.getKey(),RefState::getAllocateFailed());
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue