On Sat, May 17, 2014 at 10:40 PM, André Pönitz <[email protected]> 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.
_______________________________________________
Qt-creator mailing list
[email protected]
http://lists.qt-project.org/mailman/listinfo/qt-creator
