[Bug target/97634] New: [10/11 Regression] ICE 'verify_gimple' failed on arm-linux-gnueabihf

[Bug target/97634] New: [10/11 Regression] ICE 'verify_gimple' failed on arm-linux-gnueabihf

[doko at debian dot org]

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

            Bug ID: 97634
           Summary: [10/11 Regression] ICE 'verify_gimple' failed on
                    arm-linux-gnueabihf
           Product: gcc
           Version: 10.2.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at debian dot org
  Target Milestone: ---

seen building webkit2gtk with current gcc-10 branch and trunk on
arm-linux-gnueabihf:

$ cat foo.ii
class ResourceResponseBase {
  enum class Tainting { Opaque, Opaqueredirect };
  void sanitizeHTTPHeaderFieldsAccordingToTainting();
  Tainting m_tainting : 2;
};
void ResourceResponseBase::sanitizeHTTPHeaderFieldsAccordingToTainting() {
  switch (m_tainting)
  case Tainting::Opaque:
  case Tainting::Opaqueredirect:;
}

$ g++ -c -Wall -std=c++17 foo.ii
foo.ii: In member function 'void
ResourceResponseBase::sanitizeHTTPHeaderFieldsAccordingToTainting()':
foo.ii:6:6: error: type precision mismatch in switch statement
    6 | void
ResourceResponseBase::sanitizeHTTPHeaderFieldsAccordingToTainting() {
      |      ^~~~~~~~~~~~~~~~~~~~
switch (_1) <default: <D.5888>, case 0: <D.5882>, case 1: <D.5883>>
foo.ii:6:6: internal compiler error: 'verify_gimple' failed
0x965511 verify_gimple_in_seq(gimple*)
        ../../src/gcc/tree-cfg.c:5113
0x6e8acb gimplify_body(tree_node*, bool)
        ../../src/gcc/gimplify.c:14998
0x6e8d2b gimplify_function_tree(tree_node*)
        ../../src/gcc/gimplify.c:15069
0x546c1f cgraph_node::analyze()
        ../../src/gcc/cgraphunit.c:671
0x5493c5 analyze_functions
        ../../src/gcc/cgraphunit.c:1234
0x54a24f symbol_table::finalize_compilation_unit()
        ../../src/gcc/cgraphunit.c:2994
Please submit a full bug report,
with preprocessed source if appropriate.

configured with 

--with-arch=armv7-a --with-fpu=vfpv3-d16 --with-float=hard --with-mode=thumb 
--enable-checking=yes,extra,rtl
--enable-default-pie

[Bug c++/97634] [10/11 Regression] ICE 'verify_gimple' failed on arm-linux-gnueabihf

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |ice-checking
          Component|target                      |c++
   Last reconfirmed|                            |2020-10-30
             Target|arm-linux-gnueabihf         |arm-linux-gnueabihf,
                   |                            |x86_64-*-*
   Target Milestone|---                         |10.3
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Everywhere I guess.  And I guess since the checking was added/amended. 
Frontend issue.

The switch index type is unpromoted signed char : 2 while the element type
is the enum type.

[Bug c++/97634] [10/11 Regression] ICE 'verify_gimple' failed on arm-linux-gnueabihf

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
Yes, can be seen on x86_64-linux-gnu as weel.

Started with GCC 5.1.0, 4.9.4 rejects it with -std=c++11:

pr97634.C:4:25: warning: ‘ResourceResponseBase::m_tainting’ is too small to
hold all values of ‘enum class ResourceResponseBase::Tainting’
   Tainting m_tainting : 2;
                         ^
pr97634.C: In member function ‘void
ResourceResponseBase::sanitizeHTTPHeaderFieldsAccordingToTainting()’:
pr97634.C:8:18: error: could not convert ‘Opaque’ from
‘ResourceResponseBase::Tainting’ to ‘int’
   case Tainting::Opaque:
                  ^
pr97634.C:9:18: error: could not convert ‘Opaqueredirect’ from
‘ResourceResponseBase::Tainting’ to ‘int’
   case Tainting::Opaqueredirect:;
                  ^

[Bug c++/97634] [10/11 Regression] ICE 'verify_gimple' failed on arm-linux-gnueabihf

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |mpolacek at gcc dot gnu.org
         Resolution|---                         |DUPLICATE

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Dup of bug 98043 which I've already fixed on trunk.

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