Bug 9811 – Add static code analyzing (i.e. PVS-Studio-like diagnostic)

There are things which may or may not indicate and error. Current compiler behavior is: "I'm a compiler, I can't even give a warning if there is a change for false positive, there are only warnings and errors". But it looks inconsistent with the fact a compiler tries to help the developer by doing code coverage, documentation etc. Static code analyzing is an essential task a compiler could also do and do good. Also, IMHO, compilers should do static analyzing instead of external tools. So I propose to add "-diagnostic" flag to the compiler for things Walter is "a bit uncomfortable in declaring it as always wrong" and also for things that are definitely not always wrong. There also could be different levels of such analyzing and ability to treat diagnostic warnings as errors. See also: [1] Interview of Walter Bright by Andrey Karpov http://www.viva64.com/en/b/0182/ [2] NG thread about the interview http://forum.dlang.org/thread/[email protected]

THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/18546 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB