www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 10568] New: CTFE rejects function pointer safety casts

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

           Summary: CTFE rejects function pointer safety casts
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: clugdbug yahoo.com.au


--- Comment #0 from Don <clugdbug yahoo.com.au> 2013-07-08 03:39:29 PDT ---
 safe void safetyDance() {}

int isItSafeToDance()
{
    void function()  trusted yourfriends = &safetyDance;
    void function()  safe nofriendsOfMine = yourfriends;
    return 1;
}

static assert(isItSafeToDance());
---
bug.d(6): Error: reinterpreting cast from  trusted void()* to  safe void()* is
not supported in CTFE
bug.d(10):        called from here: isItSafeToDance()
bug.d(10):        while evaluating: static assert(isItSafeToDance())

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



--- Comment #1 from github-bugzilla puremagic.com 2013-07-08 04:49:34 PDT ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/b60c0d71a7cff7c0a0bd33df13fd591caceda911
Fix issue 10568 CTFE rejects function pointer safety casts

We need to check for function pointer covariance

https://github.com/D-Programming-Language/dmd/commit/7258322abba09d2347401be15c0b6a8c75fed34f
Merge pull request #2319 from donc/ctfeCastSafety

Fix issue 10568 CTFE rejects function pointer safety casts

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


Henning Pohl <henning still-hidden.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |henning still-hidden.de
         Resolution|                            |FIXED


-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jul 24 2013