[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