Re: [ooc-compiler] Compiler bug with multiple type guards

[Michael v. A. <mic...@gm...>]

You are right, the compiler should accept this.
I will see to it.  Thanks!

-- mva


On 30/08/05, akarl <fus...@co...> wrote:
> [src]$ cat Test.Mod
> MODULE Test;
>=20
>     IMPORT Out;
>=20
>     TYPE
>        T0 =3D POINTER TO T0Desc;
>        T0Desc =3D RECORD x: LONGINT END;
>=20
>        T1 =3D POINTER TO T1Desc;
>        T1Desc =3D RECORD (T0Desc) y: LONGINT END;
>=20
>        T2 =3D POINTER TO T2Desc;
>        T2Desc =3D RECORD (T1Desc) z: LONGINT END;
>=20
>     VAR
>        t0: T0;
>        t2: T2;
>=20
> BEGIN
>     NEW(t2);
>     t0 :=3D t2;
>     Out.Int(t0(T1)(T2).z, 0);
>     Out.Ln
> END Test.
>=20
> [src]$ make -k
> oo2c -M -r .. Test.Mod
>=20
> ##
> ## Runtime error in module OOC:SSA:IRtoSSA at pos 22887
> ## Assertion failed, code 127
> ##
> 0: <some path>/lib/liboo2c.so.3 [0xc09070]
> 1: <some path>/lib/liboo2c.so.3(_runtime_error+0x3a) [0xc090fe]
> 2: <some path>/lib/liboo2c.so.3(RT0__Halt+0) [0xc0977c]
> 3: oo2c [0x80e84a2]
> 4: oo2c [0x80e7324]
> 5: oo2c [0x80e6cd7]
> 6: oo2c [0x80e69aa]
> 7: oo2c [0x80e637f]
> 8: oo2c [0x80e9295]
> 9: oo2c [0x8104a98]
> 10: oo2c [0x80d6652]
> 11: oo2c [0x80d6b79]
> 12: oo2c [0x8123735]
> 13: oo2c [0x8123a86]
> 14: oo2c [0x812577d]
> 15: oo2c [0x8125146]
> 16: oo2c [0x81258bc]
> 17: oo2c [0x8128c8a]
> 18: oo2c [0x81290e5]
> 19: oo2c [0x812911b]
> 20: /lib/libc.so.6(__libc_start_main+0xc6) [0x9a9de6]
> make: *** [Test] Error 127
>=20
>=20
> Regards,
>=20
> August
>=20
>=20
> -------------------------------------------------------
> SF.Net email is Sponsored by the Better Software Conference & EXPO
> September 19-22, 2005 * San Francisco, CA * Development Lifecycle Practic=
es
> Agile & Plan-Driven Development * Managing Projects & Teams * Testing & Q=
A
> Security * Process Improvement & Measurement * http://www.sqe.com/bsce5sf
> _______________________________________________
> ooc-compiler mailing list
> ooc...@li...
> https://lists.sourceforge.net/lists/listinfo/ooc-compiler
>