Compiler-Fehler mit restric Qualifier auf bestimmten C++ - Compiler

Question

Ich habe eine Funktion, die Zeiger double als Argument hat, die als restrict qualifiziert sind. Beachten Sie, dass der Intel-Compiler restrict verwendet, aber wir ersetzen den Qualifier durch __restrict__ im Falle von GCC.

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; 

    // ... 

Dieser Code kompiliert ohne Probleme GCC oder Clang verwenden, aber der IBM Bluegene Compiler gibt den folgenden Fehler:

(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. 

Ich verstehe nicht, wie man diesen Fehler interpretieren, wie ich das nicht ändern Signatur der Variablen, noch weiß ich, ob ich ein undefiniertes Verhalten einführe oder ob der IBM BlueGene Compiler falsch ist.

Answer 1

Ihr Konstrukt wird nicht vom XL C/C++ - Compiler von IBM unterstützt, es wird auch in documentation angegeben. Sie können keine eingeschränkten Zeiger zuweisen. Sie können dies beheben, indem Sie einen neuen Blockbereich und eine neue Reihe von Zeigern erstellen.

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