www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Bug 79] New: Assertion failure: mtype.c 364 - using a forward-referenced alias of an undefined type

reply d-bugmail puremagic.com writes:
http://d.puremagic.com/bugzilla/show_bug.cgi?id=79

           Summary: Assertion failure: mtype.c 364 - using a forward-
                    referenced alias of an undefined type
           Product: D
           Version: 0.150
          Platform: PC
        OS/Version: Windows
            Status: NEW
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla digitalmars.com
        ReportedBy: smjg iname.com


If I forward-reference a type that is an alias of an undefined symbol, DMD
crashes out.

----------
enum : LCTYPE {
    LOCALE_ILANGUAGE,
}

alias DWORD LCTYPE;
----------
D:\My Documents\Programming\D\Tests\bugs\winnls.d(1): identifier 'DWORD' is not
defined
Assertion failure: 't' on line 364 in file 'mtype.c'
----------

after which DMD hangs.

It appears to affect all uses of such an alias as a type, as long as the use
precedes the alias declaration:
- declaring a variable or constant, whether at module, function or class/struct
level
- declaring a typedef
- declaring an alias of the derived pointer or array type
- using as a function return type
- using as a function parameter


-- 
Apr 01 2006
next sibling parent Thomas Kuehne <thomas-dloop kuehne.cn> writes:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

d-bugmail puremagic.com schrieb am 2006-04-01:
 If I forward-reference a type that is an alias of an undefined symbol, DMD
 crashes out.

 ----------
 enum : LCTYPE {
     LOCALE_ILANGUAGE,
 }

 alias DWORD LCTYPE;
 ----------
 D:\My Documents\Programming\D\Tests\bugs\winnls.d(1): identifier 'DWORD' is not
 defined
 Assertion failure: 't' on line 364 in file 'mtype.c'
 ----------

 after which DMD hangs.

Doesn't hang on Linux, just asserts: compile/a/alias_33_B.d(13): identifier 'UNDEFINED' is not defined dmd: mtype.c:364: Type* Type::merge(): Assertion `t' failed. Program received signal SIGABRT, Aborted. 0x5566ab81 in kill () from /lib32/libc.so.6 (gdb) bt #0 0x5566ab81 in kill () from /lib32/libc.so.6 #1 0x5566a8f5 in raise () from /lib32/libc.so.6 #2 0x5566bd58 in abort () from /lib32/libc.so.6 #3 0x55663887 in __assert_fail () from /lib32/libc.so.6 #4 0x080c27a0 in Type::merge () #5 0x080c63ce in TypeQualified::resolveHelper () #6 0x080c6803 in TypeIdentifier::resolve () #7 0x080c69a8 in TypeIdentifier::semantic () #8 0x0808524f in VarDeclaration::semantic () #9 0x080c1688 in Module::semantic () #10 0x080bf1b7 in main () Added to DStress as http://dstress.kuehne.cn/nocompile/a/alias_33_A.d http://dstress.kuehne.cn/nocompile/a/alias_33_B.d http://dstress.kuehne.cn/nocompile/a/alias_33_C.d http://dstress.kuehne.cn/nocompile/a/alias_33_D.d http://dstress.kuehne.cn/nocompile/t/typedef_14_A.d http://dstress.kuehne.cn/nocompile/t/typedef_14_B.d http://dstress.kuehne.cn/nocompile/t/typedef_14_C.d http://dstress.kuehne.cn/nocompile/t/typedef_14_D.d Thomas -----BEGIN PGP SIGNATURE----- iD8DBQFEL7zQ3w+/yD4P9tIRAjUjAJwOyFf7QbBGbKCCenaye7MPQ/aGcACfcNWf FQLNSMx+BTm7Zu6bvZ+Dre8= =v2FJ -----END PGP SIGNATURE-----
Apr 02 2006
prev sibling next sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/bugzilla/show_bug.cgi?id=79


bugzilla digitalmars.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WORKSFORME




------- Comment #2 from bugzilla digitalmars.com  2006-05-14 18:40 -------
Cannot duplicate with 0.157.


-- 
May 14 2006
prev sibling parent d-bugmail puremagic.com writes:
http://d.puremagic.com/bugzilla/show_bug.cgi?id=79


bugzilla digitalmars.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |CLOSED




------- Comment #3 from bugzilla digitalmars.com  2006-05-25 04:18 -------
Fixed 0.158


-- 
May 25 2006