From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x436.google.com (mail-wr1-x436.google.com [IPv6:2a00:1450:4864:20::436]) by sourceware.org (Postfix) with ESMTPS id E90333858408 for ; Wed, 22 Feb 2023 14:53:59 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E90333858408 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=googlemail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=googlemail.com Received: by mail-wr1-x436.google.com with SMTP id t15so8120234wrz.7 for ; Wed, 22 Feb 2023 06:53:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20210112; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=LKLZYV6P1SuimnT4xfvupVeflBakGpNsw7iksPw0f6w=; b=cwzDIFSfwv9AjO0IvxKWBRWZ1t7mQNx0ukolrLBca+YIdne/SyDkWNGWdIgF2apzgG Y9LLFTnpOgJQSuNX/ZKoq1zPyyetGxmiPUzscA5WbGIshT7T3WoQCrwhChx2w/gAzOU8 2CfAsb87xXb0VqWMJTEysDEdD310qzxiODCh9Np9tzPjdJl1Jxj16xZa/v+Ar/HicjZx OFbRVz64PjBVB2sLYGkonOzStooMaHV18CHdWzj2Ptlm8bV3zV/mxdVu7Jn+eWND5TO6 ISFOv9P9nmkqvMr0QUPbqGYTmBqq1Wn6Q1o38jADFLuC9hfMKwJOMTVm+hYpub9h2x3n pVwQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=LKLZYV6P1SuimnT4xfvupVeflBakGpNsw7iksPw0f6w=; b=lPzIK7T7t8CGR7PViXhqhqLJnDFxA+9CRosA12RENNjA0epubsOuFgeBn84sEn96Qq DEb9066MYFWWBDYybC7gESKqniOOoQVhF0sRi6dp+0K3W4M+9/SO2qEGMnX5Qz1pptc+ DPllDNt4wxxXcq+TbyahkkvwHIEP1GZYxsQ3mM3RILqKPsPQqOefUdc2si6WP3jIDVTv SaeVYdrwNn2inMnycToPulj5L7gGchbXz4yy4tSUUjq2XiHejS/jp9S9Z6X18uQyqINp PjPO3OQqr7sf5WN9h13sWWiMsRk0cDTlPKM4UVvWQV/pzjOtysjbIjZ/4TMgWcj8sTWj DmDA== X-Gm-Message-State: AO0yUKUlA1lOqoWS6MozKx1SmtZYbKnRaVIKLxireDTvyjQagUPRtaze j9d8ona6VdC+p4Zr2jD4iTk= X-Google-Smtp-Source: AK7set/Yqf4tcEBsIbiwAgyyNyHSgPEvQxynMjdzjEULTCjvQLF3JmKbcE/fxM9NDE9aXWey7K3D/Q== X-Received: by 2002:a5d:5081:0:b0:2c5:5c96:ea34 with SMTP id a1-20020a5d5081000000b002c55c96ea34mr8538507wrt.12.1677077638501; Wed, 22 Feb 2023 06:53:58 -0800 (PST) Received: from smtpclient.apple (host81-138-1-83.in-addr.btopenworld.com. [81.138.1.83]) by smtp.googlemail.com with ESMTPSA id g11-20020a5d698b000000b002c5a1bd5280sm8452435wru.95.2023.02.22.06.53.57 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 22 Feb 2023 06:53:58 -0800 (PST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.2\)) Subject: Re: [GSoC][Static Analyzer] Some questions and request for a small patch to work on From: Iain Sandoe In-Reply-To: Date: Wed, 22 Feb 2023 14:53:57 +0000 Cc: David Malcolm , GCC Development Content-Transfer-Encoding: quoted-printable Message-Id: References: <960EE623-1B17-4321-B77E-FBCD9496BE1F@gmail.com> <40fbb064f56845908f797400e5d9443b6cf97fe4.camel@redhat.com> To: Shengyu Huang X-Mailer: Apple Mail (2.3696.120.41.1.2) X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,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: Hi Shengyu, > On 22 Feb 2023, at 14:11, Shengyu Huang via Gcc = wrote: >=20 >> IIRC I saw you post a few days ago about trying to build gcc on your = M2 >> laptop; did you manage this? Building GCC trunk from a git checkout, >> and hacking in a "hello world" warning would be a great place to = start. >> See the guide above for some hints on how to make this process = quicker, >> and let me know if you need help if you run into difficulties. Given >> that the analyzer is about emitting warnings, rather than generating >> code, it may be that although we don't yet fully support your = hardware, >> we *might* already support it enough to allow for hacking on the >> analyzer, perhaps with some judicious choices of "configure" options. >=20 > I just finished building it today on my laptop (Thanks Iain!). The = GCC-12 branch did not work (I got `configure: error: C preprocessor = "/lib/cpp" fails sanity check`) Possibly my bad - there are some additional fixes needed for newer = Darwin on the 12 branch (I need to re-release 12.1 Darwin): https://github.com/iains/gcc-12-branch/tree/gcc-12-1-darwin-pre-r1=20 If that doesn=E2=80=99t work please file an issue. > but the development branch works for me (haven=E2=80=99t encountered = the potential pitfalls mentioned yet after testing it with some simple = programs). In general, new work needs to be on trunk anyway - so that this would = probably be what you would use. Note: I _rebase_ the work onto latest trunk from time to time .. = (actually overdue at the moment) so you have to keep an eye out for that = . good luck with the GSoC application! Iain