http://d.puremagic.com/issues/show_bug.cgi?id=6769
Summary: [CTFE] AA.keys doesn't compile when -inline is used Product: D Version: D2 Platform: Other OS/Version: Windows Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nob...@puremagic.com ReportedBy: clugd...@yahoo.com.au --- Comment #0 from Don <clugd...@yahoo.com.au> 2011-10-05 01:39:45 PDT --- This is an extremely ugly issue which broke the autotester. The problem is the templated AA inside object.di. It performs some nasty casts to void[], then calls the runtime. To avoid this, the CTFE engine intercepts all AA built-in functions at a higher level. But, the inliner really fouls things up, because it optimizes away the functions which the CTFE engine tries to recognize. Minimal test case for 2.055 static assert({ int[int] w= [1:2]; return w.keys.length; }()==1); This works OK, as long as -inline isn't used. But with -inline, it gives: c:\dmd\windows\bin\..\..\src\druntime\import\object.di(378): Error: _aaKeys cann ot be interpreted at compile time, because it has no available source code test.d(6): Error: cannot evaluate delegate @system uint() { int[int] w = [1:2]; return (ref AssociativeArray!(int,int) this = w; , (assert(&this,"null this") , (void[] a = _aaKeys(this.p,4u); , *& a))).length; } () at compile time ------- Note that the member variable 'p' is void *. The whole thing is a disgusting cast-fest. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------