Cita: - Una vez finalizados los cálculos, el resultado se "despromociona" a su tipo anterior y se guarda en la memoria correspondiente.
Bueno, esto no lo hace. A la constante 1.1F no la "despromociona" un pomo.
Yo quiero saber solamente si es un bug de GCC, o no lo es.
(Aunque igual me da curiosidad ahora de qué diablos está pasando internamente).
Porque si no lo es, entonces es el programador quien tiene la responsabilidad de tener en cuenta esas "anomalías", para programar sin errores.
Y si no, entonces hay que informar al equipo de desarrolladores de GCC, a ver si es posible que lo arreglen.
_______________
Hice lo que propusiste de cambiar la macro FLT_EVAL_METHOD a otro valor, le puse un 0.
Primero me tiró un "warning" de que esa macro había cambiado de valor (como que no le gustó), y además los resultados que obtengo son los mismos que antes.
O sea, no surtió efecto alguno.
El valor "2", que viene "de fábrica" (otorgado por GCC), hay que aguantárselo como viene.