public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/98556] [8/9/10 Regression] ICE: 'verify_gimple' failed since r8-4821-g1af4ebf5985ef2aa Date: Sat, 09 Jan 2021 10:52:26 +0000 [thread overview] Message-ID: <bug-98556-4-AEDuHsmz1V@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-98556-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98556 --- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-10 branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>: https://gcc.gnu.org/g:0188eab844eacda5edc6257771edb771844ae069 commit r10-9242-g0188eab844eacda5edc6257771edb771844ae069 Author: Jakub Jelinek <jakub@redhat.com> Date: Sat Jan 9 10:49:38 2021 +0100 tree-cfg: Allow enum types as result of POINTER_DIFF_EXPR [PR98556] As conversions between signed integers and signed enums with the same precision are useless in GIMPLE, it seems strange that we require that POINTER_DIFF_EXPR result must be INTEGER_TYPE. If we really wanted to require that, we'd need to change the gimplifier to ensure that, which it isn't the case on the following testcase. What is going on during the gimplification is that when we have the (enum T) (p - q) cast, it is stripped through /* Strip away as many useless type conversions as possible at the toplevel. */ STRIP_USELESS_TYPE_CONVERSION (*expr_p); and when the MODIFY_EXPR is gimplified, the *to_p has enum T type, while *from_p has intptr_t type and as there is no conversion in between, we just create GIMPLE_ASSIGN from that. 2021-01-09 Jakub Jelinek <jakub@redhat.com> PR c++/98556 * tree-cfg.c (verify_gimple_assign_binary): Allow lhs of POINTER_DIFF_EXPR to be any integral type. * c-c++-common/pr98556.c: New test. (cherry picked from commit 991656092f78eeab2a48fdbacf4e1f08567badaf)
next prev parent reply other threads:[~2021-01-09 10:52 UTC|newest] Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-01-06 9:09 [Bug c++/98556] New: [11 Regression] ICE doko at debian dot org 2021-01-06 9:13 ` [Bug c++/98556] [11 Regression] ICE: 'verify_gimple' failed on arm-linux-gnueabihf doko at debian dot org 2021-01-06 9:13 ` doko at debian dot org 2021-01-06 9:19 ` [Bug c++/98556] [11 Regression] ICE: 'verify_gimple' failed on arm-linux-gnueabihf since r8-4821-g1af4ebf5985ef2aa marxin at gcc dot gnu.org 2021-01-06 9:32 ` [Bug c++/98556] [8/9/10/11 Regression] ICE: 'verify_gimple' failed " glisse at gcc dot gnu.org 2021-01-08 15:06 ` jakub at gcc dot gnu.org 2021-01-09 9:50 ` cvs-commit at gcc dot gnu.org 2021-01-09 9:53 ` [Bug c++/98556] [8/9/10 " jakub at gcc dot gnu.org 2021-01-09 10:52 ` cvs-commit at gcc dot gnu.org [this message] 2021-01-09 10:52 ` [Bug c++/98556] [8/9 " jakub at gcc dot gnu.org 2021-04-20 23:31 ` cvs-commit at gcc dot gnu.org 2021-04-22 16:49 ` cvs-commit at gcc dot gnu.org 2021-04-22 17:11 ` jakub 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-98556-4-AEDuHsmz1V@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: linkBe 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).