From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-yw1-x112e.google.com (mail-yw1-x112e.google.com [IPv6:2607:f8b0:4864:20::112e]) by sourceware.org (Postfix) with ESMTPS id D77103858D33 for ; Wed, 8 Nov 2023 15:30:24 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org D77103858D33 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 D77103858D33 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::112e 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-x112e.google.com with SMTP id 00721157ae682-5a86b6391e9so84976447b3.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=vBT1BHQFqije6HVGAtZYZbIhfrUXPvjew7NEkHnk3CAAkKSqt9e7kFJ8mw8oJy7sov ihP/AJy9l0Ix1qq+u1KkJCgE7Ycf2GIUM8JvzCSF22Ptj2uuySXEJTu/2GaajqDKnaJz 1nhgFtn6pbZ2VvqVj0VwvoG8I8O3tMm5gi9EDkbnBIC9jcTpiTsBx2aRaEGRpD/spDe9 iC3lYlHRG5tqj975Gz94PG0TyMu4jqgvtPCvtevbWUkjDIjqGIPUfpDhkR8uuFyOeA0m 4OjLR3ld2y9ntmWjt6dotMD/plbmNHZRKBJp6hObDPZNj/RwUAm9oGjkYiI+jy07q2Xr im8g== X-Gm-Message-State: AOJu0YxnNvcAjV2C34mzOCx1/8Rx9K90AcBoYlC0kBXs0G64HMZKIsUe mkWrZC5oQCmKUIlGwqGIo3sMMw== 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=-3.0 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=unavailable 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