https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82950
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=78809 --- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> --- An even simpler test case: void g (void) { const char a[] = "abc"; const char b[] = "abcd"; if (!__builtin_strcmp (a, b)) __builtin_abort (); } See also bug 78809.