[Issue 10831] New: using typeid in CTFE in imported file adds link dependency when generating debug info

[d-bugmail at puremagic.com]

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 at puremagic.com
        ReportedBy: r.sagitario at gmx.de


--- Comment #0 from Rainer Schuetze <r.sagitario at 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: -------