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

Re: [RFC] Bridging the gap between the Linux Kernel Memory Consistency Model (LKMM) and C11/C++11 atomics

2023-08-16 Thread Mathieu Desnoyers via Gcc
On 7/10/23 10:32, Jonas Oberhauser wrote: Am 7/7/2023 um 7:25 PM schrieb Olivier Dion: On Fri, 07 Jul 2023, Jonas Oberhauser wrote: [...] This is a request for comments on extending the atomic builtins API to help avoiding redundant memory barriers.  Indeed, there are discrepancies between t