Re: What's wrong with C++?

["Peter C. Chapin" <PChapin@vtc.vsc.edu>]

On 2011-10-07 21:24, Randy Brukardt wrote:

> But isn't that a really terrible error message? When I've had compiler bugs
> that caused infinite loops, I've often spent many hours trying to find a
> work-around, and only trial-and-error works (there being no information at
> all as to the cause).

You're right, of course, that the "error message" is not very helpful 
when the compiler just fails to terminate. In our case it wasn't too bad 
because we were doing frequent builds so the amount of material under 
suspicion was not large.

The problem was due to a subprogram with a large number of overly 
complicated expressions... a relatively well isolated construct. The 
SPARK simplifier appeared to hang while processing that subprogram (it 
was nice that it outputs a message each time it moves on to a different 
one) so it was pretty obvious what the problem was once we looked at the 
offending code and at the massive collection of VCs the Examiner had 
created for that code. We also learned an important lesson about SPARK: 
keep it simple.

Peter