reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
224 CastToTy = C.getASTContext().getPointerType(CastToTy); 226 CastToTy = alignReferenceTypes(CastToTy, CastFromTy, C.getASTContext()); 241 C.generateSink(State, C.getPredecessor()); 241 C.generateSink(State, C.getPredecessor()); 251 C.addTransition( 252 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), 253 C.getSValBuilder().makeTruthVal(CastSucceeds)), 254 getNoteTag(C, CastInfo, CastToTy, Call.getArgExpr(0), CastSucceeds,