Searched refs:evalAPSInt (Results 1 – 5 of 5) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 531 BasicVals.evalAPSInt(op, LHSValue, RHSValue); in evalBinOpNN()
660 newRHS = BasicVals.evalAPSInt(BO_Add, first, second); in evalBinOpNN()
662 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second); in evalBinOpNN()
665 newRHS = BasicVals.evalAPSInt(BO_Sub, second, first); in evalBinOpNN()
851 BasicVals.evalAPSInt(op, L.getValue(), rInt->getValue())) in evalBinOpLL()
|
| H A D | BasicValueFactory.cpp | 250 BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, in evalAPSInt() function in BasicValueFactory
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | BasicValueFactory.h | 276 const llvm::APSInt* evalAPSInt(BinaryOperator::Opcode Op,
|
| H A D | SMTConstraintManager.h | 195 return BVF.evalAPSInt(BSE->getOpcode(), ConvertedLHS, ConvertedRHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 854 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()
|