reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
483 state->assume(svalBuilder.evalEQ(state, *firstLoc, *secondLoc)); 496 QualType cmpTy = svalBuilder.getConditionType(); 497 SVal reverse = svalBuilder.evalBinOpLL(state, BO_GT, 526 ASTContext &Ctx = svalBuilder.getContext(); 528 SVal FirstStart = svalBuilder.evalCast(*firstLoc, CharPtrTy, 535 SVal FirstEnd = svalBuilder.evalBinOpLN(state, BO_Add, 542 SVal Overlap = svalBuilder.evalBinOpLL(state, BO_GT,