Skip to content
  • Ben Gamari's avatar
    db83f8bb
    rts: Statically assert alignment of Capability · db83f8bb
    Ben Gamari authored and Marge Bot's avatar Marge Bot committed
    In #22965 we noticed that changes in the size of `Capability` can result
    in unsound behavior due to the `align` pragma claiming an alignment
    which we don't in practice observe. Avoid this by statically asserting
    that the size is a multiple of the alignment.
    db83f8bb
    rts: Statically assert alignment of Capability
    Ben Gamari authored and Marge Bot's avatar Marge Bot committed
    In #22965 we noticed that changes in the size of `Capability` can result
    in unsound behavior due to the `align` pragma claiming an alignment
    which we don't in practice observe. Avoid this by statically asserting
    that the size is a multiple of the alignment.
Loading