Thread: Undefined behavior

from C11 standards N1570 draft

J.2 Undefined behavior

— An lvalue designating an object of automatic storage duration that could have been declared with the register storage class is used in a context that requires the value of the designated object, but the object is uninitialized. (6.3.2.1).

I believe this is UB per the above: (it is obviously contrived)

Code:

int main()
{
   int a;
   int b=a;
   printf("b=%d\n", b);
   return 0;
}

If that is not the correct reference in the C11 standard, then please show me the correct one. Thanks.

Well, "a" has automatic storage duration, it could have been declared with register, it is used in a context that requires its value (on the line you've highlighted), and it's uninitialised, so I'd say the quote accurately describes the cause of undefined behaviour in the snippet you've provided.

The standards text is a little bit impenetrable. I agree with you. Thanks. There are several standards people on the forums here so -- worth a question.