From: Lutz Donnerhacke <lutz@iks-jena.de>
Subject: Re: Errornous String instantiation
Date: Mon, 21 Jul 2003 12:55:17 +0000 (UTC)
Date: 2003-07-21T12:55:17+00:00 [thread overview]
Message-ID: <slrnbhnolg.oa.lutz@taranis.iks-jena.de> (raw)
In-Reply-To: slrnbhnngo.oa.lutz@taranis.iks-jena.de
* Lutz Donnerhacke wrote:
> * Preben Randhol wrote:
>> Do you have a sample program so I can just gnatchop and run gnatmake I
>> can test it for you one gcc 3.3 if you like.
>
> [private test under way, expect reports soon]
gcc 3.3 -O0:
Start Elaborating
Testing Len 1 20
Testing Len 2 4
Testing Len 3 20
Testing Len 4 25
Testing Len 5 20
Testing Len 6 80
Testing Len 7 1 <-- Wrong: "k7 : String renames k6;"
Testing Len 1 20
Testing Len 2 112 <-- Modified bounds as described in the top posting
Testing Len 3 20
Testing Len 4 25
Testing Len 5 20
Testing Len 6 80
Testing Len 7 1 <-- Wrong: "k7 : String renames k6;"
gcc 3.3 -O2:
Start Elaborating
Testing Len 1 20
Testing Len 2 0 <-- Modified bounds before first access
Testing Len 3 20
Testing Len 4 25
Testing Len 5 20
Testing Len 6 80
Testing Len 7 1 <--
Testing Len 1 20
Testing Len 2 0 <--
Testing Len 3 20
Testing Len 4 25
Testing Len 5 20
Testing Len 6 80
Testing Len 7 1 <--
Gnat 3.14p -O0 and -O2:
Testing Len 1 20
Testing Len 2 4
Testing Len 3 20
Testing Len 4 25
Testing Len 5 20
Testing Len 6 80
Testing Len 7 1 <-- Wrong: "k7 : String renames k6;"
Testing Len 1 20
Testing Len 2 4
Testing Len 3 20
Testing Len 4 25
Testing Len 5 20
Testing Len 6 80
Testing Len 7 1
Otherwise, it looks stable (besides it fails the regression tests).
Those tests are successful, when run after elaboration.
In order to ease debugging, I provide a snapshot of the program at:
ftp://ftp.iks-jena.de/pub/mitarb/lutz/ada/compilerbug.tgz
next prev parent reply other threads:[~2003-07-21 12:55 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-21 10:43 Errornous String instantiation Lutz Donnerhacke
2003-07-21 10:56 ` Preben Randhol
2003-07-21 11:02 ` Lutz Donnerhacke
2003-07-21 11:07 ` Preben Randhol
2003-07-21 12:35 ` Lutz Donnerhacke
2003-07-21 12:55 ` Lutz Donnerhacke [this message]
2003-07-21 21:54 ` Adrian Knoth
2003-07-21 11:08 ` Florian Weimer
2003-07-21 11:17 ` Preben Randhol
2003-07-21 16:19 ` Matthew Heaney
2003-07-21 16:26 ` Lutz Donnerhacke
2003-07-23 14:03 ` Lutz Donnerhacke
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox