RE: [sv-ec] rand in struct with union members

I'm not sure whether the intent was "members of (unpacked structures containing a union)" or "(members containing a union) of unpacked structures".

Shalom

________________________________
From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On Behalf Of Daniel Mlynek
Sent: Friday, September 04, 2009 3:05 PM
To: sv-ec@server.eda.org
Subject: [sv-ec] rand in struct with union members


LRM:"Members of unpacked structures containing a union as well as members of packed structures shall not be allowed to have a random modifier."

Why does the LRM forbids to have "rand" on  structs  containing an union? What was the motivation for this restriction?

Does above forbids the code:

typedef union packed { reg a; bit b;} TU;

typededef struct {

    rand int a;//illegal as this struct has  union inside

    rand TU v; //illegal

} TS;



DANiel

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.