reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1281 ProgramStateRef state = C.getState(); 1282 SValBuilder &svalBuilder = C.getSValBuilder(); 1285 const LocationContext *LCtx = C.getLocationContext(); 1291 assumeZero(C, state, sizeVal, sizeTy); 1299 C.addTransition(state); 1322 state = CheckBufferAccess(C, state, Size, Left); 1326 C.addTransition(state); 1334 state = CheckBufferAccess(C, state, Size, Left, Right); 1338 C.blockCount()); 1340 C.addTransition(state);