From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id X3baGBEKfWID3wUAWB0awg (envelope-from ) for ; Thu, 12 May 2022 09:22:25 -0400 Received: by simark.ca (Postfix, from userid 112) id 58A691E220; Thu, 12 May 2022 09:22:25 -0400 (EDT) Authentication-Results: simark.ca; dkim=pass (1024-bit key; secure) header.d=sourceware.org header.i=@sourceware.org header.a=rsa-sha256 header.s=default header.b=jI6a788S; dkim-atps=neutral X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-3.0 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI,NICE_REPLY_A,RDNS_DYNAMIC, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from sourceware.org (ip-8-43-85-97.sourceware.org [8.43.85.97]) (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 simark.ca (Postfix) with ESMTPS id AF92F1E00D for ; Thu, 12 May 2022 09:22:24 -0400 (EDT) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 0CACD387092A for ; Thu, 12 May 2022 13:22:24 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 0CACD387092A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1652361744; bh=gqviSurmlyn2h9AdOAhcfaT54CZ6Syo8YOFlbXbZ8Jw=; h=Date:Subject:To:References:In-Reply-To:List-Id:List-Unsubscribe: List-Archive:List-Post:List-Help:List-Subscribe:From:Reply-To:Cc: From; b=jI6a788S+KvzfPBACCkpYr9D/lGMEcenPo3WkEqOEASQ4A3C4WiAGbRVexZxZ/99S xQzdyZYXW/tOntblCVj/o+2CzuU8MRdAFpkLHGD8vRTvCGxH8+HFrh8X8oNO+iu0A4 Gujj2CudNXc3p64fRR5Bb2EZQuObc+7wc+1rvB68= Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by sourceware.org (Postfix) with ESMTPS id 879A53839C7C for ; Thu, 12 May 2022 13:17:42 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 879A53839C7C Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-231-vDyrpZT1OzmzWJ9NAqFQAg-1; Thu, 12 May 2022 09:17:39 -0400 X-MC-Unique: vDyrpZT1OzmzWJ9NAqFQAg-1 Received: from smtp.corp.redhat.com (int-mx03.intmail.prod.int.rdu2.redhat.com [10.11.54.3]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id D0B74899EC2; Thu, 12 May 2022 13:17:38 +0000 (UTC) Received: from [10.97.116.28] (ovpn-116-28.gru2.redhat.com [10.97.116.28]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 48D6E1121320; Thu, 12 May 2022 13:17:37 +0000 (UTC) Message-ID: <064ba095-12d1-8b27-47c4-50e34fcc3b99@redhat.com> Date: Thu, 12 May 2022 10:17:35 -0300 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.0 Subject: Re: [PATCH v3 7/7] gdb/testsuite: add macros test for source files compiled in various ways To: Simon Marchi , gdb-patches@sourceware.org References: <20220428033542.1636284-1-simon.marchi@polymtl.ca> <20220428033542.1636284-8-simon.marchi@polymtl.ca> In-Reply-To: <20220428033542.1636284-8-simon.marchi@polymtl.ca> X-Scanned-By: MIMEDefang 2.78 on 10.11.54.3 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Language: en-US Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , From: Bruno Larsen via Gdb-patches Reply-To: Bruno Larsen Cc: Simon Marchi Errors-To: gdb-patches-bounces+public-inbox=simark.ca@sourceware.org Sender: "Gdb-patches" On 4/28/22 00:35, Simon Marchi via Gdb-patches wrote: > From: Simon Marchi > > Using different ways of passing source file paths to compilers results n > different file and directory paths in the line header. For example: > > - gcc foo.c > - gcc ./foo.c > - gcc ../cwd/foo.c > - gcc $PWD/foo.c > > Because of this, GDB sometimes failed to look up macros. The previous > patch fixed that as much as possible. This patch adds the corresponding > tests. > > Add both a DWARF assembler-based test and a regular test. The DWARF > assembled-based one tests some hard-coded debug info based on what I > have observed some specific versions of gcc and clang generate. We want > to make sure that GDB keeps handling all these cases correctly, even if > it's not always clear whether they are really valid DWARF. Also, they > will be tested no matter what the current target compiler is for a given > test run. > > The regular test is compiled using the target compiler, so it may help > find bugs when testing against some other toolchains than what was used > to generate the DWARF assembler-based test. > > For the DWARF assembler-based test, add to testsuite/lib/dwarf.exp the > necessary code to generate a DWARF5 .debug_macro section. The design of > the new procs is based on what was done for rnglists and loclists. > > To test against a specific compiler one can use this command, for > example: > > $ make check TESTS="gdb.base/macro-source-path.exp" RUNTESTFLAGS="CC_FOR_TARGET=clang --target_board unix/gdb:debug_flags=-gdwarf-5" > > Change-Id: Iab8da498e57d10cc2a3d09ea136685d9278cfcf6 Hello Simon! Thanks for these tests! I am not a TCL expert, so I am limited in what I can comment on this patch, but I do have a comment below. Other than that, the patch looks alright to me, FWIW. > --- > gdb/testsuite/gdb.base/macro-source-path.c | 22 + > gdb/testsuite/gdb.base/macro-source-path.exp | 87 ++++ > gdb/testsuite/gdb.dwarf2/macro-source-path.c | 20 + > .../gdb.dwarf2/macro-source-path.exp | 393 ++++++++++++++++++ > gdb/testsuite/lib/dwarf.exp | 92 ++++ > 5 files changed, 614 insertions(+) > create mode 100644 gdb/testsuite/gdb.base/macro-source-path.c > create mode 100644 gdb/testsuite/gdb.base/macro-source-path.exp > create mode 100644 gdb/testsuite/gdb.dwarf2/macro-source-path.c > create mode 100644 gdb/testsuite/gdb.dwarf2/macro-source-path.exp > > diff --git a/gdb/testsuite/gdb.dwarf2/macro-source-path.exp b/gdb/testsuite/gdb.dwarf2/macro-source-path.exp > new file mode 100644 > index 000000000000..284bb4d813b6 > --- /dev/null > +++ b/gdb/testsuite/gdb.dwarf2/macro-source-path.exp > @@ -0,0 +1,393 @@ > +# This testcase is part of GDB, the GNU debugger. > + > +# Copyright 2022 Free Software Foundation, Inc. > + > +# This program is free software; you can redistribute it and/or modify > +# it under the terms of the GNU General Public License as published by > +# the Free Software Foundation; either version 3 of the License, or > +# (at your option) any later version. > +# > +# This program is distributed in the hope that it will be useful, > +# but WITHOUT ANY WARRANTY; without even the implied warranty of > +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the > +# GNU General Public License for more details. > +# > +# You should have received a copy of the GNU General Public License > +# along with this program. If not, see . > + > +# Generate binaries imitating different ways source file paths can be passed to > +# compilers. Test printing macros from those binaries. > + > +load_lib dwarf.exp > + > +if {![dwarf2_support]} { > + return 0 > +} > + > +standard_testfile .c > + > +lassign [function_range main $srcdir/$subdir/$srcfile] \ > + main_start main_len > + > +# Run one test. > +# > +# - TEST_NAME is the name of the test, used to differentiate the binaries. > +# - LINES_VERSION is the version of the version of the .debug_line section to > +# generate. > +# - DW_AT_NAME is the string to put in the compilation unit's DW_AT_name > +# attribute. > +# - MAIN_FILE_IDX is the file index the .debug_line and .debug_macro sections > +# will use to refer to the main file. > +# - DIRECTORIES is a list of directories to put in the .debug_line section > +# header > +# - FILE_NAMES is a list of {name, directory index} pairs describing the files > +# names to put in the .debug_line section header. > + > +proc do_test { test_name lines_version DW_AT_name main_file_idx directories > + file_names } { > + with_test_prefix "test_name=$test_name" { > + foreach_with_prefix is_64 {true false} { > + # So we can access them in Dwarf::assemble... > + set ::lines_version $lines_version > + set ::DW_AT_name $DW_AT_name > + set ::main_file_idx $main_file_idx > + set ::directories $directories > + set ::file_names $file_names > + set ::is_64 $is_64 > + set 32_or_64 [expr $is_64 ? 64 : 32] > + > + set asm_file [standard_output_file ${::testfile}-${test_name}-${32_or_64}.S] > + Dwarf::assemble $asm_file { > + declare_labels Llines cu_macros > + > + # DW_AT_comp_dir is always the current working directory > + # from which the compiler was invoked. We pretend the compiler was > + # always launched from /tmp/cwd. > + set comp_dir "/tmp/cwd" > + > + cu {} { > + DW_TAG_compile_unit { > + {DW_AT_producer "My C Compiler"} > + {DW_AT_language @DW_LANG_C11} > + {DW_AT_name $::DW_AT_name} > + {DW_AT_comp_dir $comp_dir} > + {DW_AT_stmt_list $Llines DW_FORM_sec_offset} > + {DW_AT_macros $cu_macros DW_FORM_sec_offset} > + } { > + declare_labels int_type > + > + int_type: DW_TAG_base_type { > + {DW_AT_byte_size 4 DW_FORM_sdata} > + {DW_AT_encoding @DW_ATE_signed} > + {DW_AT_name int} > + } > + > + DW_TAG_subprogram { > + {MACRO_AT_func {main}} > + {type :$int_type} > + } > + } > + } > + > + # Define the .debug_line section. > + lines [list version $::lines_version] "Llines" { > + foreach directory $::directories { > + include_dir $directory > + } > + > + foreach file_name $::file_names { > + lassign $file_name name dir_index > + file_name $name $dir_index > + } > + > + # A line number program just good enough so that GDB can > + # figure out we are stopped in main. > + program { > + DW_LNS_set_file $::main_file_idx > + DW_LNE_set_address $::main_start > + line 10 > + DW_LNS_copy > + > + DW_LNE_set_address "$::main_start + $::main_len" > + DW_LNE_end_sequence > + } > + } > + > + # Define the .debug_macro section. > + macro { > + cu_macros: unit { > + "debug-line-offset-label" $Llines > + "is-64" $::is_64 > + } { > + # A macro defined outside the main file, as if it was defined > + # on the command line with -D. > + # > + # Clang has this bug where it puts the macros defined on > + # the command-line after the main file portion (see > + # PR 29034). We're not trying to replicate that here, > + # this is not in the scope of this test. > + define 0 "ONE 1" > + start_file 0 $::main_file_idx > + # A macro defined at line 1 of the main file. > + define 1 "TWO 2" > + end_file > + } > + } > + } > + > + if { [prepare_for_testing "failed to prepare" ${::testfile}-${test_name}-${32_or_64} \ > + [list $::srcfile $asm_file] {nodebug}] } { > + return > + } > + > + if ![runto_main] { > + return > + } > + > + gdb_test "print ONE" " = 1" > + gdb_test "print TWO" " = 2" > + } > + } > +} > + > +# When adding a test here, please consider adding an equivalent case to the test > +# of the same name in gdb.base. > + > +# Based on `gcc -gdwarf-5 -g3 `, gcc 11 paired with gas from binutils 2.38. This comment wasn't really clear to me. Maybe something like "The following calls are based on ..." or something to make clear that this comment refers to a group of do_test calls below, would avoid possible confusion. Cheers! Bruno Larsen