reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
359 SVal V = state->getSVal(Ex, LCtx); 360 state = state->BindExpr(CastE, LCtx, V); 360 state = state->BindExpr(CastE, LCtx, V); 361 Bldr.generateNode(CastE, Pred, state);