Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicType.cpp26 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicTypeMap, const clang::ento::MemRegion *,
33 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicCastMap, const clang::ento::MemRegion *,
37 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicClassObjectMap, clang::ento::SymbolRef,
H A DDynamicExtent.cpp21 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicExtentMap, const clang::ento::MemRegion *,
H A DRangeConstraintManager.cpp882 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMap, SymbolRef, EquivalenceClass)
883 REGISTER_MAP_WITH_PROGRAMSTATE(ClassMembers, EquivalenceClass, SymbolSet)
884 REGISTER_MAP_WITH_PROGRAMSTATE(ConstraintRange, EquivalenceClass, RangeSet)
887 REGISTER_MAP_WITH_PROGRAMSTATE(DisequalityMap, EquivalenceClass, ClassSet)
H A DExprEngineCallAndReturn.cpp498 REGISTER_MAP_WITH_PROGRAMSTATE(DynamicDispatchBifurcationMap, in REGISTER_MAP_WITH_PROGRAMSTATE() function
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp37 REGISTER_MAP_WITH_PROGRAMSTATE(NonNullImplicationMap, SymbolRef, SymbolRef)
41 REGISTER_MAP_WITH_PROGRAMSTATE(NullImplicationMap, SymbolRef, SymbolRef)
H A DTaint.cpp24 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType) in REGISTER_MAP_WITH_PROGRAMSTATE() function
29 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions) in REGISTER_MAP_WITH_PROGRAMSTATE()
H A DObjCContainersChecker.cpp58 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DSimpleStreamChecker.cpp91 REGISTER_MAP_WITH_PROGRAMSTATE(StreamMap, SymbolRef, StreamState) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DVirtualCallChecker.cpp67 REGISTER_MAP_WITH_PROGRAMSTATE(CtorDtorMap, const MemRegion *, ObjectState) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DStdVariantChecker.cpp28 REGISTER_MAP_WITH_PROGRAMSTATE(VariantHeldTypeMap, const MemRegion *, QualType)
H A DPthreadLockChecker.cpp287 REGISTER_MAP_WITH_PROGRAMSTATE(LockMap, const MemRegion *, LockState) in REGISTER_LIST_WITH_PROGRAMSTATE()
290 REGISTER_MAP_WITH_PROGRAMSTATE(DestroyRetVal, const MemRegion *, SymbolRef) in REGISTER_LIST_WITH_PROGRAMSTATE()
H A DInnerPointerChecker.cpp28 REGISTER_MAP_WITH_PROGRAMSTATE(RawPtrMap, const MemRegion *, PtrSet)
H A DObjCSelfInitChecker.cpp97 REGISTER_MAP_WITH_PROGRAMSTATE(SelfFlag, SymbolRef, SelfFlagEnum) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DBasicObjCFoundationChecks.cpp808 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerCountMap, SymbolRef, SymbolRef)
809 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerNonEmptyMap, SymbolRef, bool)
H A DNullabilityChecker.cpp267 REGISTER_MAP_WITH_PROGRAMSTATE(NullabilityMap, const MemRegion *,
269 REGISTER_MAP_WITH_PROGRAMSTATE(PropertyAccessesMap, ObjectPropPair,
H A DMacOSKeychainAPIChecker.cpp151 REGISTER_MAP_WITH_PROGRAMSTATE(AllocatedData, in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DExprInspectionChecker.cpp79 REGISTER_MAP_WITH_PROGRAMSTATE(DenotedSymbols, SymbolRef, const StringLiteral *) in REGISTER_SET_WITH_PROGRAMSTATE()
H A DMoveChecker.cpp231 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, RegionState)
H A DCheckObjCDealloc.cpp190 REGISTER_MAP_WITH_PROGRAMSTATE(UnreleasedIvarMap, SymbolRef, SymbolSet) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
H A DDynamicTypePropagation.cpp48 REGISTER_MAP_WITH_PROGRAMSTATE(MostSpecializedTypeArgsMap, SymbolRef,
H A DSmartPtrModeling.cpp97 REGISTER_MAP_WITH_PROGRAMSTATE(TrackedRegionMap, const MemRegion *, SVal) in REGISTER_MAP_WITH_PROGRAMSTATE() function
H A DMallocChecker.cpp248 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
314 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
1084 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
H A DGenericTaintChecker.cpp472 REGISTER_MAP_WITH_PROGRAMSTATE(TaintArgsOnPostVisit, const LocationContext *, in REGISTER_MAP_WITH_PROGRAMSTATE() function
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramStateTrait.h87 #define REGISTER_MAP_WITH_PROGRAMSTATE(Name, Key, Value) \ macro
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp119 REGISTER_MAP_WITH_PROGRAMSTATE(PreviousCallResultMap, const FunctionDecl *, in REGISTER_SET_WITH_PROGRAMSTATE()

12