[Bug tree-optimization/98578] New: [11 Regression] ICE in print_mem_ref since r11-6508-gabb1b6058c09a7c0

[Bug tree-optimization/98578] New: [11 Regression] ICE in print_mem_ref since r11-6508-gabb1b6058c09a7c0

[marxin at gcc dot gnu.org]

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

            Bug ID: 98578
           Summary: [11 Regression] ICE in print_mem_ref since
                    r11-6508-gabb1b6058c09a7c0
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: msebor at gcc dot gnu.org
  Target Milestone: ---

The following fails:

$ cat vla.c
int test3_size, test3_arr_2;

void test3() {
  int vla_arr[test3_size];
  test3_arr_2 = vla_arr[1];
}

$ gcc vla.c -Wuninitialized -c
‘
during GIMPLE pass: *early_warn_uninitialized
In function ‘test3’:
tree check: expected integer_cst, have var_decl in get_len, at tree.h:6024
    6 | }
      | ^
0x75c603 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        /home/marxin/Programming/gcc/gcc/tree.c:9810
0x646097 tree_check(tree_node const*, char const*, int, char const*, tree_code)
        /home/marxin/Programming/gcc/gcc/tree.h:3594
0x646097 wi::extended_tree<128>::get_len() const
        /home/marxin/Programming/gcc/gcc/tree.h:6024
0x646097 wi::int_traits<generic_wide_int<wi::extended_tree<128> >
>::decompose(long*, unsigned int, generic_wide_int<wi::extended_tree<128> >
const&)
        /home/marxin/Programming/gcc/gcc/wide-int.h:985
0x646097 wide_int_ref_storage<true,
false>::wide_int_ref_storage<generic_wide_int<wi::extended_tree<128> >
>(generic_wide_int<wi::extended_tree<128> > const&, unsigned int)
        /home/marxin/Programming/gcc/gcc/wide-int.h:1034
0x646097 generic_wide_int<wide_int_ref_storage<true, false>
>::generic_wide_int<generic_wide_int<wi::extended_tree<128> >
>(generic_wide_int<wi::extended_tree<128> > const&, unsigned int)
        /home/marxin/Programming/gcc/gcc/wide-int.h:790
0x646097
fixed_wide_int_storage<128>::fixed_wide_int_storage<generic_wide_int<wi::extended_tree<128>
> >(generic_wide_int<wi::extended_tree<128> > const&)
        /home/marxin/Programming/gcc/gcc/wide-int.h:1262
0x646097 generic_wide_int<fixed_wide_int_storage<128>
>::generic_wide_int<generic_wide_int<wi::extended_tree<128> >
>(generic_wide_int<wi::extended_tree<128> > const&)
        /home/marxin/Programming/gcc/gcc/wide-int.h:782
0x646097 print_mem_ref
        /home/marxin/Programming/gcc/gcc/c-family/c-pretty-print.c:1857
0x902fbe c_pretty_printer::postfix_expression(tree_node*)
        /home/marxin/Programming/gcc/gcc/c-family/c-pretty-print.c:1587
0x868ecd c_tree_printer
        /home/marxin/Programming/gcc/gcc/c/c-objc-common.c:317
0x868ecd c_tree_printer
        /home/marxin/Programming/gcc/gcc/c/c-objc-common.c:254
0x197808c pp_format(pretty_printer*, text_info*)
        /home/marxin/Programming/gcc/gcc/pretty-print.c:1475
0x195bee6 diagnostic_report_diagnostic(diagnostic_context*, diagnostic_info*)
        /home/marxin/Programming/gcc/gcc/diagnostic.c:1216
0x195e448 diagnostic_impl
        /home/marxin/Programming/gcc/gcc/diagnostic.c:1366
0x195e448 warning_at(unsigned int, int, char const*, ...)
        /home/marxin/Programming/gcc/gcc/diagnostic.c:1503
0x1021ca6 maybe_warn_operand
        /home/marxin/Programming/gcc/gcc/tree-ssa-uninit.c:418
0x10250cf warn_uninitialized_vars
        /home/marxin/Programming/gcc/gcc/tree-ssa-uninit.c:657
0x1025370 execute_early_warn_uninitialized
        /home/marxin/Programming/gcc/gcc/tree-ssa-uninit.c:3089
0x1025370 execute
        /home/marxin/Programming/gcc/gcc/tree-ssa-uninit.c:3124
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug tree-optimization/98578] [11 Regression] ICE in print_mem_ref since r11-6508-gabb1b6058c09a7c0

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |11.0
      Known to work|                            |10.2.0
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-01-07
           Priority|P3                          |P1
   Target Milestone|---                         |11.0

[Bug tree-optimization/98578] [11 Regression] ICE in print_mem_ref since r11-6508-gabb1b6058c09a7c0

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |msebor at gcc dot gnu.org

--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
One step forward and two steps back:
  https://gcc.gnu.org/pipermail/gcc-patches/2021-January/562963.html

[Bug tree-optimization/98578] [11 Regression] ICE in print_mem_ref since r11-6508-gabb1b6058c09a7c0

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Sebor <msebor@gcc.gnu.org>:

https://gcc.gnu.org/g:178f0afce3611282170de380fcea9db9d6e3ff0c

commit r11-6532-g178f0afce3611282170de380fcea9db9d6e3ff0c
Author: Martin Sebor <msebor@redhat.com>
Date:   Thu Jan 7 14:20:39 2021 -0700

    PR middle-end/98578 - ICE warning on uninitialized VLA access

    gcc/c-family/ChangeLog:

            PR middle-end/98578
            * c-pretty-print.c (print_mem_ref): Strip array from access type.
            Avoid assuming acces type's size is constant.  Correct condition
            guarding the printing of a parenthesis.

    gcc/testsuite/ChangeLog:

            PR middle-end/98578
            * gcc.dg/plugin/gil-1.c: Adjust expected output.
            * gcc.dg/uninit-pr98578.c: New test.

[Bug tree-optimization/98578] [11 Regression] ICE in print_mem_ref since r11-6508-gabb1b6058c09a7c0

[msebor at gcc dot gnu.org]

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
Fixed.