特定のC++コンパイラでrestrict修飾子を使用したコンパイラエラー

Question

restrictとして修飾されたポインタとしてdoubleのポインタを持つ関数があります。インテルコンパイラはrestrictを使用しますが、GCCの場合は修飾子を__restrict__に置き換えます。

void Stats::calc_flux_2nd(double* restrict data, 
          double* restrict datamean, 
          double* restrict w) 
{ 
    // ... 

    // Set a pointer to the field that contains w, 
    // either interpolated or the original 
    double* restrict calcw = w; 

    // ... 

このコードは、GCCやクランを使用して問題なくコンパイルしますが、IBM BlueGeneコンパイラは次のエラーを与える：私は変更しないよう

(W) Incorrect assignment of a restrict qualified pointer. 
Only outer-to-inner scope assignments between restrict pointers are 
allowed. This may result in incorrect program behavior. 

私はこのエラーを解釈する方法を理解していません私が未定義の動作を導入しているかどうか、またはIBM BlueGeneコンパイラが間違っているかどうかはわかりません。

Answer 1

構文はIBMのXL C/C++コンパイラではサポートされていませんが、documentationにも記載されています。制限されたポインタを相互に割り当てることはできません。これを修正するには、新しいブロックスコープと新しいポインタセットを作成します。

{ 
    int * restrict x; 
    int * restrict y; 
    x = y; /* undefined */ 
    { 
    int * restrict x1 = x; /* okay */ 
    int * restrict y1 = y; /* okay */ 
    x = y1; /* undefined */ 
    } 
}