From: Vladimir Prus (ghost_at_[hidden])
Date: 2003-07-07 09:34:55


Beman Dawes wrote:

> I added an assert:
>
> if (t->flags & T_FLAG_INTERNAL) {
> assert( t->original_target );
> t = t->original_target;
> }

Yep, I see similiar thing. For some reason invariant

!(t->flags & T_FLAG_INTERNAL) || t->original_target != 0

is broken. Looking further....

- Volodya