Home
last modified time | relevance | path

Searched refs:BasicValueFactory (Results 1 – 25 of 25) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBasicValueFactory.cpp79 BasicValueFactory::~BasicValueFactory() { in ~BasicValueFactory()
90 APSIntPtr BasicValueFactory::getValue(const llvm::APSInt &X) { in getValue()
108 APSIntPtr BasicValueFactory::getValue(const llvm::APInt &X, bool isUnsigned) { in getValue()
113 APSIntPtr BasicValueFactory::getValue(uint64_t X, unsigned BitWidth, in getValue()
120 APSIntPtr BasicValueFactory::getValue(uint64_t X, QualType T) { in getValue()
125 BasicValueFactory::getCompoundValData(QualType T, in getCompoundValData()
142 BasicValueFactory::getLazyCompoundValData(const StoreRef &store, in getLazyCompoundValData()
159 const PointerToMemberData *BasicValueFactory::getPointerToMemberData( in getPointerToMemberData()
188 const PointerToMemberData *BasicValueFactory::accumCXXBase( in accumCXXBase()
246 BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op, const llvm::APSInt &V1, in evalAPSInt()
[all …]
H A DRangedConstraintManager.cpp108 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange()
137 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported()
171 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
H A DSimpleSValBuilder.cpp237 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isInRelation()
255 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()
278 BasicValueFactory &BV) { in decomposeSymbol()
298 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()
411 BasicValueFactory &BV = State->getBasicVals(); in tryRearrange()
H A DSValBuilder.cpp965 BasicValueFactory &BVF = VB.getBasicValueFactory(); in VisitSymbolVal()
1067 BasicValueFactory &BVF = VB.getBasicValueFactory(); in simplifySymbolCast()
H A DProgramState.cpp330 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual()
H A DCallEvent.cpp416 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()
H A DRangeConstraintManager.cpp1625 BasicValueFactory &ValueFactory;
2870 BasicValueFactory &BV = getBasicVals(); in checkNull()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DBasicValueFactory.h114 class BasicValueFactory {
136 BasicValueFactory(ASTContext &ctx, llvm::BumpPtrAllocator &Alloc) in BasicValueFactory() function
140 ~BasicValueFactory();
H A DRangedConstraintManager.h123 Factory(BasicValueFactory &BV) : ValueFactory(BV) {} in Factory()
265 BasicValueFactory &getValueFactory() const { return ValueFactory; } in getValueFactory()
296 BasicValueFactory &ValueFactory;
H A DSValBuilder.h61 BasicValueFactory BasicVals;
162 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
163 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
H A DSimpleConstraintManager.h79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
H A DSymbolManager.h40 class BasicValueFactory; variable
521 BasicValueFactory &BV;
525 SymbolManager(ASTContext &ctx, BasicValueFactory &bv, in SymbolManager()
557 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals()
H A DProgramState.h185 BasicValueFactory &getBasicVals() const;
544 BasicValueFactory &getBasicVals() { in getBasicVals()
815 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals()
H A DExprEngine.h80 class BasicValueFactory; variable
427 BasicValueFactory &getBasicVals() { in getBasicVals()
H A DSMTConstraintManager.h117 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp83 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in checkBind()
H A DBuiltinFunctionChecker.cpp156 BasicValueFactory &VF = SVB.getBasicValueFactory(); in checkOverflow()
328 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
H A DChrootChecker.cpp76 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in evalChroot()
H A DStdLibraryFunctionsChecker.cpp118 QualType ArgT, BasicValueFactory &BVF,
123 QualType ArgT, BasicValueFactory &BVF,
324 void applyOnWithinRange(BasicValueFactory &BVF, QualType ArgT,
336 void applyOnOutOfRange(BasicValueFactory &BVF, QualType ArgT,
340 void applyOnRange(RangeKind Kind, BasicValueFactory &BVF, QualType ArgT, in applyOnRange()
905 static BasicValueFactory &getBVF(ProgramStateRef State) { in getBVF()
933 BasicValueFactory &BVF, in appendInsideRangeDesc()
960 BasicValueFactory &BVF, in appendOutOfRangeDesc()
985 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const { in applyOnWithinRange()
999 BasicValueFactory &BVF, QualType ArgT, const RangeApplyFunction &F) const { in applyOnOutOfRange()
[all …]
H A DIterator.cpp267 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()
H A DCStringChecker.cpp920 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
1026 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
H A DStreamChecker.cpp1094 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in getStartIndex()
H A DMallocChecker.cpp1941 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in checkTaintedness()
/freebsd/lib/clang/libclang/
H A DMakefile812 SRCS_FUL+= StaticAnalyzer/Core/BasicValueFactory.cpp
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc7072 {"_ZN5clang4ento17BasicValueFactoryD1Ev", "clang::ento::BasicValueFactory::~BasicValueFactory()"},
7073 {"_ZN5clang4ento17BasicValueFactoryD2Ev", "clang::ento::BasicValueFactory::~BasicValueFactory()"},
7074 {"_ZN5clang4ento17BasicValueFactory8getValueERKN4llvm6APSIntE", "clang::ento::BasicValueFactory::ge…
7075 {"_ZN5clang4ento17BasicValueFactory8getValueERKN4llvm5APIntEb", "clang::ento::BasicValueFactory::ge…
7076 {"_ZN5clang4ento17BasicValueFactory8getValueEyjb", "clang::ento::BasicValueFactory::getValue(unsign…
7077 {"_ZN5clang4ento17BasicValueFactory8getValueEyNS_8QualTypeE", "clang::ento::BasicValueFactory::getV…
7078 …ataENS_8QualTypeEN4llvm13ImmutableListINS0_4SValEEE", "clang::ento::BasicValueFactory::getCompound…
7079 …ory22getLazyCompoundValDataEPKvPKNS0_11TypedRegionE", "clang::ento::BasicValueFactory::getLazyComp…
7080 …lAPSIntENS_18BinaryOperatorKindERKN4llvm6APSIntES6_", "clang::ento::BasicValueFactory::evalAPSInt(…
7081 …lueFactory25getPersistentSValWithDataERKNS0_4SValEm", "clang::ento::BasicValueFactory::getPersiste…
[all …]