David Malcolm

False positive with PyTuple_SetItem() where index can't be out of range

2

See e.g.: http://fedorapeople.org/~dmalcolm/gcc-python-plugin/2012-03-05/pygoocanvas-0.14.1-6.fc17/pygoocanvas-0.14.1/.libs/goocanvas.c._wrap_goo_canvas_item_model_get_child_properties-refcount-errors.html#report-0 The checker considered that the possibility of PyTuple_SetItem() failing due to index out of range (and thus not stealing the reference, leading to a leak), but it's...

partial implementation of PyString_AsStringAndSize

1

Attached there is a patch sketching PyString_AsStringAndSize. the function takes two output parameters and returns 0 in case of success, -1 on failure. I've only implemented the return value; as...

False positive with PyArg_UnpackTuple seen analyzing postgresql

2

http://fedorapeople.org/~dmalcolm/gcc-python-plugin/2012-02-18/postgresql-9.1.2-2.fc17/postgresql-9.1.2/src/pl/plpython/plpython.c.PLy_output-refcount-errors.html#report-1

RuntimeError: attribute 'fullname' is only available when compiling C++ code

1

I got this error when trying to use gccutils.pformat when compiling C code: {{{ File "/home/tromey/Space/Trunk/gcc-python-plugin/cvtlisp.py", line 204, in map_tree print gccutils.pformat(tree) File "/home/tromey/Space/Trunk/gcc-python-plugin/gccutils.py", line 123, in pformat return pp.pformat(obj)...

API inconsistency: .loc -vs- .location

1

I noticed recently that gcc.Gimple has a 'loc' attribute, but gcc.Declaration has a 'location' attribute. I think it would be better to use a single name everywhere.

FunctionDecl should have 'initial' attribute

3

Before there is a CFG, the body of a function is in the function decl's DECL_INITIAL, as a block. This field should be exposed to Python. This patch adds the...

no way to look up a struct by tag

3

I could not find a way to look up a structure type by tag. E.g., I wanted to look up 'struct buffer'. I could do this by introducing typedefs, but...

NotImplementedError from checker in impl_PyTuple_Size (NotImplementedError: eval_rvalue: None None)

1

A different NotImplementedError when building gdb: {{{ ../../archer/gdb/python/py-value.c: In function ‘valpy_new’: ../../archer/gdb/python/py-value.c:130:20: error: Unhandled Python exception raised calling 'execute' method Traceback (most recent call last): File "/home/tromey/Space/Trunk/gcc-python-plugin/libcpychecker/__init__.py", line 64, in...

provide a way to indicate that refcounting rules should not apply

2

In gdb, most Python wrapper classes maintain a kind of weak reference to the underlying gdb object. This is done because the object lifetimes are different, and some of the...

provide a way to indicate that function sets an exception

3

This is a "TODO" from the docs: (TODO: provide a way to mark a function as setting this state) gdb has some functions that return a value < 0 on...