Joerg Sonnenberger writes:
> 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.
hmm, the backend functions are but the class isn't?
template <typename A, typename R> class UnwindCursor {
...
void jumpto() { fRegisters.jumpto(); }
.mrg.
