reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
278 const MemRegion *ToR = C.getSVal(CE).getAsRegion(); 280 return C.getPredecessor(); 283 return C.getPredecessor(); 285 if (const Type *NewTy = getBetterObjCType(CE, C)) { 287 return C.addTransition(State); 289 return C.getPredecessor();