uint16_t als uint32_t angezeigt

Hallo,
ich hatte gerade etwas komisches.

Habe folgende Variable definiert:

uint16_t  mPrgWidth[16];

Habe das Programm compiliert und laufen lassen.

Wenn ich mit der auf die Variable gegangen bin, hat mir
der Hint aber "uint32_t ..." angezeigt. Auch im
Watch-Fenster wurde mir ein uint32_t als Typ angezeigt.

Mehrmaliges compilieren und neu starten des Debuggers hat
nichts gebracht. Erst als ich in der Datei etwas geändert
habe, wurde der richtige Typ angezeigt - und jetzt läuft
auch die Anwendung wie erwartet.

Setze GCC jetzt schon einige Zeit ein. Frage mich jetzt,
ob solche Effekte schon andere hatten.