Ignore:
Timestamp:
2023-10-22T15:53:32Z (18 months ago)
Author:
Jiří Zárevúcky <zarevucky.jiri@…>
Branches:
master, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
71b4444, abb70fc3
Parents:
f4a42661
git-author:
Jiří Zárevúcky <zarevucky.jiri@…> (2023-10-22 15:39:53)
git-committer:
Jiří Zárevúcky <zarevucky.jiri@…> (2023-10-22 15:53:32)
Message:

Remove some inappropriate uses of attribute((packed))

attribute((packed)) means "ignore all alignment requirements
on members of this structure". This is useful if one needs to
map onto a structure in memory that has misaligned fields on purpose,
but those cases are extremely rare.

The side effect of the attribute is that taking a pointer to any
field longer than a single byte, and dereferencing that pointer,
is unsound and may crash the program on architectures that care
about memory alignment when reading/writing multibyte values.

Newer GCC versions can detect some of those unsafe cases and
produce a warning for it. This commit only removes those cases.

However, most, if not all, uses of ((packed)) in HelenOS
are unnecessary and a product of misunderstanding what the
attribute actually does. A common misconception is that it is
needed to avoid compiler adding arbitrary padding into the
structure, but that is simply not true. There is exactly one
correct memory layout for any C structure, because there must
be one layout for binary interoperability to exist and the one
everyone uses (except perhaps some goblin who just wants to break
things for fun) is the trivial best layout possible with given
constraints.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • uspace/drv/bus/usb/xhci/hw_struct/common.h

    rf4a42661 r590cb6d2  
    5353 * 4 bytes, little-endian.
    5454 */
    55 typedef ioport32_t xhci_dword_t __attribute__((aligned(4)));
     55typedef ioport32_t xhci_dword_t;
    5656
    5757/**
    5858 * 8 bytes, little-endian.
    5959 */
    60 typedef volatile uint64_t xhci_qword_t __attribute__((aligned(8)));
     60typedef volatile uint64_t xhci_qword_t;
    6161
    6262#define XHCI_DWORD_EXTRACT(field, hi, lo) \
Note: See TracChangeset for help on using the changeset viewer.