Re: PING: Re: [PATCH] Add analyzer plugin support and CPython GIL example

2020-11-23 Thread Jeff Law via Gcc-patches
On 11/10/20 2:51 PM, David Malcolm via Gcc-patches wrote: > I'd like to ping this patch: > https://gcc.gnu.org/pipermail/gcc-patches/2020-October/556214.html > Are the non-analyzer parts OK for master? Just looking for an ACK on the analyzer_init notification bits in the generic parts of the c

PING: Re: [PATCH] Add analyzer plugin support and CPython GIL example

2020-11-10 Thread David Malcolm via Gcc-patches
I'd like to ping this patch: https://gcc.gnu.org/pipermail/gcc-patches/2020-October/556214.html Are the non-analyzer parts OK for master? Thanks Dave On Wed, 2020-10-14 at 21:21 -0400, David Malcolm wrote: > This patch adds a new GCC plugin event: PLUGIN_ANALYZER_INIT, called > when -fanalyzer

[PATCH] Add analyzer plugin support and CPython GIL example

2020-10-14 Thread David Malcolm via Gcc-patches
This patch adds a new GCC plugin event: PLUGIN_ANALYZER_INIT, called when -fanalyzer is starting, allowing for GCC plugins to register additional state-machine-based checks within -fanalyzer. The idea is that 3rd-party code might want to add domain-specific checks for its own APIs - with the cavea