[Bug c/108954] New: ICE with invalid gimple source

[Bug c/108954] New: ICE with invalid gimple source

[pinskia at gcc dot gnu.org]

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

            Bug ID: 108954
           Summary: ICE with invalid gimple source
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

Take:
```
/* { dg-do compile } */
/* { dg-require-effective-target int32 } */
/* { dg-skip-if "" { *-*-* } { "-O0" } { "" } } */
/* { dg-additional-options "-fgimple -fdump-tree-fre1" } */

typedef int v4si __attribute__((vector_size(16)));

int __GIMPLE (ssa,startwith("fre"))
foo (int c)
{
  int * p;
  int i;
  int x[4];
  short unsigned int _1;
  short unsigned int _2;
  int _7;
  v4si _6;

  __BB(2):
  i_3 = 0;
  _1 = (short unsigned int) i_3;
  _2 = _1 * 4ul;
  p_4 = _Literal (int *) &x + _2; /* { dg-error "" } */
  _6 = _Literal (v4si) { c_5(D), c_5(D), c_5(D), c_5(D) };
  __MEM <v4si> ((v4si *)p_4) = _6;
  _7 = x[0];
  return _7;
}
```
This should not ICE but current does:

<source>:19:3: internal compiler error: in build2, at tree.cc:5096
   19 |   p_4 = _Literal (int *) &x + _2;
      |   ^~~

[Bug c/108954] ICE with invalid gimple source

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2023-02-28
             Blocks|                            |101057
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.  Well, we're (ab-)using the GIMPLE verifiers for error reporting -
that we have some places in build2 that ICE (for the sake of early catching
errors) is unfortunate.  But the intent was to _not_ re-implement the
GIMPLE verifier in the GIMPLE frontend.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101057
[Bug 101057] [gimplefe] GIMPLE frontend issues

[Bug c/108954] ICE with invalid gimple source

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |iamanonymous.cs at gmail dot com

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 114095 has been marked as a duplicate of this bug. ***