topperc wrote: > FWIW, Alive2 is complaining about this commit. These patches are not safe > w.r.t. undef.
Why not? https://github.com/llvm/llvm-project/pull/72912 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
