Cross Reference: /external/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

Lines Matching refs:St
315   const llvm::APSInt* getSymVal(ProgramStateRef St,
319   ProgramStateRef removeDeadBindings(ProgramStateRef St,
322   void print(ProgramStateRef St, raw_ostream &Out,
336 const llvm::APSInt* RangeConstraintManager::getSymVal(ProgramStateRef St,
338   const ConstraintRangeTy::data_type *T = St->get<ConstraintRange>(sym);
419 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym,
425     return St;
434   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
435   return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
439 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym,
449   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
450   return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
454 RangeConstraintManager::assumeSymLT(ProgramStateRef St, SymbolRef Sym,
465     return St;
478   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
479   return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
483 RangeConstraintManager::assumeSymGT(ProgramStateRef St, SymbolRef Sym,
490     return St;
507   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
508   return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
512 RangeConstraintManager::assumeSymGE(ProgramStateRef St, SymbolRef Sym,
519     return St;
530     return St;
536   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
537   return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
541 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym,
552     return St;
559     return St;
565   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
566   return New.isEmpty() ? nullptr : St->set<ConstraintRange>(Sym, New);
573 void RangeConstraintManager::print(ProgramStateRef St, raw_ostream &Out,
576   ConstraintRangeTy Ranges = St->get<ConstraintRange>();