[clang] [clang][dataflow] Fully support Environment construction for Stmt analysis. (PR #91616)

[Samira Bazuzi via cfe-commits]

================
@@ -718,16 +730,24 @@ class Environment {
   void pushCallInternal(const FunctionDecl *FuncDecl,
                         ArrayRef<const Expr *> Args);
 
+  // FIXME: Add support for resetting globals after function calls to enable
+  // the implementation of sound analyses.
----------------
bazuzi wrote:

Thanks for catching, there was some iteration on the placement of the 
implementation of `initFieldsGlobalsAndFuncs` and I forgot to move this back.

https://github.com/llvm/llvm-project/pull/91616
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits