freepascal.compiler/tests/webtbf/tw4781a.pp

{ %fail }
{ %OPT=-Sew -vw}
program tw4781a;
var U : integer;

procedure B; 
begin 
if U = 0 then; 
if U = 0 then; 
end;

begin
   if  U = 1 then writeln('UNdetected');
end.