From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp2-g21.free.fr (smtp2-g21.free.fr [212.27.42.2]) by sourceware.org (Postfix) with ESMTPS id 0C7C03858C5F for ; Mon, 27 Feb 2023 14:01:23 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 0C7C03858C5F Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=free.fr Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=free.fr Received: from [137.202.253.23] (unknown [192.94.31.2]) (Authenticated sender: paulf@free.fr) by smtp2-g21.free.fr (Postfix) with ESMTPSA id 7E98C2003FF for ; Mon, 27 Feb 2023 15:01:21 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=free.fr; s=smtp-20201208; t=1677506481; bh=COesfw+7hLAUGlpMMI0u4I/+x8cSP+j77t2W2d7SFyQ=; h=Date:Subject:To:References:From:In-Reply-To:From; b=PKJzQrbT4S8LpR0sUJ5HctAur0rktRTzh6q460uTT4yDCEfU0s9pPUm4kCV9sMIuH amGnNxftZsWm+YsHpI4SxSpkwi+wWjzmXej4xE/IZ3+1aGgrFZfAb/QRdRJ4oL0+Am bTicUDpKkcVrie4h/W0ozWhwTVtzmvFpmXbbtb4XpAQkIjvtT5GibnQOz0dRa+nIlM 7lAZ4dOU0asuxA8BU3t4Q2Lhb4yIQ64zko7BzV7qiNv32bFfjvxKzFpEuQqDd3k5Zq J0hA0FDj3ylA1ElJccYODNjLjIvItlDs3t0asG9/SGuOrtTpB/14IeL6L/yZEvjV6M MeLr1pB2tUHow== Content-Type: multipart/alternative; boundary="------------IAr5HVanVX30e0WodPG0XlBq" Message-ID: <9f768aee-c007-f571-b140-c0105c779fd5@free.fr> Date: Mon, 27 Feb 2023 15:01:20 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.8.0 Subject: Re: [GSoC][Static Analyzer] Some questions and request for a small patch to work on To: gcc@gcc.gnu.org References: <960EE623-1B17-4321-B77E-FBCD9496BE1F@gmail.com> <40fbb064f56845908f797400e5d9443b6cf97fe4.camel@redhat.com> <86EF7DED-439B-4B43-9E0D-425CC4010495@gmail.com> From: "Floyd, Paul" In-Reply-To: X-Spam-Status: No, score=-3.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE,JMQ_SPF_NEUTRAL,NICE_REPLY_A,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: This is a multi-part message in MIME format. --------------IAr5HVanVX30e0WodPG0XlBq Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit On 27/02/2023 14:49, Iain Sandoe wrote: > Hi Shengyu, >> By the way, is it expected that I need to configure with `--with-sysroot=/Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk`? >> >> Yes. >> - for some time now macOS no longer installs headers in /usr/include (and on newer versions most of the libraries are omitted from /usr/lib). The libs are now squirreled away in the DSC (dylib shared cache). For our protection. If you want to script the detection of sysroot you can use xcrun --sdk macosx --show-sdk-path (but that doesn't work with old versions of XCode). A+ Pau --------------IAr5HVanVX30e0WodPG0XlBq--