+ | designation init { $$ = exprNode_undefined; }
+
+/*
+** Splint parses these (added in ISO C99), but no checking yet...
+*/
+
+designation
+ : designatorList TASSIGN { $$ = $1; }
+ | newId TCOLON { $$ = exprNode_undefined;
+ /* gcc extension, obsolete since 2.5 */ }