Page MenuHomeFreeBSD

include: add a userland version of __assert_unreachable
ClosedPublic

Authored by kevans on Dec 14 2024, 5:26 AM.
Tags
None
Referenced Files
Unknown Object (File)
Tue, Oct 21, 6:26 PM
Unknown Object (File)
Sat, Oct 18, 12:01 AM
Unknown Object (File)
Tue, Oct 14, 9:16 PM
Unknown Object (File)
Sun, Oct 12, 3:10 PM
Unknown Object (File)
Thu, Oct 9, 3:22 PM
Unknown Object (File)
Thu, Oct 9, 10:50 AM
Unknown Object (File)
Fri, Oct 3, 8:26 AM
Unknown Object (File)
Thu, Oct 2, 4:45 PM

Details

Summary

The kernel has had a version of this since
c79cee71363d ("kernel: provide panicky version of unreachable"), and
userland can benefit from the same.
unreachable is largely
inadequate because it's *not* an assertion of any sort, so we're not
really alerted to a problem that we could've anticipated.

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 61155
Build 58039: arc lint + arc unit

Event Timeline

kevans created this revision.
This revision is now accepted and ready to land.Dec 14 2024, 5:32 AM

C23 added unreachable () to <stddef.h>. Wouldn't that be preferable to the leading __ for userland?

C23 added unreachable () to <stddef.h>. Wouldn't that be preferable to the leading __ for userland?

My can't assume C23 in system headers, so we'd end up shimming it out with an __unreachable in <sys/cdefs.h> anyways to make it usable