From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 156BB3858D1E; Tue, 29 Nov 2022 13:50:20 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 156BB3858D1E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1669729820;
	bh=LMLRF3OawcILXdJq5pLR9XCCcq7LkA+qV6U7BpN3ifI=;
	h=From:To:Subject:Date:From;
	b=h68F0ofjgwtiG9b4jtYNenthmvMit+7W5JRaTLZXn6/5pnK9I1DAHWZEPbGL/6hRi
	 T8XiVgJR2Cpbli1zmsbH5WxDjiY4PY8sQx3hLs5sEAHvqUgGYnDSd7fYCIJ+VR039n
	 nrTlmx2+F5q5LFDPq3hVkmHpUt5bUsvSeLa5wQ8E=
From: "seurer at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug other/107915] New: new test case
 g++.dg/contracts/contracts-tmpl-spec2.C in r13-4160-g2efb237ffc68ec fails
Date: Tue, 29 Nov 2022 13:50:19 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: other
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: seurer at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-107915-4@http.gcc.gnu.org/bugzilla/>
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: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107915

            Bug ID: 107915
           Summary: new test case g++.dg/contracts/contracts-tmpl-spec2.C
                    in r13-4160-g2efb237ffc68ec fails
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:2efb237ffc68ec9bb17982434f5941bfa14f8b50, r13-4160-g2efb237ffc68ec
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


commit 2efb237ffc68ec9bb17982434f5941bfa14f8b50 (HEAD, refs/bisect/bad)
Author: Jeff Chapman II <jchapman@lock3software.com>
Date:   Tue Jun 29 16:52:56 2021 -0400

    c++: implement P1492 contracts


The failing test generates a lot of output:

default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
9 body<int> a > 0 default default 1
-2
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
17 body<double> a > 1 default default 1
-3
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
25 none<int> a > 0 default default 1
1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
32 none<double> a > 1 default default 1
-101
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
39 arg0<int> t > 0 default default 1
-9
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
46 arg0<double> t > 1 default default 1
11
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
53 arg1<int> a > 0 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
54 arg1<int> t > 0 default default 1
-3
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
61 arg1<double> a > 1 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
62 arg1<double> t > 1 default default 1
14
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
69 ret<int> a > 0 default default 1
1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
76 ret<double> a > 1 default default 1
3
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
76 ret<double> a > 1 default default 1
3.300000
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
83 g1<int> t > 0 default default 1
-1
-1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
97 g2<int> t > 0 default default 1
-1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
107 g2<double> t < 0 default default 1
1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
114 g2<char> t < 'c' default default 1
100
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
124 G3<double, double>::f t > 0 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
125 G3<double, double>::f s > 0 default default 1
G3 general T S
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
139 G3<int, int>::f t > 1 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
140 G3<int, int>::f s > 1 default default 1
G3 partial int S
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
147 G3<int, double>::f t > 2 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
148 G3<int, double>::f s > 2 default default 1
G3 full int double
G3 general T S
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
139 G3<int, char>::f t > 1 default default 1
G3 partial int S
G3 full int C
G3 full int C
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
173 G4<int, int>::G4 t > 0 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
174 G4<int, int>::G4 s > 0 default default 1
G4 general T S
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
175 G4<int, int>::G4 x > 0 default default 1
G4 full double double
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
206 G4<double, char>::G4 a > 0 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
207 G4<double, char>::G4 b > 'b' default default 1
G4 full double char
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
208 G4<double, char>::G4 x > 1 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
187 G4<char, int>::G4 t > 'c' default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
188 G4<char, int>::G4 s > 3 default default 1
G4 partial char S
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
189 G4<char, int>::G4 x2 > 3 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
220 G5<int, int>::f<int> t > 0 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
221 G5<int, int>::f<int> s > 0 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
222 G5<int, int>::f<int> r > 0 default default 1
G5 gen T S, f gen R
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
220 G5<int, int>::f<double> t > 0 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
221 G5<int, int>::f<double> s > 0 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
222 G5<int, int>::f<double> r > 0 default default 1
G5 gen T S, f gen R
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
233 G5<char, int>::f<int> x > 'z' default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
234 G5<char, int>::f<int> y > 1 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
235 G5<char, int>::f<int> z > 1 default default 1
G5 partial char S, f gen R
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
233 G5<char, int>::f<double> x > 'z' default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
234 G5<char, int>::f<double> y > 1 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
235 G5<char, int>::f<double> z > 1 default default 1
G5 partial char S, f gen R
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
244 G5<double, double>::f<int> a > 2 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
245 G5<double, double>::f<int> b > 2 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
246 G5<double, double>::f<int> c > 2 default default 1
G5 full double double, f gen R
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
244 G5<double, double>::f<double> a > 2 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
245 G5<double, double>::f<double> b > 2 default default 1
default std::handle_contract_violation called:

