Variableninitialisierung beim GCC debug versus release Modus

Adib schrieb:
> Automatische Variablen innerhalb von Funktionen sind ja prinzipiell
> nicht initialisiert. Mir kommt es aber vor, dass beim Debuggen eine
> angelegte Variable immer 0 ist.

Zufall.

Du schreibst nicht, auf welcher Plattform das passiert.  Falls es
sich um ein Mehrnutzer-Betriebssystem handelt, dann werden alle
memory pages, bevor sie dem Prozess überlassen werden, normalerweise
ausgenullt, damit keine sicherheitsrelevanten Informationen anderer
Prozesse darin vorhanden sind.  Da bei abgeschalteter Optimierung
(-O0) prinzipiell alle Variablem im Stackframe angelegt werden,
bleibt natürlich ein großer Teil des Stacks dann auf diesen Nullen
sitzen.

GCC unterscheidet übrigens nicht zwischen "debug mode" und "release
mode".  Optimierung und Anlegen von Debuginformationen sind völlig
voneinander unabhängig; auch bei aggressivser Optimierung (-O2 oder
-O3) kann man immer noch Debuginformationen (-g) anlegen lassen und
den Debugger darauf laufen lassen.

auto-Variablen ohne Initializer sind nicht initialisiert. Sich auf was 
anderes zu verlassen oder aus Beispielen ein "Gewohnheitsrecht" 
abzuleiten in Hack.

Jörg Wunsch schrieb:

> GCC unterscheidet übrigens nicht zwischen "debug mode" und "release
> mode".  Optimierung und Anlegen von Debuginformationen sind völlig
> voneinander unabhängig; auch bei aggressivser Optimierung (-O2 oder
> -O3) kann man immer noch Debuginformationen (-g) anlegen lassen und
> den Debugger darauf laufen lassen.

Was auf jeden Fall gilt ist:

-g, also debug-Info anlegen ja/nein, hat keinen Einfluß auf den 
erzeugten Code. Falls doch, ist das als Compilerfehler anzusehen.

Andersrum ist das nicht ganz so klar, d.h. ich würd meine Hand nicht 
dafür ins Feuer legen, daß Optimierung keinen Einfluß auf das Erzeugen 
von Debug-Info hat.

Zeitgemäße Debug-Formate wie DWARF-4 bieten zwar Unterstützung für 
optimierten Code, so wird zum Beispiel in

1

void foo (void)

2

{

3

    int var = 1;

4

}

das Setzen von var in der Debug-Info dokumentiert auch wenn die 
Zuweisung selbst weggeworfen und var nicht angelegt wird.

Ob -O* jedoch komplett neutral in Bezug auf Degug-Info ist würd ich 
nach GCC-Intuition verneinen.

Adib schrieb:
> Das Problem, das ich habe ist auf einem Linux Rechner mit GCC. Ich
> dachte, das der GCC auf jeder Platform quasi gleich funktioniert.

Der GCC (im Prinzip) schon.

Das Betriebssystem nicht.  Wie schon beschrieben, nullt dein Linux
alle memory pages aus, bevor sie der Prozess bekommt.  Wenn du ein
äquivalentes Programm auf einem Mikrocontroller ohne System laufen
lässt, dann sieht die Applikation hingegen zufällige RAM-Inhalte.

Adib schrieb:
> Ich habe jetzt aber ein Problem, das auf nichtinitialiserte Variablen im
> Produktions-Code hindeuted.

Verwendest du ein Tool zur statischen Codeanalyse (Lint, Cppcheck etc.)? 
Wenn nicht, probiere das einmal aus.

Reinhard

Und mal in valgrind (Memorydebugger) laufen lassen.