reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); 27 SVal location = state->getLValue(Ex->getDecl(), baseVal); 31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); 31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); 35 getCheckerManager().runCheckersForPostStmt(Dst, dstIvar, Ex, *this);