🚀 go-pugleaf

Section 6.5.2.3 says, "If a type specifier of the form _struct-or-union
identifier_ occurs prior to the declaration that defines the content, the
structure or union is an incomplete type. It declares a tag that specifies a
type that may be used only when the size of an object of the specified type is
not needed."

What does "the size...is not needed" mean? "Needed" sounds awfully vague. For
example, is the size needed here?

   struct S x;
   void foo() { x; }

I don't think so, but perhaps this is implementation-dependent.

How about this one:

   void bar(struct T x) { x; }

Is this a conforming program? Is a diagnostic required?

-- 
Paul Long         plong@perf.com       http://www.teleport.com/~pciwww/
  "A perfect method should not only be an efficient one, as respects
  the accomplishment of the objects for which it is designed, but
  should in all its parts and processes manifest a certain unity and
  harmony." - George Boole, _An Investigation of the Laws of Thought_