[lisaac-Bugs][311992] crash: inheritance and generic prototypes

[lisaac-bugs at alioth.debian.org]

Bugs item #311992, was opened at 2009-09-30 19:01 by Mildred Ki'Lya
You can respond by visiting: 
https://alioth.debian.org/tracker/?func=detail&atid=413092&aid=311992&group_id=100200

Status: Open
Priority: 4
Submitted By: Mildred Ki'Lya (mildred-guest)
Assigned to: Nobody (None)
Summary: crash: inheritance and generic prototypes 
Target Milestone: Lisaac 0.4
Category: Lisaac Compiler


Initial Comment:
The lisaac compiler crash on a call on NULL.
Included a testcase and a patch (included in the branch stable) to raise an error instead of crashing.

The problem happens when a prototype with no generic parameters inherit from a prototype with generic parameters. Any call on the parent prototype that happen to involve a generic parameter crash because the compiler can't find the real type for the type parameter.

The problem is that ITM_TYPE_PARAMETER.to_run_for sometimes returns NULL

----------------------------------------------------------------------

You can respond by visiting: 
https://alioth.debian.org/tracker/?func=detail&atid=413092&aid=311992&group_id=100200