/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/contracts/contracts-tmpl=
-spec2.C
246 G5<double, double>::f<double> c > 2 default default 1
G5 full double double, f gen R
PASS: g++.dg/contracts/contracts-tmpl-spec2.C   execution test
FAIL: g++.dg/contracts/contracts-tmpl-spec2.C   output pattern test
Output was:
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 9 body<int> a > 0 default default 1
-2
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 17 body<double> a > 1 default defa=
ult
1
-3
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 25 none<int> a > 0 default default=
 1
1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 32 none<double> a > 1 default defa=
ult
1
-101
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 39 arg0<int> t > 0 default default=
 1
-9
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 46 arg0<double> t > 1 default defa=
ult
1
11
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 53 arg1<int> a > 0 default default=
 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 54 arg1<int> t > 0 default default=
 1
-3
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 61 arg1<double> a > 1 default defa=
ult
1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 62 arg1<double> t > 1 default defa=
ult
1
14
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 69 ret<int> a > 0 default default 1
1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 76 ret<double> a > 1 default defau=
lt 1
3
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 76 ret<double> a > 1 default defau=
lt 1
3.300000
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 83 g1<int> t > 0 default default 1
-1
-1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 97 g2<int> t > 0 default default 1
-1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 107 g2<double> t < 0 default defau=
lt 1
1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 114 g2<char> t < 'c' default defau=
lt 1
100
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 124 G3<double, double>::f t > 0
default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 125 G3<double, double>::f s > 0
default default 1
G3 general T S
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 139 G3<int, int>::f t > 1 default
default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 140 G3<int, int>::f s > 1 default
default 1
G3 partial int S
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 147 G3<int, double>::f t > 2 defau=
lt
default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 148 G3<int, double>::f s > 2 defau=
lt
default 1
G3 full int double
G3 general T S
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 139 G3<int, char>::f t > 1 default
default 1
G3 partial int S
G3 full int C
G3 full int C
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 173 G4<int, int>::G4 t > 0 default
default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 174 G4<int, int>::G4 s > 0 default
default 1
G4 general T S
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 175 G4<int, int>::G4 x > 0 default
default 1
G4 full double double
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 206 G4<double, char>::G4 a > 0 def=
ault
default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 207 G4<double, char>::G4 b > 'b'
default default 1
G4 full double char
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 208 G4<double, char>::G4 x > 1 def=
ault
default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 187 G4<char, int>::G4 t > 'c' defa=
ult
default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 188 G4<char, int>::G4 s > 3 default
default 1
G4 partial char S
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 189 G4<char, int>::G4 x2 > 3 defau=
lt
default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 220 G5<int, int>::f<int> t > 0 def=
ault
default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 221 G5<int, int>::f<int> s > 0 def=
ault
default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 222 G5<int, int>::f<int> r > 0 def=
ault
default 1
G5 gen T S, f gen R
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 220 G5<int, int>::f<double> t > 0
default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 221 G5<int, int>::f<double> s > 0
default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 222 G5<int, int>::f<double> r > 0
default default 1
G5 gen T S, f gen R
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 233 G5<char, int>::f<int> x > 'z'
default default 1
                           default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 234 G5<char, int>::f<int> y > 1
