Ross Ridge wrote:
Thinking semantically is irrelevent because the question isn't whether GCC conforms to C99 or POSIX. It clearly doesn't. GCC fails the as-if rule. The question is one of implementation burden, which can only be answered by examining GCC's implementation.
Once again we are not discussing general conformance here, just conformance on this specific issue.