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

Lines Matching refs:St
315   const llvm::APSInt* getSymVal(ProgramStateRef St, SymbolRef sym) const;
318   ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper);
320   void print(ProgramStateRef St, raw_ostream &Out,
334 const llvm::APSInt* RangeConstraintManager::getSymVal(ProgramStateRef St,
336   const ConstraintRangeTy::data_type *T = St->get<ConstraintRange>(sym);
417 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym,
423     return St;
432   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
433   return New.isEmpty() ? NULL : St->set<ConstraintRange>(Sym, New);
437 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym,
447   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
448   return New.isEmpty() ? NULL : St->set<ConstraintRange>(Sym, New);
452 RangeConstraintManager::assumeSymLT(ProgramStateRef St, SymbolRef Sym,
463     return St;
476   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
477   return New.isEmpty() ? NULL : St->set<ConstraintRange>(Sym, New);
481 RangeConstraintManager::assumeSymGT(ProgramStateRef St, SymbolRef Sym,
488     return St;
505   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
506   return New.isEmpty() ? NULL : St->set<ConstraintRange>(Sym, New);
510 RangeConstraintManager::assumeSymGE(ProgramStateRef St, SymbolRef Sym,
517     return St;
528     return St;
534   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
535   return New.isEmpty() ? NULL : St->set<ConstraintRange>(Sym, New);
539 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym,
550     return St;
557     return St;
563   RangeSet New = GetRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
564   return New.isEmpty() ? NULL : St->set<ConstraintRange>(Sym, New);
571 void RangeConstraintManager::print(ProgramStateRef St, raw_ostream &Out,
574   ConstraintRangeTy Ranges = St->get<ConstraintRange>();