Ticket #39 (new defect)

Opened 2 years ago

False positive with PyDict_GetItem where key is known to be present

Reported by: dmalcolm Owned by: dmalcolm@…
Priority: major Milestone:
Component: CPython static analysis Version:
Keywords: Cc:
Blocked By: Blocking:

Description

See e.g.: http://fedorapeople.org/~dmalcolm/gcc-python-plugin/2012-04-03/python-kaa-base-0.6.0-6.fc17/kaa-base-0.6.0/build/temp.linux-x86_64-2.7/src/extensions/shmmodule.c.PyShm_memory-refcount-errors.html#report-1

PyMapping_HasKey should imply that PyDict_GetItem should succeed, but the checker erroneoulsly considers that the latter could.

Note: See TracTickets for help on using tickets.