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
F163992533: D35085.id105480.diff
Mon, Jul 27, 5:11 PM
Unknown Object (File)
Mon, Jul 20, 11:46 PM
Unknown Object (File)
Mon, Jul 20, 2:31 AM
Unknown Object (File)
Sat, Jul 18, 4:32 PM
Unknown Object (File)
Sat, Jul 18, 2:00 AM
Unknown Object (File)
Fri, Jul 17, 9:27 PM
Unknown Object (File)
Sun, Jul 12, 12:46 PM
Unknown Object (File)
Tue, Jul 7, 4:49 PM
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