From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-yw1-x112d.google.com (mail-yw1-x112d.google.com [IPv6:2607:f8b0:4864:20::112d]) by sourceware.org (Postfix) with ESMTPS id DF7683858D3C for ; Wed, 8 Nov 2023 15:30:24 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org DF7683858D3C Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org DF7683858D3C Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::112d ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699457426; cv=none; b=WyBQl2ivZvQA3wroRxD8yU13YfCM3U9lTo5BRHmc5vK1X2SBOw3YHMHekSOYfSz+MmzaNMWR/kZ5/idj4noqzrWA7jqq578irsg9FOPlNLNLea1a1zMoR6YjqQBleh0og1FFSGpZLPhnhOt2TizpdsD8y9Dwyp3tywCHs1iJn0E= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1699457426; c=relaxed/simple; bh=ic57rA/8QLVmL1mzRM3xpEPmSdGn5+SPT7wxLVj6FUQ=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=MClBwCGeaxmLwh6x6/iYtOCGHDkp8lClxDveHVgq/joWrd+OhbODIrkM/mjKSjxp24pOqSGeo4b1TUS+XVJVK+D6dDrHE/s/Qec1rverrHhvuuR1W/z9dnkUQmwWdTnBtQb5XEL+l/V1T5mG6i45Jm2PgbnQhzo9JVA+OEgLoDY= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-yw1-x112d.google.com with SMTP id 00721157ae682-5a86b6391e9so84976417b3.0 for ; Wed, 08 Nov 2023 07:30:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1699457424; x=1700062224; darn=gcc.gnu.org; h=mime-version:user-agent:message-id:in-reply-to:date:references :organization:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=+welbqYmcuNiboGVeBUA+sR8jcrmh2CrSwetGsYk3Z4=; b=Yln0hfkLdelui7VNAf39uFCZJZTvrswvSpGom6n1qujnSDr3A07+FsP1wXxIVXsQi3 WdDirHOEb72sGmxyuFxFZBmG5Mnr3/0YEjZ7TK8Jp7pyAzi6N8cjumReSq4PBZfVeZyM 135+i/Af3pVRgTIf41tJGlxiEvEoCoMgj0vdEMflrwXblXDd4VFWgAJDoNVW+ca58U6u JmtZfNBgx/zjZKhYlYPAQWfUWth2JrvHhqjsno7KF8aeGf506Vk5xKJFw/aH51tefr6N +zkhd3MMmi36h+uvr2bNybeFbOn/0MTpFfNsXlVumrvXGeUn3H/fJhubRif30AC1cSHK NQ6g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699457424; x=1700062224; h=mime-version:user-agent:message-id:in-reply-to:date:references :organization:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=+welbqYmcuNiboGVeBUA+sR8jcrmh2CrSwetGsYk3Z4=; b=YogKELHIOKKud+6kVfK22fZ5PKleffNyQZc6kwbaGXlFIksl7kYeETtMBW23LD42Vn rCk/0pdUsfjHaWappkxtQ2jAbL9UOUGK1xXhs+dWznSPsioR/DxsxzqntCwu9OP3/iRV hREMjm4Qxr7qGnqVHdTQY5orI7Dx2oKK9KrRVwx/XifcdQJiFErKBuLmqLc4QSfyKRDO 7a3t6aqUlgLfeGIzIM/Hu+2rgv+jl0wpZ4ZELdtuhPmfCpg+hKkChRxckKZCbGBI9zTh iD71NgV/6Ze7tjnSrj1JUvmGjR4Wcf5BZhL2/QG6ocnVwCIxYAENtPLyIq1uSWHbxyLB lpbA== X-Gm-Message-State: AOJu0YyY+o0Q2w8gqbwns0T7omKrm8RWz+V1VAsKyP9nDQZEPyZjLS+l njMHhIQpUjKATUeNS9M1oe0LFQ== X-Google-Smtp-Source: AGHT+IFmWMMNCc2+VxMQeK7wWDAfkP3FBiE505XDo2njX/Rv1iBgncDgStYdzEM54NDmVX4qvk60Ww== X-Received: by 2002:a0d:dac2:0:b0:5a7:e4fe:ea3 with SMTP id c185-20020a0ddac2000000b005a7e4fe0ea3mr2204595ywe.22.1699457424068; Wed, 08 Nov 2023 07:30:24 -0800 (PST) Received: from free.home ([2804:7f1:2080:e9c8:ff5e:88e8:a900:d7b4]) by smtp.gmail.com with ESMTPSA id x184-20020a814ac1000000b0057a8de72338sm6924509ywa.68.2023.11.08.07.30.22 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 08 Nov 2023 07:30:22 -0800 (PST) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 3A8FU5cA2213939 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Wed, 8 Nov 2023 12:30:06 -0300 From: Alexandre Oliva To: Jonathan Wakely Cc: Mike Stump , gcc-patches@gcc.gnu.org, Rainer Orth , libstdc++@gcc.gnu.org, Arsen =?utf-8?Q?Arsenovi=C4=87?= Subject: Re: testsuite: introduce hostedlib effective target Organization: Free thinker, does not speak for AdaCore References: <600FDF8F-67C5-408F-BD24-9A3964A8BFA1@comcast.net> Date: Wed, 08 Nov 2023 12:30:05 -0300 In-Reply-To: (Jonathan Wakely's message of "Tue, 7 Nov 2023 10:37:10 +0000") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-4.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE,WEIRD_QUOTING 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 Nov 7, 2023, Jonathan Wakely wrote: > An alternative approach for the g++ testsuite would be to provide a > set of dummy headers for the non-freestanding ones, so that all the > hosted-only headers are provided by the testsuite itself, but consist > of a single line: > #error not available in freestanding > Then match on that and XFAIL. So the individual tests themselves > wouldn't need the dg-skip-if added to them, they would just > automatically XFAIL if they use a hosted-only header. *nod*. That wouldn't cover all the circumstances, alas: there are tests that fail in freestanding mode not because of headers, but because -fcontracts (currently?) links libstdc++exp in, and that library is not even built in freestanding mode. > The difficulty would be where to add those dummy headers for > , etc. so that they're only found when testing a > non-hosted build. Maybe libstdc++ could provide them in the build dir > for the purposes of the testsuite, but not install them? We run install-tree testing, so that wouldn't quite work for us. If the headers are in some subdirectory in the source tree, that we (or the testsuite machinery) would just add to the -I set, that would help. -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer More tolerance and less prejudice are key for inclusion and diversity Excluding neuro-others for not behaving ""normal"" is *not* inclusive