May 6, 2006, at 3:32 PM, Joseph S. Myers wrote:
Function prototype scope is defined in 6.2.1#4.
I've fixed up most all the previously identified issues
In gnu99:
void foo11(typeof (int (*)(int o[*])) i);
valid?

May 8, 2006, at 2:30 PM, Joseph S. Myers wrote:
>void foo11(typeof (int (*)(int o[*])) i);
>
I think that's valid gnu99.

Speaking of typeof, should typeof (vla) follow the same rules as for
sizeof (vla)? vla, evaluate, otherwise, no eval.

"Joseph S. Myers" <joseph (AT) codesourcery (DOT) comwrites:

| Wed, 10 May 2006, Andreas Schwab wrote:
|
| Mike Stump <mrs (AT) apple (DOT) comwrites:
|
| Speaking of typeof, should typeof (vla) follow the same rules as for
| sizeof (vla)? vla, evaluate, otherwise, no eval.
|
| How would typeof be able to eval anything?
|
| If you have "typeof ((int (*)[f()])g())", clearly you need to evaluate the
| call f() in order to know the type being referred to. As such, I think
| the logical conclusion is to evaluate the argument of typeof whenever of
| VM type (and so evaluate the call g() as well).
|
| With VLAs, type names (in declarations, sizeof, typeof, casts and compound
| literals) can need to be executed for their side-effects.

well, people may just switch to DML :-)
C used to be simple.
-- Gaby