[sv-bc] RE: Mandated warnings -- was Re: [sv-ec] Mantis 2701, ballot ID #44 - Arturo's feedback

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Fri May 01 2009 - 07:13:42 PDT
Gord,

I'll keep this short.

I (and the other users) think that each warning needs to be judged on its own merits.

For example, you wrote: 

> Mandating
> behavior that is *expected* to be violated in most real
> situations is not good language definition practice

Attempting out-of-bounds writes is *not* expected in most real situations.

Many languages don't let you do it at all.

Verilog not only does it, it does not even tell you it is doing it, and detecting it is a real pain.

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.
Received on Fri May 1 07:15:13 2009

This archive was generated by hypermail 2.1.8 : Fri May 01 2009 - 07:15:56 PDT