[Qt-creator] Building QtCreator with Meson and results of static analysis

[Jussi Pakkanen]

On Sat, May 17, 2014 at 10:40 PM, André Pönitz <apoenitz at t-online.de> wrote:


> > - most false positives are cause by QTC_CHECK not marking its error
> > function with QNORETURN
>
> But... QTC_CHECK always returns. Why should it have QNORETURN?


Ah, my bad, I remembered incorrectly that it would call qFatal. It instead
calls qDebug. But in this case the reported issues can be considered valid.
The code invokes the given pointer even after noticing it is null.

> For the third issue:
>
>   d->doc = doc;
>
>   if (d->doc) {
>
>        Taking true branch
>
>        [...]
>        doc->documentLayout()));
>
>        Called C++ object pointer is null
>
> "Taking true branch" means both d->doc is not null. Since it was just
> copied from 'doc', 'doc' is non-null either.

This looks like a bug or potential false positive.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.qt-project.org/pipermail/qt-creator/attachments/20140517/6cbb7523/attachment.html>