Указатель разыменования нарушает строгие правила сглаживания с использованием сокетов Беркли

Question

Указатель разыменования нарушает строгие правила сглаживания с использованием сокетов Беркли

У меня есть код, который выглядит примерно так, где addr это sockaddr*:

struct sockaddr_in *sin = (struct sockaddr_in *) addr;
const char *IP=inet_ntoa(sin -> sin_addr);

Я считаю, что это очень типичный код для использования сокетов Беркли.

Однако, когда я компилирую это, я получаю следующее предупреждение:
dereferencing pointer 'sin' does break strict anti-aliasing rules

Ища в Интернете, я нахожу некоторое обсуждение факта, что способ, которым я делаю вещи, довольно типичен, но это предупреждение компилятора также довольно реально и не очень хорошо.

Как правильно переделать этот код, чтобы исправить предупреждение, а не просто заставить его замолчать?

11

c compiler-warnings berkeley-sockets

Источник

user280832 12 авг '10 в 05:09

4 ответа

Другие вопросы по тегам c compiler-warnings berkeley-sockets

user14092 20 авг '13 в 17:59 2013-08-20 17:59 · Answer 1 · 2013-08-20 17:59

У меня была такая же проблема - похоже, ошибка в gcc.

Я смог обойти это с помощью

(*sin).sin_addr

вместо

sin->sin_addr

6

Источник

user14092 20 авг '13 в 17:59

user366377 12 авг '10 в 07:09 2010-08-12 07:09 · Answer 2 · 2010-08-12 07:09

Да, это известная проблема с gcc и сокетами. Проблема в основном заключается в том, что способ, которым спроектирован этот ip[46] материал, несовместим с предположениями, которые люди gcc думают, что они могут сделать вывод о псевдонимах указателей.

Я обычно схожу с рук, сначала беря указатель на struct

struct in_addr* act = &(sin->sin_addr);

а затем с помощью *act,

user379897 12 авг '10 в 05:54 2010-08-12 05:54 · Answer 3 · 2010-08-12 05:54

В зависимости от того, как вы использовали struct sockaddrЯ думаю, что либо ваш код не работает, либо GCC не работает. struct sockaddr а также struct sockaddr_in иметь общий начальный элемент (sa_family/sin_family) поэтому он не нарушает правила псевдонимов, если вы обращались только к этому элементу через оба указателя; это разрешено C99. Более того, struct sockaddr не имеет других элементов, к которым вам разрешен доступ. Это в значительной степени непрозрачный тип для примитивного полиморфизма адреса сокета. Если вы ковырялись в специфических для реализации внутренностях в struct sockaddrили еще хуже, если вы объявили struct sockaddr объект, а не просто указатель или выполненное копирование между такими объектами, ваш код не работает. Если вы этого не сделали, а gcc выдает предупреждение о том, что вы нарушили правила псевдонимов, то генерация предупреждений gcc не работает. Я конечно не удивлюсь, если это последнее.

user23705 12 авг '10 в 05:29 2010-08-12 05:29 · Answer 4 · 2010-08-12 05:29

Если ваш заголовочный файл и ваш компилятор являются частями одной и той же реализации на C или C++, пожалуйтесь вашему поставщику и попросите его добавить подходящую #pragma в свой заголовочный файл, чтобы заставить их компилятор замолчать. Как разработчик, им разрешено играть в такие игры, если они обеспечивают соответствующую реализацию.

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