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 E9F923857C56; Wed,  4 Nov 2020 18:51:41 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E9F923857C56
From: "asolokha at gmx dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug analyzer/97668] [11 Regression] ICE in cmp_cst, at
 analyzer/svalue.cc:283
Date: Wed, 04 Nov 2020 18:51:41 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: analyzer
X-Bugzilla-Version: 11.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: asolokha at gmx dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: dmalcolm at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-97668-4-xCiDgPIZhL@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-97668-4@http.gcc.gnu.org/bugzilla/>
References: <bug-97668-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
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 04 Nov 2020 18:51:42 -0000

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

--- Comment #2 from Arseny Solokha <asolokha at gmx dot com> ---
Finally, a C testcase:

void
wb (_Complex double jh)
{
  _Complex double af =3D 0.0;

  do
    {
      af +=3D jh;
    }
  while (af !=3D 0.0);
}

_Complex double
o6 (void)
{
  _Complex double ba =3D 0.0;

  for (;;)
    {
      wb (ba);
      ba =3D 1.0;
    }

  return ba;
}

% gcc-11.0.0 -O1 -fanalyzer -c nzttegjf.c
during IPA pass: analyzer
nzttegjf.c: In function 'wb':
nzttegjf.c:20:7: internal compiler error: in cmp_cst, at analyzer/svalue.cc=
:283
   20 |       wb (ba);
      |       ^~~~~~~
0x73dc66 cmp_cst
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/svalue.cc:283
0x19296e0 cmp1<sort_ctx>
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/sort.cc:153
0x1929734 netsort<sort_ctx>
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/sort.cc:170
0x1929734 mergesort<sort_ctx>
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/sort.cc:207
0x1929cc2 gcc_qsort(void*, unsigned long, unsigned long, int (*)(void const=
*,
void const*))
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/sort.cc:266
0x18c2311 vec<ana::svalue const*, va_heap, vl_embed>::qsort(int (*)(void
const*, void const*))
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/vec.h:1138
0x18c2311 vec<ana::svalue const*, va_heap, vl_ptr>::qsort(int (*)(void cons=
t*,
void const*))
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/vec.h:2031
0x18c2311 ana::equiv_class::canonicalize()
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/constraint-manager.cc:431
0x18c2311 ana::constraint_manager::canonicalize()
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/constraint-manager.cc:1713
0x115d881 ana::program_state::prune_for_point(ana::exploded_graph&,
ana::program_point const&, ana::exploded_node const*) const
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/program-state.cc:1049
0x1149245 ana::exploded_graph::get_or_create_node(ana::program_point const&,
ana::program_state const&, ana::exploded_node const*)
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/engine.cc:2045
0x114c6cd ana::exploded_graph::process_node(ana::exploded_node*)
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/engine.cc:2850
0x114d47a ana::exploded_graph::process_worklist()
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/engine.cc:2523
0x114f59a ana::impl_run_checkers(ana::logger*)
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/engine.cc:4658
0x115036c ana::run_checkers()
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/engine.cc:4729
0x11424e8 execute
=20=20=20=20=20=20=20
/var/tmp/portage/sys-devel/gcc-11.0.0_alpha20201101/work/gcc-11-20201101/gc=
c/analyzer/analyzer-pass.cc:84=