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

           Summary: using typeid in CTFE in imported file adds link
                    dependency when generating debug info
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: r.sagitario@gmx.de


--- Comment #0 from Rainer Schuetze <r.sagitario@gmx.de> 2013-08-15 23:42:26 PDT ---
Considering two modules test.d and imp.d:

//////////////////////////
module test;
import imp.d;

void main() {}

/////////////////////////
module imp;

struct S { int x = 2; }
static assert(typeid(S));

/////////////////////////

Compile with "dmd test.d" works fine.
However building with debug information "dmd -g test.d" yields:

OPTLINK (R) for Win32  Release 8.00.13
Copyright (C) Digital Mars 1989-2010  All rights reserved.
http://www.digitalmars.com/ctg/optlink.html
test.obj(test)
 Error 42: Symbol Undefined _D3imp1S6__initZ
--- errorlevel 1

The same happens with type inference:
/////////////////////////
module imp;

struct S { int x = 2; }
auto ti = typeid(S);

/////////////////////////

This is caused by some operations adding TypeInfo instances to the object file that reference the static initializer of a type. This initializer is only generated with the type declaration, though. The normal link strips the COMDAT with the TypeInfo, but the debug info is not split per COMDAT, so it drags the offending symbol back in.

Some more operations that implicitely use typeid and probably exhibit this
behaviour when executed during CTFE aswell:
- struct postblit and dtor
- array.dup and idup
- array.sort

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



--- Comment #1 from Rainer Schuetze <r.sagitario@gmx.de> 2013-08-17 02:15:43 PDT ---
Actually this fails on Win64 even without debug info:

>dmd -m64 test.d
test.obj : error LNK2001: unresolved external symbol _D3imp1S6__initZ test.exe : fatal error LNK1120: 1 unresolved externals

I guess it also fails on other platforms.

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