[sv-bc] minor correction on size warnings in assignment patterns

Hi,

 

IEEE P1800-2005 Section 8.13.1 "Array assignment patterns" says:

 

"Each expression item shall be evaluated in the context of an assignment
to the type of the corresponding element in the array. In other words,
the following examples do not give size warnings, unlike the similar
assignments above:

 

bit unpackedbits [1:0] = '{1,1}; // no size warning as bit can be set to
1

int unpackedints [1:0] = '{1'b1, 1'b1}; // no size warning as int can be


    // set to 1'b1"

 

Also, IEEE P1364-2005 Section 5.6 "Assignments and truncation" says:

 

"Implementations are not required to warn or report any errors related
to assignment size-mismatch or truncation."

 

Which means that issuing a warning/error is not required, but possible.
So, shouldn't the text in P1800 read "the following examples do not have
to give size warnings" instead of "the following examples do not give
size warnings", which sounds as a requirement not to issue a
warning/error?

 

Thanks,

            Yulik.