From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x331.google.com (mail-wm1-x331.google.com [IPv6:2a00:1450:4864:20::331]) by sourceware.org (Postfix) with ESMTPS id EF93D3856DD9 for ; Mon, 12 Sep 2022 08:19:17 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org EF93D3856DD9 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-wm1-x331.google.com with SMTP id v185-20020a1cacc2000000b003b42e4f278cso7415266wme.5 for ; Mon, 12 Sep 2022 01:19:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; h=content-disposition:mime-version:message-id:subject:cc:to:from:date :from:to:cc:subject:date; bh=qsd4KoLcGKCTc7r1epoMcSAKSwqX9/FZCKwQSfcJATU=; b=cxv1tDuvpWLSYIo/7FJw94DnqWYZ2m5pR84DxrNmkZ2C8M7uWQlQU7XLMM2XvoJYs0 YsUGP5ZJiEtA7J/1CTrRaNjSiSmCyTRY8QtKsn1ogAZVljLPR/Ql64kVHsGPmIBqV6nB +JJqQ333Xw/h3mS8UsQzTLOIqp53e2I4CSAVb1wXgVjmEgPepVKrLbE6uGkbQXGFpCWm YMhvSxSvqShuN1NVaJKzF1ZhgmoeK6eprLFSPzeQKzn/gNNdd9BmVtct8HRkM99kPD85 gwIsJdy3yWoU+YHUkotuelK+NyAtZRrw2c2MyRQSHn3tw5fmagn6mD25bWvDfDSdE2K4 jOug== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-disposition:mime-version:message-id:subject:cc:to:from:date :x-gm-message-state:from:to:cc:subject:date; bh=qsd4KoLcGKCTc7r1epoMcSAKSwqX9/FZCKwQSfcJATU=; b=IaG0K4ncjOQhAVN4TVOmMXl2fva6bBBu3m8XN3zhR8PhtWa+rQSKd1hovhgtG6dDWR 4HS+z448nfpqcRnyKym8oynrNomwz2QpCuizGbxZI0KbrZUoxmKMxpb5r7BKv/XFZKV6 Wh03TRB+7rPM7G8d3EsTP336iPrXpT9oLf9XXfOYK6yaCScXJffFpffx3XHKfgpPzrx3 MUvoHEXJiI84uSHWtOJ5NI/d1gcwrKPz5X5BtV2AH5PAJZgl8q+DPGPzBp9oazEZvR/z yXGl0+3A4jzTbwLz4UEvFYMyUrH1+I2GNDxT8/DekPXwVPxW+2A0viLj/o5RHrYjESU+ jHoA== X-Gm-Message-State: ACgBeo1DbS9DNL72GpY98jmSI0Yh1mcoluyMgb/qoWb3MlBFkpJs6M6w pGdOHR8mFdZRI1G/jVKX2lsUV9iMd9Fm0w== X-Google-Smtp-Source: AA6agR5TgPIsukxqWalKRdbWuQ6lgp9Bmi280i3nxlmTofAhhjD5wDxlkEy6ZLliOLOIj7AVc58HGQ== X-Received: by 2002:a1c:ed0b:0:b0:3a6:30c:12f with SMTP id l11-20020a1ced0b000000b003a6030c012fmr12948124wmh.133.1662970756813; Mon, 12 Sep 2022 01:19:16 -0700 (PDT) Received: from poulhies-Precision-5550 (lmontsouris-659-1-24-67.w81-250.abo.wanadoo.fr. [81.250.175.67]) by smtp.gmail.com with ESMTPSA id l4-20020a05600c47c400b003a541d893desm8517953wmo.38.2022.09.12.01.19.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 12 Sep 2022 01:19:16 -0700 (PDT) Date: Mon, 12 Sep 2022 10:19:15 +0200 From: Marc =?iso-8859-1?Q?Poulhi=E8s?= To: gcc-patches@gcc.gnu.org Cc: Patrick Bernardi Subject: [Ada] Disable Support_Atomic_Primitives on x86_64 VxWorks Message-ID: <20220912081915.GA1512798@poulhies-Precision-5550> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="ReaqsoxgOBHFXBhH" Content-Disposition: inline X-Spam-Status: No, score=-12.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: --ReaqsoxgOBHFXBhH Content-Type: text/plain; charset=us-ascii Content-Disposition: inline The current configuration of the x86-64 VxWorks runtimes does not support atomic primitives. x86-64 VxWorks was missed from the previous patch. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * libgnat/system-vxworks7-x86_64-kernel.ads: Set Support_Atomic_Primitives to false. * libgnat/system-vxworks7-x86_64-rtp-smp.ads: Ditto. --ReaqsoxgOBHFXBhH Content-Type: text/x-diff; charset=us-ascii Content-Disposition: attachment; filename="patch.diff" diff --git a/gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads b/gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads --- a/gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads +++ b/gcc/ada/libgnat/system-vxworks7-x86_64-kernel.ads @@ -146,7 +146,7 @@ private Stack_Check_Probes : constant Boolean := True; Stack_Check_Limits : constant Boolean := False; Support_Aggregates : constant Boolean := True; - Support_Atomic_Primitives : constant Boolean := True; + Support_Atomic_Primitives : constant Boolean := False; Support_Composite_Assign : constant Boolean := True; Support_Composite_Compare : constant Boolean := True; Support_Long_Shifts : constant Boolean := True; diff --git a/gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads b/gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads --- a/gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads +++ b/gcc/ada/libgnat/system-vxworks7-x86_64-rtp-smp.ads @@ -149,7 +149,7 @@ private Stack_Check_Probes : constant Boolean := True; Stack_Check_Limits : constant Boolean := False; Support_Aggregates : constant Boolean := True; - Support_Atomic_Primitives : constant Boolean := True; + Support_Atomic_Primitives : constant Boolean := False; Support_Composite_Assign : constant Boolean := True; Support_Composite_Compare : constant Boolean := True; Support_Long_Shifts : constant Boolean := True; --ReaqsoxgOBHFXBhH--