The example shown in the article is in fact undefined behavior: 6.3.2.1,p2 If the lvalue designates an object of automatic storage duration that could have bee

The example shown in the article is in fact undefined behavior: 6.3.2.1,p2 If the lvalue designates an object of automatic storage duration that could have been declared with the register storage class (never had its address taken), and that object is uninitialized (not declared with an initializer and no assignment to it has been performed prior to use), the behavior is undefined.