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

	F105325286: D35085.diff
	Sat, Dec 14, 10:50 PM

	Unknown Object (File)
	Nov 1 2024, 12:33 AM

	Unknown Object (File)
	Oct 29 2024, 3:22 PM

	Unknown Object (File)
	Oct 20 2024, 8:00 PM

	Unknown Object (File)
	Sep 30 2024, 11:24 AM

	Unknown Object (File)
	Sep 30 2024, 11:24 AM

	Unknown Object (File)
	Sep 30 2024, 11:24 AM

	Unknown Object (File)
	Sep 27 2024, 3:46 PM

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