Lines Matching refs:SymbolRef
281 CLANG_ENTO_PROGRAMSTATE_MAP(SymbolRef,
286 RangeSet GetRange(ProgramStateRef state, SymbolRef sym);
291 ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym,
295 ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym,
299 ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym,
303 ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym,
307 ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym,
311 ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym,
315 const llvm::APSInt* getSymVal(ProgramStateRef St, SymbolRef sym) const;
316 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
335 SymbolRef sym) const {
341 SymbolRef Sym) {
374 SymbolRef sym = I.getKey();
383 RangeConstraintManager::GetRange(ProgramStateRef state, SymbolRef sym) {
417 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym,
437 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym,
452 RangeConstraintManager::assumeSymLT(ProgramStateRef St, SymbolRef Sym,
481 RangeConstraintManager::assumeSymGT(ProgramStateRef St, SymbolRef Sym,
510 RangeConstraintManager::assumeSymGE(ProgramStateRef St, SymbolRef Sym,
539 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym,