>>>>> "Andrew" == Andrew Haley <aph@xxxxxxxxxx> writes: >> Dmitry K. wrote: >> Is the abort of program below correct? Andrew> I think it 's a bug. Forwarding to Tom tromey for comment. I tried it with svn trunk and it worked fine. This was probably fixed by the fix for PR 35313. Tom