Searched refs:ConvertedInt (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 173 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); in assumeSymRel() local
185 return assumeSymEQ(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
188 return assumeSymNE(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
191 return assumeSymGT(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
194 return assumeSymGE(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
197 return assumeSymLT(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
200 return assumeSymLE(State, Sym, ConvertedInt, Adjustment); in assumeSymRel()
|