Is the uninitialized read example a compiler bug? `i` in the code is definitely initialized, but the compiler creates a temporary variable, where its initialization is bypassed by the switch jump. Isn't that a code generation issue (specifically where it places the jump label)?