From patchwork Fri Feb 16 21:06:18 2024 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jakub Jelinek X-Patchwork-Id: 85909 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 7DE99385771C for ; Fri, 16 Feb 2024 21:07:24 +0000 (GMT) X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id E466C3857721 for ; Fri, 16 Feb 2024 21:06:24 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E466C3857721 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org E466C3857721 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=170.10.133.124 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1708117586; cv=none; b=JdoTQ77HdccF+J4rAoErdHInF7+GpUeCiCX3brMNYzOPRdNO8E2M+TlhkicK/7zzFnuLQFlqewJpU107pZQwJw40mSGrNj1UkqI38Z5IdCR/oNv4kVo2qXoE0GYLBdMWUx52JU0EB/qOc9eNYsqho2E0w5cpqAF9VEHMGHxyqZ8= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1708117586; c=relaxed/simple; bh=o+cWhvXOuqWjwvEmoaFJ//3p6m2Au4cgUQJ2XcVYKwY=; h=DKIM-Signature:Date:From:To:Subject:Message-ID:MIME-Version; b=uDqAfZx3CyZwBWI2uIuQqq5Y5UP2HxpEpTehnQ2Z4hhv7fxe+azdhg0jEp9rnL+vbkktLgGtAPm1elTR9flKkHKOgKe1JvvKFQJDVdZOQwlIRTN/FC/3GbGpfSq4biv9i1EbMw3szuOv4psqD5B4LxjmBE8RlFIiaDJ9S5tYiKY= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1708117584; h=from:from:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references; bh=xXWskt3adSnv9htBgbtlVONm3u5lRk/S6OMUQaEKCX8=; b=afqVlOGSc4WxswlUBz+qJbfPN6OEp1QsqCdpXsWMDa8R0SUCH0MZtDB38PHQGY3BMQKUWg UJdr45bnAnod4yrx6XSzT/FuvDR9IFYMXOiuzrznhk9yTDm2DkldlCOHHXOC9yvQQ3vUyp yk7Tf4++JSgLyFp2DkzpJNGT7qnmo/8= Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-252-IgZ7Byf4P_272eEWBqKfJQ-1; Fri, 16 Feb 2024 16:06:22 -0500 X-MC-Unique: IgZ7Byf4P_272eEWBqKfJQ-1 Received: from smtp.corp.redhat.com (int-mx10.intmail.prod.int.rdu2.redhat.com [10.11.54.10]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 5CAF383DDE0 for ; Fri, 16 Feb 2024 21:06:22 +0000 (UTC) Received: from tucnak.zalov.cz (unknown [10.39.192.8]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 2063F492BE4; Fri, 16 Feb 2024 21:06:22 +0000 (UTC) Received: from tucnak.zalov.cz (localhost [127.0.0.1]) by tucnak.zalov.cz (8.17.1/8.17.1) with ESMTPS id 41GL6J73191942 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Fri, 16 Feb 2024 22:06:20 +0100 Received: (from jakub@localhost) by tucnak.zalov.cz (8.17.1/8.17.1/Submit) id 41GL6J1u191941; Fri, 16 Feb 2024 22:06:19 +0100 Date: Fri, 16 Feb 2024 22:06:18 +0100 From: Jakub Jelinek To: Jason Merrill Cc: gcc-patches@gcc.gnu.org Subject: [PATCH] dwarf2out, v3: Emit DW_AT_export_symbols on anon unions/structs [PR113918] Message-ID: References: MIME-Version: 1.0 In-Reply-To: X-Scanned-By: MIMEDefang 3.4.1 on 10.11.54.10 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Disposition: inline X-Spam-Status: No, score=-3.6 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H4, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE, 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 X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Jakub Jelinek Errors-To: gcc-patches-bounces+patchwork=sourceware.org@gcc.gnu.org On Fri, Feb 16, 2024 at 03:40:39PM -0500, Jason Merrill wrote: > > --- gcc/cp/cp-objcp-common.cc.jj 2024-02-13 12:50:21.666846296 +0100 > > +++ gcc/cp/cp-objcp-common.cc 2024-02-16 20:40:51.374763528 +0100 > > @@ -410,6 +410,15 @@ cp_type_dwarf_attribute (const_tree type > > return 1; > > break; > > + case DW_AT_export_symbols: > > For C++ this can use ANON_AGGR_TYPE_P, so it doesn't need to involve the > FIELD_DECL at all. But I suppose the C front-end doesn't have a similar > flag? Yes, using ANON_AGGR_TYPE_P there works for C++, but C doesn't have anything like that. All it uses is DECL_NAME == NULL on FIELD_DECL + RECORD_OR_UNION_TYPE_P on its type to determine anon struct/union. The patch below has updated cp_type_dwarf_attribute, otherwise the same as before. 2024-02-16 Jakub Jelinek PR debug/113918 gcc/ * dwarf2out.cc (gen_field_die): Emit DW_AT_export_symbols on anonymous unions or structs for -gdwarf-5 or -gno-strict-dwarf. gcc/c/ * c-tree.h (c_type_dwarf_attribute): Declare. * c-objc-common.h (LANG_HOOKS_TYPE_DWARF_ATTRIBUTE): Redefine. * c-objc-common.cc: Include dwarf2.h. (c_type_dwarf_attribute): New function. gcc/cp/ * cp-objcp-common.cc (cp_type_dwarf_attribute): Return 1 for DW_AT_export_symbols on anonymous structs or unions. gcc/testsuite/ * c-c++-common/dwarf2/pr113918.c: New test. Jakub --- gcc/dwarf2out.cc.jj 2024-02-15 13:54:29.284358101 +0100 +++ gcc/dwarf2out.cc 2024-02-16 20:38:19.718841259 +0100 @@ -25153,6 +25153,17 @@ gen_field_die (tree decl, struct vlr_con add_accessibility_attribute (decl_die, decl); + /* Add DW_AT_export_symbols to anonymous unions or structs. */ + if ((dwarf_version >= 5 || !dwarf_strict) && DECL_NAME (decl) == NULL_TREE) + if (tree type = member_declared_type (decl)) + if (lang_hooks.types.type_dwarf_attribute (TYPE_MAIN_VARIANT (type), + DW_AT_export_symbols) != -1) + { + dw_die_ref type_die = lookup_type_die (TYPE_MAIN_VARIANT (type)); + if (type_die && get_AT (type_die, DW_AT_export_symbols) == NULL) + add_AT_flag (type_die, DW_AT_export_symbols, 1); + } + /* Equate decl number to die, so that we can look up this decl later on. */ equate_decl_number_to_die (decl, decl_die); } --- gcc/c/c-tree.h.jj 2024-01-31 10:46:35.164761720 +0100 +++ gcc/c/c-tree.h 2024-02-16 20:43:45.993372908 +0100 @@ -731,6 +731,7 @@ extern bool c_warn_unused_global_decl (c extern void c_initialize_diagnostics (diagnostic_context *); extern bool c_var_mod_p (tree x, tree fn); extern alias_set_type c_get_alias_set (tree); +extern int c_type_dwarf_attribute (const_tree, int); /* in c-typeck.cc */ extern int in_alignof; --- gcc/c/c-objc-common.h.jj 2024-01-03 12:06:52.973862999 +0100 +++ gcc/c/c-objc-common.h 2024-02-16 20:42:21.073535465 +0100 @@ -119,6 +119,9 @@ static const scoped_attribute_specs *con #undef LANG_HOOKS_GIMPLIFY_EXPR #define LANG_HOOKS_GIMPLIFY_EXPR c_gimplify_expr +#undef LANG_HOOKS_TYPE_DWARF_ATTRIBUTE +#define LANG_HOOKS_TYPE_DWARF_ATTRIBUTE c_type_dwarf_attribute + #undef LANG_HOOKS_OMP_PREDETERMINED_SHARING #define LANG_HOOKS_OMP_PREDETERMINED_SHARING c_omp_predetermined_sharing --- gcc/c/c-objc-common.cc.jj 2024-01-03 12:06:53.213859637 +0100 +++ gcc/c/c-objc-common.cc 2024-02-16 20:45:24.649022305 +0100 @@ -30,6 +30,7 @@ along with GCC; see the file COPYING3. #include "gcc-rich-location.h" #include "stringpool.h" #include "attribs.h" +#include "dwarf2.h" static bool c_tree_printer (pretty_printer *, text_info *, const char *, int, bool, bool, bool, bool *, const char **); @@ -446,3 +447,25 @@ instantiation_dependent_expression_p (tr { return false; } + +/* Return -1 if dwarf ATTR shouldn't be added for TYPE, or the attribute + value otherwise. */ +int +c_type_dwarf_attribute (const_tree type, int attr) +{ + if (type == NULL_TREE) + return -1; + + switch (attr) + { + case DW_AT_export_symbols: + if (RECORD_OR_UNION_TYPE_P (type) && TYPE_NAME (type) == NULL_TREE) + return 1; + break; + + default: + break; + } + + return -1; +} --- gcc/cp/cp-objcp-common.cc.jj 2024-02-13 12:50:21.666846296 +0100 +++ gcc/cp/cp-objcp-common.cc 2024-02-16 21:48:33.880458318 +0100 @@ -410,6 +410,11 @@ cp_type_dwarf_attribute (const_tree type return 1; break; + case DW_AT_export_symbols: + if (ANON_AGGR_TYPE_P (type)) + return 1; + break; + default: break; } --- gcc/testsuite/c-c++-common/dwarf2/pr113918.c.jj 2024-02-16 20:27:13.996961811 +0100 +++ gcc/testsuite/c-c++-common/dwarf2/pr113918.c 2024-02-16 20:27:13.996961811 +0100 @@ -0,0 +1,33 @@ +/* PR debug/113918 */ +/* { dg-do compile } */ +/* { dg-options "-gdwarf-5 -dA -fno-merge-debug-strings" } */ + +struct S { + union { + int i; + long long j; + }; + struct { + int k; + long long l; + }; + union { + int m; + long long n; + } u; + struct { + int o; + long long p; + } v; +} s; + +int +main () +{ + s.i = 1; + s.k = 2; + s.u.m = 3; + s.v.o = 4; +} + +/* { dg-final { scan-assembler-times "DW_AT_export_symbols" 4 } } */