➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author dilyan.palauzov
Recipients dilyan.palauzov, mark.dickinson
Date 2017-05-07.09:20:37
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1494148837.76.0.28892727402.issue30287@psf.upfronthosting.co.za>
In-reply-to
Content 
I forgot to pass --with-pydebug to ./configure in order to consider also the asserts.  Here we go:

scan-build ./configure --enable-loadable-sqlite-extensions --enable-ipv6 --with-system-expat --with-system-libmpdec --with-pydebug
scan-build -o /home/didopalauzov/public_html/scan-build-python-3763ea865c make

The output, which has now 9 hints less, is at
  https://mail.aegee.org/dpa/scan-build-python-3763ea865c/

The assignments in Modules/socketmodule.c:1456 and Modules/_datetimemodule.c:2232 are correctly detected as superfluous.

In Objects/longobject.c/long_format_binary:

    default:
        assert(0); /* shouldn't ever get here*/
        bits = 0; /* to silence gcc warning */

I guess return -1 instead of bits=0 will silent both gcc and the static analyzer warning.
History
Date User Action Args
2017-05-07 09:20:37dilyan.palauzovsetrecipients: + dilyan.palauzov, mark.dickinson
2017-05-07 09:20:37dilyan.palauzovsetmessageid: <1494148837.76.0.28892727402.issue30287@psf.upfronthosting.co.za>
2017-05-07 09:20:37dilyan.palauzovlinkissue30287 messages
2017-05-07 09:20:37dilyan.palauzovcreate