Searched refs:ConvertedInt (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 186 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); in assumeSymRel() local
198 return assumeSymEQ(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
201 return assumeSymNE(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
204 return assumeSymGT(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
207 return assumeSymGE(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
210 return assumeSymLT(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
213 return assumeSymLE(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
|