What does this mean in contrast to "unreachable code detected"?
Heuristically unreachable means possibly unreachable code. Unreachable code is certainly unreachable.