> This patch adds new macro gdb_assert_not_reached, and replaces > all existing uses of gdb_assert (0) with the new macro. FWIW, this looks good to me. I was a little surprised by the use of a message parameter, but I think it's nice too (rather than always reporting a bland `Unreachable code assertion failed'). -- Joel