reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
  318   SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC);
  374     if (Optional<SVal> V = getObjectUnderConstruction(State, MT, LC)) {
  375       State = finishObjectConstruction(State, MT, LC);
  376       State = State->BindExpr(Result, LC, *V);
  385         TR = MRMgr.getCXXTempObjectRegion(Init, LC);
  389     TR = MRMgr.getCXXTempObjectRegion(Init, LC);
  408                                        currBldrCtx->blockCount(), LC, true,
  422   SVal InitVal = State->getSVal(Init, LC);
  424     InitVal = getSValBuilder().conjureSymbolVal(Result, LC, Init->getType(),
  426     State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);
  434           Result, LC, InitWithAdjustments->getType(),
  438         State->bindLoc(Reg.castAs<Loc>(), InitValWithAdjustments, LC, false);
  440     State = State->bindLoc(BaseReg.castAs<Loc>(), InitVal, LC, false);
  447     State = State->BindExpr(Result, LC, Reg);
  449     State = State->BindExpr(Result, LC, InitValWithAdjustments);
  453   State = processRegionChange(State, TR, LC);