[Bug tree-optimization/106186] New: [13 regression] Recent change causing target regressions for uninitialized objects

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

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

            Bug ID: 106186
           Summary: [13 regression] Recent change causing target
                    regressions for uninitialized objects
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: law at gcc dot gnu.org
  Target Milestone: ---

This change:

commit 4e82205b68024f5c1a9006fe2b62e1a0fa7f1245
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Fri Jul 1 13:20:42 2022 +0200

    Integrate nonzero bits with irange.

    The nonzero bits and integer ranges compliment each other quite well,
    and it only makes sense to make the mask a first class citizen in the
    irange.  We do a half assed job of keeping ranges and nonzero bits
    somewhat in sync in SSA_NAME_RANGE_INFO, and the goal has always
    been to integrate them properly.  This patch does that, in preparation
    for streaming out full-resolution iranges between passes (think
    SSA_NAME_RANGE_INFO).
[ ... ]

Has caused several targets to start failing this test:

Tests that now fail, but worked before (1 tests):

cris-sim: gcc.dg/auto-init-uninit-4.c (test for excess errors)


>From the gcc.log file:

Excess errors:
/home/jlaw/test/gcc/gcc/testsuite/gcc.dg/uninit-4.c:49:10: warning: 'rprio' may
be used uninitialized [-Wmaybe-uninitialized]

This should be visible with just a cross compiler.


Testcase not explicitly included as it's obvious this is gcc.dg/uninit-4.c in
the testsuite.