Searched refs:evalAPSInt (Results 1 – 6 of 6) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 283 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()
310 const llvm::APSInt *X = BasicVals.evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()
|
| H A D | SimpleSValBuilder.cpp | 487 BasicVals.evalAPSInt(op, LHSValue, RHSValue); in evalBinOpNN()
609 newRHS = BasicVals.evalAPSInt(BO_Add, first, second); in evalBinOpNN()
611 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second); in evalBinOpNN()
|
| H A D | BasicValueFactory.cpp | 250 BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, in evalAPSInt() function in BasicValueFactory
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | BasicValueFactory.h | 273 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()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 764 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()
|