CppCheck: flag:--inconclusive

[Peter (Gast)]

Hallo,

bei der statischen Code-Analyse mit CppCheck habe ich das flag 
"--inconclusive" eingeschaltet.

Im Manual steht unter der Beschreibung des Flags:

By default Cppcheck only writes error messages if it is certain. With 
--inconclusive error messages
will also be written when the analysis is inconclusive.
cppcheck --inconclusive path
This can of course cause false warnings, it might be reported that there 
are bugs even though there are
not. Only use this command if false warnings are acceptable.

Im Ergebnis werden Meldungen mit "true" oder "false" aufgelistet.
Jedoch werde ich daraus nicht schlau.

Wie ist dieses Flag zu interpretieren ?

Gruß,
Peter

[Oliver S. (oliverso)]

Die Übersetzung von Google translate ist doch einigermaßen verständlich:

Standardmäßig cppcheck schreibt nur Fehlermeldungen, wenn sichergestellt 
ist.
mit
--inconclusive Fehlermeldungen
wird auch geschrieben werden, wenn die Analyse nicht schlüssig.
cppcheck --inconclusive Pfad
Dies kann natürlich falsche Warnungen verursachen, berichtet werden 
könnte, dass es Bugs obwohl es nicht. Verwenden Sie diesen Befehl nur, 
wenn Fehlwarnungen sind akzeptabel.

Oliver

[Peter (Gast)]

Danke Oliver für die schnelle Goolge Übersetzung.

Und jetzt noch mal zur Frage:

Warum soll dies nur im Falle der "False warnings" aktiviert werden.

Und weswegen werden falsche Warnungen erzeugt?

[Peter II (Gast)]

Peter schrieb:
> Und weswegen werden falsche Warnungen erzeugt?

weil eine Software nicht alles wissen kann.

[Oliver S. (oliverso)]

Peter schrieb:
> Warum soll dies nur im Falle der "False warnings" aktiviert werden.

Das verstehst du falsch. Wenn du diese Option aktivierst, meldet 
cppcheck auch Fehler, die gar keine sind. Der erzeugt damit "false 
warnings".

Fazit: Lass es. Das erzeugt mehr Verwirrung als Erkenntnis.

Oliver