Page MenuHomeFreeBSD

devfs: Avoid comparison with an uninitialized var in devfs_fp_check()
ClosedPublic

Authored by markj on May 1 2021, 2:19 PM.
Tags
None
Referenced Files
Unknown Object (File)
Mon, May 11, 9:46 PM
Unknown Object (File)
Tue, Apr 28, 6:47 AM
Unknown Object (File)
Tue, Apr 28, 4:59 AM
Unknown Object (File)
Sun, Apr 26, 12:41 AM
Unknown Object (File)
Apr 18 2026, 5:02 AM
Unknown Object (File)
Apr 12 2026, 6:16 PM
Unknown Object (File)
Apr 11 2026, 11:39 PM
Unknown Object (File)
Apr 10 2026, 10:45 PM
Subscribers

Details

Summary

devvn_refthread() will initialize *devp only if it suceeds, so check for
success before comparing with fp->f_data. Other devfs_fp_check()
callers are careful to do this.

Reported by: KMSAN

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable