================
@@ -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
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
