Kann ein unsigned long negativ werden, wenn es mit einem float multipliziert wird?

Question

Der Titel wird wahrscheinlich schlecht gewählt, aber ich konnte keine gute einzeilige Zusammenfassung für diese Frage finden. Mein Problem ist, dass ich nicht Sinn das, was machen kann mein Compiler tut, und ich frage mich, ob ich einen Fehler im Compiler ... oder in meinem Verständnis der C-Sprache gefunden.

Mein Verständnis ist, dass:

• - 1UL == ULONG_MAX, und das ist sicher, da das Überlaufverhalten von Zahlen ohne Vorzeichen gut definiert ist
• das Produkt (- 1UL) * 1.0f die Umwandlung des linken Operanden beinhaltet zu schweben, und diese Umwandlung erhält den Wert (nämlich ULONG_MAX) mit Ausnahme der Rundungsfehler

Bisher mein Compiler zustimmt, es sei denn, 1UL aus einer variablen kommt. Hier ist mein Testprogramm, mit seiner Ausgabe als Kommentar:

#include <stdio.h> 

int main(void) 
{ 
    unsigned long one = 1; 
    unsigned long minus_one = - one; 
    printf("%lu\n", - one);   // 18446744073709551615 
    printf("%g\n", minus_one * 1.0f); // 1.84467e+19 
    printf("%g\n", (- one) * 1.0);  // 1.84467e+19 
    printf("%g\n", (- 1UL) * 1.0f); // 1.84467e+19 
    printf("%g\n", (- one) * 1.0f); // -1 
    return 0; 
} 

Ich kann den letzten Ausgang nicht sinnvoll machen. Ich habe verschiedene Optimierungsebenen und verschiedene Sprachstandards (C90, C99 und C11) mit identischen Ergebnissen ausprobiert. Jeder eine Ahnung?

Umwelt: gcc 4.8.1/Ubuntu Linux 14.04/x86-64 (I32LP64)

bearbeiten: Ich habe gerade bemerkt, dass meine Frage ein Duplikat combination of unary minus and float conversion sein kann.

Answer 1

Dies scheint in gcc 4.8 ein Fehler zu sein. Ich habe das gleiche Verhalten wie du mit 4.8, aber gcc 4.9 und clang zeigen das korrigierte Verhalten.