Dominique found an issue ("regression") with this patch – and a testcase
omission.

The previous patch mishandled the noncommitted testcase of PR57871 – or
in other words: It did not promote 1.0_4 or 1.0_8 – as only the
default-real-kind values 1.0 and 1.0d0 were promoted (via code in in
trans-types.c).

I have additionally updated the documentation to more accurately state
what the option does and how it interacts with other options.

OK for mainline?

Tobias

PS: Side remark: My recommendation is to avoid
-freal-{4,8}-real-{4,8,10,16} ...

-----------------
Mentor Graphics (Deutschland) GmbH, Arnulfstrasse 201, 80634 München Registergericht München HRB 106955, Geschäftsführer: Thomas Heurung, Frank Thürauf