[Bug c/96171] New: ICE on invalid VLA argument declaration and attribute access

[Bug c/96171] New: ICE on invalid VLA argument declaration and attribute access

[msebor at gcc dot gnu.org]

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

            Bug ID: 96171
           Summary: ICE on invalid VLA argument declaration and attribute
                    access
           Product: gcc
           Version: 10.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: msebor at gcc dot gnu.org
  Target Milestone: ---

Specifying attribute access on an invalid function declaration involving a VLA
and an only subsequently declared bound parameter triggers an ICE:

$ cat q.c && gcc -S -Wall q.c
__attribute__ ((access (read_write, 1))) void f (int[n], int n);

q.c:1:54: error: ‘n’ undeclared here (not in a function)
    1 | __attribute__ ((access (read_write, 1))) void f (int[n], int n);
      |                                                      ^
‘
in print_type, at c/c-objc-common.c:188
    1 | __attribute__ ((access (read_write, 1))) void f (int[n], int n);
      | ^~~~~~~~~~~~~
0x969bd2 print_type
        /src/gcc/master/gcc/c/c-objc-common.c:188
0x96a268 c_tree_printer
        /src/gcc/master/gcc/c/c-objc-common.c:310
0x23bd4d5 pp_format(pretty_printer*, text_info*)
        /src/gcc/master/gcc/pretty-print.c:1475
0x2397247 diagnostic_report_diagnostic(diagnostic_context*, diagnostic_info*)
        /src/gcc/master/gcc/diagnostic.c:1159
0x239786b diagnostic_impl
        /src/gcc/master/gcc/diagnostic.c:1309
0x2398ad6 error(char const*, ...)
        /src/gcc/master/gcc/diagnostic.c:1605
0xa6789d handle_access_attribute
        /src/gcc/master/gcc/c-family/c-attribs.c:4134
0x8df64f decl_attributes(tree_node**, tree_node*, int, tree_node*)
        /src/gcc/master/gcc/attribs.c:714
0x8f895e c_decl_attributes
        /src/gcc/master/gcc/c/c-decl.c:5002
0x8f8ea9 start_decl(c_declarator*, c_declspecs*, bool, tree_node*)
        /src/gcc/master/gcc/c/c-decl.c:5141
0x96e7d8 c_parser_declaration_or_fndef
        /src/gcc/master/gcc/c/c-parser.c:2299
0x96d426 c_parser_external_declaration
        /src/gcc/master/gcc/c/c-parser.c:1773
0x96cf47 c_parser_translation_unit
        /src/gcc/master/gcc/c/c-parser.c:1646
0x9ab605 c_parse_file()
        /src/gcc/master/gcc/c/c-parser.c:21822
0xa375d1 c_common_parse_file()
        /src/gcc/master/gcc/c-family/c-opts.c:1194
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 c/96171] ICE on invalid VLA argument declaration and attribute access

[msebor at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
           Assignee|unassigned at gcc dot gnu.org      |msebor at gcc dot gnu.org
           Keywords|                            |error-recovery,
                   |                            |ice-on-invalid-code
   Target Milestone|---                         |10.2
      Known to fail|                            |10.1.0, 11.0
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2020-07-11

[Bug c/96171] ICE on invalid VLA argument declaration and attribute access

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.2                        |10.3

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10.2 is released, adjusting target milestone.

[Bug c/96171] [10 Regression] ICE on invalid VLA argument declaration and attribute access

[msebor at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |11.0, 9.3.0
      Known to fail|11.0                        |
            Summary|ICE on invalid VLA argument |[10 Regression] ICE on
                   |declaration and attribute   |invalid VLA argument
                   |access                      |declaration and attribute
                   |                            |access

--- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> ---
The ICE is gone on trunk, most likely as a result of the fix for pr97189.  GCC
10 still ICEs:

pr96171.c:1:54: error: ‘n’ undeclared here (not in a function)
    1 | __attribute__ ((access (read_write, 1))) void f (int[n], int n);
      |                                                      ^
‘
pr96171.c:1: confused by earlier errors, bailing out

[Bug c/96171] [10 Regression] ICE on invalid VLA argument declaration and attribute access

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.3                        |10.4

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10.3 is being released, retargeting bugs to GCC 10.4.

[Bug c/96171] [10 Regression] ICE on invalid VLA argument declaration and attribute access

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4

[Bug c/96171] [10 Regression] ICE on invalid VLA argument declaration and attribute access

[msebor at gcc dot gnu.org]

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

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

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

--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> ---
I'm no longer planning to backport the fix.

[Bug c/96171] [10 Regression] ICE on invalid VLA argument declaration and attribute access

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug c/96171] [10 Regression] ICE on invalid VLA argument declaration and attribute access

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED
      Known to fail|                            |10.5.0
   Target Milestone|10.5                        |11.0

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed in GCC 11.