default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 235 G5<char, int>::f<int> z > 1
default default 1
G5 partial char S, f gen R
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 233 G5<char, int>::f<double> x > '=
z'
default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 234 G5<char, int>::f<double> y > 1
default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 235 G5<char, int>::f<double> z > 1
default default 1
G5 partial char S, f gen R
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 244 G5<double, double>::f<int> a >=
 2
default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 245 G5<double, double>::f<int> b >=
 2
default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 246 G5<double, double>::f<int> c >=
 2
default default 1
G5 full double double, f gen R
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 244 G5<double, double>::f<double> =
a >
2 default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 245 G5<double, double>::f<double> =
b >
2 default default 1
default std::handle_contract_violation called:
 g++.dg/contracts/contracts-tmpl-spec2.C 246 G5<double, double>::f<double> =
c >
2 default default 1
G5 full double double, f gen R

Should match:
default std::handle_contract_violation called: .*.C 9 body<int> .*(
|^M
|^M)*-2(
|^M
|^M)*default std::handle_contract_violation called: .*.C 17 body<double> .*(
|^M
|^M)*-3(
|^M
|^M)*default std::handle_contract_violation called: .*.C 25 none<int> .*(
|^M
|^M)*1(
|^M
|^M)*default std::handle_contract_violation called: .*.C 32 none<double> .*(
|^M
|^M)*-101(
|^M
|^M)*default std::handle_contract_violation called: .*.C 39 arg0<int> .*(
|^M
|^M)*-9(
|^M
|^M)*default std::handle_contract_violation called: .*.C 46 arg0<double> .*(
|^M
|^M)*11(
|^M
|^M)*default std::handle_contract_violation called: .*.C 53 arg1<int> .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 54 arg1<int> .*(
|^M
|^M)*-3(
|^M
|^M)*default std::handle_contract_violation called: .*.C 61 arg1<double> .*(
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=
=20=20=20=20
            |^M
|^M)*default std::handle_contract_violation called: .*.C 62 arg1<double> .*(
|^M
|^M)*14(
|^M
|^M)*default std::handle_contract_violation called: .*.C 69 ret<int> .*(
|^M
|^M)*1(
|^M
|^M)*default std::handle_contract_violation called: .*.C 76 ret<double> .*(
|^M
|^M)*3(
|^M
|^M)*default std::handle_contract_violation called: .*.C 76 ret<double> .*(
|^M
|^M)*3.300000(
|^M
|^M)*default std::handle_contract_violation called: .*.C 83 g1<int> .*(
|^M
|^M)*-1(
|^M
|^M)*-1(
|^M
|^M)*default std::handle_contract_violation called: .*.C 97 g2<int> .*(
|^M
|^M)*-1(
|^M
|^M)*default std::handle_contract_violation called: .*.C 107 g2<double> .*(
|^M
|^M)*1(
|^M
|^M)*default std::handle_contract_violation called: .*.C 114 g2<char> .*(
|^M
|^M)*100(
|^M
|^M)*default std::handle_contract_violation called: .*.C 124 G3<double, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 125 G3<double, .*(
|^M
|^M)*G3 general T S(
|^M
|^M)*default std::handle_contract_violation called: .*.C 139 G3<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 140 G3<int, .*(
|^M
|^M)*G3 partial int S(
|^M
|^M)*default std::handle_contract_violation called: .*.C 147 G3<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 148 G3<int, .*(
|^M
|^M)*G3 full int double(
|^M
|^M)*default std::handle_contract_violation called: .*.C 124 G3<char, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 125 G3<char, .*(
|^M
|^M)*G3 general T S(
|^M
|^M)*default std::handle_contract_violation called: .*.C 139 G3<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 140 G3<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 62 arg1<double> .*(
|^M
|^M)*14(
|^M
|^M)*default std::handle_contract_violation called: .*.C 69 ret<int> .*(
|^M
|^M)*1(
|^M
|^M)*default std::handle_contract_violation called: .*.C 76 ret<double> .*(
|^M
|^M)*3(
|^M
|^M)*default std::handle_contract_violation called: .*.C 76 ret<double> .*(
|^M
|^M)*3.300000(
|^M
|^M)*default std::handle_contract_violation called: .*.C 83 g1<int> .*(
|^M
|^M)*-1(
|^M
|^M)*-1(
|^M
|^M)*default std::handle_contract_violation called: .*.C 97 g2<int> .*(
|^M
|^M)*-1(
|^M
|^M)*default std::handle_contract_violation called: .*.C 107 g2<double> .*(
|^M
|^M)*1(
|^M
|^M)*default std::handle_contract_violation called: .*.C 114 g2<char> .*(
|^M
|^M)*100(
|^M
|^M)*default std::handle_contract_violation called: .*.C 124 G3<double, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 125 G3<double, .*(
|^M
|^M)*G3 general T S(
|^M
|^M)*default std::handle_contract_violation called: .*.C 139 G3<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 140 G3<int, .*(
|^M
|^M)*G3 partial int S(
|^M
|^M)*default std::handle_contract_violation called: .*.C 147 G3<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 148 G3<int, .*(
|^M
|^M)*G3 full int double(
|^M
|^M)*default std::handle_contract_violation called: .*.C 124 G3<char, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 125 G3<char, .*(
|^M
|^M)*G3 general T S(
|^M
|^M)*default std::handle_contract_violation called: .*.C 139 G3<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 140 G3<int, .*(
|^M
|^M)*G3 partial int S(
|^M
|^M)*G3 full int C(
|^M
|^M)*G3 full int C(
|^M
|^M)*default std::handle_contract_violation called: .*.C 173 G4<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 174 G4<int, .*(
|^M
|^M)*G4 general T S(
|^M
|^M)*default std::handle_contract_violation called: .*.C 175 G4<int, .*(
|^M
|^M)*G4 full double double(
|^M
|^M)*default std::handle_contract_violation called: .*.C 206 G4<double, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 207 G4<double, .*(
|^M
|^M)*G4 full double char(
|^M
|^M)*default std::handle_contract_violation called: .*.C 208 G4<double, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 187 G4<char, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 188 G4<char, .*(
|^M
|^M)*G4 partial char S(
|^M
|^M)*default std::handle_contract_violation called: .*.C 189 G4<char, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 220 G5<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 221 G5<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 222 G5<int, .*(
|^M
|^M)*G5 gen T S, f gen R(
|^M
|^M)*default std::handle_contract_violation called: .*.C 220 G5<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 221 G5<int, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 222 G5<int, .*(
|^M
|^M)*G5 gen T S, f gen R(
|^M
|^M)*default std::handle_contract_violation called: .*.C 233 G5<char, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 234 G5<char, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 235 G5<char, .*(
|^M
|^M)*G5 partial char S, f gen R(
|^M
|^M)*default std::handle_contract_violation called: .*.C 233 G5<char, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 234 G5<char, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 235 G5<char, .*(
|^M
|^M)*G5 partial char S, f gen R(
|^M
|^M)*default std::handle_contract_violation called: .*.C 244 G5<double, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 245 G5<double, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 246 G5<double, .*(
|^M
|^M)*G5 full double double, f gen R(
|^M
|^M)*default std::handle_contract_violation called: .*.C 244 G5<double, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 245 G5<double, .*(
|^M
|^M)*default std::handle_contract_violation called: .*.C 246 G5<double, .*(
|^M
|^M)*G5 full double double, f gen R(
|^M
|^M)*=