From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 557B03858C42; Fri, 19 Jan 2024 05:52:47 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 557B03858C42 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1705643567; bh=8lDZ/QhBf2H4elV0Da1KT8xGamgqy8ePrC/tUwcJVxE=; h=From:To:Subject:Date:From; b=k0iMJAlfS9jJ29f0uge4BdnSo9TDyv0B2Eeza8JwpAP20wxMR5JN/UKtE/KzB0gvb qvBosNw5+NNvfAt47JmU4IPj9X5R++9vpiR/W8I79W5EdMpRf09i895XAWwSYrkdWw n/gwLi83nSfmlyeoYMvF6JJyiqBWwiHvhzUXzXhQ= From: "zsojka at seznam dot cz" To: gcc-bugs@gcc.gnu.org Subject: [Bug analyzer/113496] New: ICE: in cmp, at analyzer/constraint-manager.cc:782 with -fanalyzer -fdump-analyzer Date: Fri, 19 Jan 2024 05:52:46 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: analyzer X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: zsojka at seznam dot cz X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: dmalcolm at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter target_milestone cf_gcchost cf_gcctarget attachments.created Message-ID: 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=3D113496 Bug ID: 113496 Summary: ICE: in cmp, at analyzer/constraint-manager.cc:782 with -fanalyzer -fdump-analyzer Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: zsojka at seznam dot cz Target Milestone: --- Host: x86_64-pc-linux-gnu Target: x86_64-pc-linux-gnu Created attachment 57150 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D57150&action=3Dedit auto-reduced testcase Compiler output: $ x86_64-pc-linux-gnu-gcc -fanalyzer -fdump-analyzer u_format_latc.c.i u_format_latc.c.i: In function 'util_format_colormask_descutil_format_colormask': u_format_latc.c.i:11:5: warning: infinite loop [CWE-835] [-Wanalyzer-infinite-loop] 11 | case UTIL_FORMAT_COLORSPACE_ZS:; | ^~~~ 'util_format_colormask_descutil_format_colormask': event 1 | | 11 | case UTIL_FORMAT_COLORSPACE_ZS:; | | ^~~~ | | | | | (1) infinite loop here | 'util_format_colormask_descutil_format_colormask': event 2 | |cc1: | (2): looping back... | 'util_format_colormask_descutil_format_colormask': event 3 | | 11 | case UTIL_FORMAT_COLORSPACE_ZS:; | | ^~~~ | | | | | (3) ...to here | during IPA pass: analyzer At top level: cc1: internal compiler error: in cmp, at analyzer/constraint-manager.cc:782 0xdd2429 ana::bounded_ranges::cmp(ana::bounded_ranges const*, ana::bounded_ranges const*) /repo/gcc-trunk/gcc/analyzer/constraint-manager.cc:782 0xdd2429 ana::bounded_ranges::cmp(ana::bounded_ranges const*, ana::bounded_ranges const*) /repo/gcc-trunk/gcc/analyzer/constraint-manager.cc:770 0x29fcbd8 cmp1 /repo/gcc-trunk/gcc/sort.cc:151 0x29fcc31 netsort /repo/gcc-trunk/gcc/sort.cc:168 0x29fcc31 mergesort /repo/gcc-trunk/gcc/sort.cc:205 0x29fce7d mergesort /repo/gcc-trunk/gcc/sort.cc:212 0x29fd22f gcc_qsort(void*, unsigned long, unsigned long, int (*)(void const= *, void const*)) /repo/gcc-trunk/gcc/sort.cc:268 0x291b316 vec::qsort(int (*)(void const*, void const*)) /repo/gcc-trunk/gcc/vec.h:1217 0x291b316 vec::qsort(int (*)(v= oid const*, void const*)) /repo/gcc-trunk/gcc/vec.h:2240 0x291b316 ana::bounded_ranges_manager::log_stats(ana::logger*, bool) const /repo/gcc-trunk/gcc/analyzer/constraint-manager.cc:1040 0x195f957 ana::region_model_manager::log_stats(ana::logger*, bool) const /repo/gcc-trunk/gcc/analyzer/region-model-manager.cc:1929 0x190fc1f ana::exploded_graph::log_stats() const /repo/gcc-trunk/gcc/analyzer/engine.cc:4551 0x19113f7 ana::impl_run_checkers(ana::logger*) /repo/gcc-trunk/gcc/analyzer/engine.cc:6230 0x191227b ana::run_checkers() /repo/gcc-trunk/gcc/analyzer/engine.cc:6300 0x1900f38 execute /repo/gcc-trunk/gcc/analyzer/analyzer-pass.cc:87 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See for instructions. $ x86_64-pc-linux-gnu-gcc -v Using built-in specs. COLLECT_GCC=3D/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-g= cc COLLECT_LTO_WRAPPER=3D/repo/gcc-trunk/binary-trunk-r14-8259-20240118193928-= gb6c4fcda7fe-checking-yes-rtl-df-extra-nobootstrap-amd64/bin/../libexec/gcc= /x86_64-pc-linux-gnu/14.0.1/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /repo/gcc-trunk//configure --enable-languages=3Dc,c++ --enable-valgrind-annotations --disable-nls --enable-checking=3Dyes,rtl,df,= extra --disable-bootstrap --with-cloog --with-ppl --with-isl --build=3Dx86_64-pc-linux-gnu --host=3Dx86_64-pc-linux-gnu --target=3Dx86_64-pc-linux-gnu --with-ld=3D/usr/bin/x86_64-pc-linux-gnu-ld --with-as=3D/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch --prefix=3D/repo/gcc-trunk//binary-trunk-r14-8259-20240118193928-gb6c4fcda7= fe-checking-yes-rtl-df-extra-nobootstrap-amd64 Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 14.0.1 20240118 (experimental) (GCC)=