public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "sjames at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/113521] ICE when building swi-prolog-9.1.2 with LTO in verify_gimple_in_cfg
Date: Sat, 20 Jan 2024 09:04:59 +0000	[thread overview]
Message-ID: <bug-113521-4-GKKc2FjdWb@http.gcc.gnu.org/bugzilla/> (raw)
In-Reply-To: <bug-113521-4@http.gcc.gnu.org/bugzilla/>

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

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
The original unreduced bt was:
```
/var/tmp/portage/dev-lang/swi-prolog-9.1.2-r1/work/swipl-9.1.2/packages/xpce/src/h/kernel.h:1443:20:
warning: type of ‘builtin_names’ does not match original declaration
[-Wlto-type-mismatch]
 1443 | extern struct name builtin_names[];     /* object-array of built-in's
*/
      |                    ^
/var/tmp/portage/dev-lang/swi-prolog-9.1.2-r1/work/swipl-9.1.2/packages/xpce/src/ker/name.c:58:14:
note: type ‘struct bname’ should match type ‘struct name’
   58 | struct bname builtin_names[] =
      |              ^
/var/tmp/portage/dev-lang/swi-prolog-9.1.2-r1/work/swipl-9.1.2/packages/xpce/src/ker/name.c:58:14:
note: ‘builtin_names’ was previously declared here
/var/tmp/portage/dev-lang/swi-prolog-9.1.2-r1/work/swipl-9.1.2/packages/xpce/src/ker/name.c:58:14:
note: code may be misoptimized unless ‘-fno-strict-aliasing’ is used
lto-wrapper: warning: using serial compilation of 28 LTRANS jobs
lto-wrapper: note: see the ‘-flto’ option documentation for more information
/var/tmp/portage/dev-lang/swi-prolog-9.1.2-r1/work/swipl-9.1.2/packages/xpce/src/gra/device.c:
In function ‘layoutDialogDevice’:
/var/tmp/portage/dev-lang/swi-prolog-9.1.2-r1/work/swipl-9.1.2/packages/xpce/src/gra/device.c:1526:1:
error: type mismatch in ‘array_ref’
 1526 | layoutDialogDevice(Device d, Size gap, Size bb, Size border)
      | ^
struct name

struct bname

# .MEM_1457 = VDEF <.MEM_1425>
ht_1093->refer = &builtin_names[1542];
during GIMPLE pass: fixup_cfg
/var/tmp/portage/dev-lang/swi-prolog-9.1.2-r1/work/swipl-9.1.2/packages/xpce/src/gra/device.c:1526:1:
internal compiler error: verify_gimple failed
0x55597c3245f4 verify_gimple_in_cfg(function*, bool, bool)
[...]
```

  reply	other threads:[~2024-01-20  9:04 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2024-01-20  9:04 [Bug tree-optimization/113521] New: " sjames at gcc dot gnu.org
2024-01-20  9:04 ` sjames at gcc dot gnu.org [this message]
2024-01-20  9:12 ` [Bug lto/113521] " pinskia at gcc dot gnu.org
2024-01-22  9:56 ` rguenth at gcc dot gnu.org

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=bug-113521-4-GKKc2FjdWb@http.gcc.gnu.org/bugzilla/ \
    --to=gcc-bugzilla@gcc.gnu.org \
    --cc=gcc-bugs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).