cảnh báo aliasling nghiêm ngặt về gcc 4.6.1 lỗi

Question

Tôi đang cố gắng để biên dịch sau đây trên gcc với -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(); 
} 

Nhưng tôi không thấy bất kỳ cảnh báo răng cưa chặt chẽ. Tôi cũng đã cố gắng bật

-fstrict-aliasing 
-Wstrict-aliasing 

nhưng vẫn không có cảnh báo. Có phải đây là lỗi không?

Answer 1

Tôi viết lại ví dụ của bạn để tạo ra một cảnh báo về vi phạm các quy tắc nghiêm ngặt-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; 
} 

Mặc dù, g ++ 4.6 chỉ hiển thị các cảnh báo nếu bạn biên dịch mã với -Wstrict-aliasing=2 thay vì -Wstrict-aliasing. Ngoài ra, nó chỉ hiển thị cảnh báo cho các diễn viên trong main(), không phải trong foo(). Nhưng tôi không thể thấy làm thế nào/tại sao trình biên dịch sẽ nhìn vào hai phôi khác nhau.