Searched refs:ConvertedInt (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SimpleConstraintManager.cpp | 270 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); in assumeSymRel() local
282 return assumeSymEQ(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
285 return assumeSymNE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
288 return assumeSymGT(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
291 return assumeSymGE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
294 return assumeSymLT(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
297 return assumeSymLE(state, Sym, ConvertedInt, Adjustment); in assumeSymRel()
|