gcc/testsuite/gm2/switches/uninit-variable-checking/pass/testvarinit.mod

MODULE testvarinit ;


PROCEDURE test ;
VAR
   x: CARDINAL ;
BEGIN
   x := 1 ;
   IF x = 1
   THEN
   END
END test ;


BEGIN
   test
END testvarinit.