https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80310
Bug ID: 80310 Summary: [7 Regression] Bogus -Wpsabi warning with -fsanitize=signed-integer-overflow Product: gcc Version: 7.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: jakub at gcc dot gnu.org Target Milestone: --- /* { dg-do compile } */ /* { dg-options "-O2 -fsanitize=signed-integer-overflow" } */ /* { dg-additional-options "-mno-avx" { target i?86-*-* x86_64-*-* } } */ typedef int V __attribute__((vector_size (32))); void foo (V *a, V *b, V *c) { *a = *b + *c; /* { dg-bogus "AVX vector return without AVX enabled changes the ABI" "" { target i?86-*-* x86_64-*-* } } */ } gets warning in 7+, even when there is no actual function that returns in AVX registers.