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

Reply via email to