This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
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? The description in the standard is not an operational one, but rather an as-if semantic description. What possible program semantics could be affected by this transformation?
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |