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