Searched refs:ConvertedInt (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 154 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); in assumeSymRel() local
166 return assumeSymEQ(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
169 return assumeSymNE(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
172 return assumeSymGT(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
175 return assumeSymGE(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
178 return assumeSymLT(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
181 return assumeSymLE(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
|