Page MenuHomeFreeBSD

i386 kernel __storeload_barrier: quiet gcc -Warray-bounds
ClosedPublic

Authored by rlibby on Jun 22 2024, 5:52 PM.
Tags
None
Referenced Files
Unknown Object (File)
Wed, Oct 23, 9:43 PM
Unknown Object (File)
Wed, Oct 23, 9:43 PM
Unknown Object (File)
Wed, Oct 23, 9:43 PM
Unknown Object (File)
Wed, Oct 23, 9:34 PM
Unknown Object (File)
Oct 2 2024, 1:57 PM
Unknown Object (File)
Sep 30 2024, 5:30 AM
Unknown Object (File)
Sep 30 2024, 5:19 AM
Unknown Object (File)
Sep 30 2024, 3:25 AM
Subscribers

Details

Summary

Use a constant input operand instead of an output operand to tell the
compiler about OFFSETOF_MONITORBUF. If we tell it we are writing to
*(u_int *)
OFFSETOF_MONITORBUF, it rightly complains, but we aren't.
The memory clobber already covers the necessary semantics for the
compiler.

Test Plan

No testing done yet! Just following D45694. Will build i386 GENERIC and disassemble membarrier_action_seqcst

Diff Detail

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