gcc/testsuite/gm2/switches/uninit-variable-checking/fail/testrecinit2.mod

MODULE testrecinit ;


TYPE
   color = RECORD
              r, g, b: CARDINAL ;
           END ;

   pixel = RECORD
              fg, bg: color ;
           END ;

PROCEDURE test ;
VAR
   p: pixel ;
BEGIN
   p.fg.r := 1 ;
   IF p.fg.g = 6   (* should catch error.  *)
   THEN
   END
END test ;

BEGIN
   test
END testrecinit.