arsenm wrote: > I'm not sure this is correct. At least the way alive models the flag, I > believe this would also allow returning -0.0 even if both operands are 0.0, > which is not a legal outcome.
That sounds like a bad modeling. It shouldn't permit synthesizing a -0 out of nowhere https://github.com/llvm/llvm-project/pull/113133 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits