This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: c/10339: strncmp generates imPure code
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."