www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 11919] New: GitHub HEAD regression for getAttributes trait (DMD CORE DUMP)

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

           Summary: GitHub HEAD regression for getAttributes trait (DMD
                    CORE DUMP)
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: regression
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: puneet coverify.org


--- Comment #0 from Puneet Goel <puneet coverify.org> 2014-01-13 09:36:53 PST
---
Reduced with dustmite -- line 7 of foobar.d does not make sense to me, but
compiler does not seem to mind it. In my original (50000 lines) code, I have
legal code and am getting same error with dmd HEAD. dmd-2.064 works fine with
original code.

When I compile with dmd 2.064, the following reduced code compiles and runs.
When compiled with latest Github HEAD, I get a dmd CORE DUMP and before that a
compiler error that does not come with dmd-2.064.

$ dmd -c test.d
test.d(4): Error: undefined identifier foo, did you mean variable zoo?
dmd: interpret.c:310: static int CompiledCtfeFunction::walkAllVars(Expression*,
void*): Assertion `0' failed.
Aborted (core dumped)


Also when I comment out foobar.d line 7, dmd HEAD gives the same error again
with a CORE DUMP. With line 7 commented, dmd-2.064 also behaves in a strange
fashion. 

$ dmd-2.064 test.d
test.d(4): Error: Cannot interpret foo at compile time
test.d(4): Error: Cannot interpret foo at compile time


// foobar.d
module foobar;                                   // 1
void doBar(T)(T t) {                             // 2
  static if(t.tupleof.length)                    // 3
    if(zoo!t.length == 0){}                      // 4
  static if(is(T B == super)                     // 5
            && is(B[0] == class)                 // 6
            && is(B[])                           // 7
            ) {                                  // 8
    B[0] b = t;                                  // 9
    doBar(b);                                    // 10
  }                                              // 11
}                                                // 12
template zoo(alias t) {                          // 13
  enum zoo = __traits(getAttributes, t.tupleof); // 14
}                                                // 15

// test.d
import foobar;                                   // 1
enum foo;                                        // 2
class Foo {                                      // 3
   foo bool _foo;                                // 4
}                                                // 5
class Bar: Foo {}                                // 6
void main() {                                    // 7
  auto bar = new Bar();                          // 8
  bar.doBar;                                     // 9
}                                                // 10

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jan 13 2014
next sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11919


Kenji Hara <k.hara.pg gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice, pull


--- Comment #1 from Kenji Hara <k.hara.pg gmail.com> 2014-01-13 20:42:37 PST ---
https://github.com/D-Programming-Language/dmd/pull/3090

Note that, even if ICE issue will be fixed, OP code will continue fail to
compile. Because is(B[]) at line 7 in foobar.d is changed to return true from
2.065, by fixing issue 8244.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jan 13 2014
prev sibling next sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11919



--- Comment #2 from github-bugzilla puremagic.com 2014-01-14 13:14:42 PST ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/94ed79b11a762bd7de509f0d3ca78c2ffe9f9a8f
fix Issue 11919 - GitHub HEAD regression for getAttributes trait (DMD CORE
DUMP)

fix insufficient error propagation in TupleExp::semantic to resolve ICE.

https://github.com/D-Programming-Language/dmd/commit/be7ec7018a49624c847023773f425f72d8772351
Merge pull request #3090 from 9rnsr/fix11919

[REG2.066a] Issue 11919 - GitHub HEAD regression for getAttributes trait (DMD
CORE DUMP)

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jan 14 2014
prev sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=11919


Walter Bright <bugzilla digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla digitalmars.com
         Resolution|                            |FIXED


-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
Jan 14 2014