On Fri, 2007-05-25 at 22:12 +0100, Paul Brook wrote:
> On Friday 25 May 2007, Thomas Koenig wrote:
> > What about a keyword for bugs that
> >
> > - generate wrong code
> > - affect a standard-conforming program
> > - are silent (no error message)
>
> We already have one: "wrong-code"
>
> 1 and 3 mutually exclusive. ie. if we generate an error, then by definition
> we
> don't generate bad code because the compilation process never gets that far.
For 3, I meant a runtime error, segfault, or something else that's
observable.
Trivial example:
If we segfault for printf("%d\n", 2+2), the bug would not be in this
category. If we printed 5, it would be.
Thomas
