On 2024-06-12 09:28, Alejandro Colomar wrote:
adding U is a net improvement, without downsides (or I can't see them)
Adding U can change the generated code and thus cause behavior change in programs (admittedly not well-written ones). It could also create new false positives in well-written programs.
If adding U fixed real bugs then of course we should do it. Here, though....
