[Bug c/112511] New: GCC: 14: internal compiler error: in type_contains_placeholder_1, at tree.cc:4243

[Bug c/112511] New: GCC: 14: internal compiler error: in type_contains_placeholder_1, at tree.cc:4243

[141242068 at smail dot nju.edu.cn]

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

            Bug ID: 112511
           Summary: GCC: 14: internal compiler error: in
                    type_contains_placeholder_1, at tree.cc:4243
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 141242068 at smail dot nju.edu.cn
  Target Milestone: ---

Compiler Explorer: https://gcc.godbolt.org/z/E457vrbGM

When compiling this program with `gcc-14 -O2`, gcc ICEs:
```
struct T {
  _BitInt(22) a;
};

void g(struct T v) { }

void f() {
  struct T v;
  g(v);
}
```

The crash output pasted from Compiler Explorer:
```
during GIMPLE pass: esra
<source>: In function 'f':
<source>:10:1: internal compiler error: in type_contains_placeholder_1, at
tree.cc:4243
   10 | }
      | ^
0x238b06e internal_error(char const*, ...)
        ???:0
0xa1125c fancy_abort(char const*, int, char const*)
        ???:0
0x14596c1 type_contains_placeholder_p(tree_node*)
        ???:0
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.
Compiler returned: 1
```

[Bug c/112511] GCC: 14: internal compiler error: in type_contains_placeholder_1, at tree.cc:4243

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-11-13
                 CC|                            |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Missing a BITINT_TYPE case.

[Bug middle-end/112511] GCC: 14: internal compiler error: in type_contains_placeholder_1, at tree.cc:4243

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 56570
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56570&action=edit
gcc14-pr112511.patch

Indeed.  It doesn't matter that much where exactly we handle it until (if ever)
Ada starts using that type.

[Bug middle-end/112511] ICE in type_contains_placeholder_1: SRA vs _BitInt

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:6e5f318fc6480412569273c1a71c638c3d677607

commit r14-5431-g6e5f318fc6480412569273c1a71c638c3d677607
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Tue Nov 14 09:24:34 2023 +0100

    tree: Handle BITINT_TYPE in type_contains_placeholder_1 [PR112511]

    The following testcase ICEs because BITINT_TYPE isn't handled in
    type_contains_placeholder_1.  Given that Ada doesn't emit it, it doesn't
    matter that much where exactly we handle it as right now it should never
    contain a placeholder; I've picked the same spot as INTEGER_TYPE, but if
    you prefer e.g. the one with OFFSET_TYPE above, I can move it there too.

    2023-11-14  Jakub Jelinek  <jakub@redhat.com>

            PR middle-end/112511
            * tree.cc (type_contains_placeholder_1): Handle BITINT_TYPE like
            INTEGER_TYPE.

            * gcc.dg/pr112511.c: New test.

[Bug middle-end/112511] ICE in type_contains_placeholder_1: SRA vs _BitInt

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
fixed.