http://d.puremagic.com/issues/show_bug.cgi?id=11054

           Summary: ICE with -property when importing std.traits
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: regression
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: hsteoh@quickfur.ath.cx


--- Comment #0 from hsteoh@quickfur.ath.cx 2013-09-16 20:43:43 PDT ---
Code:
------
import std.traits;
------

Compile command: dmd -property -unittest -c /tmp/test.d Compiler output:
------
dmd: interpret.c:357: virtual void Statement::ctfeCompile(CompiledCtfeFunction*): Assertion `0' failed. Aborted
------

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

http://d.puremagic.com/issues/show_bug.cgi?id=11054



--- Comment #1 from hsteoh@quickfur.ath.cx 2013-09-16 20:51:31 PDT ---
lol... here's a "reduced" test case (made from std.traits via dustmite):
------
import std.typetuple;
------

:)

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

http://d.puremagic.com/issues/show_bug.cgi?id=11054



--- Comment #2 from hsteoh@quickfur.ath.cx 2013-09-16 20:56:04 PDT ---
OK, this is a bit screwy, but I just tried reducing std.typetuple, and it reduces back to `import std.traits`. So I've no idea what the real cause is now. :-P

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

http://d.puremagic.com/issues/show_bug.cgi?id=11054



--- Comment #3 from hsteoh@quickfur.ath.cx 2013-09-16 21:10:51 PDT ---
More info: dmd -v indicates that the ICE happens at 'semantic2 traits'.

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

http://d.puremagic.com/issues/show_bug.cgi?id=11054



--- Comment #4 from hsteoh@quickfur.ath.cx 2013-09-16 21:37:16 PDT ---
Argh. I can't seem to narrow down actual code that causes the ICE. Dustmite always reduces it to just a single import statement. First it was std.traits -> import std.typetuple, then std.typetuple -> import std.traits, then when I copied both std.traits and std.typetuple into the test directory, it reduces to import std.algorithm. After several tries, I finally copied std.{traits,algorithm,typetuple} into the test dir and renamed them along with all import references to them (so that they don't pick up the original Phobos version), and now dustmite reduces it to import std.typecons.

So it seems to be a wild goose chase. I still have no idea what's going on here.

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

http://d.puremagic.com/issues/show_bug.cgi?id=11054


Andrej Mitrovic <andrej.mitrovich@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andrej.mitrovich@gmail.com


--- Comment #5 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-09-17 04:28:23 PDT ---
I can't even compile git-head with -property, but that's not a big issue since we're going to deprecate this switch soon.

-----
import std.typetuple;
-----

-----
import std.traits;
-----

-----
C:\dmd-git\dmd2\windows\bin\..\..\src\phobos\std\conv.d(1228): Error: not a
property toStringRadixConvert
...
many more errors here
-----

I get no ICE though. Which commits are you testing with?

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

http://d.puremagic.com/issues/show_bug.cgi?id=11054



--- Comment #6 from hsteoh@quickfur.ath.cx 2013-09-17 08:11:27 PDT ---
Created an attachment (id=1249)
Test case reduced from a suitably altered version of Phobos

This is a reduced test case created by running dustmite on a copy of Phobos with all instances of "std" replaced with "dts" so that it will not actually import real Phobos code.

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

http://d.puremagic.com/issues/show_bug.cgi?id=11054



--- Comment #7 from hsteoh@quickfur.ath.cx 2013-09-17 08:25:04 PDT ---
(In reply to comment #5)
> I can't even compile git-head with -property, but that's not a big issue since we're going to deprecate this switch soon.
> 
> -----
> import std.typetuple;
> -----
> 
> -----
> import std.traits;
> -----
> 
> -----
> C:\dmd-git\dmd2\windows\bin\..\..\src\phobos\std\conv.d(1228): Error: not a
> property toStringRadixConvert
> ...
> many more errors here
> -----
> 
> I get no ICE though. Which commits are you testing with?

Heh, just saw your comment (didn't refresh the page this morning so missed it).

I'm testing dmd git HEAD (e87199a75c504a668b117d7b9a99edc54aa2e4d0), druntime
git HEAD (43110e794461d0725f191028a6e3bf28d4d45e2d), and phobos git HEAD
(a54bc74277427133baf59185be36d7a5cb1de1a4). The compile environment is
Linux/64-bit.

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

http://d.puremagic.com/issues/show_bug.cgi?id=11054



--- Comment #8 from hsteoh@quickfur.ath.cx 2013-09-17 08:27:39 PDT ---
Still happening on dmd commit 9a321180e0c74f0c8006a8ebb70f18f371ec44c2.

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

http://d.puremagic.com/issues/show_bug.cgi?id=11054



--- Comment #9 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-09-17 11:17:24 PDT ---
Ok I can reproduce it with the test-case from #c6.

I've compiled with: dmd -unittest test.d

Where test.d is:
import dts.traits;
void main() { }

Stack-trace:

0018b57c 0045ef8a image00400000!Statement::ctfeCompile+0x25
[C:\dmd-git\dmd2\src\dmd\src\interpret.c @ 357]
0018b5a4 0045f6a1 image00400000!CompoundStatement::ctfeCompile+0x60
[C:\dmd-git\dmd2\src\dmd\src\interpret.c @ 378]
0018b600 0045fa11 image00400000!FuncDeclaration::ctfeCompile+0x1cc
[C:\dmd-git\dmd2\src\dmd\src\interpret.c @ 677]
0018b6d0 00469053 image00400000!FuncDeclaration::interpret+0x6f
[C:\dmd-git\dmd2\src\dmd\src\interpret.c @ 785]
0018b738 0045f713 image00400000!CallExp::interpret+0x764
[C:\dmd-git\dmd2\src\dmd\src\interpret.c @ 4743]
0018b788 004761ab image00400000!Expression::ctfeInterpret+0x6d
[C:\dmd-git\dmd2\src\dmd\src\interpret.c @ 696]
0018b848 004766a0 image00400000!CompileStatement::flatten+0x4d
[C:\dmd-git\dmd2\src\dmd\src\statement.c @ 511]
0018ba10 00498958 image00400000!CompoundStatement::semantic+0x7e
[C:\dmd-git\dmd2\src\dmd\src\statement.c @ 616]
0018c1d8 00492674 image00400000!FuncDeclaration::semantic3+0x13ba
[C:\dmd-git\dmd2\src\dmd\src\func.c @ 1278]
0018c210 0048fd0d image00400000!TemplateInstance::semantic3+0xf0
[C:\dmd-git\dmd2\src\dmd\src\template.c @ 6946]
0018c248 004907c6 image00400000!TemplateInstance::trySemantic3+0xc4
[C:\dmd-git\dmd2\src\dmd\src\template.c @ 5336]
0018c360 0048a23c image00400000!TemplateInstance::semantic+0xaa3
[C:\dmd-git\dmd2\src\dmd\src\template.c @ 5755]
0018c3e0 0049c6bf image00400000!functionResolve+0x17b
[C:\dmd-git\dmd2\src\dmd\src\template.c @ 2555]
0018c528 0044be36 image00400000!resolveFuncCall+0x80
[C:\dmd-git\dmd2\src\dmd\src\func.c @ 2725]
0018ca44 00475e7d image00400000!CallExp::semantic+0x1f6d
[C:\dmd-git\dmd2\src\dmd\src\expression.c @ 8999]
0018ca64 004766ef image00400000!ExpStatement::semantic+0x28
[C:\dmd-git\dmd2\src\dmd\src\statement.c @ 385]
0018cc2c 00498958 image00400000!CompoundStatement::semantic+0xcd
[C:\dmd-git\dmd2\src\dmd\src\statement.c @ 624]
0018d3f4 00492674 image00400000!FuncDeclaration::semantic3+0x13ba
[C:\dmd-git\dmd2\src\dmd\src\func.c @ 1278]
0018d42c 0048fd0d image00400000!TemplateInstance::semantic3+0xf0
[C:\dmd-git\dmd2\src\dmd\src\template.c @ 6946]

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