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 14:19:42 2007
This archive was generated by hypermail 2.1.8 : Thu Sep 13 2007 - 14:19:54 PDT