From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 92083385417B; Fri, 21 Oct 2022 17:07:17 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 92083385417B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1666372037; bh=BpBAswrBDb13hV7nqu+L17eOhMjrJy/BaG9kuinPH1M=; h=From:To:Subject:Date:From; b=ddyOPK+YgR0xaVSvrhLN/tL7X1IRqGMeCP42e974SRLHDzB1mxoNLdih9N6TXnnJN I1uz3JDe4fdCrrV86EnNy0B0nbISBaJz8u3MHW3GruXfoeQtQlc5NiRDlVJQi6U/TR bdX4JyP82/5iMXVuOL/pH7iRtmfASz2di9hEgoew= From: "acoplan at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug analyzer/107349] New: [13 Regression] ICE in get_va_copy_arg, at analyzer/varargs.cc:175 Date: Fri, 21 Oct 2022 17:06:58 +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: 12.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: acoplan at gcc dot gnu.org 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=3D107349 Bug ID: 107349 Summary: [13 Regression] ICE in get_va_copy_arg, at analyzer/varargs.cc:175 Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: analyzer Assignee: dmalcolm at gcc dot gnu.org Reporter: acoplan at gcc dot gnu.org Target Milestone: --- The following fails on aarch64: $ cat t.c void f() { __builtin_va_list x,y; __builtin_va_copy(x,y); } $ gcc/xgcc -B gcc -c t.c -fanalyzer during IPA pass: analyzer t.c: In function =E2=80=98f=E2=80=99: t.c:3:3: internal compiler error: in get_va_copy_arg, at analyzer/varargs.cc:175 3 | __builtin_va_copy(x,y); | ^~~~~~~~~~~~~~~~~~~~~~ 0x13d26cb get_va_copy_arg /home/alecop01/toolchain/src/gcc/gcc/analyzer/varargs.cc:175 0x13d3a47 ana::region_model::impl_call_va_copy(ana::call_details const&) /home/alecop01/toolchain/src/gcc/gcc/analyzer/varargs.cc:696 0x136742b ana::region_model::on_call_pre(gcall const*, ana::region_model_context*, bool*) /home/alecop01/toolchain/src/gcc/gcc/analyzer/region-model.cc:2246 0x13707f7 ana::region_model::on_stmt_pre(gimple const*, bool*, bool*, ana::region_model_context*) /home/alecop01/toolchain/src/gcc/gcc/analyzer/region-model.cc:1262 0x133706f ana::exploded_node::on_stmt(ana::exploded_graph&, ana::supernode const*, gimple const*, ana::program_state*, ana::uncertainty_t*, ana::path_context*) /home/alecop01/toolchain/src/gcc/gcc/analyzer/engine.cc:1447 0x1339a2b ana::exploded_graph::process_node(ana::exploded_node*) /home/alecop01/toolchain/src/gcc/gcc/analyzer/engine.cc:4034 0x133a6a3 ana::exploded_graph::process_worklist() /home/alecop01/toolchain/src/gcc/gcc/analyzer/engine.cc:3436 0x133c847 ana::impl_run_checkers(ana::logger*) /home/alecop01/toolchain/src/gcc/gcc/analyzer/engine.cc:6084 0x133dd73 ana::run_checkers() /home/alecop01/toolchain/src/gcc/gcc/analyzer/engine.cc:6158 0x132ce5b execute /home/alecop01/toolchain/src/gcc/gcc/analyzer/analyzer-pass.cc:86 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. this was reduced from the analyzer testsuite where I see the following tests failing due to this: gcc.dg/analyzer/stdarg-1.c gcc.dg/analyzer/call-summaries-2.c gcc.dg/analyzer/stdarg-2.c I think this might have started with r13-3390-gebe87edadc4a3f15a6a0d0c1d4a198e0ea37d8b5=