Searched refs:ConvertedInt (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 258 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); in assumeSymRel() local
266 return assumeSymEQ(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
269 return assumeSymNE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
272 return assumeSymGT(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
275 return assumeSymGE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
278 return assumeSymLT(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
281 return assumeSymLE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
|