Valable pour dé-référencer un littéral entier-comme-pointeur dans C

Question

Est-ce que C est portable/valide pour déréférencer un littéral entier traité comme une adresse? à savoir, si je veux définir une valeur de 64 bits à l'adresse de mémoire 0x12345678 à 123, est au moins par des normes C89 portable et valide suivant C,:

*(uint64_t *)(0x12345678) = 123ULL; 

je vois pas d'avertissements de compilation (testé par gcc -std=c89 -Wall input.c) , mais je me souviens avoir vu une question sur ce sujet il y a quelque temps où il était question de stocker l'adresse dans une variable intermédiaire plutôt que de dé-référencer directement un littéral entier (qui a été converti en une adresse de pointeur).

Answer 1

Tant que l'adresse 0x12345678 est valide et possède un objet uint64_t, il n'y a aucun problème avec la distribution ou directement en utilisant un nombre entier. Mais il peut ne pas être une adresse valide dans toutes les plates-formes. Donc, si vous savez ce que vous avez à faire, c'est bien.

Les types de largeur fixe ont été introduits uniquement dans C99. Donc, je trouve paradoxal quand vous posez la question de la portabilité de la distribution à uint64_t* en C89 :)