GNU bug report logs - #74920
31.0.50; 'should' defeats warning from set-advertised-calling-convention

Message received at submit <at> debbugs.gnu.org:

Received: (at submit) by debbugs.gnu.org; 16 Dec 2024 23:48:05 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Dec 16 18:48:05 2024
Received: from localhost ([127.0.0.1]:56709 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1tNKon-0001Rp-6i
	for submit <at> debbugs.gnu.org; Mon, 16 Dec 2024 18:48:05 -0500
Received: from lists.gnu.org ([209.51.188.17]:58602)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stefankangas@HIDDEN>) id 1tNKoi-0001RK-Ai
 for submit <at> debbugs.gnu.org; Mon, 16 Dec 2024 18:48:03 -0500
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <stefankangas@HIDDEN>)
 id 1tNKog-0007aj-JX
 for bug-gnu-emacs@HIDDEN; Mon, 16 Dec 2024 18:47:58 -0500
Received: from mail-ed1-x535.google.com ([2a00:1450:4864:20::535])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <stefankangas@HIDDEN>)
 id 1tNKoc-0001WY-TN
 for bug-gnu-emacs@HIDDEN; Mon, 16 Dec 2024 18:47:57 -0500
Received: by mail-ed1-x535.google.com with SMTP id
 4fb4d7f45d1cf-5d3ecae02beso6173889a12.0
 for <bug-gnu-emacs@HIDDEN>; Mon, 16 Dec 2024 15:47:54 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1734392873; x=1734997673; darn=gnu.org;
 h=content-transfer-encoding:to:subject:message-id:date:mime-version
 :from:from:to:cc:subject:date:message-id:reply-to;
 bh=MlrAXzF+AjbiHmBH3FzIiRoHI4e4kZi7+UVRPtyvT6s=;
 b=cvm6EAdHldjTuG4LkkmfI9E5VbqpJS+SNqhPLSz6LLjizci9H/NSn7yzNBGpM4DXZP
 TvdN1in3bygw6QV1Bc5MDqkY488/NQB6kMKcDdOn6b7aOjvnNj88OUxqVCtg7bqf8QMv
 8D0EFK9PWKUA205Dmuuk71+96lfa1DHcIuSlJ5zSXdV4zJsvajG+6MX8RCzh+IB5JzZf
 WO1Pl1GXRPcFhXAfyPo9r253YCy7MsHMsL960CY27dk0sdvaoNK9R9xNMj9sLHxoaezJ
 6FJx8+hLbx+lED9BSrrdHbapDTpc6bXzuoTrewJEql02S3BRw4N5MU6j0nCZeCdikW09
 5Luw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1734392873; x=1734997673;
 h=content-transfer-encoding:to:subject:message-id:date:mime-version
 :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to;
 bh=MlrAXzF+AjbiHmBH3FzIiRoHI4e4kZi7+UVRPtyvT6s=;
 b=gybnWcqxzg5l340cplrPolyK8qnDumH1Ib447BfN+SzQYl7olft+IB0ntEI6ihlgsg
 fwcnZpeIcPpho9Fm/PELqfvhMEjkwzW2L3N6ZKTqVpEiTN9YD5QAm1AuYqeCo+mYMYWc
 KDSm6QiiFPa4+oMTAxtwk6ivEznGhMXjVmxvY4qga0tHZkienDAker/H418igs2E6WVL
 K1EC+UchwwMpW7pboyeguLOijn3gpBN9mLyXzV/SC0R0JG+r8+7SkzXlj5153/gG+JN+
 XvOuDjOiW6YoCayVp65bAxLWCAQa0zHZMbfsHbbP62A8HoMhQLwl6zy9fPdNNO32lhLj
 B6jQ==
X-Gm-Message-State: AOJu0Yz73DpA3jLNJJ9oTGZa8Gqeo7DlSTWrL5RrNlQ6f5Mdl0EUVvbV
 mbju+qntyf0NVjQmaJ2Ji/DlfNgnMwkfZkXZ+3u+bej/x2cOKzpG147xFASccU/r8XTiQXKvvDF
 iRoFeIZqbJUHDytpmXkyGoq0QorgzU3/D
X-Gm-Gg: ASbGncsvQ67mI17b7vsK1h6f2/3z+VWRSXb+5HYnPUBiKtQUSlF1jU399GWbgXdP1rL
 9R5NmSW04VSAB0eEP/X1aEzcqnb89IdHIEqN6EEk=
X-Google-Smtp-Source: AGHT+IH2fbHOabTgjRCuLKhQYAnVISbhGk5W5NQJyCcXmXql0Sffpa1KJ4Z+teofgXfnh/6t19Px36DKSG/bxcOPK5I=
X-Received: by 2002:a05:6402:528f:b0:5d2:7456:9812 with SMTP id
 4fb4d7f45d1cf-5d63c39fba0mr12505125a12.22.1734392873153; Mon, 16 Dec 2024
 15:47:53 -0800 (PST)
Received: from 753933720722 named unknown by gmailapi.google.com with
 HTTPREST; Mon, 16 Dec 2024 23:47:52 +0000
From: Stefan Kangas <stefankangas@HIDDEN>
MIME-Version: 1.0
Date: Mon, 16 Dec 2024 23:47:52 +0000
Message-ID: <CADwFkm=xkMch7BJVQHRSR4hN3CM9=EsOVp42GO71cwbyHCSq+w@HIDDEN>
Subject: 31.0.50;
 'should' defeats warning from set-advertised-calling-convention
To: bug-gnu-emacs@HIDDEN
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=2a00:1450:4864:20::535;
 envelope-from=stefankangas@HIDDEN; helo=mail-ed1-x535.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: -1.3 (-)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)

Severity: minor

Create a file foo.el with this content:

    ;; -*- lexical-binding: t; -*-
    (defun foo (&optional a) a)
    (set-advertised-calling-convention 'foo '(a) '"31.1")
    (foo)

Create a second file bar.el with this:

    ;; -*- lexical-binding: t; -*-
    (load "foo")
    (require 'ert)
    (foo)
    (should (foo))

Byte-compile bar.el and observe that there is only one warning:

bar.el:4:2: Warning: =E2=80=98foo=E2=80=99 called with 0 arguments, but req=
uires 1

Expected is two warnings, like this:

bar.el:4:2: Warning: =E2=80=98foo=E2=80=99 called with 0 arguments, but req=
uires 1
bar.el:5:2: Warning: =E2=80=98foo=E2=80=99 called with 0 arguments, but req=
uires 1