advertencia aliasling estricto de gcc 4.6.1 fallo

Question

estoy tratando de compilar el siguiente en 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(); 
} 

Pero aún no hay advertencias aliasing estrictas. También he intentado habilitar

-fstrict-aliasing 
-Wstrict-aliasing 

pero todavía no hay advertencias. ¿Es esto un error?

Answer 1

Reescribí tu ejemplo para producir una advertencia de romper las reglas estrictas-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; 
} 

A pesar de que, g ++ 4.6 sólo se muestra la advertencia si se compila el código con -Wstrict-aliasing=2 en lugar de -Wstrict-aliasing. Además, solo muestra la advertencia para el elenco en main(), no en foo(). Pero no puedo ver cómo/por qué el compilador vería esos dos moldes de manera diferente.