GNU bug report logs - #24376
no byte compiler warning for interactive spec mismatch with function sig

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

Received: (at submit) by debbugs.gnu.org; 6 Sep 2016 08:04:07 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Sep 06 04:04:07 2016
Received: from localhost ([127.0.0.1]:50832 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1bhBMV-00051e-L2
	for submit <at> debbugs.gnu.org; Tue, 06 Sep 2016 04:04:07 -0400
Received: from eggs.gnu.org ([208.118.235.92]:51233)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <andreas.roehler@HIDDEN>) id 1bhBMU-00051B-BV
 for submit <at> debbugs.gnu.org; Tue, 06 Sep 2016 04:04:06 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <andreas.roehler@HIDDEN>) id 1bhBMO-0005Lb-DU
 for submit <at> debbugs.gnu.org; Tue, 06 Sep 2016 04:04:01 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: **
X-Spam-Status: No, score=2.4 required=5.0 tests=BAYES_20,RCVD_IN_SORBS_SPAM
 autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:47735)
 by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <andreas.roehler@HIDDEN>) id 1bhBMO-0005LS-Ab
 for submit <at> debbugs.gnu.org; Tue, 06 Sep 2016 04:04:00 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:42198)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <andreas.roehler@HIDDEN>) id 1bhBMM-0007G3-5M
 for bug-gnu-emacs@HIDDEN; Tue, 06 Sep 2016 04:03:58 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <andreas.roehler@HIDDEN>) id 1bhBMH-0005KV-6f
 for bug-gnu-emacs@HIDDEN; Tue, 06 Sep 2016 04:03:58 -0400
Received: from mout.kundenserver.de ([217.72.192.74]:65343)
 by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <andreas.roehler@HIDDEN>) id 1bhBMG-0005KN-Sk
 for bug-gnu-emacs@HIDDEN; Tue, 06 Sep 2016 04:03:53 -0400
Received: from [192.168.178.35] ([77.12.16.203]) by mrelayeu.kundenserver.de
 (mreue101) with ESMTPSA (Nemesis) id 0MWiwF-1baBK82bzn-00XsOB for
 <bug-gnu-emacs@HIDDEN>; Tue, 06 Sep 2016 10:03:51 +0200
To: bug-gnu-emacs@HIDDEN
From: =?UTF-8?Q?Andreas_R=c3=b6hler?= <andreas.roehler@HIDDEN>
Subject: 25.1.1 Deserted interactive spec but no error
Message-ID: <7e5b9a78-1bb5-e53a-b6ab-1895df3950b0@HIDDEN>
Date: Tue, 6 Sep 2016 10:10:25 +0200
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101
 Icedove/45.2.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:Vf+BaRJNGCM9Ckja2WkIWLqUDFuFJ+/0Sqa4dZgWVi1mr0+F/yG
 icmpvJs6QjatNl0lNy1o0Ct1N2vEi3csnAGe7Lk3esGXEwTDPMaTpQFg1IRvWJPBbtMHUrc
 vpMPuosCnauR8VY5h+Kh+mzY7uJ3xzyi9poXhl6v+f64tWYxIw+Yxa9xOuhNMKZcIG9u5MD
 ei+ZJ+sfLjKZ0P0QjNACA==
X-UI-Out-Filterresults: notjunk:1;V01:K0:6olhWoVdUbk=:xQD1egdklf9TXsAdac+4bM
 z8iicL2sjvKYBSOSKEYWlRYhfjMOaBtwVLEM+tyEqyAg/tjqlWQ4SNg3qure9e8jXwNu02621
 JJhNcIXXzsBv4Q0cVexXTTEK4//RQ7CQ3/ObhK0cV2p+sH1onYj3fQEQs6rNc/i3yukvndQhV
 2tuab89ZcyGu9VsYkkS4lmnhEnglgIWksGezijCUc8ufsG21Co1192YBnpCJe282QF0U7ffIp
 G7Jnp5mWsfUmefhq7Y8USVPGZ9IuzycFgGmaH/Jmho6Ulu+RNL0c8lcxxBGSQfWG0M5ZZd0+T
 FeXgWDAoSp57bOMftphUJOeSnxvHR6bgmIazutkTuP17ZUTruPflyVK5BF2SGQo8zIkEcCTWU
 RzsCzHf+9HQfZGgmqJhEyca6FBZXTzYGjVHfxNJQE1pLQg11A0r+S+Lh/goZjlhgc362z9aun
 WJlh9AO4mbI8gA16gg1gABbwwur5t5YGjPnrdEqFXz/Zu8oRiwlNZpvbeXumojvb1zUWyckY/
 x+7fwdBycRXYLmbNqm3eZGVlXm+YmyDHunZrdStlXzYeoOPdUNLqrVzLyunMd52teRSrVAjoD
 49zOrRwHJbIzdI3+n3hWNxsFH5hAJogk6OqhtK+fGmgbMgREg50nnYD7cPIOcvRJUGNzTLNSC
 SOOqioAG8Ij0szzrlKuLqwzYwKCO3wadSUcY5XOWW1VcOzs2pY0zDMZms3aNNHXaKntGhvduP
 vri/MLwy14ugPK6h
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -2.6 (--)
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.6 (--)

(defun asdf ()
   (interactive "p")
   (message "%s" "blah"))


M-x byte-compile-file RET doesn't send any error.

GNU Emacs 25.1.1 (i686-pc-linux-gnu, GTK+ Version 3.14.5) of 2016-08-22