reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
50 ProgramStateRef State = C.getState(); 60 C.addTransition( 61 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), 62 C.getSValBuilder().makeZeroVal(Call.getResultType())));