Lines Matching refs:St
311 RangeSet getSymLTRange(ProgramStateRef St, SymbolRef Sym,
314 RangeSet getSymGTRange(ProgramStateRef St, SymbolRef Sym,
317 RangeSet getSymLERange(ProgramStateRef St, SymbolRef Sym,
323 RangeSet getSymGERange(ProgramStateRef St, SymbolRef Sym,
406 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St,
408 const ConstraintRangeTy::data_type *T = St->get<ConstraintRange>(Sym);
554 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym,
560 return St;
569 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
570 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
574 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym,
584 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
585 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
588 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St,
600 return getRange(St, Sym);
613 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
617 RangeConstraintManager::assumeSymLT(ProgramStateRef St, SymbolRef Sym,
620 RangeSet New = getSymLTRange(St, Sym, Int, Adjustment);
621 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
624 RangeSet RangeConstraintManager::getSymGTRange(ProgramStateRef St,
632 return getRange(St, Sym);
649 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
653 RangeConstraintManager::assumeSymGT(ProgramStateRef St, SymbolRef Sym,
656 RangeSet New = getSymGTRange(St, Sym, Int, Adjustment);
657 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
660 RangeSet RangeConstraintManager::getSymGERange(ProgramStateRef St,
668 return getRange(St, Sym);
679 return getRange(St, Sym);
685 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
689 RangeConstraintManager::assumeSymGE(ProgramStateRef St, SymbolRef Sym,
692 RangeSet New = getSymGERange(St, Sym, Int, Adjustment);
693 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
724 RangeSet RangeConstraintManager::getSymLERange(ProgramStateRef St,
728 return getSymLERange([&] { return getRange(St, Sym); }, Int, Adjustment);
732 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym,
735 RangeSet New = getSymLERange(St, Sym, Int, Adjustment);
736 return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);