gcc/testsuite/gm2/cse/pass/testcse7.mod

   1 (* Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc. *)
   2 (* This file is part of GNU Modula-2.
   3
   4 GNU Modula-2 is free software; you can redistribute it and/or modify it under
   5 the terms of the GNU General Public License as published by the Free
   6 Software Foundation; either version 2, or (at your option) any later
   7 version.
   8
   9 GNU Modula-2 is distributed in the hope that it will be useful, but WITHOUT ANY
  10 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12 for more details.
  13
  14 You should have received a copy of the GNU General Public License along
  15 with gm2; see the file COPYING.  If not, write to the Free Software
  16 Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. *)
  17 MODULE testcse7 ;
  18
  19
  20 TYPE
  21    Where = RECORD
  22               Declared : CARDINAL ;
  23               FirstUsed: CARDINAL ;
  24            END ;
  25
  26
  27 (*
  28    foo -
  29 *)
  30
  31 PROCEDURE foo () : CARDINAL ;
  32 BEGIN
  33    RETURN( 1 )
  34 END foo ;
  35
  36
  37 PROCEDURE InitWhereDeclared (VAR at: Where) : CARDINAL ;
  38 BEGIN
  39    WITH at DO
  40       Declared := foo() ;
  41       FirstUsed := Declared   (* we assign this field to something legal *)
  42    END ;
  43    RETURN( foo() )
  44 END InitWhereDeclared ;
  45
  46
  47 VAR
  48    a: Where ;
  49 BEGIN
  50    IF InitWhereDeclared(a)=1
  51    THEN
  52    END
  53 END testcse7.