Searched refs:StorageLocation (Results 1 – 12 of 12) sorted by relevance
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.h | 292 StorageLocation &createStorageLocation(QualType Type); 297 StorageLocation &createStorageLocation(const ValueDecl &D); 302 StorageLocation &createStorageLocation(const Expr &E); 309 void setStorageLocation(const ValueDecl &D, StorageLocation &Loc); 313 StorageLocation *getStorageLocation(const ValueDecl &D) const; 325 void setStorageLocation(const Expr &E, StorageLocation &Loc); 333 StorageLocation *getStorageLocation(const Expr &E) const; 341 std::enable_if_t<std::is_base_of_v<StorageLocation, T>, T *> 346 std::enable_if_t<std::is_base_of_v<StorageLocation, T>, T *> 401 StorageLocation *getReturnStorageLocation() const { in getReturnStorageLocation() [all …]
|
| H A D | CachedConstAccessorsLattice.h | 76 StorageLocation &getOrCreateConstMethodReturnStorageLocation( 78 Environment &Env, llvm::function_ref<void(StorageLocation &)> Initialize); 107 llvm::SmallDenseMap<const FunctionDecl *, StorageLocation *>>; 164 clang::dataflow::internal::joinConstMethodMap<dataflow::StorageLocation>( in join() 195 StorageLocation & 198 Environment &Env, llvm::function_ref<void(StorageLocation &)> Initialize) { in getOrCreateConstMethodReturnStorageLocation() 208 StorageLocation &Loc = Env.createStorageLocation(Type.getNonReferenceType()); in getOrCreateConstMethodReturnStorageLocation()
|
| H A D | SmartPointerAccessorCaching.h | 94 llvm::function_ref<void(StorageLocation &)> InitializeLoc); 106 llvm::function_ref<void(StorageLocation &)> InitializeLoc); 112 llvm::function_ref<void(StorageLocation &)> InitializeLoc) { in transferSmartPointerLikeCachedDeref() 138 StorageLocation &LocForValue = in transferSmartPointerLikeCachedDeref() 148 llvm::function_ref<void(StorageLocation &)> InitializeLoc) { in transferSmartPointerLikeCachedGet()
|
| H A D | DataflowAnalysisContext.h | 105 StorageLocation &createStorageLocation(QualType Type); 121 StorageLocation &getStableStorageLocation(const ValueDecl &D); 124 StorageLocation &getStableStorageLocation(const Expr &E); 263 llvm::DenseMap<const ValueDecl *, StorageLocation *> DeclToLoc; 264 llvm::DenseMap<const Expr *, StorageLocation *> ExprToLoc;
|
| H A D | Value.h | 172 explicit PointerValue(StorageLocation &PointeeLoc) in PointerValue() 179 StorageLocation &getPointeeLoc() const { return PointeeLoc; } in getPointeeLoc() 182 StorageLocation &PointeeLoc;
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | DataflowEnvironment.cpp | 47 static llvm::DenseMap<const ValueDecl *, StorageLocation *> intersectDeclToLoc( in intersectDeclToLoc() 48 const llvm::DenseMap<const ValueDecl *, StorageLocation *> &DeclToLoc1, in intersectDeclToLoc() 49 const llvm::DenseMap<const ValueDecl *, StorageLocation *> &DeclToLoc2) { in intersectDeclToLoc() 50 llvm::DenseMap<const ValueDecl *, StorageLocation *> Result; in intersectDeclToLoc() 232 static llvm::MapVector<const StorageLocation *, Value *> 233 joinLocToVal(const llvm::MapVector<const StorageLocation *, Value *> &LocToVal, in joinLocToVal() argument 234 const llvm::MapVector<const StorageLocation *, Value *> &LocToVal2, in joinLocToVal() 237 llvm::MapVector<const StorageLocation *, Value *> Result; in joinLocToVal() 239 const StorageLocation *Loc = Entry.first; in joinLocToVal() 830 StorageLocation &Environment::createStorageLocation(QualType Type) { in createStorageLocation() [all …]
|
| H A D | RecordOps.cpp | 19 static void copyField(const ValueDecl &Field, StorageLocation *SrcFieldLoc, in copyField() 20 StorageLocation *DstFieldLoc, RecordStorageLocation &Dst, in copyField() 38 static void copySyntheticField(QualType FieldType, StorageLocation &SrcFieldLoc, in copySyntheticField() 39 StorageLocation &DstFieldLoc, Environment &Env) { in copySyntheticField() 101 StorageLocation *FieldLoc2 = Loc2.getChild(*Field); in recordsEqual()
|
| H A D | Transfer.cpp | 349 StorageLocation *PointeeLoc = Env.getStorageLocation(*SubExpr); in VisitImplicitCastExpr() 385 if (StorageLocation *PointeeLoc = Env.getStorageLocation(*SubExpr)) in VisitUnaryOperator() 404 if (StorageLocation *Loc = Env.getStorageLocation(*S->getSubExpr())) in VisitUnaryOperator() 413 if (StorageLocation *Loc = Env.getStorageLocation(*S->getSubExpr())) in VisitUnaryOperator() 668 StorageLocation &Loc = Env.createStorageLocation(*S); in VisitMaterializeTemporaryExpr() 709 StorageLocation *TrueLoc = TrueEnv->getStorageLocation(*S->getTrueExpr()); in VisitConditionalOperator() 710 StorageLocation *FalseLoc = in VisitConditionalOperator() 772 StorageLocation *FieldLoc = Loc.getChild(*Field); in VisitInitListExpr()
|
| H A D | DataflowAnalysisContext.cpp | 61 StorageLocation &DataflowAnalysisContext::createStorageLocation(QualType Type) { in createStorageLocation() 63 llvm::DenseMap<const ValueDecl *, StorageLocation *> FieldLocs; in createStorageLocation() 102 StorageLocation & 111 StorageLocation &
|
| H A D | TypeErasedDataflowAnalysis.cpp | 356 StorageLocation *MemberLoc = nullptr; in builtinTransferInitializer()
|
| H A D | HTMLLogger.cpp | 122 void dump(const StorageLocation &L) { in dump()
|
| /freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/ |
| H A D | UncheckedOptionalAccessModel.cpp | 378 StorageLocation &locForHasValue(const RecordStorageLocation &OptionalLoc) { in locForHasValue() 382 StorageLocation &locForValue(const RecordStorageLocation &OptionalLoc) { in locForValue() 398 StorageLocation &HasValueLoc = locForHasValue(*OptionalLoc); in getHasValue() 426 StorageLocation *getLocBehindPossiblePointer(const Expr &E, in getLocBehindPossiblePointer() 570 auto Init = [&](StorageLocation &Loc) { in handleConstMemberCall() 575 StorageLocation &Loc = in handleConstMemberCall() 597 StorageLocation &Loc = in handleConstMemberCall() 599 *RecordLoc, DirectCallee, State.Env, [&](StorageLocation &Loc) { in handleConstMemberCall() 1071 State, [](StorageLocation &Loc) {}); in buildTransferMatchSwitch() 1082 State, [](StorageLocation &Loc) {}); in buildTransferMatchSwitch() [all …]
|