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

--- Comment #0 from Don <> 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;

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
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

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to