https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116163
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andi Kleen from comment #7)
> It seems instead of a linting script it would be better if dejagnu errored
> out for the bad cases. Then everything would be caught always.
>
> Right now it seems to ignore unknown/unparseable commands inside {} ?
That would not catch all cases we have mentioned. it would catch many for sure.
It still will not catch the .c file when .C was expected.
It will not catch the bad ordering of dg-add-options/dg-options either.
And it would not catch missing fully missing `dg-do run`s.
