[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, and is
believed to be clean.