reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
318 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC); 325 return State; 336 ProgramStateManager &StateMgr = State->getStateManager(); 374 if (Optional<SVal> V = getObjectUnderConstruction(State, MT, LC)) { 375 State = finishObjectConstruction(State, MT, LC); 375 State = finishObjectConstruction(State, MT, LC); 376 State = State->BindExpr(Result, LC, *V); 376 State = State->BindExpr(Result, LC, *V); 377 return State; 407 State = State->invalidateRegions(Reg, InitWithAdjustments, 407 State = State->invalidateRegions(Reg, InitWithAdjustments, 410 return State; 422 SVal InitVal = State->getSVal(Init, LC); 426 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false); 426 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false); 437 State = 438 State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false); 440 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false); 440 State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false); 447 State = State->BindExpr(Result, LC, Reg); 447 State = State->BindExpr(Result, LC, Reg); 449 State = State->BindExpr(Result, LC, InitValWithAdjustments); 449 State = State->BindExpr(Result, LC, InitValWithAdjustments); 453 State = processRegionChange(State, TR, LC); 453 State = processRegionChange(State, TR, LC); 457 return State;