Searched refs:ConvertedInt (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 153 llvm::APSInt ConvertedInt = ComparisonType.convert(Int); local
165 return assumeSymEQ(State, Sym, ConvertedInt, Adjustment);
168 return assumeSymNE(State, Sym, ConvertedInt, Adjustment);
171 return assumeSymGT(State, Sym, ConvertedInt, Adjustment);
174 return assumeSymGE(State, Sym, ConvertedInt, Adjustment);
177 return assumeSymLT(State, Sym, ConvertedInt, Adjustment);
180 return assumeSymLE(State, Sym, ConvertedInt, Adjustment);
|
Completed in 100 milliseconds