From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-f45.google.com (mail-wm1-f45.google.com [209.85.128.45]) by sourceware.org (Postfix) with ESMTPS id 21EB33858D20 for ; Fri, 27 Jan 2023 21:11:46 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 21EB33858D20 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=palves.net Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-wm1-f45.google.com with SMTP id bg13-20020a05600c3c8d00b003d9712b29d2so6229778wmb.2 for ; Fri, 27 Jan 2023 13:11:46 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:content-language:in-reply-to:mime-version :user-agent:date:message-id:from:references:cc:to:subject :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=COhC9aM1Ni5rNXD/dNQw0GUgKdUXBO+5G7Dves9T7Xg=; b=3LUWhOuohsJeWzx5bOC0b5BMchK0UIqvVFu46ojVuyzRefxXH7+uJHlFcZjZIeyCUv DGRfp1nvKsAFdJWT4T22rbjUW82b4hph5x6Fypk0TnBg1I+7eZZI2vz5ADd2nFR9qRq/ u+DbqshZRMozrStG6g5u7VSoQvSkK9zrp47/ndiUtu2qZUQ8U7pw9uD7Y58/MwG3IO0a Cf9pmiLlV3hm9QOgP7YJ7mcSGgMZozhlX5zX8B7f20DOyYm2pgvFokSILUFTnF/7IlP7 So+HQiQXDXH8UEC5uY8eykmzd/j5ATwKY7FXB4kSXEUeXQTT32n/0pU0nm5Sujs8yLbp dpSw== X-Gm-Message-State: AFqh2kqZgdUNNUVfZP39Fl8W0mroJzWJkVHi8kiULEbpu2t0zdpJmU6h O0GXOclT6xMvyTAiS8tFnm21fMUKS5Z4Ow== X-Google-Smtp-Source: AMrXdXsj4OlzF4XmOnmJP+WMxTDSPpLXC9xdOQoKVYAAgAPA3/kWhUXZCCUX6Vn3s04G9IxsqYWF9w== X-Received: by 2002:a05:600c:4f45:b0:3cf:68d3:3047 with SMTP id m5-20020a05600c4f4500b003cf68d33047mr41102530wmq.41.1674853904713; Fri, 27 Jan 2023 13:11:44 -0800 (PST) Received: from ?IPv6:2001:8a0:f92b:9e00::1fe? ([2001:8a0:f92b:9e00::1fe]) by smtp.gmail.com with ESMTPSA id j38-20020a05600c1c2600b003daff80f16esm12312622wms.27.2023.01.27.13.11.44 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 27 Jan 2023 13:11:44 -0800 (PST) Subject: Re: [pushed] Invert test in gdb.ada/ptype_tagged_param.exp To: Tom Tromey Cc: gdb-patches@sourceware.org References: <20230127172427.4132635-1-tromey@adacore.com> <89869c3c-0a4f-67e3-dd98-13ea090b31c6@palves.net> <87r0vfpu95.fsf@tromey.com> From: Pedro Alves Message-ID: Date: Fri, 27 Jan 2023 21:11:41 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.10.1 MIME-Version: 1.0 In-Reply-To: <87r0vfpu95.fsf@tromey.com> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-4.7 required=5.0 tests=BAYES_00,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP 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: On 2023-01-27 9:01 p.m., Tom Tromey wrote: >>>>>> "Pedro" == Pedro Alves writes: > >>> kfail "no debug info" $gdb_test_name > > Pedro> Why is this a kfail instead of an xfail? Is there really a GDB bug here? > > It's just my perennial inability to distinguish the two. There's no gdb > bug, this seems to be a compiler issue. If changing it to xfail is > correct, let me know and I will do it. :-) Yes, kfail is correct. > And endeavor to remember that kfail is for gdb bugs. Here's how I memorize it: xfail - e(X)ternal issue kfail - (K)nown bug