On Mon, 9 Aug 2021, Uecker, Martin wrote:

> I am still trying to figure out what the branch guarded
> by c_vla_type_p is for in c_expr_sizeof_type. The comment
> talks about [*], but how would you apply sizeof to
> such an array?  One can form something like

The comment describes a requirement on what happens for [*], but that 
branch in the code isn't restricted to cases involving [*]; it covers any 
case where (the type is a VLA and) groktypename has returned an expression 
to be evaluated before the type name.

E.g. take your vla-stexp-1.c test but with sizeof(typeof(...)) instead of 
sizeof(...) - that aborts, but I'd hope such a fix in c_expr_sizeof_type 
would make it pass.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to