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)
	Sat, Jan 17, 12:04 AM

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

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

	Unknown Object (File)
	Wed, Dec 31, 6:20 PM

	Unknown Object (File)
	Tue, Dec 30, 1:44 PM

	Unknown Object (File)
	Nov 29 2025, 10:35 AM

	Unknown Object (File)
	Nov 16 2025, 11:25 PM

	Unknown Object (File)
	Nov 15 2025, 11:12 PM

View All 85 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

rG FreeBSD src repository

Lint

Lint Not Applicable

Unit

Tests Not Applicable

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

13 lines

Diff 105482

View Options

sys/kern/vfs_lookup.c