Brett Cannon <br...@python.org> added the comment: Here is a new patch which includes setting the noreturn attribute on Py_FatalError() and Py_Exit() in order to make the null pointer deref analysis results more tractable.
---------- Added file: http://bugs.python.org/file20666/analyzer_fixes.diff _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue8914> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com