Searched refs:evalAPSInt (Results 1 – 5 of 5) sorted by relevance
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleSValBuilder.cpp | 545 BasicVals.evalAPSInt(op, LHSValue, RHSValue); in evalBinOpNN() 687 newRHS = BasicVals.evalAPSInt(BO_Add, first, second); in evalBinOpNN() 689 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second); in evalBinOpNN() 692 newRHS = BasicVals.evalAPSInt(BO_Sub, second, first); in evalBinOpNN() 877 BasicVals.evalAPSInt(op, L.getValue(), rInt->getValue())) in evalBinOpLL()
|
| H A D | BasicValueFactory.cpp | 246 BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, in evalAPSInt() function in BasicValueFactory
|
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | BasicValueFactory.h | 276 const llvm::APSInt* evalAPSInt(BinaryOperator::Opcode Op,
|
| H A D | SMTConstraintManager.h | 198 return BVF.evalAPSInt(BSE->getOpcode(), ConvertedLHS, ConvertedRHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CStringChecker.cpp | 1023 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()
|