https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108321
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|13.0 |--- Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot gnu.org Summary|[13 regression] |g++.dg/contracts/contracts- |g++.dg/contracts/contracts- |tmpl-spec2.C fails after |tmpl-spec2.C fails after |r13-4160-g2efb237ffc68ec |r13-4160-g2efb237ffc68ec | Status|REOPENED |ASSIGNED --- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Yes adding -fsigned-char fixes the failure on aarch64. I am going to submit that. That is: ``` diff --git a/gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec2.C b/gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec2.C index 82117671b2d..fd3a25bd051 100644 --- a/gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec2.C +++ b/gcc/testsuite/g++.dg/contracts/contracts-tmpl-spec2.C @@ -1,6 +1,6 @@ // basic test to ensure contracts work for class and member specializations // { dg-do run } -// { dg-options "-std=c++2a -fcontracts -fcontract-continuation-mode=on" } +// { dg-options "-std=c++2a -fcontracts -fcontract-continuation-mode=on -fsigned-char" } #include <cstdio> // template specializations can have differing contracts ```