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

Authored by jhb on Apr 27 2022, 6:27 PM.

Tags

None

Referenced Files

	Unknown Object (File)
	Mon, Mar 23, 4:57 AM

	Unknown Object (File)
	Sun, Mar 22, 1:06 AM

	Unknown Object (File)
	Sun, Mar 22, 1:06 AM

	Unknown Object (File)
	Sat, Mar 21, 4:46 AM

	Unknown Object (File)
	Wed, Mar 4, 6:45 AM

	Unknown Object (File)
	Jan 17 2026, 12:04 AM

	Unknown Object (File)
	Jan 8 2026, 3:37 PM

	Unknown Object (File)
	Jan 6 2026, 7:05 AM

View All 90 Files

Subscribers

imp

Details

Reviewers

mjg
emaste

Commits

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

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

Event Timeline

jhb created this revision.Apr 27 2022, 6:27 PM

Herald added a subscriber: imp. · View Herald TranscriptApr 27 2022, 6:27 PM

jhb requested review of this revision.Apr 27 2022, 6:27 PM

Harbormaster completed remote builds in B45403: Diff 105480.Apr 27 2022, 6:27 PM

thank you

This revision is now accepted and ready to land.Apr 27 2022, 6:39 PM

Closed by commit rG1431239494ee: Add a __witness_used for variables only used under #ifdef WITNESS. (authored by jhb). · Explain WhyApr 27 2022, 6:48 PM

This revision was automatically updated to reflect the committed changes.

jhb added a commit: rG1431239494ee: Add a __witness_used for variables only used under #ifdef WITNESS..

Revision Contents
Changeset List

Path

Size

sys/

kern/

vfs_lookup.c

6 lines

sys/

systm.h

15 lines

Diff 105480

View Options

sys/kern/vfs_lookup.c