Home | History | Annotate | Download | only in Core

Lines Matching defs:Reg

224   SVal Reg = loc::MemRegionVal(TR);
229   State = State->bindLoc(Reg, V);
235     Reg = StoreMgr.evalDerivedToBase(Reg, *I);
238   State = State->BindExpr(Result, LC, Reg);