reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
159 ProgramStateRef State = C.getState()->assume(DV, IsNonNullParam); 180 CastFromTy = alignReferenceTypes(CastFromTy, CastToTy, C.getASTContext()); 199 C.generateSink(State, C.getPredecessor()); 199 C.generateSink(State, C.getPredecessor()); 209 SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy) 210 : C.getSValBuilder().makeNull(); 211 C.addTransition( 212 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), V, false), 213 getNoteTag(C, CastInfo, CastToTy, Object, CastSucceeds, IsKnownCast));