[Bug ipa/113890] New: -fdump-tree-modref ICE with _BitInt

[Bug ipa/113890] New: -fdump-tree-modref ICE with _BitInt

[jakub at gcc dot gnu.org]

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

            Bug ID: 113890
           Summary: -fdump-tree-modref ICE with _BitInt
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
  Target Milestone: ---

unsigned _BitInt(512) b;

int
foo (unsigned _BitInt(511) a)
{
  return a <= b;
}

ICEs with -O2 -fdump-tree-modref:
during GIMPLE pass: modref
dump file: pr113849-2.c.223t.modref2
pr113849-2.c: In function ‘foo’:
pr113849-2.c:4:1: internal compiler error: in analyze_function, at
ipa-modref.cc:3287
    4 | foo (unsigned _BitInt(511) a)
      | ^~~
0x7e445c analyze_function
        ../../gcc/ipa-modref.cc:3287
0x12954ca execute
        ../../gcc/ipa-modref.cc:4240
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

I'm afraid I have no idea what that assert is about, nor whether I'm doing
something wrong on the bitint lowering side or if it is an modref bug.

[Bug ipa/113890] -fdump-tree-modref ICE with _BitInt

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu.org
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-02-12
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Honza, could you please have a look?  Thanks.

[Bug ipa/113890] -fdump-tree-modref ICE with _BitInt

[amonakov at gcc dot gnu.org]

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

Alexander Monakov <amonakov at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amonakov at gcc dot gnu.org

--- Comment #2 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
Earlier reported (with a less straightforward testcase) in PR 106783, which is
tracked as a regression since gcc-12.

[Bug ipa/113890] -fdump-tree-modref ICE with _BitInt

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |DUPLICATE
             Status|NEW                         |RESOLVED

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup of bug 106783 then.

*** This bug has been marked as a duplicate of bug 106783 ***