From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x42f.google.com (mail-wr1-x42f.google.com [IPv6:2a00:1450:4864:20::42f]) by sourceware.org (Postfix) with ESMTPS id C761C385E828 for ; Tue, 19 Dec 2023 14:30:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C761C385E828 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 C761C385E828 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a00:1450:4864:20::42f ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1702996251; cv=none; b=mvtcJea7ZSKBDTt9qSEt34jFTnVh8Z5nJWekJbymUmTbId8VaWwoVz6twAYk8OA6Al5NbtIpW2AhxErGOlFsxUbi7iRdpjwBH8z0aggKHq2LncoP5WtToJfrLofCHGfaYY+N3lrvv8xUbl9prAWQL4DPGrkfGbL9PFw3kBACGqc= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1702996251; c=relaxed/simple; bh=cUotQBb3BF3czKHWYnbNyTt0plwX3ewchHqlHPd/lZ8=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=QBbR/5nZttjL2jvs66eGWd8rLtdN8KFJSL6MkNyowlM9SvzoJAuu7zoNh+ySlndPBGPHnHgqGVjPUrIv34G+lfmfigv06jGNsRPv9b+8zsddn3lTq4Xske3U2k/JsY5oO9dYKNiUGavsBCLBypIyVP+6Fx7wNoUn2unpySAIfyw= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-wr1-x42f.google.com with SMTP id ffacd0b85a97d-33666fb9318so2603303f8f.2 for ; Tue, 19 Dec 2023 06:30:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1702996248; x=1703601048; darn=gcc.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=pgSxS8LnshMPO3PWPt8jRV1ovwAWPE9+EB49UXUTwfY=; b=kNpuBnbLxCGNE18/NKPppqFXRCflt3eNUo1HSRzG6W0Z7fEw9oB005LqjTGsIsMIMt o3GSOsY/zqZWlF7qGwvdNoZ4/03iqBfE1lDZKdrdBxQsmivSBpCa1UVIZcWxGqGyNkwj S0wUkcDBAPTaXTEi3rkOdNY7bLlc2gP5OT+tbOquudCK19Bhu4K46TS3apew+614dE8g EmIGP9ZTqO2PtDK1YrNw5AuUlmenc6WcVVaLbgmceCXSu6RNUBhkPMoaCdREyYLjDc9f xfaDrNJO5dqScB0ytxDgYhx7QsyrRjseP+CIZFHLVm85qkFj9ph2+gCpOZgXu/3vo/SE 5Ncw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1702996248; x=1703601048; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=pgSxS8LnshMPO3PWPt8jRV1ovwAWPE9+EB49UXUTwfY=; b=w5zmSR/0PQkMQls1g5gCb1Ztc8pkqx30uELFLm0E4aOLkNnQew1ovGYCvOmFj/9+0P HuWgf5hvsxZQ/rQFbkXatAe6N5KYUPxMCcMo2boVcuflynWRyTMddxfDRihcNUcK+alR 8AnSceCCLewDD0vTZei5mpFujUNhAKOZFMn83wHVSWA2zA2YrOjuo7kTs2JI9YwAiMPh D0obCy8x31UPZyCa9SLg+gxCb98ts27S07xFNPoqbBt2jmvtvz4HO7EuP9Sq4Fc8NfRe Pn+J3Bw9Cjoqqs6qt2KoRZSmOj1KTmJeUCj78NyFR0qn3RMcblQJuE7xSGD/jNv+ug8c AVFg== X-Gm-Message-State: AOJu0Yzciq6oqj1EDwsgxmxKaM5AdTVtw348dNex+W86O2KwcsO9nPxb RPtVvHo4MdSSHHWMo5XqXWkoU943y3lJNh0Q4Vg= X-Google-Smtp-Source: AGHT+IHF9ih8TaokHX55kXNaZn8jvUf1Qk4zr7TtpGuHyotuh/f+htCgmELWHDw4+g7j1ZsR5Sq8vA== X-Received: by 2002:a5d:5f86:0:b0:336:5d66:37ba with SMTP id dr6-20020a5d5f86000000b003365d6637bamr3560015wrb.134.1702996248646; Tue, 19 Dec 2023 06:30:48 -0800 (PST) Received: from poulhies-Precision-5550.lan ([2001:861:3382:1a90:fe1e:443:c34f:edaa]) by smtp.gmail.com with ESMTPSA id t4-20020a5d4604000000b0033642a9a1eesm16761241wrq.21.2023.12.19.06.30.48 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 19 Dec 2023 06:30:48 -0800 (PST) From: =?UTF-8?q?Marc=20Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Johannes Kliemann Subject: [COMMITTED] ada: Remove No_Dynamic_Priorities from Restricted_Tasking Date: Tue, 19 Dec 2023 15:30:47 +0100 Message-ID: <20231219143047.455362-1-poulhies@adacore.com> X-Mailer: git-send-email 2.43.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.6 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: From: Johannes Kliemann Some of our restricted runtimes support dynamic priorities. The binder needs to generate code for a restricted runtime even if the restriction No_Dynamic_Priorities is not in place. gcc/ada/ * libgnat/s-rident.ads: Remove No_Dynamic_Priorities from Restricted_Tasking. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/libgnat/s-rident.ads | 1 - 1 file changed, 1 deletion(-) diff --git a/gcc/ada/libgnat/s-rident.ads b/gcc/ada/libgnat/s-rident.ads index de8b20edd7a..d280cfc219f 100644 --- a/gcc/ada/libgnat/s-rident.ads +++ b/gcc/ada/libgnat/s-rident.ads @@ -449,7 +449,6 @@ package System.Rident is No_Asynchronous_Control => True, No_Dynamic_Attachment => True, No_Dynamic_CPU_Assignment => True, - No_Dynamic_Priorities => True, No_Local_Protected_Objects => True, No_Protected_Type_Allocators => True, No_Requeue_Statements => True, -- 2.43.0