From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 5EE3D3858C2F; Tue, 2 Jan 2024 19:40:30 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5EE3D3858C2F DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1704224430; bh=6a8N8ngDGxjT71EDUqOvMf3P+6uV55dw26Y+7Jk0wTw=; h=From:To:Subject:Date:From; b=a4f+d1lnuQrYdZVME3nRjAp/ga3OwaR4xEKCCiChpakCZIZSd8TH6lDckwtjlW+VM amgAdmDQ9BwTY3YlIsvbiFlSZy2+AnMs3sptpdh8Ey9Qd3ekf1K9N12SVr5ZuZZHwM On64zNSF7qSuuaISvA7MmBqo/3V26l/3HhYQL6f0= From: "doko at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug lto/113207] New: [14 Regression] error: type variant has different 'TREE_TYPE' Date: Tue, 02 Jan 2024 19:40:29 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: lto X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: doko at gcc dot gnu.org 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: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter cc 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=3D113207 Bug ID: 113207 Summary: [14 Regression] error: type variant has different 'TREE_TYPE' Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: lto Assignee: unassigned at gcc dot gnu.org Reporter: doko at gcc dot gnu.org CC: marxin at gcc dot gnu.org Target Milestone: --- seen with trunk 20240101, with -flto $ cat predlib.i typedef struct cl_lispunion *cl_object; struct cl_lispunion {}; cl_object cl_error() __attribute__((noreturn)); volatile cl_object cl_coerce_value0; void cl_coerce() { cl_error(); } void L66safe_canonical_type(cl_object volatile); $ gcc -O2 -flto=3Dauto -fstack-protector-strong -fstack-clash-protection -fcf-protection -c predlib.i predlib.i:6:1: error: type variant has different 'TREE_TYPE' 6 | void L66safe_canonical_type(cl_object volatile); | ^~~~ > unsigned DI size unit-size align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7efc56d6dc78> QI size constant 8> unit-size constant 1> align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7efc56d6de70 pointer_to_this > predlib.i:6:1: error: type variant's 'TREE_TYPE' > unsigned DI size constant 64> unit-size constant 8> align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7efc56d6dc78> predlib.i:6:1: error: type's 'TREE_TYPE' > unsigned DI size constant 64> unit-size constant 8> align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7efc56d6dc78> > unsigned DI size unit-size align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7efc56d6dc78> volatile QI size constant 8> unit-size constant 1> align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type 0x7efc56d6d888 pointer_to_this > during IPA pass: *free_lang_data predlib.i:6:1: internal compiler error: 'verify_type' failed 0x6bde44 verify_type(tree_node const*) ../../src/gcc/tree.cc:14386 0x20d2332 free_lang_data ../../src/gcc/ipa-free-lang-data.cc:1134 0x20d2332 execute ../../src/gcc/ipa-free-lang-data.cc:1176 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.=