RE: [sv-ec] Mantis 1789 - references for example

From: Warmke, Doug <doug_warmke_at_.....>
Date: Mon Apr 30 2007 - 18:47:58 PDT
A bit of background on this.

A couple years ago, the SV-CC was debating how to handle
DPI string arguments that contained embedded NULL characters.
A few solutions were discussed.  In the end, it was agreed
(presumably with SV-EC's cooperation) to simply ban embedded
NULL characters.  They don't serve a purpose at the SV language
level, and having no embedded NULL's certainly makes the DPI C
programmer's life easier.

Hence the restrictions in 7.6.

Regards,
Doug


> -----Original Message-----
> From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org]
On Behalf Of Neil Korpusik
> Sent: Monday, April 30, 2007 5:15 PM
> To: SV_EC List
> Cc: Geoffrey.Coram
> Subject: [sv-ec] Mantis 1789 - references for example
> 
> We started to discuss mantis item 1789 in the sv-ec this morning.
Below are
> a couple of references from draft 2 that I was trying to get at in the
meeting.
> I believe that these references confirm that the example in the
proposal for
> 1789 is valid.
> 
>    string s1 = "hello\0world"; // sets s1 to "helloworld"
> 
> 
> - Is \0 allowed in a string literal?
> 
>   See sub-clause 5.9.1 Special characters in strings, table 5-1
>   The \0 is allowed.
> 
> - The \0 is ignored when assigned to a string
> 
>   See sub-clause 7.6.
> 
>   "A string shall not contain the special character "\0". Assigning
the value
>    0 to a string character shall be ignored."
> 
> 
> Neil
> 
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Mon Apr 30 18:48:16 2007

This archive was generated by hypermail 2.1.8 : Mon Apr 30 2007 - 18:49:20 PDT