RE: [sv-ec] New proposal for Mantis 0001556: in-line static variable initialization - require keyword static?

From: Rich, Dave <Dave_Rich_at_.....>
Date: Thu Sep 13 2007 - 15:14:23 PDT
Mike,

 

This proposal will not affect class member functions because they have,
by default, automatic lifetimes, and all variables declared inside them
have automatic lifetimes as well. You would need to use the static
keyword anyways to declare a static variable inside a class method,
regardless of whether or not it has an initialization. 

 

I certainly would not want to show an example of a class method with a
static lifetime (not to be confused with a statically scoped method) as
I feel they are of no use and should be deprecated.

 

Dave

 

________________________________

From: Mike Mintz [mailto:mmintz@gmail.com] 
Sent: Thursday, September 13, 2007 2:19 PM
To: Rich, Dave
Cc: sv-ec@server.eda-stds.org
Subject: Re: [sv-ec] New proposal for Mantis 0001556: in-line static
variable initialization - require keyword static?

 

Hi Dave,

Looks good. Can you add an example and counter-example for class member
functions?

If I understand the issue correctly, tasks and functions declared as
automatic could have both static and automatic (stack based) variables,
so static would not be required on all initialized variables. 

Take Care,
Mike

On 9/13/07, Rich, Dave <Dave_Rich@mentor.com> wrote:

A new proposal has been uploaded with a new example. The example has
been split into two modules, one legal and the other illegal. All
implementation dependencies (race conditions) have been removed.

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625

 


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , 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 Thu Sep 13 15:14:42 2007

This archive was generated by hypermail 2.1.8 : Thu Sep 13 2007 - 15:14:52 PDT