Variable "doesn't seem to" but is still inited

Original Reporter info from Mantis: Adriaan van Os

• Reporter name: Adriaan van Os

Description:

program DoesNotSeemToBeInited;
label 10, 20, 30;
var i: integer;
begin
        goto 20;
        10: begin i:= i + 1; goto 30 end;
        20: i:= 1;
        goto 10;
        30: writeln( 'i = ', i)
end.

Additional information:

[p17:~/Support/fpcbugs] adriaan% fpc notinited.pas
Free Pascal Compiler version 2.3.1 [2007/06/11] for i386
Copyright (c) 1993-2007 by Florian Klaempfl
Target OS: Darwin for i386
Compiling notinited.pas
notinited.pas(7,18) Warning: Variable "i" does not seem to be initialized
Assembling doesnotseemtobeinited
Linking notinited
11 lines compiled, 0.2 sec
1 warning(s) issued

[p17:~/Support/fpcbugs] adriaan% ./notinited
i = 2

Mantis conversion info:

• Mantis ID: 9059
• Version: 2.3.1