Передача 32-битной структуры в аргумент 32-битной целочисленной функции

С «структурой в трюке с объединением» вам нужно позаботиться, потому что члены структуры могут быть дополнены:

Внутри объекта структуры может быть безымянный отступ, но не в его начале.

ИСО/МЭК 9899:TC3, 6.7.2.1 – 13

Следовательно, …

typedef struct {
  int16_t port1;
  int16_t port2;
} MultiPortStruct;

… может иметь компоновку как …

typedef struct {
  int32_t port1;
  int32_t port2;
} MultiPortStruct;

… если реализации это нравится.

Так что оверлей в союзе не получится, даже это маловероятно.

Это было бы похоже с битовыми полями:

typedef struct {
  int port1:16;
  int port2:16;
} MultiPortStruct;

Это связано с тем, что компилятор должен поместить следующее битовое поле в ту же единицу измерения, если оно подходит, но может выбрать единицу измерения.

Реализация может выделять любую адресуемую единицу хранения, достаточно большую для хранения битового поля. Если остается достаточно места, битовое поле, которое непосредственно следует за другим битовым полем в структуре, должно быть упаковано в соседние биты одного и того же блока.

там же, 6.7.2.1 – 10

Следовательно, теоретически возможно, что реализация выбирает int16 в качестве единицы распределения и размещает заполнение между полями, даже это не имеет смысла и очень маловероятно.

Как упоминалось в комментарии, в битовых полях нет ничего плохого.

Во-первых, можно сохранять в один элемент и читать из другого элемента того же union при условии, что вы читаете только те байты, которые вы написали, а любые другие имеют неуказанные значения.

Проблема с тем, что вы делаете, заключается в возможном введении компилятором заполнения между полями, что разрушило бы ваше тщательно организованное перекрытие. С текущими компиляторами и архитектурами процессора у вас, вероятно, все будет в порядке, но нет необходимости оставлять это на волю случая, поскольку есть несколько способов исправить выравнивание полей.

Самый простой, хотя и зависящий от компилятора, метод — использовать атрибут packed:

typedef struct __attribute((packed))
{
   int16_t port1;
   int16_t port2;
} MultiPortStruct;

Это просто указывает компилятору не добавлять никаких дополнений, поэтому приведенное выше всегда будет 32-битным, даже на архитектурах, которые используют, скажем, 4-байтовое выравнивание для 2-байтовых значений.

Этот атрибут поддерживается Clang, GCC и LLVM (может быть, не всеми версиями?) — компилятор сообщит вам, если это не так. Если вы используете компилятор, который не поддерживает атрибут (или эквивалентный), вы можете изучить возможности языка C _Alignof и _Alignas.

ХТН

Как говорили другие, у struct может быть дополнение (хотя маловероятно). Другой подход, который, по крайней мере, не будет иметь внутреннего заполнения, будет

typedef struct {
    int16_t port[2];
} MultiPortStruct;

массивы никогда не имеют внутреннего заполнения, и первое поле struct всегда находится в начале. Теперь теоретически у этого все еще может быть отступ в конце, поэтому вы должны проверить что-то вроде

_Static_assert(sizeof(MultiPortStruct)==2*sizeof(int16_t));