Is the output of printf (“%d %d”, c++, c); also undefined?

by

I have studied in lectures that post-fix and prefix operators increment value only after getting a semicolon.

Send your lecturer to me so that I can take a baseball bat to him politely point out his mistake.

Exactly when the side effect of either pre- or postfix ++ and -- is applied is unspecified, apart from the requirement that it happen before the next sequence point. In an expression like

x = a++ * b

a may be updated immediately after a++ has been evaluated, or the update may be deferred until a++ * b has been evaluated and the result assigned to x, or anywhere in between.

This is why expressions like i++ * i++ and printf("%d %d", c++, c) and a[i++] = i and a host of others are all bad juju. You will get different results based on the compiler, optimization settings, surrounding code, etc. The language standard explicitly leaves the behavior undefined so that the compiler is under no obligation to “do the right thing”, whatever the right thing may be. Remember, the definition for undefined behavior is

3.4.3

1 undefined behavior
behavior, upon use of a nonportable or erroneous program construct or of erroneous data,
for which this International Standard imposes no requirements

2 NOTE Possible undefined behavior ranges from ignoring the situation completely with unpredictable
results, to behaving during translation or program execution in a documented manner characteristic of the
environment (with or without the issuance of a diagnostic message), to terminating a translation or
execution (with the issuance of a diagnostic message).

3 EXAMPLE An example of undefined behavior is the behavior on integer overflow.

This is a deliberate design decision – the rationale for leaving the order of these operations unspecified is to give the implementation freedom to rearrange the evaluation order for optimization purposes. However, in exchange for this freedom, certain operations will not have well-defined results.

Note that a compiler is free to try to detect these cases and issue a diagnostic; printf("%d %d", c++, c); would be easy enough to catch, but this would be a bugger to detect in the general case. Imagine if that had been written printf("%d %d", (*p)++, c); if p points to c, then the behavior is undefined, otherwise it’s okay. If p is assigned in a different translation unit, then there’s no way to know at compile time whether this is a problem or not.

This concept is not difficult to understand, yet it is one of the most consistently misunderstood (and mis-taught) aspects of the C language. No doubt this is why the Java and C# language specifications force a specific evaluation order for everything (all operands are evaluated left-to-right, and all side effects are applied immediately).

More Related Contents:

  1. Given the state of the stack and registers, can we predict the outcome of printf’s undefined behavior
  2. Why are these constructs using pre and post-increment undefined behavior?
  3. (Why) is using an uninitialized variable undefined behavior?
  4. Can we change the value of an object defined with const through pointers?
  5. Is the “struct hack” technically undefined behavior?
  6. Is a^a or a-a undefined behaviour if a is not initialized?
  7. Is accessing a global array outside its bound undefined behavior?
  8. How undefined is undefined behavior?
  9. Is the behaviour of casting a negative double to unsigned int defined in the C standard? Different behaviour on ARM vs. x86
  10. A question about union in C – store as one type and read as another – is it implementation defined?
  11. When is casting between pointer types not undefined behavior in C?
  12. What is Undefined Behaviour in C? [duplicate]
  13. 32 bit unsigned multiply on 64 bit causing undefined behavior?
  14. In C99, is f()+g() undefined or merely unspecified?
  15. Unspecified, undefined and implementation defined behavior WIKI for C
  16. How to implement memmove in standard C without an intermediate copy?
  17. Is this undefined C behaviour?
  18. Why does a program accessing illegal pointer to pointer not crash?
  19. Is while(1); undefined behavior in C?
  20. Does C have an equivalent of std::less from C++?
  21. Order of evaluation of arguments in function calling?
  22. C code with undefined results, compiler generates invalid code (with -O3)
  23. printf() with no arguments in C compiles fine. how?
  24. When is it valid to access a pointer to a “dead” object?
  25. Is it Undefined Behaviour to cast away the constness of a function parameter?
  26. C – is an indeterminate value indeterminable?
  27. Does ctype.h still require unsigned char?
  28. Cast T[][] to T*
  29. Turbo C++: Why does printf print expected values, when no variables are passed to it?
  30. Uninitialized variable in C [duplicate]

Leave a Comment