[Bug modula2/110125] Variables are reported as uninitialized when only set inside WITH statement

[admin--- via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110125

--- Comment #2 from Thorsten Otto <ad...@tho-otto.de> ---
Maybe related to this:

MODULE foo;

TYPE Head = RECORD
              magic: INTEGER;
     END;
  Carrier = RECORD
              head: Head;
              tail: Head;
            END;

PROCEDURE test(VAR carrier: Carrier);
BEGIN
  carrier.head.magic := 0;
  carrier.tail.magic := 0;
END test;

VAR x: Carrier;

BEGIN
  test(x);
END foo.

also gives warning about unused parameter "carrier" in function test.