Bug 8179 – ICE(e2ir.c) with failed fixed size array cast

struct Foo { static void opCall(int[2][1]) {} } void main() { Foo(cast(int[2][1])[1, 2]); } DMD 2.060alpha gives: test.d(5): Error: e2ir: cannot cast [1,2] of type int[] to type int[2u][1u] Internal error: e2ir.c 155

A simpler test case shows it's not related to opCall, so I have updated the title: void foo(int[2][1]) {} void main() { foo(cast(int[2][1])[1, 2]); } ---------------------------- A similar but not equal case (arrays are 1D): void foo(int[2] data) {} void main() { int[4] data; int[2] data2 = data[0 .. 2]; // OK foo(data2); // OK foo(cast(int[2])data[0 .. 2]); // Internal error } test.d(6): Error: e2ir: cannot cast data[0u..2u] of type int[] to type int[2u] Internal error: e2ir.c 189

I get segfault on this (D2 only, 2.062, Linux/Windows): void main() { int[2] a; a = cast(int[2])null; }

(In reply to comment #2) > I get segfault on this (D2 only, 2.062, Linux/Windows): > > void main() > { > int[2] a; > a = cast(int[2])null; > } Fix for this only: https://github.com/D-Programming-Language/dmd/pull/2638

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/9a8ca60f58d08926b1c623ab298371b064a7e60d fix Issue 8179 - ICE(e2ir.c) with failed fixed size array cast https://github.com/D-Programming-Language/dmd/commit/04dfab6cdd1c7e5bc6f512db058575faf4257226 Merge pull request #2638 from WalterBright/fix8179 fix Issue 8179 - ICE(e2ir.c) with failed fixed size array cast

Reopening, since the code from original description and comment 1 were not fixed (comment 1 part 2 does work though).

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/88b0e504d6b13e3707e6f0d904ee6bf9e1a5236c fix Issue 8179 - ICE(e2ir.c) with failed fixed size array cast https://github.com/D-Programming-Language/dmd/commit/66216b55c5b40a50c503963532f882d611fa7500 Merge pull request #2752 from WalterBright/fix8179b fix Issue 8179 - ICE(e2ir.c) with failed fixed size array cast

Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/7a1a5d53c887401a2c3b44da1dff87c2f90f04c0 Disallow casting typeof(null) <--> Tsarray And this is the generalized fix for the issue 8179 case. In NullExp::castTo(), we can just rely on the TypeNull:implicitConvTo() behavior.

This reduction of the original example: void main() /*@nogc*/ { int[2][1] m = cast(int[2][1])[1, 2]; } still doesn't compile: test2.d(2,34): Error: e2ir: cannot cast [1, 2] of type int[] to type int[2][1] Do you want me to reopen this issue?

(In reply to bearophile_hugs from comment #9) > This reduction of the original example: > > void main() /*@nogc*/ { > int[2][1] m = cast(int[2][1])[1, 2]; > } > > > still doesn't compile: > > test2.d(2,34): Error: e2ir: cannot cast [1, 2] of type int[] to type > int[2][1] > > Do you want me to reopen this issue? It's a dup of issue 7514.

Commit pushed to 2.067 at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/7a1a5d53c887401a2c3b44da1dff87c2f90f04c0 Disallow casting typeof(null) <--> Tsarray