[Bug analyzer/107646] RFE: can we reimplement gcc-python-plugin's cpychecker as a -fanalyzer plugin?

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107646

--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to David Malcolm from comment #6)
> (In reply to David Malcolm from comment #5)
> Some attribute ideas:
> 
> extern int PyDict_SetItem(PyObject *p, PyObject *key, PyObject *val)
>   __attribute__((cpython_param_must_be_hashable (key))

...though this implies supporting parameter names in attributes (is there a BZ
for this?)