Searched refs:ConvertedInt (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 234 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); in assumeSymRel() local
246 return assumeSymEQ(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
249 return assumeSymNE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
252 return assumeSymGT(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
255 return assumeSymGE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
258 return assumeSymLT(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
261 return assumeSymLE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
|