Разыменование пустого указателя

Question

У меня есть следующий код:

#include <inttypes.h> 
#include <stdlib.h> 
struct a 
{ 
    void *p; 
}; 

int main(void) 
{ 
    struct a *ptr = malloc(sizeof(struct a)); 
    ptr->p = malloc(sizeof(uint8_t)); 
    *((uint8_t *) ptr->p) = 2; 
    return 0; 
} 

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

предупреждения: разыменований Пустоты * 'указателя

Я нарушаю любое правило, делая это или этот код хорош?

Answer 1

Да, этот код является законным и не вызывает неопределенное поведение (за исключением случаев, когда malloc возвращает NULL).

Answer 2

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

Процитируем стандарт, глава §6.3.2.3

[...]. Когда указатель на объект преобразуется в указатель на тип символа, результат указывает на младший адресный байт объекта. Последовательные приращения результата, вплоть до размера объекта, дают указатели на оставшиеся байты объекта.