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 F23733857839; Thu, 13 Oct 2022 05:17:19 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org F23733857839
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1665638239;
	bh=5uIR4iXByfk8g9u9NjjDORUuLi1Ez1W6hcXIqSZdMTo=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=HD7gs7tpB6BISWKAZViCsoQCee3SIUcc0Ns1+NCicP1/Lv1o9BVZvEJF85Q5+Ns/3
	 zirxMsMFBvhKdKf3aIKc3WVp45JHOi0ydkiWREPiqjzUlbvbFwEbVC6oqkxfa7yRnt
	 SgK6LhjHYRQ9/vKLpVmMd1QnipA5dJ6zTZOIXOwc=
From: "asolokha at gmx dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/107242] ICE: tree check: expected complex_cst, have
 plus_expr in output_constant, at varasm.cc:5284 with frounding-math
Date: Thu, 13 Oct 2022 05:17:19 +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: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: asolokha at gmx dot com
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: 
Message-ID: <bug-107242-4-QJmWJOOOlZ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107242-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107242-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=3D107242

--- Comment #3 from Arseny Solokha <asolokha at gmx dot com> ---
Testcase w/o dependency on libstdc++:

template <typename>
class complex;

template <>
struct complex<float> {
  template <typename _Tp>
  constexpr void
  operator+=3D (_Tp __z)
  {
    _M_value +=3D __z._M_value;
  }

  _Complex float _M_value;
};

constexpr complex<float>
operator+ (complex<float> __x, complex<float> __y)
{
  complex __r =3D __x;

  __r +=3D __y;

  return __r;
}

complex<float>
test_comparison ()
{
  constexpr complex<float> a{2.2}, b{4.4};

  return a + b;
}

% powerpc-e300c3-linux-gnu-g++-13 -Og -frounding-math -c micz0onj.cc
micz0onj.cc:32:1: internal compiler error: tree check: expected complex_cst,
have plus_expr in output_constant, at varasm.cc:5284
   32 | }
      | ^
0x803d1f tree_check_failed(tree_node const*, char const*, int, char const*,
...)
=20=20=20=20=20=20=20
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221009/work/g=
cc-13-20221009/gcc/tree.cc:8827
0x819d94 tree_check(tree_node*, char const*, int, char const*, tree_code)
=20=20=20=20=20=20=20
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221009/work/g=
cc-13-20221009/gcc/tree.h:3526
0x819d94 output_constant
=20=20=20=20=20=20=20
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221009/work/g=
cc-13-20221009/gcc/varasm.cc:5284
0x14b1c1a output_constructor_regular_field
=20=20=20=20=20=20=20
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221009/work/g=
cc-13-20221009/gcc/varasm.cc:5562
0x14b1c1a output_constructor
=20=20=20=20=20=20=20
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221009/work/g=
cc-13-20221009/gcc/varasm.cc:5829
0x14b3625 assemble_constant_contents
=20=20=20=20=20=20=20
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221009/work/g=
cc-13-20221009/gcc/varasm.cc:3638
0x14b3d34 output_object_block
=20=20=20=20=20=20=20
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221009/work/g=
cc-13-20221009/gcc/varasm.cc:8070
0x14b3d34 output_object_blocks()
=20=20=20=20=20=20=20
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-13.0.0_p20221009/work/g=
cc-13-20221009/gcc/varasm.cc:8148=