Errors seen in LOGS/python-jinja-1.2-7.fc17

This is a summary of errors seen when compiling with an experimental static analysis tool

Raw build logs can be seen here

Segfaults within error-handling paths

Code paths in error-handling that will lead to a segmentatation fault (e.g. under low memory conditions)

jinja/_speedups.c BaseContext_init dereferencing NULL (D.13870->prev) at jinja/_speedups.c:143
jinja/_speedups.c BaseContext_init dereferencing NULL (D.13866->prev) at jinja/_speedups.c:137
jinja/_speedups.c BaseContext_init dereferencing NULL (D.13860->prev) at jinja/_speedups.c:131

Returning (PyObject*)NULL without setting an exception

These messages are often false-positives: the analysis tool has no knowledge about internal API calls that can lead to an exception being set
jinja/_speedups.c BaseContext_push returning (PyObject*)NULL without setting an exception

Implementation notes for gcc-with-cpychecker

The following "Py" functions were used but aren't yet explicitly handled by gcc-with-cpychecker