• d-bugmail puremagic.com (23/23) May 06 2006 http://d.puremagic.com/bugzilla/show_bug.cgi?id=130

d-bugmail puremagic.com writes:

http://d.puremagic.com/bugzilla/show_bug.cgi?id=130

           Summary: DocComments/Expression -- assert(0) paragraph
           Product: D
           Version: unspecified
          Platform: PC
        OS/Version: Windows
            Status: NEW
          Severity: normal
          Priority: P2
         Component: www.digitalmars.com
        AssignedTo: bugzilla digitalmars.com
        ReportedBy: braddr puremagic.com


The paragraph:
The expression assert(0) is a special case; it signifies that it is unreachable
code. Either AssertError is thrown at runtime if it is reachable, or a HLT
instruction is executed. The optimization and code generation phases of
compilation may assume that it is unreachable code.

The problem:
HLT is an implementation, and x86 specific.  The language spec should specify
intended behaviors first, and implementation as an example if necessary.  A
description of what HLT does and that it's an x86 opcode should be added if the
HLT part remains.


--