[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) {
----------------
ymand wrote:

Why not include this function as part of the Environment API? At the least, please include a comment here explaining the choice of location.

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


More information about the cfe-commits mailing list