Now I'm in a little confusion :)
There are at least two possibilities:
1. TeXmacs is affected by GCC/c++ PR 8287. I wrote this test exactly to show
this :)
2. There does exist some double-deletion of tree object.
Hmmm, option 2 would not surprise me;
it took me one week of debugging to find this bug in g++-3.0.
It somehow disappeared from 3.1, but they seem to be uncautious enough
to let it reappear in other major distributions. I think that this is
I'm now rebuilding with GCC-3.2 snapshot 20021104 (the latest available) and
will come up with the result.
Thanks, it would be great to know whether hypothesis 2 is right...
If you can find a systematic way of testing whether this bug has
reappeared in g++, then that would even be better.