The uninitialized path was not reachable, but knowing that requires assumptions the compiler can't make.