benshi001 wrote: > For now only the pre-condition is added, the `evalFflush` function is missing.
I have also added `evalFflush`. 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
