[sv-bc] FW: Mantis 1526, 1709

Resend, overriden by following mail which you already received. It won't
make sense unless you saw this.

Shalom 

-----Original Message-----
From: Bresticker, Shalom 
Sent: Monday, February 11, 2008 1:16 PM
To: 'Jonathan Bromley'
Cc: sv-bc; sv-ec@server.eda.org
Subject: RE: Mantis 1526, 1709

Hi, 

>    It shall be an error to use a streaming_concatenation as an
>    operand in an expression without first casting it to a bit-stream
>    type. When a streaming_concatenation is used as the source of an
>    assignment, the target of that assignment shall be either a data
>    object of bit-stream type or a streaming_concatenation.

I think this text leaves an ambiguity that I was just asked about.

6.24.3 defines bit-stream types as including unpacked arrays, but I
believe you can't assign a streaming concatenation, which is a packed
type, to an unpacked array without a bit-stream cast, similar to what
7.6 says, "A packed array cannot be directly assigned to an unpacked
array without an explicit cast."

The original text was a little clearer by referring to a bit-stream
"variable".

But both the original and new text say, "If the target represents a
dynamically sized variable, such as a queue or dynamic array, the
variable is resized to accommodate the entire stream," and these are
unpacked arrays, not singular variables.

So I'm confused.

Your thoughts?

Thanks,
Shalom
---------------------------------------------------------------------
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.