Lines Matching refs:SymbolRef
875 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef)
881 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMap, SymbolRef, EquivalenceClass)
917 SymbolRef Sym);
922 SymbolRef First,
923 SymbolRef Second);
949 markDisequal(RangeSet::Factory &F, ProgramStateRef State, SymbolRef First,
950 SymbolRef Second);
958 getDisequalClasses(ProgramStateRef State, SymbolRef Sym);
968 areEqual(ProgramStateRef State, SymbolRef First, SymbolRef Second);
972 const SymbolRef Old);
1014 /* implicit */ EquivalenceClass(SymbolRef Sym) in EquivalenceClass()
1022 SymbolRef getRepresentativeSymbol() const { in getRepresentativeSymbol()
1023 return reinterpret_cast<SymbolRef>(ID); in getRepresentativeSymbol()
1059 SymbolRef Sym) { in getConstraint()
1215 RangeSet VisitSymExpr(SymbolRef Sym) { in VisitSymExpr()
1273 RangeSet inferAs(SymbolRef Sym, QualType DestType) { in inferAs()
1285 RangeSet infer(SymbolRef Sym) { in infer()
1461 if (SymbolRef NegatedSym = F()) in getRangeForNegatedExpr()
1472 [USE]() -> SymbolRef { in getRangeForNegatedUnarySym()
1482 [SSE, State = this->State]() -> SymbolRef { in getRangeForNegatedSymSym()
1491 Optional<RangeSet> getRangeForNegatedSym(SymbolRef Sym) { in getRangeForNegatedSym()
1812 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;
1815 SymbolRef Sym) const override;
1823 SymbolRef Sym) override;
1838 ProgramStateRef assumeSymNE(ProgramStateRef State, SymbolRef Sym,
1842 ProgramStateRef assumeSymEQ(ProgramStateRef State, SymbolRef Sym,
1846 ProgramStateRef assumeSymLT(ProgramStateRef State, SymbolRef Sym,
1850 ProgramStateRef assumeSymGT(ProgramStateRef State, SymbolRef Sym,
1854 ProgramStateRef assumeSymLE(ProgramStateRef State, SymbolRef Sym,
1858 ProgramStateRef assumeSymGE(ProgramStateRef State, SymbolRef Sym,
1863 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
1867 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From,
1873 RangeSet getRange(ProgramStateRef State, SymbolRef Sym);
1875 ProgramStateRef setRange(ProgramStateRef State, SymbolRef Sym,
1880 RangeSet getSymLTRange(ProgramStateRef St, SymbolRef Sym,
1883 RangeSet getSymGTRange(ProgramStateRef St, SymbolRef Sym,
1886 RangeSet getSymLERange(ProgramStateRef St, SymbolRef Sym,
1892 RangeSet getSymGERange(ProgramStateRef St, SymbolRef Sym,
1925 void assign(SymbolRef Sym, RangeSet Constraint) { in assign()
1929 bool assignImpl(SymbolRef Sym, RangeSet Constraint) { in assignImpl()
2040 LLVM_NODISCARD ProgramStateRef assign(SymbolRef Sym, RangeSet NewConstraint) { in assign()
2091 ProgramStateRef trackDisequality(ProgramStateRef State, SymbolRef LHS, in trackDisequality()
2092 SymbolRef RHS) { in trackDisequality()
2096 ProgramStateRef trackEquality(ProgramStateRef State, SymbolRef LHS, in trackEquality()
2097 SymbolRef RHS) { in trackEquality()
2209 SymbolRef Representative = *ClassMembers.begin(); in getConstraintMap()
2223 for (const SymbolRef &MemberSym : ClassMembers) { in dumpToStream()
2230 SymbolRef Sym) { in find()
2243 SymbolRef First, in merge()
2244 SymbolRef Second) { in merge()
2346 for (SymbolRef Sym : OtherMembers) { in mergeImpl()
2424 SymbolRef First, in markDisequal()
2425 SymbolRef Second) { in markDisequal()
2507 SymbolRef FirstSym, in areEqual()
2508 SymbolRef SecondSym) { in areEqual()
2531 EquivalenceClass::removeMember(ProgramStateRef State, const SymbolRef Old) { in removeMember()
2594 for (const SymbolRef &MemberSym : ClassMembers) { in simplify()
2597 const SymbolRef SimplifiedMemberSym = SimplifiedMemberVal.getAsSymbol(); in simplify()
2657 SymbolRef Sym) { in getDisequalClasses()
2680 for (SymbolRef Member : ClassMembersPair.second) { in isClassDataConsistent()
2766 SymbolRef Sym) { in checkNull()
2790 SymbolRef Sym) const { in getSymVal()
2872 for (std::pair<SymbolRef, EquivalenceClass> SymbolClassPair : Map) { in removeDeadBindings()
2873 SymbolRef Sym = SymbolClassPair.first; in removeDeadBindings()
2889 for (SymbolRef Member : ClassMembersPair.second) { in removeDeadBindings()
2936 SymbolRef Sym) { in getRange()
2941 SymbolRef Sym, in setRange()
2959 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym, in assumeSymNE()
2975 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym, in assumeSymEQ()
2992 SymbolRef Sym, in getSymLTRange()
3021 RangeConstraintManager::assumeSymLT(ProgramStateRef St, SymbolRef Sym, in assumeSymLT()
3029 SymbolRef Sym, in getSymGTRange()
3058 RangeConstraintManager::assumeSymGT(ProgramStateRef St, SymbolRef Sym, in assumeSymGT()
3066 SymbolRef Sym, in getSymGERange()
3095 RangeConstraintManager::assumeSymGE(ProgramStateRef St, SymbolRef Sym, in assumeSymGE()
3132 SymbolRef Sym, in getSymLERange()
3139 RangeConstraintManager::assumeSymLE(ProgramStateRef St, SymbolRef Sym, in assumeSymLE()
3147 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymWithinInclusiveRange()
3157 ProgramStateRef State, SymbolRef Sym, const llvm::APSInt &From, in assumeSymOutsideInclusiveRange()
3178 SymbolRef Sym) { in printValue()
3184 static std::string toString(const SymbolRef &Sym) { in toString()
3207 for (const SymbolRef &ClassMember : ClassMembers) { in printConstraints()
3239 llvm::SmallVector<SymbolRef, 8> ClassMembersSorted(ClassMembers.begin(), in toString()
3242 [](const SymbolRef &LHS, const SymbolRef &RHS) { in toString()
3251 for (SymbolRef ClassMember : ClassMembersSorted) { in toString()