From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 1A3A7384AB49; Mon, 22 Apr 2024 03:01:50 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1A3A7384AB49 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1713754910; bh=eVw6wRqRLcsb6Atv6dQZ2vo4LU35M24joL1jGNsnCug=; h=From:To:Subject:Date:From; b=phfVgOnuBkut2sTUCKfz3n77BiDz3ApnG7E59BiFOX/5j/7kiB36Ysiq3ODahip+z 1EowRnTGy3sAORA8iUXCmv7EUbnCQ7ywQciU41axkmOmP9/oRbFO25PjlU8b+RmVy4 pmWf7lLLoCWmi8BjWQL2fkRlbZ21Z5FMJDBoBCaE= From: "iamanonymous.cs at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug analyzer/114798] New: ICE: in convert_svalue_from_summary_1, at analyzer/call-summary.cc:290 Date: Mon, 22 Apr 2024 03:01:49 +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: X-Bugzilla-Severity: normal X-Bugzilla-Who: iamanonymous.cs at gmail dot com 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 bug_severity priority component assigned_to reporter target_milestone 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=3D114798 Bug ID: 114798 Summary: ICE: in convert_svalue_from_summary_1, at analyzer/call-summary.cc:290 Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: iamanonymous.cs at gmail dot com Target Milestone: --- Compiler Explorer: https://godbolt.org/z/5GE3xG7zM ***************************************************************************= **** OS and Platform: $ uname -a: Linux ubuntu 4.15.0-213-generic #224-Ubuntu SMP Mon Jun 19 13:30:12 UTC 2023 x86_64 x86_64 x86_64 GNU/Linux ***************************************************************************= **** gcc version: $ gcc -v Using built-in specs. COLLECT_GCC=3D/root/gcc_set/202404101100/bin/gcc COLLECT_LTO_WRAPPER=3D/root/gcc_set/202404101100/libexec/gcc/x86_64-pc-linu= x-gnu/14.0.1/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc/configure --prefix=3D/root/gcc_set/202404101100 --with-gmp=3D/root/build_essential --with-mpfr=3D/root/build_essential --with-mpc=3D/root/build_essential --enable-languages=3Dc,c++ --disable-mul= tilib --with-sanitizer=3Daddress,undefined,thread,leak Thread model: posix Supported LTO compression algorithms: zlib gcc version 14.0.1 20240410 (experimental) (GCC)=20 git version: 0774240b4df9a9bc48ce33a9625788e402498f5a ***************************************************************************= **** Program: $ cat mutant.c _Bool b() {} void c() { int d; void check(_Bool a) { _Bool e; if (a && e) __builtin_abort(); _Bool f =3D b(d); if (a && f) __builtin_abort(); } check(1); check(0); } ***************************************************************************= **** Command Lines: $ gcc -fanalyzer -fanalyzer-call-summaries -c mutant.c during IPA pass: analyzer mutant.c: In function =E2=80=98c=E2=80=99: mutant.c:12:3: internal compiler error: in convert_svalue_from_summary_1, at analyzer/call-summary.cc:290 12 | check(1); | ^~~~~~~~ 0x933c67 ana::call_summary_replay::convert_svalue_from_summary_1(ana::svalue const*) ../../gcc/gcc/analyzer/call-summary.cc:290 0x217b2aa ana::call_summary_replay::convert_svalue_from_summary(ana::svalue const*) ../../gcc/gcc/analyzer/call-summary.cc:236 0x219584b ana::replay_fact_visitor::on_fact(ana::svalue const*, tree_code, ana::svalue const*) ../../gcc/gcc/analyzer/constraint-manager.cc:3273 0x2189728 ana::constraint_manager::for_each_fact(ana::fact_visitor*) const ../../gcc/gcc/analyzer/constraint-manager.cc:3240 0x2189958 ana::constraint_manager::replay_call_summary(ana::call_summary_replay&, ana::constraint_manager const&) ../../gcc/gcc/analyzer/constraint-manager.cc:3307 0x1491770 ana::region_model::replay_call_summary(ana::call_summary_replay&, ana::region_model const&) ../../gcc/gcc/analyzer/region-model.cc:5640 0x14723eb ana::program_state::replay_call_summary(ana::call_summary_replay&, ana::program_state const&) ../../gcc/gcc/analyzer/program-state.cc:1635 0x1458743 ana::call_summary_edge_info::update_state(ana::program_state*, ana::exploded_edge const*, ana::region_model_context*) const ../../gcc/gcc/analyzer/engine.cc:1633 0x1450d9a ana::exploded_graph::process_node(ana::exploded_node*) ../../gcc/gcc/analyzer/engine.cc:4241 0x145166a ana::exploded_graph::process_worklist() ../../gcc/gcc/analyzer/engine.cc:3516 0x1453c4b ana::impl_run_checkers(ana::logger*) ../../gcc/gcc/analyzer/engine.cc:6210 0x1454bb6 ana::run_checkers() ../../gcc/gcc/analyzer/engine.cc:6308 0x1443a98 execute ../../gcc/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.=