[sv-cc] RE: [sv-ec] String proposal

Arturo,

I agree with your assessment.

Charles,

Can you please re-open SV-CC item #201 so that I can upload
the modified proposal that corresponds with SV-EC's newly
passed string proposal? Currently the item is marked as
resolved, and I'm unable to make any changes to it.

The new proposal for #201 is attached with this mail, btw.
The only change is the removal of the paragraph dealing
with embedded null characters.

Regards,
Doug

> -----Original Message-----
> From: Arturo Salz [mailto:Arturo.Salz@synopsys.com]
> Sent: Monday, December 06, 2004 6:04 PM
> To: Warmke, Doug; sv-ec
> Cc: SV-CC
> Subject: Re: [sv-ec] String proposal
>
> Doug,
>
> You are quite correct.
>
> Now that the proposal passed, the whole paragraph of issue#201
> that deals with null characters can be removed. I believe that no
> additional changes are required.
>
> Arturo
>
> ----- Original Message -----
> From: "Warmke, Doug" <doug_warmke@mentorg.com>
> To: "sv-ec" <sv-ec@eda.org>
> Cc: "SV-CC" <sv-cc@eda.org>
> Sent: Monday, December 06, 2004 5:26 PM
> Subject: RE: [sv-ec] String proposal
>
>
> SV-EC,
>
> If this proposal passes and is incorporated into the LRM,
> the proposal for SV-CC item #201 will need to be modified.
> Basically mention of embedded null characters should be removed.
>
> http://www.eda.org/svdb/bug_view_page.php?bug_id=0000201
>
> Thanks,
> Doug
>
>
> > -----Original Message-----
> > From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On
> > Behalf Of Arturo Salz
> > Sent: Monday, December 06, 2004 10:23 AM
> > To: sv-ec
> > Subject: [sv-ec] String proposal
> >
> > Plase find an attached proposal that specifies the
> > interaction between string and zero characters.
> >
> > The proposal essentially disallows "\0" characters from being
> > embedded in a string, and defines
> > the rules for converting string literals to strings or
> > casting integral values to a string.
> >
> > My apologies for the late notice.
> >
> > Arturo
> >
> >
>
>
>