On Mon, 2009-07-13 at 23:14 -0400, erik quanstrom wrote: > > Yes, but in my example - sorry - "NeverDefined" doesn't mean "declared and > > defined elsewhere (or not)" but "not declared .and. not defined". > > true enough. the patch i sent still rejects your construct. > i'd still be interested to hear a perspective of someone with > more experience with the c compiler.
rejecting the struct seems like the right thing to do as per ISO/IEC 9899:1999 (http://www.open-std.org/JTC1/SC22/wg14/www/docs/n1124.pdf) sec. 6.7.2.1 para. 2 "A structure or union shall not contain a member with incomplete or function type (hence, a structure shall not contain an instance of itself, but may contain a pointer to an instance of itself), except that the last member of a structure with more than one named member may have incomplete array type; such a structure (and any union containing, possibly recursively, a member that is such a structure) shall not be a member of a structure or an element of an array." Thanks, Roman.
