Re: Compilers growing lint-like capabilities, but don't like lint-comments.

[Joerg Sonnenberger <joerg%bec.de@localhost>]

On Sun, Dec 25, 2016 at 07:09:40PM +0000, coypu%SDF.ORG@localhost wrote:
> Over time compilers are starting to performs some checks
> normally done by lint, such as warning about fallthrough
> cases being implicit.

"normally done by lint"? I'm having a hard time thinking of any local
check performed by lint that is not available in either clang or GCC as
option already. IMO the only value offered by lint at this point is
checking prototypes and that can likely be done by ABI checkers as well
(and better).

> cpp ignores comments, so they are opting to re-invent
> the lint terminology with things like __builtin_noreturn
> or [[gnu::fallthrough]].

Comments as the name imply are not part of the semantics of the program.
That's the major reason why source annotations as part of the actual
source were invented. 

Joerg