Compiler warnt nicht vor nicht initialisierter Variable

[nuclearping]

Habs mal mit XE2 und XE7 getestet. Gleiches Ergebnis wie Günther schon sagte. Ich erhalte keine Warnung und WriteLn(arrayIndex) gibt Müll aus. Wenn ich die if (arrayIndex ...) -Prüfung auskommentiere, erhalte ich auch eine W1037-Warnung.

[Union]

Der Compiler kann zur Compilezeit ja nicht wissen dass High(myArray) = -1 ist. Er sieht nur das for-Konstrukt in dem ja theoretisch eine Zuweisung erfolgt.

[Sailor]

Das liegt an der Break-Anweisung. Der Compiler stellt nach dem Break den aktuellen Schleifenindex zur Verfügung. Kommentiere nur das Break aus, dann dürfte eine Warnung kommen.

[Der schöne Günther]

Aber wir wären uns alle einig dass wir Embarcaderos "Reported Bugs" wieder um eins größer machen sollten, oder?

[himitsu]

Jupp, so schnell wie möglich melden.
Jede Stunde früher scheint 'nen Monat eher bereinigt zu sein.

Man könnte noch schauen, was die verschiedenen Compiler dazu sagen (Win64, iOS32, iOS64, OSX, Linux, ...)
und mit oder ohne Generics.

[Der schöne Günther]

Höre ich da Sarkasmus?

Win64 hatte ich eingangs auch geprüft, die anderen Plattformen kann ich nicht. Wäre mal interessant. Wäre jemand so freundlich?

Übrigens: Die for..in -Schleife ist nicht betroffen.

[jbg]

Zitat von himitsu:

Man könnte noch schauen, was die verschiedenen Compiler dazu sagen (Win64, iOS32, iOS64, OSX, Linux, ...)
und mit oder ohne Generics.

Was sollen die anderes sagen, die haben alles das gleiche Frontend. Nur das Backend ist je unterschiedlich bzw. LLVM.

[himitsu]

Ich dachte Win/Win32 ist immernoch das Alte und noch nix mit LLVM?

[gammatester]

Zitat von Sailor:

Das liegt an der Break-Anweisung. Der Compiler stellt nach dem Break den aktuellen Schleifenindex zur Verfügung. Kommentiere nur das Break aus, dann dürfte eine Warnung kommen.

Das Verlassen der Schleife kann aber nicht der einzige Grund sein, ersetzt man das break durch ein goto

Delphi-Quellcode:

procedure forProc();
label xx;
var
   myArray:   TArray<Single>;
   arrayIndex:   Integer;
begin
   for arrayIndex := Low(myArray) to High(myArray) do
      if (arrayIndex = 42) then goto xx;
xx:
   WriteLn(arrayIndex);
   readln;
end;

dann erhält man 3 (in Worten drei) mal die gleiche Warnung.

[himitsu]

Zitat von Sailor:

Das liegt an der Break-Anweisung. Der Compiler stellt nach dem Break den aktuellen Schleifenindex zur Verfügung.

Nein, außerhalb der Schleife ist die Schleifenvariable per se immer "ungültig".

Ja, es kann "zufällig" mal sein, daß die Variable danach noch den selben Wert hat, aber wenn hier eine der möglichen Optimierungen zuschlägt, dann war's das damit.
* der Compiler lässt intern die Zählung eventuell rückwärts laufen, wenn er das für optimaler erachtet
* oder er lässt die Variable wärend der Schleife in einem der CPU-Registier und kopiert es danach natürlich nicht in die Variable auf dem Stack, da das sinnlos wäre, weil laut Definition danach die Schleifenvariable nicht mehr verwendet wird.
* ...