parent
43f1bdbdc3
commit
17e28b7a54
|
|
@ -270,10 +270,6 @@ public:
|
|||
}
|
||||
|
||||
private:
|
||||
Loc getVarLoc(const VarDecl* VD) {
|
||||
return loc::MemRegionVal(MRMgr.getVarRegion(VD));
|
||||
}
|
||||
|
||||
const GRState* BindArray(const GRState* St, const TypedRegion* R, SVal V);
|
||||
|
||||
/// Retrieve the values in a struct and return a CompoundVal, used when doing
|
||||
|
|
|
|||
Loading…
Reference in New Issue