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)
	Sun, Aug 9, 7:05 PM

	Unknown Object (File)
	Sun, Aug 9, 11:57 AM

	Unknown Object (File)
	Sun, Aug 9, 11:54 AM

	Unknown Object (File)
	Tue, Aug 4, 7:40 AM

	Unknown Object (File)
	Tue, Aug 4, 6:56 AM

	Unknown Object (File)
	Mon, Aug 3, 4:17 AM

	Unknown Object (File)
	Mon, Jul 27, 5:11 PM

	Unknown Object (File)
	Mon, Jul 20, 11:46 PM

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