Re: [sv-bc] Union assignment patterns

Brad Pierce wrote:
>> Probably you are confused with union object's initialization.
> 
> Is IEEE Std 1800-2005:4.11, it says --
> 
>       "If no initial value is specified in the declaration of a variable
> of an unpacked union type, then the variable shall be initialized to the
> default initial value for variables of the type of the first member in
> declaration order of the union type."

I don't know what exactly you are pointing. I don't have any doubts about the
union's initialization in SV. In my last post I was saying that Stuart's
statements about C's union usage is wrong.

> 
> What about packed union types?

Why the semantics will be different for the packed union types?

> 
> See also --
> 
>    http://eda.org/svdb/bug_view_page.php?bug_id=285
> 
> -- Brad
> 
> 
> 
> 

Krishanu