Yeah, debugging possible outcomes of undefined behavior in C/C++ is pretty much exactly a mystery language exercise.

With older compilers, the usual question is "Will `-2 >> 1` perform sign extension or not?" With modern compilers, the usual question is "What arbitrary constant can the compiler choose for `-2 >> 1` to maximize the number of provably dead code paths?"