Page MenuHomeFreeBSD

Add a __witness_used for variables only used under #ifdef WITNESS.
ClosedPublic

Authored by jhb on Apr 27 2022, 6:27 PM.
Tags
None
Referenced Files
Unknown Object (File)
Mon, May 18, 4:48 AM
Unknown Object (File)
Thu, May 7, 7:00 AM
Unknown Object (File)
Sun, Apr 26, 8:25 AM
Unknown Object (File)
Tue, Apr 21, 11:40 AM
Unknown Object (File)
Apr 14 2026, 11:33 AM
Unknown Object (File)
Apr 14 2026, 3:48 AM
Unknown Object (File)
Apr 5 2026, 7:28 AM
Unknown Object (File)
Mar 23 2026, 4:57 AM
Subscribers

Details

Summary

__diagused is now solely used for variables only used under INVARIANTS.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 45403
Build 42291: arc lint + arc unit