C programming language Undefined behavior
I am following book which is about C programming language. The book name is Programming with C and C++ and this book is written by Devendra Naga.
I didn't understand the explanation of code snippet.
Why is this code output undefined behavior?. I know that white space characters ignore by the compiler. Could you please illumate me about explanation behavior of this code ? Book writer is says output of this code is undefined bahvior but I am not sure about it. Maybe it is related the sequence point. But I am not sure.
I think this code does not contain any undefined behavior situation.
On Section 6.5.2.4 Paragraph 2 of "latest freely available draft of C17 standard",
The result of the postfix++ operator is the value of the operand. As a side effect, the value of the operand object is incremented (that is, the value 1 of the appropriate type is added to it).
The value computation of the result is sequenced before the side effect of updating the stored value of the operand.
So behavior of postfix++ seems well defined.
Maybe author tried to explain about possible undefined behavior on multiple unsequenced side effects on one scalar value, but failed horribly.
On Section 6.5 Paragraph 2,
If a side effect on a scalar object is unsequenced relative to either a different side effect on the same scalar object or a value computation using the value of the same scalar object, the behavior is undefined. If there are multiple allowable orderings of the subexpressions of an expression, the behavior is undefined if such an unsequenced side effect occurs in any of the orderings.
making result of things like printf("%d %d\n", i++, i++); undefined.
Don't blame me about using draft instead of published standard. You need to pay 216 Swiss Francs to get one PDF copy of it.
- Have anonymous structs and unions in C11 been incorrectly described?
- Reading the Device Status Report ANSI escape sequence reply
- What is the significance of caddr_t and when is it used?
- webkit_web_view_get_favicon always returns null and notify::favicon never fires
- Is there a way to determine if the representation of a pointer is 'linear' in C?
- Can't you use `,` operator to define a variable in a while loop's expression in C?
- Wrote a program to print prime numbers, How do I make it better?
- how to solve the error (expected identifier before'(' token) in C
- C - function inside struct
- Is lseek() O(1) complexity?
- Libpq: Receiving the value of a procedure's output parameter
- Macro definition to determine big endian or little endian machine?
- Cannot free result from g_date_time_format()
- memset_s(): What does the standard mean with this piece of text?
- How to initialize an global array to a struct?
- Is non-re-enterant issue comes only when we have multiple threads?
- Finding number of repeated elements in an array using C
- Detecting Endianness
- Will C Compiler Optimize Dereferencing in Loop?
- Why this c code below works fine? (C Basic, Buffer overflow test)
- "Trouble concatenating char values alongside int and float in C"
- Why does my Combo Box (WinAPI) not highlight/select its text?
- Exception thrown at 0x69F1454A (nvoglv32.dll) in Playground.exe: 0xC0000005: Access violation reading location 0x0A08D000
- Is it possible to wait a few seconds before printing a new line in C?
- FATAL: ThreadSanitizer: unexpected memory mapping when running on Linux Kernels 6.6+
- My tasmota firmware device failed after I made these changes
- Is there an alternative sleep function in C to milliseconds?
- How to make CPython report vectorcall as available only when it will actually help performance?
- What is lseek of a tty on macOS doing?
- Why is (void) 0 a no operation in C and C++?