From mboxrd@z Thu Jan  1 00:00:00 1970
From: "John David Anglin" <dave@hiauly1.hia.nrc.ca>
To: dave@hiauly1.hia.nrc.ca (John David Anglin)
Cc: gcc@gcc.gnu.org, gcc-bugs@gcc.gnu.org
Subject: Re: RFC: Jump to const_int
Date: Fri, 12 Jan 2001 19:40:00 -0000
Message-id: <200101130340.WAA21616@hiauly1.hia.nrc.ca>
References: <no.id>
X-SW-Source: 2001-01/msg00848.html

> I found the following testcase fails (991213-3.c) with the above abort:
> 
> int jump () { goto * (int (*) ()) 0xbabebec0; }

One further thought.  The test looks bogus to me because the address
clearly can't be in the current function.  Thus, the behavior of such
a jump is totally unpredictable.

Gcc allows as an extension goto's to any void * expression.  Thus, the
above is accepted but it will clearly cause problems when edges are
to be calculated.

Dave
-- 
J. David Anglin                                  dave.anglin@nrc.ca
National Research Council of Canada              (613) 990-0752 (FAX: 952-6605)