From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 86B293858D39; Thu, 18 May 2023 21:58:15 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 86B293858D39 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1684447095; bh=TB0T1xEvRHXzbE0fiGUXfeSMae5r/RDAM5noc+Syiis=; h=From:To:Subject:Date:In-Reply-To:References:From; b=fQEinG3SwukYmCFj6mi1DorQjFo3V0LDLpL3mVs2fM4yLf+TaQWJZd7gU+KhF5RG6 g3RXyvgcm+p4bZOBdE+gCyPIboOIErG6+P1nn0dkCoGS6acTLBu/YPHE/6bG5Q1RG9 RgkK7oXdNbzNaAQfMHYCdVLS5RH23W9f6PruxZs4= From: "seurer at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/108321] [13 regression] g++.dg/contracts/contracts-tmpl-spec2.C fails after r13-4160-g2efb237ffc68ec Date: Thu, 18 May 2023 21:58:14 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c++ X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: testsuite-fail X-Bugzilla-Severity: normal X-Bugzilla-Who: seurer at gcc dot gnu.org X-Bugzilla-Status: REOPENED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 13.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: resolution bug_status cf_reconfirmed_on everconfirmed Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D108321 seurer at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|FIXED |--- Status|RESOLVED |REOPENED Last reconfirmed| |2023-05-18 Ever confirmed|0 |1 --- Comment #3 from seurer at gcc dot gnu.org --- The problem with g++.dg/contracts/contracts-tmpl-spec2.C has never been fix= ed as far as I can tell. It definitely occurs with the current r13. I believe the "This is fixed after r13-4290-g138ee8f7453ffd" was referring = to the other mentioned issue. g:f48c546902802cf640c4f2802543acfdc702404f, r13-7354-gf48c546902802c make -k check-gcc RUNTESTFLAGS=3D"dg.exp=3Dg++.dg/contracts/contracts-tmpl-spec2.C" FAIL: g++.dg/contracts/contracts-tmpl-spec2.C output pattern test # of expected passes 2 # of unexpected failures 1 FAIL: g++.dg/contracts/contracts-tmpl-spec2.C output pattern test Output was: contract violation in function body at g++.dg/contracts/contracts-tmpl-spec2.C:9: a > 0 [continue:on] -2 contract violation in function body at g++.dg/contracts/contracts-tmpl-spec2.C:17: a > 1 [continue:on] -3 contract violation in function none at g++.dg/contracts/contracts-tmpl-spec2.C:25: a > 0 [continue:on] 1 contract violation in function none at g++.dg/contracts/contracts-tmpl-spec2.C:32: a > 1 [continue:on] -101 contract violation in function arg0 at g++.dg/contracts/contracts-tmpl-spec2.C:39: t > 0 [continue:on] -9 contract violation in function arg0 at g++.dg/contracts/contracts-tmpl-spec2.C:46: t > 1 [continue:on] 11 contract violation in function arg1 at g++.dg/contracts/contracts-tmpl-spec2.C:53: a > 0 [continue:on] contract violation in function arg1 at g++.dg/contracts/contracts-tmpl-spec2.C:54: t > 0 [continue:on] -3 contract violation in function arg1 at g++.dg/contracts/contracts-tmpl-spec2.C:61: a > 1 [continue:on] contract violation in function arg1 at g++.dg/contracts/contracts-tmpl-spec2.C:62: t > 1 [continue:on] 14 contract violation in function ret at g++.dg/contracts/contracts-tmpl-spec2.C:69: a > 0 [continue:on] 1 contract violation in function ret at g++.dg/contracts/contracts-tmpl-spec2.C:76: a > 1 [continue:on] 3 contract violation in function ret at g++.dg/contracts/contracts-tmpl-spec2.C:76: a > 1 [continue:on] 3.300000 contract violation in function g1 at g++.dg/contracts/contracts-tmpl-spec2.C:83: t > 0 [continue:on] -1 -1 contract violation in function g2 at g++.dg/contracts/contracts-tmpl-spec2.C:97: t > 0 [continue:on] -1 contract violation in function g2 at g++.dg/contracts/contracts-tmpl-spec2.C:107: t < 0 [continue:on] 1 contract violation in function g2 at g++.dg/contracts/contracts-tmpl-spec2.C:114: t < 'c' [continue:on] 100 contract violation in function G3::f at g++.dg/contracts/contracts-tmpl-spec2.C:124: t > 0 [continue:on] contract violation in function G3::f at g++.dg/contracts/contracts-tmpl-spec2.C:125: s > 0 [continue:on] G3 general T S contract violation in function G3::f at g++.dg/contracts/contracts-tmpl-spec2.C:139: t > 1 [continue:on] contract violation in function G3::f at g++.dg/contracts/contracts-tmpl-spec2.C:140: s > 1 [continue:on] G3 partial int S contract violation in function G3::f at g++.dg/contracts/contracts-tmpl-spec2.C:147: t > 2 [continue:on] contract violation in function G3::f at g++.dg/contracts/contracts-tmpl-spec2.C:148: s > 2 [continue:on] G3 full int double G3 general T S contract violation in function G3::f at g++.dg/contracts/contracts-tmpl-spec2.C:139: t > 1 [continue:on] G3 partial int S G3 full int C G3 full int C contract violation in function G4::G4 at g++.dg/contracts/contracts-tmpl-spec2.C:173: t > 0 [continue:on] contract violation in function G4::G4 at g++.dg/contracts/contracts-tmpl-spec2.C:174: s > 0 [continue:on] G4 general T S contract violation in function G4::G4 at g++.dg/contracts/contracts-tmpl-spec2.C:175: x > 0 [continue:on] G4 full double double contract violation in function G4::G4 at g++.dg/contracts/contracts-tmpl-spec2.C:206: a > 0 [continue:on] contract violation in function G4::G4 at g++.dg/contracts/contracts-tmpl-spec2.C:207: b > 'b' [continue:on] G4 full double char contract violation in function G4::G4 at g++.dg/contracts/contracts-tmpl-spec2.C:208: x > 1 [continue:on] contract violation in function G4::G4 at g++.dg/contracts/contracts-tmpl-spec2.C:187: t > 'c' [continue:on] contract violation in function G4::G4 at g++.dg/contracts/contracts-tmpl-spec2.C:188: s > 3 [continue:on] G4 partial char S contract violation in function G4::G4 at g++.dg/contracts/contracts-tmpl-spec2.C:189: x2 > 3 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:220: t > 0 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:221: s > 0 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:222: r > 0 [continue:on] G5 gen T S, f gen R contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:220: t > 0 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:221: s > 0 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:222: r > 0 [continue:on] G5 gen T S, f gen R contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:233: x > 'z' [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:234: y > 1 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:235: z > 1 [continue:on] G5 partial char S, f gen R contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:233: x > 'z' [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:234: y > 1 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:235: z > 1 [continue:on] G5 partial char S, f gen R contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:244: a > 2 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:245: b > 2 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:246: c > 2 [continue:on] G5 full double double, f gen R contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:244: a > 2 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:245: b > 2 [continue:on] contract violation in function G5::f at g++.dg/contracts/contracts-tmpl-spec2.C:246: c > 2 [continue:on] G5 full double double, f gen R=