Bugzilla

[Robert Dewar]

> The historical use of "(il)legal code" in the BTS has been "the
> compiler should (not) produce an object file from this input."
> "(In)valid" has been taken as synonymous but politically preferred,
> since no *law* is violated by buggy source code.  I think this
> encompasses both Ada's "illegal" and "erroneous", although I'm not
> sure whether all categories of "erroneous" Ada programs require
> compile-time errors.

They definitely do not, such a requirement would be hard to meet by anyone
who has not figured out how to solve the halting problem :-)

For example, it is erroneous to make a recursive call at run-time if you
have used pragma Restrictions (No_Recursion).

Indeed erroneous is reserved in Ada for those situations where it is not
practical to require compile-time errors. If a compile-time error is
required, then the program is illegal, not erroneous.