[Bug tree-optimization/107232] New: [13 regression] insertion out of range in 'bit_insert_expr' breaks SPARC bootstrap

["ro at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 107232
           Summary: [13 regression] insertion out of range in
                    'bit_insert_expr' breaks SPARC bootstrap
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ro at gcc dot gnu.org
                CC: avieira at gcc dot gnu.org
  Target Milestone: ---
            Target: sparc-sun-solaris2.11

Between 20221010 (248c8aeebc49aae3fd96bd587367d12e7c8b3c3a) and 20221011
(576d524559776ee6744f478da600939ca5c2d502),
Solaris/SPARC bootstrap broke with

/vol/gcc/src/hg/master/local/gcc/ipa-sra.cc: In member function 'virtual void
ipa_sra_function_summaries::duplicate(cgraph_node*, cgraph_node*,
isra_func_summary*, isra_func_summary*)':
/vol/gcc/src/hg/master/local/gcc/ipa-sra.cc:388:1: error: insertion out of
range in 'bit_insert_expr'
  388 | ipa_sra_function_summaries::duplicate (cgraph_node *, cgraph_node *,
      | ^~~~~~~~~~~~~~~~~~~~~~~~~~
_ifc__128 = BIT_INSERT_EXPR <_ifc__39, 0, 18446744073709551584 (1 bits)>;
/vol/gcc/src/hg/master/local/gcc/ipa-sra.cc:388:1: error: insertion out of
range in 'bit_insert_expr'
_ifc__130 = BIT_INSERT_EXPR <_ifc__128, 0, 18446744073709551585 (1 bits)>;
/vol/gcc/src/hg/master/local/gcc/ipa-sra.cc:388:1: error: insertion out of
range in 'bit_insert_expr'
_ifc__75 = BIT_INSERT_EXPR <_ifc__130, 0, 18446744073709551586 (1 bits)>;
during GIMPLE pass: ifcvt
/vol/gcc/src/hg/master/local/gcc/ipa-sra.cc:388:1: internal compiler error:
verify_gimple failed

/vol/gcc/src/hg/master/local/gcc/lra.cc: In function 'void
setup_operand_alternative(lra_insn_recog_data_t, const operand_alternative*)':
/vol/gcc/src/hg/master/local/gcc/lra.cc:803:1: error: position plus size
exceeds size of referenced object in 'bit_field_ref'
  803 | setup_operand_alternative (lra_insn_recog_data_t data,
      | ^~~~~~~~~~~~~~~~~~~~~~~~~
_ifc__33 = BIT_FIELD_REF <_ifc__32, 1, 18446744073709551602>;
during GIMPLE pass: ifcvt
/vol/gcc/src/hg/master/local/gcc/lra.cc:803:1: internal compiler error:
verify_gimple failed

in stage 3.  This patch

commit 25413fdb2ac24933214123e24ba165026452a6f2
Author: Andre Vieira <andre.simoesdiasvieira@arm.com>
Date:   Tue Oct 11 10:49:27 2022 +0100

    vect: Teach vectorizer how to handle bitfield accesses

seemed like a likely culprit, and indeed reverting it locally allowed the build
to succeed.