From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x330.google.com (mail-wm1-x330.google.com [IPv6:2a00:1450:4864:20::330]) by sourceware.org (Postfix) with ESMTPS id 784CF3857010 for ; Wed, 5 May 2021 10:06:34 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 784CF3857010 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=botcazou@adacore.com Received: by mail-wm1-x330.google.com with SMTP id l24-20020a7bc4580000b029014ac3b80020so3073931wmi.1 for ; Wed, 05 May 2021 03:06:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore-com.20150623.gappssmtp.com; s=20150623; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=kmvLXGsMClq1c4WcQg6341G2KawVAjgyGbtPJCxzlZs=; b=sZzNQplLCNQjzWFX1BZfyuLc8iyo7JH138CurIhA2HxsN1yL9vASeDDgT75KfJK9xC 1yWjaUVsFg2SYVrmkm0RsPZ8Nt7IE35gEPizqK8xr/F7y7XKUGRrbANT+W6eSEttCXcF nzILGircOJXRxh+wtLlQCqc24jceRrELplUs3ZJjNWmhaufaFs2OyZXjEj1p57SwUHr5 zr6N6rUYrcY0Bp2R+WGv2bCSKk9tCltQDQNrs1Qa2dymCzuDYZUdsdu1oyYE09Htp557 7q/qK/vE6zaPNzuCY686OPhA1ONBZsAvusORK98SSrJe5n8bhAy8VuJZ9Wh2+Chd6PAd mWkg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=kmvLXGsMClq1c4WcQg6341G2KawVAjgyGbtPJCxzlZs=; b=O2cJmg4FpvKY8TOvopdLhqQwI2SSn0o8HPdMQuK8Vo0WDx264aAJJFxg4d8pPC6JqC SDV1cdjzVGrxkvLST9XJO5AiPS/qKdMdM0l2G8EwSlnUyQuSkACOD8bXj5YXn0irOu/K G8O7Ix6p69qwkVt6L/cPmuBoJyOBZkXF2/KQOsfpqbHvYj8O5JKVJhhnpnDjJAx8fvFq clyefchecJv6TEBsCpM97tjI0VC04QH2SLP63a6aNp9+HZ1LvRj6Ub7zUTYZuKqhIxEm DNlbMsSS+2kmAEBoAwixRHH2uYl8wm0BczjNyzhrSYTraKxbnOBTjDIKaTCI9yDu19SL vPkQ== X-Gm-Message-State: AOAM533m7iWqwPhCtH6eV5nhiK5/HTAhXFcfMTb8zL2ooN/NB4uJ+vqG 9HIEp8lIa1iEAWvcf4assbWqpg== X-Google-Smtp-Source: ABdhPJw5BNF5nXgcBRI1/VjWu7u8bEd9pkLDAIoDkHuZQT3d93zhSZrXQ0q5UIwUD3cqxzxNu7LxQA== X-Received: by 2002:a05:600c:190f:: with SMTP id j15mr8931581wmq.57.1620209193611; Wed, 05 May 2021 03:06:33 -0700 (PDT) Received: from fomalhaut.localnet ([2a01:e0a:41b:84f0:cf71:f5e0:b050:bede]) by smtp.gmail.com with ESMTPSA id m11sm4943261wmq.33.2021.05.05.03.06.32 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 05 May 2021 03:06:33 -0700 (PDT) From: Eric Botcazou X-Google-Original-From: Eric Botcazou To: Richard Biener Cc: gcc-patches@gcc.gnu.org Subject: Re: [patch] Generate debug info for local dynamic record types Date: Wed, 05 May 2021 12:06:31 +0200 Message-ID: <9879713.nUPlyArG6x@fomalhaut> In-Reply-To: References: <2787529.e9J7NaK4W3@fomalhaut> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="nextPart2137868.iZASKD2KPV" Content-Transfer-Encoding: 7Bit X-Spam-Status: No, score=-5.2 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 05 May 2021 10:06:36 -0000 This is a multi-part message in MIME format. --nextPart2137868.iZASKD2KPV Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" > OK. Thanks. > I suppose there's no easy way to build a gnat.dg "guality" testcase for > this? On all the platforms I test, I have a bunch of guality failures so I'm not really thrilled by the idea... This should be covered by the GDB testsuite run with -fgnat-encodings=minimal but it's actually easy to check in DWARF 5. * gnat.dg/debug17.adb: New test. -- Eric Botcazou --nextPart2137868.iZASKD2KPV Content-Disposition: attachment; filename="debug17.adb" Content-Transfer-Encoding: 7Bit Content-Type: text/x-adasrc; charset="utf-8"; name="debug17.adb" -- { dg-do compile } -- { dg-skip-if "No Dwarf" { { hppa*-*-hpux* } && { ! lp64 } } } -- { dg-options "-cargs -O0 -g -dA -fgnat-encodings=minimal -margs" } pragma No_Component_Reordering; procedure Debug17 (Number_Of_Bits : Natural) is type Bitinfos_T is array (Natural range 1 .. Number_Of_Bits) of Float; type Inner_Record_T is record Bitinfos : Bitinfos_T := (others => 1.5); Check1 : Integer := 1983; Check2 : Integer := 1995; Flag : Boolean := False; Check3 : Integer := 2005; end record; Rfield : Inner_Record_T; begin null; end; -- { dg-final { scan-assembler-not "DW_AT_data_member_location (0)" } } --nextPart2137868.iZASKD2KPV--