On 01/19/2016 01:18 AM, Terry Reedy wrote:
Though I don't write C anymore, I occasionally read our C sources. I dislike mixed bracketing in a multiple clause if/else statement, and would strongly recommend against that. On the other hand, to my Python-trained eye, brackets for one line clauses are just noise. +-0.
If coverity's scan does not flag the sort of misleading bug bait formatting that at least partly prompted this thread
if (a): b; c;
then I think we should find or write something that does and run it over existing code as well as patches.
I don't know if static checkers care about whitespace and indentation in C; it might be a very obvious thing to do for Python programmers, but maybe not for C static checker developers :) And probably with good reason, since whitespace isn't a consideration except for nicely readable code, which many people (not talking about CPython here) apparently don't care about, you'd have tons of spurious checker messages. In many cases (especially error handling ones like "goto fail"), I expect the checker to flag the error anyway, but for semantic reasons, not because of whitespace. Georg