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....