What’s the behavior of an uninitialized variable used as its own initializer?

by

Because i is uninitialized when use to initialize itself, it has an indeterminate value at that time. An indeterminate value can be either an unspecified value or a trap representation.

If your implementation supports padding bits in integer types and if the indeterminate value in question happens to be a trap representation, then using it results in undefined behavior.

If your implementation does not have padding in integers, then the value is simply unspecified and there is no undefined behavior.

EDIT:

To elaborate further, the behavior can still be undefined if i never has its address taken at some point. This is detailed in section 6.3.2.1p2 of the C11 standard:

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.

So if you never take the address of i, then you have undefined behavior. Otherwise, the statements above apply.

More Related Contents:

  1. Does initialization entail lvalue-to-rvalue conversion? Is `int x = x;` UB?
  2. Why class data members can’t be initialized by direct initialization syntax?
  3. Order of evaluation of arguments using std::cout
  4. Take the address of a one-past-the-end array element via subscript: legal by the C++ Standard or not?
  5. Variable initialization in C++
  6. Do distinct functions have distinct addresses?
  7. Why can’t simple initialize (with braces) 2D std::array? [duplicate]
  8. C++ Static member initialization (template fun inside)
  9. Is adding to a “char *” pointer UB, when it doesn’t actually point to a char array?
  10. Efficient unsigned-to-signed cast avoiding implementation-defined behavior
  11. Is a pointer with the right address and type still always a valid pointer since C++17?
  12. What happens to uninitialized variables? C++
  13. Pure virtual functions may not have an inline definition. Why?
  14. How is static variable initialization implemented by the compiler?
  15. What does the void() in decltype(void()) mean exactly?
  16. Is most vexing parse a formally defined concept
  17. C++ Structure Initialization [duplicate]
  18. Is this self initialization valid?
  19. How can an incomplete type be used as a template parameter to vector here?
  20. Is it safe to use the “this” pointer in an initialization list?
  21. How to create std::array with initialization list without providing size directly [duplicate]
  22. Erasing vector::end from vector
  23. What’s the difference between Radio r = Radio(“PSR”, 100.8) and Radio(“PSR”, 100.8)?
  24. Why do (only) some compilers use the same address for identical string literals?
  25. Do C++ enums Start at 0?
  26. Can we apply content not explicitly cited from the normative references to the C++ standard?
  27. Calling delete on NULL pointers – C++03 vs C++11
  28. C++ operator % guarantees
  29. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  30. What’s the motivation behind having copy and direct initialization behave differently?

Leave a Comment