Lines Matching refs:SymbolRef
193 typedef llvm::ImmutableMap<SymbolRef,RangeSet> ConstraintRangeTy;
207 RangeSet GetRange(ProgramStateRef state, SymbolRef sym);
212 ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
216 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
220 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
224 ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym,
228 ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,
232 ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
236 const llvm::APSInt* getSymVal(ProgramStateRef St, SymbolRef sym) const;
239 bool isEqual(ProgramStateRef St, SymbolRef sym, const llvm::APSInt& V) const {
261 SymbolRef sym) const {
276 SymbolRef sym = I.getKey();
285 RangeConstraintManager::GetRange(ProgramStateRef state, SymbolRef sym) {
309 RangeConstraintManager::assumeSymNE(ProgramStateRef state, SymbolRef sym,
326 RangeConstraintManager::assumeSymEQ(ProgramStateRef state, SymbolRef sym,
337 RangeConstraintManager::assumeSymLT(ProgramStateRef state, SymbolRef sym,
358 RangeConstraintManager::assumeSymGT(ProgramStateRef state, SymbolRef sym,
379 RangeConstraintManager::assumeSymGE(ProgramStateRef state, SymbolRef sym,
401 RangeConstraintManager::assumeSymLE(ProgramStateRef state, SymbolRef sym,