Re: [PATCH] improved error message

Andrew Cagney
2002-12-16T19:20:27Z

>> >These are essentially internal error messages - none of them should
>> >ever happen. They do now, of course.
>> >
>> >IMVHO I like Michael's change; now when people report these error
>> >messages I'll know automatically which one they are. They tend to be
>> >only spontaneously reproducible.
>
>>
>> If it is a internal error, call internal_error().
>
>
>>From a practicality viewpoint, I refuse to do that when we know of
> multiple situations which trigger these problems. I still get them
> reported to me every couple of weeks.

Sorry I don't see the problem. If it is an internal error then it
should be reported as such. That way the user can do things like
provide us with a core dump.

Andrew