reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
116 V = SVB.makeIntVal(Result); 123 if (V.isUnknown()) 124 V = SVB.makeIntVal(0, CE->getType()); 127 C.addTransition(state->BindExpr(CE, LCtx, V));