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

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

[ro at gcc dot 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.

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

[ro at gcc dot gnu.org]

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

Rainer Orth <ro at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0

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

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-10-12
                 CC|                            |marxin at gcc dot gnu.org
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=107229
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Likely dup of PR107229.

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

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
The bootstrap is fixed.

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