www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 8464] New: debug too strict from function attributes

reply d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=8464

           Summary: debug too strict from function attributes
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: major
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: rtcvb32 yahoo.com



---
If a function is  safe then the debug {} calls all remain required to also
follow that requirement as well.

void pureSafe()  safe pure {
    debug {
        writeln("Debugging info!");
    }
}
Error: safe function 'pureSafe' cannot call system function 'writeln'

 Marking the function as  trusted (although works) when the non-debug code is
provably  safe seems like a bad approach just for debugging. Debug scope should
break constraints and limitations for debugging purposes.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jul 29 2012
next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=8464


Walter Bright <bugzilla digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla digitalmars.com
           Severity|major                       |enhancement



13:59:30 PDT ---
Not a bad idea, but it's an enhancement.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jul 29 2012
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=8464


monarchdodra gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |monarchdodra gmail.com



*** Issue 10854 has been marked as a duplicate of this issue. ***

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Aug 20 2013
prev sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/issues/show_bug.cgi?id=8464





 *** Issue 10854 has been marked as a duplicate of this issue. ***
I also think that safe can call anything in a debug clause. Consider also making debug callable in a nothrow scope, even if the debug code can throw. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Aug 20 2013