Re: Update on CPython Extension Module -fanalyzer plugin development

2023-08-25 Thread David Malcolm via Gcc
On Fri, 2023-08-25 at 08:50 -0400, Eric Feng wrote: > Hi Dave, > > Please find an updated WIP patch on reference count checking below. Some > parts aren't properly formatted yet; I apologize for that. > > Since the last WIP patch, the major updates include: > - Updated certain areas of the core a

Update on CPython Extension Module -fanalyzer plugin development

2023-08-25 Thread Eric Feng via Gcc
Hi Dave, Please find an updated WIP patch on reference count checking below. Some parts aren't properly formatted yet; I apologize for that. Since the last WIP patch, the major updates include: - Updated certain areas of the core analyzer to support custom stmt_finder. - A significant revamp of t

Re: Update on CPython Extension Module -fanalyzer plugin development

2023-08-24 Thread Eric Feng via Gcc
On Wed, Aug 23, 2023 at 7:16 PM David Malcolm wrote: > > On Wed, 2023-08-23 at 17:15 -0400, Eric Feng wrote: > > On Mon, Aug 21, 2023 at 11:04 AM David Malcolm > > wrote: > > > > > > On Mon, 2023-08-21 at 10:05 -0400, Eric Feng wrote: > > > > Hi Dave, > > > > > > > > Just wanted to give you and e

Re: Update on CPython Extension Module -fanalyzer plugin development

2023-08-23 Thread David Malcolm via Gcc
On Wed, 2023-08-23 at 17:15 -0400, Eric Feng wrote: > On Mon, Aug 21, 2023 at 11:04 AM David Malcolm > wrote: > > > > On Mon, 2023-08-21 at 10:05 -0400, Eric Feng wrote: > > > Hi Dave, > > > > > > Just wanted to give you and everyone else a short update on how > > > reference count checking is g

Re: Update on CPython Extension Module -fanalyzer plugin development

2023-08-23 Thread Eric Feng via Gcc
On Mon, Aug 21, 2023 at 11:04 AM David Malcolm wrote: > > On Mon, 2023-08-21 at 10:05 -0400, Eric Feng wrote: > > Hi Dave, > > > > Just wanted to give you and everyone else a short update on how > > reference count checking is going — we can now observe the refcnt > > diagnostic being emitted: > >

Re: Update on CPython Extension Module -fanalyzer plugin development

2023-08-21 Thread David Malcolm via Gcc
On Mon, 2023-08-21 at 10:05 -0400, Eric Feng wrote: > Hi Dave, > > Just wanted to give you and everyone else a short update on how > reference count checking is going — we can now observe the refcnt > diagnostic being emitted: > > rc3.c:22:10: warning: REF COUNT PROBLEM >    22 |   return list; >

Re: Update on CPython Extension Module -fanalyzer plugin development

2023-08-21 Thread Eric Feng via Gcc
Hi Dave, Just wanted to give you and everyone else a short update on how reference count checking is going — we can now observe the refcnt diagnostic being emitted: rc3.c:22:10: warning: REF COUNT PROBLEM 22 | return list; | ^~~~ ‘create_py_object’: events 1-4 | |

Re: Update on CPython Extension Module -fanalyzer plugin development

2023-08-16 Thread Eric Feng via Gcc
Hi Dave, Thanks for the feedback! On Wed, Aug 16, 2023 at 5:29 PM David Malcolm wrote: > > On Wed, 2023-08-16 at 15:17 -0400, Eric Feng via Gcc wrote: > > Hi everyone, > > [fixing typo in my email address] > > Hi Eric, thanks for the update, and the WIP patch. > > > > > After pushing the code t

Re: Update on CPython Extension Module -fanalyzer plugin development

2023-08-16 Thread David Malcolm via Gcc
On Wed, 2023-08-16 at 15:17 -0400, Eric Feng via Gcc wrote: > Hi everyone, [fixing typo in my email address] Hi Eric, thanks for the update, and the WIP patch. > > After pushing the code that supports various known function classes last week, > I've turned my attention back to the core referenc

Update on CPython Extension Module -fanalyzer plugin development

2023-08-16 Thread Eric Feng via Gcc
Hi everyone, After pushing the code that supports various known function classes last week, I've turned my attention back to the core reference count checking functionality. This functionality used to reside in region_model, which wasn't ideal. To address this, I've introduced a hook to register