Home
last modified time | relevance | path

Searched refs:StorageLocation (Results 1 – 10 of 10) sorted by relevance

/llvm-project-15.0.7/clang/include/clang/Analysis/FlowSensitive/
H A DStorageLocation.h28 class StorageLocation {
37 StorageLocation(const StorageLocation &) = delete;
38 StorageLocation &operator=(const StorageLocation &) = delete;
40 virtual ~StorageLocation() = default;
53 class ScalarStorageLocation final : public StorageLocation {
56 : StorageLocation(Kind::Scalar, Type) {} in ScalarStorageLocation()
58 static bool classof(const StorageLocation *Loc) { in classof()
68 class AggregateStorageLocation final : public StorageLocation {
79 static bool classof(const StorageLocation *Loc) { in classof()
84 StorageLocation &getChild(const ValueDecl &D) const { in getChild()
[all …]
H A DDataflowEnvironment.h179 StorageLocation &createStorageLocation(QualType Type);
184 StorageLocation &createStorageLocation(const VarDecl &D);
189 StorageLocation &createStorageLocation(const Expr &E);
218 StorageLocation *getThisPointeeStorageLocation() const;
235 void setValue(const StorageLocation &Loc, Value &Val);
239 Value *getValue(const StorageLocation &Loc) const;
360 StorageLocation &skip(StorageLocation &Loc, SkipPast SP) const;
361 const StorageLocation &skip(const StorageLocation &Loc, SkipPast SP) const;
371 llvm::DenseMap<const Expr *, StorageLocation *> ExprToLoc;
373 llvm::DenseMap<const StorageLocation *, Value *> LocToVal;
[all …]
H A DDataflowAnalysisContext.h98 StorageLocation &getStableStorageLocation(QualType Type);
101 StorageLocation &getStableStorageLocation(const VarDecl &D);
104 StorageLocation &getStableStorageLocation(const Expr &E);
118 StorageLocation *getStorageLocation(const ValueDecl &D) const { in getStorageLocation()
128 void setStorageLocation(const Expr &E, StorageLocation &Loc) { in setStorageLocation()
136 StorageLocation *getStorageLocation(const Expr &E) const { in getStorageLocation()
146 void setThisPointeeStorageLocation(StorageLocation &Loc) { in setThisPointeeStorageLocation()
153 StorageLocation *getThisPointeeStorageLocation() const { in getThisPointeeStorageLocation()
311 std::vector<std::unique_ptr<StorageLocation>> Locs;
320 llvm::DenseMap<const Expr *, StorageLocation *> ExprToLoc;
[all …]
H A DValue.h230 explicit ReferenceValue(StorageLocation &ReferentLoc) in ReferenceValue()
237 StorageLocation &getReferentLoc() const { return ReferentLoc; } in getReferentLoc()
240 StorageLocation &ReferentLoc;
246 explicit PointerValue(StorageLocation &PointeeLoc) in PointerValue()
253 StorageLocation &getPointeeLoc() const { return PointeeLoc; } in getPointeeLoc()
256 StorageLocation &PointeeLoc;
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DDataflowEnvironment.cpp251 const StorageLocation *Loc = Entry.first; in equivalentTo()
295 const StorageLocation *Loc = Entry.first; in join()
323 StorageLocation &Environment::createStorageLocation(QualType Type) { in createStorageLocation()
334 StorageLocation &Environment::createStorageLocation(const Expr &E) { in createStorageLocation()
358 StorageLocation *Environment::getStorageLocation(const Expr &E, in getStorageLocation()
384 StorageLocation &FieldLoc = AggregateLoc.getChild(*Field); in setValue()
406 Value *Environment::getValue(const StorageLocation &Loc) const { in getValue()
517 StorageLocation &Environment::skip(StorageLocation &Loc, SkipPast SP) const { in skip()
528 StorageLocation &LocPastRef = skip(Loc, SkipPast::Reference); in skip()
536 const StorageLocation &Environment::skip(const StorageLocation &Loc, in skip()
[all …]
H A DDataflowAnalysisContext.cpp27 StorageLocation &
33 llvm::DenseMap<const ValueDecl *, StorageLocation *> FieldLocs; in getStableStorageLocation()
42 StorageLocation &
51 StorageLocation &
H A DTransfer.cpp294 StorageLocation *PointeeLoc = in VisitUnaryOperator()
/llvm-project-15.0.7/clang/unittests/Analysis/FlowSensitive/
H A DTransferTest.cpp113 const StorageLocation *FooLoc = in TEST()
140 const StorageLocation *FooLoc = in TEST()
311 const StorageLocation *FooLoc = in TEST()
456 const StorageLocation *FooLoc = in TEST()
661 const StorageLocation *FooLoc = in TEST()
970 const StorageLocation *FooLoc = in TEST()
1006 const StorageLocation *FooLoc = in TEST()
3515 const StorageLocation *FooRefLoc = in TEST()
3519 const StorageLocation *BarRefLoc = in TEST()
3577 const StorageLocation *FooRefLoc = in TEST()
[all …]
/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp237 StorageLocation *maybeInitializeOptionalValueMember(QualType Q, in maybeInitializeOptionalValueMember()
491 void transferSwap(const StorageLocation &OptionalLoc1, in transferSwap()
492 const StorageLocation &OptionalLoc2, in transferSwap()
/llvm-project-15.0.7/clang/docs/tools/
H A Dclang-formatted-files.txt138 clang/include/clang/Analysis/FlowSensitive/StorageLocation.h