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)
	Apr 26 2024, 7:56 AM

	Unknown Object (File)
	Apr 25 2024, 2:33 PM

	Unknown Object (File)
	Mar 26 2024, 1:04 PM

	Unknown Object (File)
	Mar 7 2024, 2:27 PM

	Unknown Object (File)
	Jan 14 2024, 9:40 AM

	Unknown Object (File)
	Dec 23 2023, 1:50 AM

	Unknown Object (File)
	Oct 24 2023, 10:21 AM

	Unknown Object (File)
	Oct 24 2023, 1:54 AM

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