From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x429.google.com (mail-wr1-x429.google.com [IPv6:2a00:1450:4864:20::429]) by sourceware.org (Postfix) with ESMTPS id 10A58385DC0E for ; Tue, 18 Jul 2023 13:13:48 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 10A58385DC0E 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-wr1-x429.google.com with SMTP id ffacd0b85a97d-3142970df44so5390165f8f.3 for ; Tue, 18 Jul 2023 06:13:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1689686027; x=1690290827; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=dj1vFmk3OFQuVAK11nUojTblAzQLoFg+hAn9F1m08U8=; b=WqMdprS+Ypi00E8usbvzi6/6tWEm5/Z1nbxCJOLJmwtyWqD4Y9HK0sCscfqSzm486/ vps04WnPs9c9peSs5TmF1yHROqTp5g7fA1zsfir/0Ia1YcUp4x0WJIq4oAAsBUnn5Qr0 chtrAoKPcj6IfPUCJj1n/ztJxH0Rvugb0Hsm7Q73qSIOiZ/adSzRe5Ly2N7d+kWrEoiq GNhy/ZYIdG4P/8e5lyVIeCKH+jiFJYWJ6XysT5mJrIscPo4kNIMU67/LNJYv3Dj2baOR 0wtvTH9/YxwtINSD9Gg4xSIBufzU4vW3mU6DVrJrVSpx/FYxvvJGMghM3lCPA2NqXUz4 Gjbg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1689686027; x=1690290827; 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=dj1vFmk3OFQuVAK11nUojTblAzQLoFg+hAn9F1m08U8=; b=SJMSkNzrodRVMztuDkfQFWeNKqOhrtYDASPdUrGo+VRS1aWGzp73bwhN9oZz+zG+O2 yzNVS99gv7wVr3M6+S1UcoaJqgOyPg2KfJYK4UIdiaDJ+2mYJuSXYxDN9ktza4EekSMN BaXSO4BlTxAvas0u3TuXfDYK7RAN7GE/Bkaoyz/stjBBuww6tMcEuNoeHSe5iH4ON2Eo TIfT6+/E+YhL3dZnx7tS+0llzHzFoKDJLKGxGenJ4jeLn+2opJAKyHx7O7qz7osu0g2E Lw8xQdDqIy8rxh5CNLHoJmWtN47VpSCt3mllno/Ju+YRX2zjBFG0XNeJ40T2Wvl/1P+A /Vqg== X-Gm-Message-State: ABy/qLZr82LK5Aq8Rv37VGE6jfCN3mEVn3Ogm8tYVZk5I4iXhl+E+Fp3 OnCjTaJYVpvajM+ABnBuEi+2p68AfqeHQEaigUzzWQ== X-Google-Smtp-Source: APBJJlE1fYaW6PVo5adqYecjItl05tcf7+KXu7nc0/eNdHuL59x++FYyfqpbr/ei+V16a0y2IFZrug== X-Received: by 2002:a5d:504e:0:b0:312:74a9:8259 with SMTP id h14-20020a5d504e000000b0031274a98259mr9920039wrt.71.1689686026791; Tue, 18 Jul 2023 06:13:46 -0700 (PDT) Received: from poulhies-Precision-5550.telnowedge.local (lmontsouris-659-1-24-67.w81-250.abo.wanadoo.fr. [81.250.175.67]) by smtp.gmail.com with ESMTPSA id x4-20020a5d6504000000b0031417fd473csm2379377wru.78.2023.07.18.06.13.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 18 Jul 2023 06:13:46 -0700 (PDT) From: =?UTF-8?q?Marc=20Poulhi=C3=A8s?= To: gcc-patches@gcc.gnu.org Cc: Tom Tromey Subject: [COMMITTED] ada: Use new typedefs in gcc-interface Date: Tue, 18 Jul 2023 15:13:45 +0200 Message-Id: <20230718131345.81635-1-poulhies@adacore.com> X-Mailer: git-send-email 2.40.0 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-13.7 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: Tom Tromey This changes gcc-interface to use the typedefs that were recently introduced in gnat. This is another step toward switching the code generator to emit enums rather than preprocessor defines. In a couple of spots, a 'default' case is also added. These avoid warnings from -Wswitch when the typedefs are changed to be enums. gcc/ada/ * gcc-interface/decl.cc (check_ok_for_atomic_type): Use Pragma_Id. * gcc-interface/trans.cc (lvalue_required_p, Pragma_to_gnu): Use Pragma_Id. (get_type_length, Attribute_to_gnu, get_atomic_access): Use Attribute_Id. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/gcc-interface/decl.cc | 5 ++++- gcc/ada/gcc-interface/trans.cc | 15 ++++++++++----- 2 files changed, 14 insertions(+), 6 deletions(-) diff --git a/gcc/ada/gcc-interface/decl.cc b/gcc/ada/gcc-interface/decl.cc index ee913a017d2..ae756b35fdb 100644 --- a/gcc/ada/gcc-interface/decl.cc +++ b/gcc/ada/gcc-interface/decl.cc @@ -6875,6 +6875,9 @@ elaborate_entity (Entity_Id gnat_entity) } break; + /* -Wswitch warning avoidance. */ + default: + break; } } @@ -9705,7 +9708,7 @@ check_ok_for_atomic_type (tree type, Entity_Id gnat_entity, bool component_p) gnat_node = Next_Rep_Item (gnat_node)) if (Nkind (gnat_node) == N_Pragma) { - unsigned char pragma_id + const Pragma_Id pragma_id = Get_Pragma_Id (Chars (Pragma_Identifier (gnat_node))); if ((pragma_id == Pragma_Atomic && !component_p) diff --git a/gcc/ada/gcc-interface/trans.cc b/gcc/ada/gcc-interface/trans.cc index f5eadbbc895..fd85facaf70 100644 --- a/gcc/ada/gcc-interface/trans.cc +++ b/gcc/ada/gcc-interface/trans.cc @@ -814,7 +814,7 @@ lvalue_required_p (Node_Id gnat_node, tree gnu_type, bool constant, case N_Pragma: if (Is_Pragma_Name (Chars (Pragma_Identifier (gnat_parent)))) { - const unsigned char id + const Pragma_Id id = Get_Pragma_Id (Chars (Pragma_Identifier (gnat_parent))); return id == Pragma_Inspection_Point; } @@ -1331,7 +1331,7 @@ Pragma_to_gnu (Node_Id gnat_node) if (!Is_Pragma_Name (Chars (Pragma_Identifier (gnat_node)))) return gnu_result; - const unsigned char id + const Pragma_Id id = Get_Pragma_Id (Chars (Pragma_Identifier (gnat_node))); /* Save the expression of pragma Compile_Time_{Error|Warning} for later. */ @@ -1670,7 +1670,8 @@ get_type_length (tree type, tree result_type) should place the result type. ATTRIBUTE is the attribute ID. */ static tree -Attribute_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p, int attribute) +Attribute_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p, + Attribute_Id attribute) { const Node_Id gnat_prefix = Prefix (gnat_node); tree gnu_prefix = gnat_to_gnu (gnat_prefix); @@ -2370,6 +2371,10 @@ Attribute_to_gnu (Node_Id gnat_node, tree *gnu_result_type_p, int attribute) case Attr_Bit_Position: gnu_result = gnu_field_bitpos; break; + + /* -Wswitch warning avoidance. */ + default: + break; } /* If this has a PLACEHOLDER_EXPR, qualify it by the object we are @@ -4292,7 +4297,7 @@ static void get_atomic_access (Node_Id gnat_node, atomic_acces_t *type, bool *sync) { Node_Id gnat_parent, gnat_temp; - unsigned char attr_id; + Attribute_Id attr_id; /* First, scan the parent to filter out irrelevant cases. */ gnat_parent = Parent (gnat_node); @@ -6854,7 +6859,7 @@ gnat_to_gnu (Node_Id gnat_node) case N_Attribute_Reference: { /* The attribute designator. */ - const int attr = Get_Attribute_Id (Attribute_Name (gnat_node)); + const Attribute_Id attr = Get_Attribute_Id (Attribute_Name (gnat_node)); /* The Elab_Spec and Elab_Body attributes are special in that Prefix is a unit, not an object with a GCC equivalent. */ -- 2.40.0