https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
Richard Biener changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Known to work|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
--- Comment #11 from Richard Biener ---
Author: rguenth
Date: Wed Nov 20 07:33:19 2019
New Revision: 278477
URL: https://gcc.gnu.org/viewcvs?rev=278477&root=gcc&view=rev
Log:
2019-11-20 Richard Biener
PR c/92088
c/
*
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
--- Comment #10 from Eric Botcazou ---
> VLAs are always passed by reference in Ada.
And, more generally, any type with variable size is too.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
--- Comment #9 from Eric Botcazou ---
> I don't think the inliner should work around this - this hasn't been
> necessary for Ada which is a good sign here. Eric - how does GiGi handle
> this
> case?
VLAs are always passed by reference in Ada.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
--- Comment #8 from rguenther at suse dot de ---
On Thu, 7 Nov 2019, joseph at codesourcery dot com wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
>
> --- Comment #7 from joseph at codesourcery dot com dot com> ---
> Yes, pointers
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
--- Comment #7 from joseph at codesourcery dot com ---
Yes, pointers to VLA are variably modified (but are OK in function
arguments even for extern functions, as VLAs there get treated as [*]).
So maybe you should use C_TYPE_VARIABLE_SIZE as th
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
Richard Biener changed:
What|Removed |Added
Status|NEW |ASSIGNED
Assignee|unassigned
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
--- Comment #5 from joseph at codesourcery dot com ---
grokdeclarator would be one place to put a check (e.g. near where it
already disallows non-nested functions with variably modified types).
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92088
Richard Biener changed:
What|Removed |Added
Keywords||ice-on-valid-code
Status|UN
