Page MenuHomeFreeBSD

contrib/ck: keep dcas parameters thin under bounds-safety
AcceptedPublic

Authored by abhijeetsharma2002_gmail.com on Aug 19 2026, 12:03 PM.
Tags
None
Referenced Files
F172469986: D58986.diff
Fri, Sep 18, 4:57 PM
Unknown Object (File)
Thu, Sep 17, 4:21 PM
Unknown Object (File)
Thu, Sep 17, 10:22 AM
Unknown Object (File)
Thu, Sep 17, 6:15 AM
Unknown Object (File)
Wed, Sep 16, 5:33 AM
Unknown Object (File)
Tue, Sep 15, 4:58 AM
Unknown Object (File)
Mon, Sep 14, 11:38 PM
Unknown Object (File)
Sat, Sep 12, 9:02 AM
Subscribers

Details

Summary

Under -fbounds-safety a uint64_t [2] parameter becomes a bounds-carrying
pointer, which cannot be an inline assembly operand. Plain uint64_t * is
identical in C and carries no bound. Vendor declarations stay in the
#else for the next CK import.

Sponsored by: The FreeBSD Foundation

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 75739
Build 72622: arc lint + arc unit

Event Timeline

sys/contrib/ck/include/gcc/aarch64/ck_pr_llsc.h
42

Wouldn’t this work?

sys/contrib/ck/include/gcc/aarch64/ck_pr_llsc.h
42

Hey, unfortunately not. The issue is that any pointer with bounds cannot be used with inline assembly.

This revision is now accepted and ready to land.Sat, Sep 5, 12:15 AM