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

MODULE testwithptr3 ;

TYPE
   ptr = POINTER TO vec ;
   vec = RECORD
            x, y: CARDINAL ;
         END ;


PROCEDURE test ;
VAR
   p: ptr ;
BEGIN
   WITH p^ DO

   END
END test ;

BEGIN
   test
END testwithptr3.