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)
Thu, Jul 31, 9:21 AM
Unknown Object (File)
Jun 27 2025, 10:40 PM
Unknown Object (File)
Jun 23 2025, 7:17 PM
Unknown Object (File)
Jun 23 2025, 12:01 PM
Unknown Object (File)
Jun 21 2025, 3:44 AM
Unknown Object (File)
Jun 12 2025, 12:35 AM
Unknown Object (File)
May 29 2025, 6:43 AM
Unknown Object (File)
May 28 2025, 10:35 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