David Malcolm

Many errors cloud output GCC 4.8.3 / RHEL6

1

GCC 4.8.3 + Python 2.7.2; gcc-python-plugin compiled from source on RHEL6 Code @ https://github.com/ged-lab/khmer/tree/ad07a21a84039b40beb3db515e321a251b9460c3 Invocation: CC='gcc-with-cpychecker --maxtrans=512' python setup.py build_ext Many failure motifs: 1) TypeErrors: ... is not an instance...

gimplification collapses each "return" in a function so that they share one GIMPLE_RETURN e.g. {{{ if (COND1) return EXPR1; return EXPR2; }}} to the equivalent of e.g.: {{{ if (COND1)...

"Basic usage of the plugin" doesn't cover basic usage

1

I don't quite understand the content of "Basic usage of the plugin", but it seems like advanced usage. This is the section that I would say covers basic usage: https://gcc-python-plugin.readthedocs.org/en/latest/cpychecker.html#gcc-with-cpychecker...

False refleak warning with PyObject_CallMethod and "N" argument specificier

1

CPyChecker warns that "ob_refcnt of PyBool_FromLong is 1 too high" in code like this: PyObject_CallMethod(obj, "methodname", "N", PyBool_FromLong(0)); In fact, the "N" specifier means that PyObject_CallMethod steals the reference if...

cpychecker doesn't handle C++ exceptions

1

Creating a ticket as discussed by mail. System: Fedora Core 19 x86_64, stock plugin and checker. Build logs attached.

PyErr_NormalizeException or PyErr_Restore mishandled

1

Analyzing _cbsonmodule.c from this revision: https://github.com/mongodb/mongo-python-driver/commit/ba66a2dde7b85bf1af5d64c245d5d27102c11f59 I get the attached error report, claiming that "ob_refcnt of '*msg' is 1 too high". But I believe the refcount is correct, especially since...

TypeError in _get_new_value_for_vararg

1

After updating my clone of gcc-python-plugin with the fix for #51, I have a new error. This is running on the same code as in #51: https://github.com/mongodb/mongo-python-driver/ at git hash...

unhandled exception in cpychecker

1

This unhandled exception comes from gdb's varobj.c. I haven't tried reducing it. {{{ ../../archer/gdb/varobj.c: In function ‘varobj_invalidate_iter’: ../../archer/gdb/varobj.c:4226:22: error: Unhandled Python exception raised calling 'execute' method Traceback (most recent call...

unhandled exception in cpychecker

1

This unhandled exception comes when building gdb's py-cmd.c using the checker. I haven't tried to make a minimal test case yet. {{{ ../../archer/gdb/python/py-cmd.c: In function ‘gdbpy_parse_command_name’: ../../archer/gdb/python/py-cmd.c:370:12: error: Unhandled Python...

spurious report for "set" method

1

Consider this source code, derived from an example in the Python manual: {{{ #include #include "structmember.h" typedef struct { PyObject_HEAD PyObject *first; PyObject *last; int number; } Noddy; extern void...