[issue30287] cpython and Clang Static Analyzer

Mark Dickinson added the comment: > I guess return -1 instead of bits=0 will silent both gcc and the static > analyzer warning. That's a possibility, though we should also set an exception in that case (since returning an error value without setting an exception is also something that might b

[issue30287] cpython and Clang Static Analyzer

Changes by STINNER Victor : -- nosy: +haypo ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe: https://mail.python

[issue30287] cpython and Clang Static Analyzer

Дилян Палаузов added the comment: 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/didopalauz

[issue30287] cpython and Clang Static Analyzer

Mark Dickinson added the comment: Thanks for this. I took a look at the 5 reports for Objects/longobject.c, and I don't think there's any action to be taken on any of them. (Two false positives; two "dead assignments" that are used when asserts are enabled, and one division-by-zero that depend

[issue30287] cpython and Clang Static Analyzer

New submission from Дилян Палаузов: I compiled cpython using Clang 4.0 Static Analyzer with scan-build ./configure --enable-loadable-sqlite-extensions --enable-ipv6 --with-system-expat --with-system-ffi --with-system-libmpdec scan-build make and here are the results https://mail.aegee.org/dp