Searched refs:evalAPSInt (Results 1 – 5 of 5) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 530 BasicVals.evalAPSInt(op, LHSValue, RHSValue); in evalBinOpNN()
659 newRHS = BasicVals.evalAPSInt(BO_Add, first, second); in evalBinOpNN()
661 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second); in evalBinOpNN()
664 newRHS = BasicVals.evalAPSInt(BO_Sub, second, first); in evalBinOpNN()
850 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
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | BasicValueFactory.h | 270 const llvm::APSInt* evalAPSInt(BinaryOperator::Opcode Op,
|
| H A D | SMTConstraintManager.h | 194 return BVF.evalAPSInt(BSE->getOpcode(), ConvertedLHS, ConvertedRHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 830 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()
|