This is the mail archive of the
gcc-prs@gcc.gnu.org
mailing list for the GCC project.
Re: c/10339: strncmp generates imPure code
- From: Andreas Schwab <schwab at suse dot de>
- To: nobody at gcc dot gnu dot org
- Cc: gcc-prs at gcc dot gnu dot org,
- Date: 7 Apr 2003 20:06:01 -0000
- Subject: Re: c/10339: strncmp generates imPure code
- Reply-to: Andreas Schwab <schwab at suse dot de>
The following reply was made to PR optimization/10339; it has been noted by GNATS.
From: Andreas Schwab <schwab at suse dot de>
To: Michael Ubell <ubell at mindspring dot com>
Cc: Falk Hueffner <falk dot hueffner at student dot uni-tuebingen dot de>,
Wolfgang Bangerth <bangerth at ices dot utexas dot edu>, gcc-bugs at gcc dot gnu dot org,
gcc-gnats at gcc dot gnu dot org
Subject: Re: c/10339: strncmp generates imPure code
Date: Mon, 07 Apr 2003 22:04:08 +0200
Michael Ubell <ubell at mindspring dot com> writes:
|> Do you mean you want me to set up a case where it runs off the
|> end of memory?
Yes.
|> I think it is sufficient that it is reading memory
|> that is not allocated, no?
No, it is not.
|> If you change the length of the string
|> in the example you can see that it will read more unallocated
|> memory.
You haven't provided any evidence yet. The provided test case is
correctly translated for the given platform.
|> Do you have some reason why reading arbirary unallocated
|> memory is acceptable? I don't see how the alignment is an issue.
It is. Memory returned by malloc is required to be correctly aligned for
any type.
Andreas.
--
Andreas Schwab, SuSE Labs, schwab at suse dot de
SuSE Linux AG, Deutschherrnstr. 15-19, D-90429 Nürnberg
Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."