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