Strict avvertimento aliasling su gcc 4.6.1 bug

Question

Sto cercando di compilare il seguente su gcc con -pedantic-errors -pedantic -Wall -O2

#include <iostream> 

void reset_uint32(uint32_t* pi) 
{ 
    char* c = (char*)(pi); 
    uint16_t* j = (uint16_t*)(c); // warning? 
    j[0] = 0; 
    j[1] = 0; 
} 

void foo() 
{ 
    uint32_t i = 1234; 
    reset_uint32(&i); 
} 

int main() { 
    foo(); 
} 

Ma io non vedo alcun severi avvertimenti di aliasing. Ho anche provato ad abilitare

-fstrict-aliasing 
-Wstrict-aliasing 

ma ancora nessun avviso. È un bug?

Answer 1

ho riscritto il tuo esempio per la produzione di un avvertimento di infrangere le regole severe-aliasing:

void foo(int* pi) { 
    short* j = (short*)pi; 
    j[0] = j[1] = 0; 
} 

int main() { 
    int i = 1234; 

    foo(&i); 

    short* j = (short*)&i; 
    j[0] = j[1] = 0; 
} 

Anche se, g ++ 4.6 mostra solo l'avviso se si compila il codice con -Wstrict-aliasing=2 invece di -Wstrict-aliasing. Inoltre, mostra solo l'avviso per il cast in main(), non in foo(). Ma non riesco a vedere come/perché il compilatore guarderebbe a questi due calchi in modo diverso.