reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
558 SVal V = State->getSVal(CL->getInitializer(), LCtx); 564 Loc CLLoc = State->getLValue(CL, LCtx); 565 State = State->bindLoc(CLLoc, V, LCtx); 571 B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V));