が制限-ednessを事前C99

Question

でこのコードを考慮すると、VC9は、エイリアシングを検出しません：

typedef struct { int x, y; } vec_t; 

void rotate_cw(vec_t const *from, 
       vec_t  *to) 
{ 
     /* Notice x depends on y and vice versa */ 
     to->x = from->y; 
     to->y = -from->x; 
} 

/* ... */ 
vec_t a, b; 
rotate_cw(&a, &b); /* OK, no aliasing */ 
rotate_cw(&a, &a); /* FAIL, aliasing is not detected */ 

明白な修正が一時的に使用することです：

void rotate_cw(vec_t const *from, 
       vec_t  *to) 
{ 
     int temp = from->x; 
     to->x = from->y; 
     to->y = -temp; 
} 

は、この標準の動作ですか？私は、コンパイラは、そう言わない限り、と、ポインタの両方にエイリアスがあると想定していると予想していました。

Answer 1

Check out this answer。

パラメータを入力する前に__restrictを入れてみてください。MSVCで警告が表示される唯一の方法だと思われます。

Answer 2

書かれたコードは完全に有効です（C89またはC99）。それはあいまいですが、コンパイラが診断するものは何もないので、診断はしません。

C99を使用し、関数の両方のパラメータに「制限」を設定すると、コンパイラがC99をサポートしている場合にエラーが発生します。 AFAIK、MSVCの現在のバージョンはまだ完全にC99をサポートしていません。

Answer 3

C99がrestrict修飾子を発明する前に、いくつかのCコンパイラには、ポインタの使用法に関する一定の前提を設定する最適化オプションが含まれていました。このようなコンパイラで見たマニュアルでは、このような最適化がではなく、標準に準拠していると警告しています。プログラマの意向。マニュアルの観点から、最適化は、Cで定義された特定のコーナーケースの動作を定義していないCのサブセットをコンパイルするようにコンパイラに指示しましたが、それらのケースではより効率的なコードを生成できます定義した。