From: Olivier Hainque <hainque@ACT-Europe.FR>
To: "John David Anglin" <dave@hiauly1.hia.nrc.ca>
Cc: gcc@gcc.gnu.org
Subject: Re: PA specifies invalid T_ADAFLAGS
Date: Thu, 25 Apr 2002 02:47:00 -0000 [thread overview]
Message-ID: <kthem0dtu3.fsf@berlin.int.act-europe.fr> (raw)
In-Reply-To: <200204250455.g3P4t7o1021391@hiauly1.hia.nrc.ca>
"John David Anglin" <dave@hiauly1.hia.nrc.ca> writes:
> Has the PA indexing situation been reviewed since the above patch was
> installed?
Perhaps a testcase exercised against the current 3.1 would help ...
IIUC, some constructs we have in Ada basically amount to the following kind of
behavior in C:
#include <malloc.h>
int lo ()
{
return 60000;
}
int
main ()
{
volatile char c;
char * b = malloc (15);
char * vb = b - lo();
c = vb [lo()];
return 0;
}
with 3.1 20020424 on pa-hpux, the O1 output without -mdisable-indexing reads:
bl malloc,%r2
ldi 15,%r26
.CALL
bl lo,%r2
copy %r28,%r4
.CALL
bl lo,%r2
sub %r4,%r28,%r4
ldbx %r28(%r4),%r4 <=== Runtime fault here
stb %r4,-120(%r30)
This dumps core at the ldbx point because the space check is performed
against r28 and not r28+r4.
next prev parent reply other threads:[~2002-04-25 9:12 UTC|newest]
Thread overview: 45+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-04-24 19:59 Richard Kenner
2002-04-24 22:07 ` John David Anglin
2002-04-25 0:18 ` Arnaud Charlet
2002-04-25 0:49 ` Richard Henderson
2002-04-26 10:51 ` law
2002-04-25 2:47 ` Olivier Hainque [this message]
2002-04-25 2:58 ` Michael Matz
2002-04-25 9:25 ` John David Anglin
-- strict thread matches above, loose matches on Subject: below --
2002-04-26 16:14 Robert Dewar
[not found] <10204260954.AA16645@vlsi1.ultra.nyu.edu>
2002-04-26 8:11 ` Matthew Wilcox
2002-04-26 4:06 Richard Kenner
2002-04-25 22:55 Matthew Wilcox
2002-04-25 21:14 Robert Dewar
2002-04-25 20:52 Robert Dewar
2002-04-25 21:53 ` John David Anglin
2002-04-25 19:58 Robert Dewar
2002-04-25 20:51 ` John David Anglin
2002-04-25 19:45 Robert Dewar
2002-04-25 19:37 Robert Dewar
2002-04-25 19:55 ` John David Anglin
2002-04-25 5:35 Richard Kenner
2002-04-26 10:54 ` law
2002-04-25 3:37 Richard Kenner
2002-04-24 22:08 Robert Dewar
2002-04-24 21:27 Robert Dewar
2002-04-24 20:37 Robert Dewar
2002-04-24 20:44 ` Matthew Wilcox
2002-04-24 21:44 ` John David Anglin
2002-04-24 20:09 Robert Dewar
2002-04-24 20:06 Robert Dewar
2002-04-24 20:26 ` Matthew Wilcox
2002-04-24 21:39 ` John David Anglin
2002-04-24 12:07 John David Anglin
2002-04-24 12:43 ` Matthew Wilcox
2002-04-25 15:04 ` John David Anglin
2002-04-26 10:56 ` law
2002-04-26 11:28 ` John David Anglin
2002-04-24 13:27 ` Arnaud Charlet
2002-04-24 13:38 ` John David Anglin
2002-04-24 14:28 ` Arnaud Charlet
2002-04-24 22:47 ` John David Anglin
2002-04-26 9:35 ` law
2002-04-26 9:39 ` John David Anglin
2002-04-26 10:43 ` law
2002-04-24 10:27 Matthew Wilcox
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=kthem0dtu3.fsf@berlin.int.act-europe.fr \
--to=hainque@act-europe.fr \
--cc=dave@hiauly1.hia.nrc.ca \
--cc=gcc@gcc.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).