From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mx0b-00364e01.pphosted.com (mx0b-00364e01.pphosted.com [148.163.139.74]) by sourceware.org (Postfix) with ESMTPS id E441C3858D20 for ; Fri, 1 Sep 2023 01:25:34 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E441C3858D20 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=columbia.edu Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=columbia.edu Received: from pps.filterd (m0167075.ppops.net [127.0.0.1]) by mx0b-00364e01.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 3811IX7C016746 for ; Thu, 31 Aug 2023 21:25:34 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=columbia.edu; h=mime-version : references : in-reply-to : from : date : message-id : subject : to : cc : content-type : content-transfer-encoding; s=pps01; bh=OQwZywL1rMOxFsrxdiJmqdTgQxk/ClP4NM7wMh6xO7Q=; b=XKSl1gimWW3kEdWyPeA46IS2G7QAS8NTPPvqPqPYYWNx78GhYegVTjoyzQ9qG/9te2p7 WhLOj71AU3fQW3bUp9oKPt3FfusoCJ/u7B9DgDthO+Fjlm4BcRF8i9Xs61pZWcaq+vjX ujUAZw2vUsCcX/x4eeqp3EWo37TLf5+SN3+h8FePJEyIM9sRR8XX0+TKev7tSlRKHWUG sXQ8D2bL7EDrxkaWyr7q9sM4UCtxtBIkGoe7DlvBVS7p/Pd1he18+YNa5dtVjlfpXnLX yPOr/Qr7iJshE7syLzkhVRvz/U1jp0viKOHLwX82hwXeuT0odOTA1QoqVMeGRv7/SoCq iw== Received: from mail-vs1-f70.google.com (mail-vs1-f70.google.com [209.85.217.70]) by mx0b-00364e01.pphosted.com (PPS) with ESMTPS id 3sqdcr0ax7-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Thu, 31 Aug 2023 21:25:34 -0400 Received: by mail-vs1-f70.google.com with SMTP id ada2fe7eead31-44ea3b36cb9so638724137.0 for ; Thu, 31 Aug 2023 18:25:34 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1693531533; x=1694136333; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=OQwZywL1rMOxFsrxdiJmqdTgQxk/ClP4NM7wMh6xO7Q=; b=L6LCXvvVAB1Dd8OiqppGUEY7emuPWNArx/n5hvks0P9md+DPWF62eWmmrKakgQoqk6 RUYC/aHaBRRSpiZfnxKaieHFKQxSDgnC7QmuE3VuO51wSmFvhZlcWZ4QSKysJytoUt3+ OIvuoSD80Ir8TQvs/FR2YaxxAKlCY6YLM2hgfxJ+4ZGzZ1rgGFw5jQ3CvWAKcFFFiLit 0ofZnWbfy9g4UdVvcaxHTRNqeClHjcnBtpPGXmw0nRQ4Zo/0eTPT699gKGfSUno4UX2B MsQCeVEMA8LzWKVx/RnegU29tuDP7H9WeH+eCiExn5ZGA8vxhyLp8OqFjXhQttFHCl8y 7LOQ== X-Gm-Message-State: AOJu0YwshPx+3qpEFAU1HFEUY9ROU6hTy0ZnBVCXfEmhhXsEmrYw0iH/ Qzci2iu5Byw0O8ttzWnUUHFCVru2qzzM3/uk6YzywmqgtpDAqZp1xsDBgTRcSO0EHaHiU0CKYj5 wYGky0qGHdhgrywjgAsfR X-Received: by 2002:a05:6102:3015:b0:44d:48bf:5918 with SMTP id s21-20020a056102301500b0044d48bf5918mr1429535vsa.18.1693531533537; Thu, 31 Aug 2023 18:25:33 -0700 (PDT) X-Google-Smtp-Source: AGHT+IEjM6vYwmAUJRFUvikRU/l2z6CQ7+CoQQYGBGvAmWk1zBAATCdc/USnHHQH5dDOLxzHopuDtOI/Ihhk1v8vmbs= X-Received: by 2002:a05:6102:3015:b0:44d:48bf:5918 with SMTP id s21-20020a056102301500b0044d48bf5918mr1429532vsa.18.1693531533309; Thu, 31 Aug 2023 18:25:33 -0700 (PDT) MIME-Version: 1.0 References: <20230829172818.3264-1-ef2648@columbia.edu> <50449b85cd6858842903ad09e102fce2de2785ed.camel@redhat.com> <812f5e6a9972dd3495d86df6a38cffe130442bc1.camel@redhat.com> In-Reply-To: <812f5e6a9972dd3495d86df6a38cffe130442bc1.camel@redhat.com> From: Eric Feng Date: Thu, 31 Aug 2023 21:25:22 -0400 Message-ID: Subject: Re: [PATCH] analyzer: implement reference count checking for CPython plugin [PR107646] To: David Malcolm Cc: gcc@gcc.gnu.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Proofpoint-GUID: QHJ3oQcj_T7mkYS0n7qkrL7Io-e8epz5 X-Proofpoint-ORIG-GUID: QHJ3oQcj_T7mkYS0n7qkrL7Io-e8epz5 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.267,Aquarius:18.0.957,Hydra:6.0.601,FMLib:17.11.176.26 definitions=2023-08-31_22,2023-08-31_01,2023-05-22_02 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 suspectscore=0 malwarescore=0 bulkscore=10 mlxlogscore=791 impostorscore=10 priorityscore=1501 phishscore=0 mlxscore=0 spamscore=0 lowpriorityscore=10 adultscore=0 clxscore=1015 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2308100000 definitions=main-2309010012 X-Spam-Status: No, score=-4.9 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_SHORT,RCVD_IN_DNSWL_LOW,SPF_HELO_NONE,SPF_NONE,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Thu, Aug 31, 2023 at 4:19=E2=80=AFPM David Malcolm = wrote: > > On Thu, 2023-08-31 at 15:09 -0400, Eric Feng wrote: > > On Thu, Aug 31, 2023 at 1:01=E2=80=AFPM David Malcolm > > wrote: > > > > > > On Wed, 2023-08-30 at 18:15 -0400, Eric Feng wrote: > > [...] > > > > > > > > > Thanks; pushed to trunk with nits fixed: > > > > https://gcc.gnu.org/git/?p=3Dgcc.git;a=3Dcommit;h=3D597b9ec69bca8ac= b7a3d65641c0a730de8b27ed4 > > > > . > > > > > > Thanks; looks good. > > > > > > Do you want to add this to the GCC 14 part of the "History" section > > > on > > > the wiki page: > > > https://gcc.gnu.org/wiki/StaticAnalyzer > > > or should I? > > Happy to add it myself, but I'm not finding an option to edit the > > page > > (created an account under efric@gcc.gnu.org). Do I need to be added > > to > > the EditorGroup (https://gcc.gnu.org/wiki/EditorGroup) to do so? > > I can do this. What's your account's WikiName ? Thank you =E2=80=94 it is EricFeng. > > Thanks > Dave >