reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
226 reportBug("Missing region for obtaining extent", C); 230 auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion()); 232 reportBug("Obtaining extent of a non-region", C); 236 ProgramStateRef State = C.getState(); 237 State = State->BindExpr(CE, C.getLocationContext(), 238 MR->getExtent(C.getSValBuilder())); 239 C.addTransition(State);