https://github.com/balazske requested changes to this pull request.
For now only the pre-condition is added, the `evalFflush` function is missing. https://github.com/llvm/llvm-project/pull/74296 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
