[clang] [clang][dataflow] Add synthetic fields to `RecordStorageLocation` (PR #73860)

Yitzhak Mandelbaum via cfe-commits cfe-commits at lists.llvm.org
Thu Nov 30 06:16:23 PST 2023


================
@@ -492,6 +492,56 @@ transferCFGBlock(const CFGBlock &Block, AnalysisContext &AC,
   return State;
 }
 
+static Environment initializeEnvironment(const Environment &InitEnv) {
+  Environment ResultEnv = InitEnv.fork();
----------------
ymand wrote:

Why `fork`? The function name implies that the argument is being initialized. If that's not the case, then maybe a different name which indicates that a new (fork of the) Environment is being created and initialized? e.g. `createInitializedEnvironment`.

https://github.com/llvm/llvm-project/pull/73860


More information about the cfe-commits mailing list