reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1286 SVal sizeVal = state->getSVal(Size, LCtx); 1291 assumeZero(C, state, sizeVal, sizeTy); 1296 state = stateZeroSize; 1297 state = state->BindExpr(CE, LCtx, 1297 state = state->BindExpr(CE, LCtx, 1299 C.addTransition(state); 1304 state = stateNonZeroSize; 1309 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>(); 1311 state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>(); 1314 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); 1316 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); 1321 state = StSameBuf; 1322 state = CheckBufferAccess(C, state, Size, Left); 1322 state = CheckBufferAccess(C, state, Size, Left); 1323 if (state) { 1324 state = StSameBuf->BindExpr(CE, LCtx, 1326 C.addTransition(state); 1333 state = StNotSameBuf; 1334 state = CheckBufferAccess(C, state, Size, Left, Right); 1334 state = CheckBufferAccess(C, state, Size, Left, Right); 1335 if (state) { 1339 state = state->BindExpr(CE, LCtx, CmpV); 1339 state = state->BindExpr(CE, LCtx, CmpV); 1340 C.addTransition(state);