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 93 milliseconds