EDA.org Mantis
Mantis Bugtracker

Viewing Issue Simple Details Jump to Notes ] Wiki ] View Advanced ] Issue History ] Print ]
ID Category Severity Date Submitted Last Update
0002643 [SystemVerilog P1800] SV-BC minor 2009-04-06 14:05 2009-07-10 09:01
Reporter chas View Status public  
Assigned To
Priority normal Resolution reopened  
Status feedback   Product Version P1800-2009/D8 Ballot
Summary 0002643: Ballot comment #152 Section implies that a SystemVerilog function cannot be disabled
Description Section 9.6.2, Page 167 (201), states: "The disable statement can be used to disable named blocks within a function, but cannot be used to disable functions. In cases where a disable statement within a function disables a block or a task that called the function, the behavior is undefined.". This implies that a SystemVerilog function cannot be disabled. This is in contradiction of the disable protocol for DPI import functions, item c in the disable protocol.

See page 859 (893) in clause 35.9 from the 2009 ballot draft 1.
Additional Information Proposed change from the ballot comment:
Since the behavior on disabling of a function is undefined the disable protocol should apply only to tasks. Whenever, the disable protocol is applied to a function, the behavior should be undefined.
Tags No tags attached.
Type Enhancement
Attached Files

- Relationships
related to 0002642feedback Ballot comment #151 Need a similar rule for disabled SystemVerilog functions in section 9.6.2 
related to 0000219new disable/return and fork-join/join_any/join_none 
child of 0002685new Master issue for SV-BC Ballot comment issues 

-  Notes
User avatar (0007957)
shalom (manager)
2009-04-06 23:45

Ballot comments 151 and 152 (0002642 and this one) appear to be the same issue, but with different desired resolutions.
User avatar (0008105)
mmaidment (manager)
2009-05-03 23:45

On April 27, 2009 the SV-BC read and considered this feedback. The committee believes it is too broad for the scope of the draft to implement at this time but may be considered for future revisions.
User avatar (0008278)
Neil Korpusik (administrator)
2009-05-16 19:32

The resolution of "open" was unanimously approved by the
Champions in the email vote that ended on May 14th, 2009.
User avatar (0008429)
Neil Korpusik (administrator)
2009-06-01 10:30

The resolution of "open" was unanimously approved by the
Working Group in the conference call of May 28, 2009.

Closing this mantis item.
User avatar (0008891)
Dave Rich (manager)
2009-07-10 09:01

Rather than create a new mantis issue, this will be left in the feedback state for the committee to deal with in the next PAR.

- Issue History
Date Modified Username Field Change
2009-04-06 14:05 chas New Issue
2009-04-06 14:05 chas Type => Errata
2009-04-06 23:18 shalom Issue Monitored: shalom
2009-04-06 23:44 shalom Relationship added related to 0002642
2009-04-06 23:45 shalom Note Added: 0007957
2009-04-10 08:52 chas Category SV-CC => SV-BC
2009-04-13 03:44 shalom Relationship added child of 0002685
2009-04-27 09:58 Brad Pierce Relationship added related to 0000219
2009-05-03 23:45 mmaidment Type Errata => Enhancement
2009-05-03 23:45 mmaidment Note Added: 0008105
2009-05-03 23:45 mmaidment Status new => resolved
2009-05-16 19:32 Neil Korpusik Note Added: 0008278
2009-06-01 10:30 Neil Korpusik Note Added: 0008429
2009-06-01 10:30 Neil Korpusik Status resolved => closed
2009-06-01 10:30 Neil Korpusik Resolution open => fixed
2009-06-01 10:33 Neil Korpusik Resolution fixed => open
2009-07-10 09:01 Dave Rich Note Added: 0008891
2009-07-10 09:01 Dave Rich Status closed => feedback
2009-07-10 09:01 Dave Rich Resolution open => reopened


Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker