This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: malloc attributes and realloc
"Zack Weinberg" <zack@codesourcery.com> writes:
| Gabriel Dos Reis <gdr@integrable-solutions.net> writes:
|
| > Robert Dewar <dewar@gnat.com> writes:
| >
| > | Gabriel Dos Reis wrote:
| > |
| > | > No, I'm saying that the test
| > | > if (*p != 'a')
| > | > cannot not be "skipped" (or turned into true) because there might be
| > | > a
| > | > data there that actually is an 'a'.
| > |
| > | So what?
| >
| > So, it follows what I wrote: The transformation is not valid in general.
|
| I think you misunderstood the transformation.
Yes, that is what Daniel J. figured out.
Thanks.
-- Gaby