www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 7874] New: [CTFE] CTFE internal error: unsupported assignment

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

           Summary: [CTFE] CTFE internal error: unsupported assignment
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: CTFE, rejects-valid
          Severity: minor
          Priority: P5
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: timon.gehr gmx.ch



DMD 2.058, 2.059head:

int foo(int x){return ++x=1;}
enum bar = foo;

Error: CTFE internal error: unsupported assignment (x++ , x) = 1

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


Don <clugdbug yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |clugdbug yahoo.com.au
            Summary|[CTFE] CTFE internal error: |[CTFE] internal error:
                   |unsupported assignment      |unsupported assignment (x
                   |                            |OP= y) = z



Applies to many forms of op= assignment, including some cases of ref
assignment.
Eg.


int foo(int[] x){ auto b =  (x~=x)=[1,2,3]; return 3; }
enum bar = foo([7,5]);

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






 Actually, the first example gives on 2.059
 
 PS E:\DigitalMars\dmd2\samples> dmd -c bug
 bug.d(2): Error: function bug.foo (int x) is not callable using argument types
 ()
 bug.d(2): Error: expected 1 function arguments, not 0


That is a typo. Fixed test case:

int foo(int x){return ++x=1;}
enum bar = foo(0);

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




PDT ---
One could argue that the fact that such code is rejected is rather a good
thing.

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




That is not what this bug report is about. One can never argue that an ICE and
spitting out of internal IR are good things.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Apr 22 2012