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