reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
271 SVal OrigV = state->getSVal(Ex, LCtx); 276 state = state->BindExpr(CastE, LCtx, V); 276 state = state->BindExpr(CastE, LCtx, V); 278 state = escapeValue(state, OrigV, PSK_EscapeOther); 278 state = escapeValue(state, OrigV, PSK_EscapeOther); 280 Bldr.generateNode(CastE, Pred, state); 282 return state;