reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
455 return state; 462 if (!state) 469 SVal firstVal = state->getSVal(First, LCtx); 470 SVal secondVal = state->getSVal(Second, LCtx); 474 return state; 478 return state; 483 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); 483 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); 493 state = stateFalse; 497 SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT, 502 return state; 504 std::tie(stateTrue, stateFalse) = state->assume(*reverseTest); 508 return state; 519 SVal LengthVal = state->getSVal(Size, LCtx); 522 return state; 532 return state; 535 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, 539 return state; 542 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT, 547 return state; 549 std::tie(stateTrue, stateFalse) = state->assume(*OverlapTest);