linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* label_statement ambiguity in parse.h
@ 2008-12-04  4:29 Yoann Padioleau
  0 siblings, 0 replies; only message in thread
From: Yoann Padioleau @ 2008-12-04  4:29 UTC (permalink / raw)
  To: linux-sparse



In parse.h 'struct statement' the same fieldname
"label_statement" is used multiple times. Is it intended ? 


struct statement {
	enum statement_type type;
	struct position pos;
	union {
		struct /* declaration */ {
			struct symbol_list *declaration;
		};
		struct /* label_arg */ {
			struct symbol *label;
==> HERE		struct statement *label_statement;
		};
                ...
		struct /* labeled_struct */ {
			struct symbol *label_identifier;
==> HERE		struct statement *label_statement;
		};




I guess from the gcc point of view it does not make a difference
as it will point to the same address because in both 
cases the items before have the same type and so size, but
if one day someone change one type, the user may have
some surprise ?


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2008-12-04  4:31 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2008-12-04  4:29 label_statement ambiguity in parse.h Yoann Padioleau

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).