CS+のコード生成ツールが生成するポインタ変数でvolatile修飾子の記述位置がおかしいものがあるように思います

＞NULL は何のオブジェクトも指しませんが、逆に、何かのオブジェクトを指すポインタは NULL でないことは確定的です。前段の hogehoge の指す先をアクセスした以降では hogehoge の値は NULL ではないということで、無限ループとなります。

　 NULL だったら関数を抜けると言う判断をどこかでしているのなら分かります。
　しかし、そんな事はしていないよね。
　 NULL かどうか判断して、「NULLでした」と表示するプログラムは作れないと言うこと？
　NULLをどう使うかはプログラマーしだいだと思います。ｐｒｉｎｔｆだと０ｘ００の前まで送ると言う仕様だから、それに従うしか無い。
　しかし自分で作った関数で、文字列の先頭アドレスと転送バイト数を指定すれば０ｘ００の所で止める必要も無いわけです。
　言いたいことは、「NULLだったらエラーにしなくてはならず、ＮＵＬＬを使ってはいけません」と言う規則がある訳でも無いだろうと言う事です。

　こういう所では、よくバトルになったりするけれど、攻撃している訳じゃないですよ。
　コンパイルの動作がおかしいんじゃないかと言う話です。

>　 NULL だったら関数を抜けると言う判断をどこかでしているのなら分かります。

>　しかし、そんな事はしていないよね。

明示的に NULL チェックを行い、ポインタの値が NULL である可能性があることをコンパイラに伝えれば NULL だった場合は安全に関数を抜けるコードを吐きますよ。

$ cat -n hoge.c
     1  void hoge(void)
     2  {
     3      extern volatile int* hogehoge;
     4      if (hogehoge) {
     5          while (*hogehoge) {
     6              ;
     7          }
     8      }
     9      while (hogehoge) {
    10          ;
    11      }
    12  }

$ gcc -Wall -W -S -O2 hoge.c -o -
        .text
hoge:
        movq    .refptr.hogehoge(%rip), %rax
        movq    (%rax), %rdx
        testq   %rdx, %rdx
        je      .L1
.L5:
        movl    (%rdx), %eax
        testl   %eax, %eax
        jne     .L5
.L4:
        jmp     .L4
.L1:
        rep ret

$

>　 NULL だったら関数を抜けると言う判断をどこかでしているのなら分かります。

>　しかし、そんな事はしていないよね。

明示的に NULL チェックを行い、ポインタの値が NULL である可能性があることをコンパイラに伝えれば NULL だった場合は安全に関数を抜けるコードを吐きますよ。

$ cat -n hoge.c
     1  void hoge(void)
     2  {
     3      extern volatile int* hogehoge;
     4      if (hogehoge) {
     5          while (*hogehoge) {
     6              ;
     7          }
     8      }
     9      while (hogehoge) {
    10          ;
    11      }
    12  }

$ gcc -Wall -W -S -O2 hoge.c -o -
        .text
hoge:
        movq    .refptr.hogehoge(%rip), %rax
        movq    (%rax), %rdx
        testq   %rdx, %rdx
        je      .L1
.L5:
        movl    (%rdx), %eax
        testl   %eax, %eax
        jne     .L5
.L4:
        jmp     .L4
.L1:
        rep ret

$