[PATCH] D128359: [clang][dataflow] Move logic for `createStorageLocation` from `DataflowEnvironment` to `DataflowAnalysisContext`.

Stanislav Gatev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 24 06:02:46 PDT 2022


sgatev accepted this revision.
sgatev added inline comments.
This revision is now accepted and ready to land.


================
Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h:91
 
+  /// Creates a stable storage location appropriate for `Type`.
+  ///
----------------



================
Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h:98
+
+  /// Creates a stable storage location for `D`.
+  StorageLocation &getStableStorageLocation(const VarDecl &D);
----------------



================
Comment at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h:101
+
+  /// Creates a stable storage location for `E`.
+  StorageLocation &getStableStorageLocation(const Expr &E);
----------------



Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D128359/new/

https://reviews.llvm.org/D128359



More information about the cfe-commits mailing list