From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Helmut Eller Newsgroups: gmane.emacs.bugs Subject: bug#16520: 24.3.50; cl-defstruct with :predicate option Date: Wed, 22 Jan 2014 11:06:34 +0100 Message-ID: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1390385296 32261 80.91.229.3 (22 Jan 2014 10:08:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 22 Jan 2014 10:08:16 +0000 (UTC) To: 16520@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Jan 22 11:08:22 2014 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1W5ujN-0006KE-Tc for geb-bug-gnu-emacs@m.gmane.org; Wed, 22 Jan 2014 11:08:22 +0100 Original-Received: from localhost ([::1]:34479 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5ujN-0002Ez-57 for geb-bug-gnu-emacs@m.gmane.org; Wed, 22 Jan 2014 05:08:21 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:58819) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5ujC-0002D0-Nc for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 05:08:19 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W5uj4-0000Ld-6K for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 05:08:10 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:46263) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5uj4-0000LJ-2q for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 05:08:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1W5uj3-0005jt-RZ for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 05:08:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Helmut Eller Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 22 Jan 2014 10:08:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 16520 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.139038522721983 (code B ref -1); Wed, 22 Jan 2014 10:08:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 22 Jan 2014 10:07:07 +0000 Original-Received: from localhost ([127.0.0.1]:60282 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W5uiA-0005iV-UU for submit@debbugs.gnu.org; Wed, 22 Jan 2014 05:07:07 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:56880) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W5ui9-0005iN-4Z for submit@debbugs.gnu.org; Wed, 22 Jan 2014 05:07:05 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W5ui0-0008RL-AI for submit@debbugs.gnu.org; Wed, 22 Jan 2014 05:07:04 -0500 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:46586) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5ui0-0008RH-6k for submit@debbugs.gnu.org; Wed, 22 Jan 2014 05:06:56 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:58588) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5uhr-00024g-Hk for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 05:06:56 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W5uhj-0008Pu-6E for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 05:06:47 -0500 Original-Received: from mail-ee0-x22a.google.com ([2a00:1450:4013:c00::22a]:55360) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W5uhi-0008Ph-Ut for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 05:06:39 -0500 Original-Received: by mail-ee0-f42.google.com with SMTP id e49so4761640eek.29 for ; Wed, 22 Jan 2014 02:06:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:subject:date:message-id:mime-version:content-type; bh=pU8oHbULLd6tESxPCO4w8CsXRBTHjBlmPW0x8tkASEY=; b=a8o1Vp7XeDbiA68qlCF+bLNem717LZRtuwJnQX6CSnnXxK67s8C6xiuCtPlYAPpcAw Cp0tL9VzeE/KNeKm4PLFe/almKzV7D8Y8oqx4B32AofJcvRI2+ZB9ZKmaHL3VEd0Tdmj uxxUm6MtdLJP+iMd8IhIrwVXxzYNPMVWIj2NuuEC4Kd72fFoqn47ICgCpS+cDP1naBt8 hF4nesugmqZC/ry998P0E9Wv/shWN6B9y3zsVV/SzStqMYSxPjBiod2/J1xIP6SBjiba 4uewjRq8WjV+nUAVAZYHHRm4MxbEQEzbZ73n69YtH08v7Tki04KUKJjeWS947DXRKbZO m+eA== X-Received: by 10.14.32.132 with SMTP id o4mr670954eea.14.1390385197997; Wed, 22 Jan 2014 02:06:37 -0800 (PST) Original-Received: from ix ([212.46.176.45]) by mx.google.com with ESMTPSA id l4sm25209446een.13.2014.01.22.02.06.36 for (version=TLSv1.2 cipher=RC4-SHA bits=128/128); Wed, 22 Jan 2014 02:06:37 -0800 (PST) Original-Received: from helmut by ix with local (Exim 4.80) (envelope-from ) id 1W5uhe-00011R-1M for bug-gnu-emacs@gnu.org; Wed, 22 Jan 2014 11:06:34 +0100 X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:83876 Archived-At: Compiling this code: (require 'cl-lib) (cl-defstruct (foo (:predicate foop))) (defun bar (x) (cl-check-type x foo)) with with: emacs -Q -batch -f batch-byte-compile foo.el produces this warning: foo.el:8:1:Warning: the function `foo-p' is not known to be defined. and since foo-p is not defined will also lead errors at run-time when bar is called. Adding eval-and-compile to the structure definition avoids the problem but it's a bug that the compiler emits a call to foo-p at all. In GNU Emacs 24.3.50.2 (i686-pc-linux-gnu, GTK+ Version 2.24.10) of 2014-01-20 on ix