Re: CVS commit: src/sys

[Joerg Sonnenberger <joerg%bec.de@localhost>]

On Mon, Feb 04, 2019 at 09:54:47AM +0000, matthew green wrote:
> Module Name:	src
> Committed By:	mrg
> Date:		Mon Feb  4 09:54:47 UTC 2019
> 
> Modified Files:
> 	src/sys/kern: kern_veriexec.c
> 	src/sys/lib/libunwind: libunwind.cxx
> 
> Log Message:
> use __builtin_unreachable() after calls that panic or switch context

This looks like a bug. jumpto() is already marked as dead.

Joerg