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
