From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Noam Postavsky Newsgroups: gmane.emacs.devel Subject: Re: Certain numbers of special forms cause changing behaviour on function calls in --batch Date: Sun, 10 Jul 2016 07:33:47 -0400 Message-ID: References: <8760stvwzp.fsf@web.de> <834m8cvu9p.fsf@gnu.org> <87h9cbpw61.fsf@web.de> <83wpl7v1sg.fsf@gnu.org> <87a8i2dfe3.fsf@web.de> <83poqyvh58.fsf@gnu.org> <87shvu1ixp.fsf@web.de> <8360spvn6i.fsf@gnu.org> <8760sjn5me.fsf@web.de> <871t37n51y.fsf@web.de> <8337nmon4l.fsf@gnu.org> <87mvluomaz.fsf@web.de> <83mvlun6zc.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1468150445 11315 80.91.229.3 (10 Jul 2016 11:34:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 10 Jul 2016 11:34:05 +0000 (UTC) Cc: Michael Heerdegen , Eli Zaretskii , me@wilfred.me.uk, Emacs developers To: Yasushi SHOJI Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Jul 10 13:34:04 2016 Return-path: Envelope-to: ged-emacs-devel@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 1bMCzr-0008Fe-OI for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 13:34:04 +0200 Original-Received: from localhost ([::1]:54186 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMCzq-0007fE-Uh for ged-emacs-devel@m.gmane.org; Sun, 10 Jul 2016 07:34:02 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:57201) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMCzh-0007f5-Eg for emacs-devel@gnu.org; Sun, 10 Jul 2016 07:33:54 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bMCzf-0007ug-7l for emacs-devel@gnu.org; Sun, 10 Jul 2016 07:33:52 -0400 Original-Received: from mail-oi0-x235.google.com ([2607:f8b0:4003:c06::235]:36107) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bMCzd-0007ti-82; Sun, 10 Jul 2016 07:33:49 -0400 Original-Received: by mail-oi0-x235.google.com with SMTP id n8so12366915oif.3; Sun, 10 Jul 2016 04:33:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=v22hhZoE8UclsY4nmWngiSZhDEGvpx31g02MIAhTNX0=; b=zQjT7rhyOQ3wDxxHmb6MOAhagvKCusW9MmECdnODn/4bUgo2wl+CR8VTa9bzLyHKP/ 9jdGCQtt+c4LvUOeNmsqL5EfAHWv2lTA84oMe9tiNFRmdPa+rBSAXYBqu/qtC+nqS4Oy Dgm4umncM6fDhb3FcrBr4LUDUptozdA/f/GmJFtVkTYOh9UncAcs6SurdxyYHbQMMZa8 qNmsPo6xvaKt8slBSpsXAz13TPX8yQTXAdawPciYtltDcDZlVlwc5JXDKh6HeOLUIbx6 Z3CzTAnsOutEcPR/iZGCAY9X7a7Af/s9vR2FHiJ2CcKD0o2Hw2VkFOvE3VIaMxgGh0uU KeSw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc; bh=v22hhZoE8UclsY4nmWngiSZhDEGvpx31g02MIAhTNX0=; b=dLFGZbzq0L8wZ1Ayn45XM30Rh5WKeayEW9/TTWULVKaKn4FRE6yK/Q1zefgJ583JzH 1gYJAq4cO41P6xVunzoIKUGunkj+w13E0hGs0kSug59sQj1OpVuw5ryqyMrrQPck9v2+ MJ56vaDcFPi1jQpm4VszC+38ycJa2e2aSGUbVFgTHV5AtUm8j1Ha32u15JroF8F5PGoJ +5BV+z/B0w5zBoqsKpzNk/SbDzcjUKXs1YJzDgaJTGg7hd/NKoKIu8GkgYULyoHPtwUZ MOTthwhII2zhRJYIP10cDobQ1ZtnHoWq06mskQ5CGndY9+d275cNEIhxWhGkL5ts1F9F aE2g== X-Gm-Message-State: ALyK8tIJtVm1OtnpVl9xwGkT5L7eW738Up9nuWHRwdEWryz2vS/K+q1BzPz9m0iMu1JD+jHag5d3lf1MBOdtyg== X-Received: by 10.202.102.75 with SMTP id a72mr3112786oic.40.1468150428523; Sun, 10 Jul 2016 04:33:48 -0700 (PDT) Original-Received: by 10.157.4.197 with HTTP; Sun, 10 Jul 2016 04:33:47 -0700 (PDT) In-Reply-To: X-Google-Sender-Auth: 2Uk4IrdxH6WgLj_lvzRz5K4ztw4 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:4003:c06::235 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:205489 Archived-At: On Sun, Jul 10, 2016 at 7:13 AM, Yasushi SHOJI wrote: > On Sun, Jul 10, 2016 at 7:34 PM, Yasushi SHOJI > wrote: >> On Thu, Jul 7, 2016 at 12:04 AM, Eli Zaretskii wrote: >> > So more data points might help, yes. >> >> I can reproduce this bug on my Debian Sid system with >> gcc version 5.4.0 20160609 (Debian 5.4.0-6). > > I should have tested with different compilers before posting the > previous comment since Eli predicted that a bad compiler is a problem. > > Yes, the results differ depending on the compiler you use. I have gcc 5.3.0 here, and I get 10 (correct) when I compile Emacs 24.5 configured with --enable-checking, but 20 (incorrect) without that flag. In both cases running temacs with valgrind gives some errors which look suspicious (the version without --enable-checking additionally gives a bunch of what I assume are false positives while starting up). Emacs 25 gives similar errors (I haven't tried Emacs 25 without --enable-check). (I'm showing here just the results from the --enable-checking versions, without it's the same except for printing 20 instead of 10) valgrind emacs-24.5/src/temacs -Q --batch -l nasty-move-end-of-line-batch.el [...] ==6167== Conditional jump or move depends on uninitialised value(s) ==6167== at 0x55E74E: CHECK_NUMBER_OR_FLOAT (lisp.h:2627) ==6167== by 0x5EC762: Fzerop (data.c:2387) ==6167== by 0x608571: Ffuncall (eval.c:2811) ==6167== by 0x650F35: exec_byte_code (bytecode.c:916) ==6167== by 0x608DA1: funcall_lambda (eval.c:2978) ==6167== by 0x608764: Ffuncall (eval.c:2860) ==6167== by 0x650F35: exec_byte_code (bytecode.c:916) ==6167== by 0x608DA1: funcall_lambda (eval.c:2978) ==6167== by 0x608764: Ffuncall (eval.c:2860) ==6167== by 0x650F35: exec_byte_code (bytecode.c:916) ==6167== by 0x608DA1: funcall_lambda (eval.c:2978) ==6167== by 0x608A99: apply_lambda (eval.c:2919) ==6167== ==6167== Conditional jump or move depends on uninitialised value(s) ==6167== at 0x5EC76B: Fzerop (data.c:2389) ==6167== by 0x608571: Ffuncall (eval.c:2811) ==6167== by 0x650F35: exec_byte_code (bytecode.c:916) ==6167== by 0x608DA1: funcall_lambda (eval.c:2978) ==6167== by 0x608764: Ffuncall (eval.c:2860) ==6167== by 0x650F35: exec_byte_code (bytecode.c:916) ==6167== by 0x608DA1: funcall_lambda (eval.c:2978) ==6167== by 0x608764: Ffuncall (eval.c:2860) ==6167== by 0x650F35: exec_byte_code (bytecode.c:916) ==6167== by 0x608DA1: funcall_lambda (eval.c:2978) ==6167== by 0x608A99: apply_lambda (eval.c:2919) ==6167== by 0x6070E9: eval_sub (eval.c:2226) ==6167== ==6167== Conditional jump or move depends on uninitialised value(s) ==6167== at 0x5EC7B4: Fzerop (data.c:2396) ==6167== by 0x608571: Ffuncall (eval.c:2811) ==6167== by 0x650F35: exec_byte_code (bytecode.c:916) ==6167== by 0x608DA1: funcall_lambda (eval.c:2978) ==6167== by 0x608764: Ffuncall (eval.c:2860) ==6167== by 0x650F35: exec_byte_code (bytecode.c:916) ==6167== by 0x608DA1: funcall_lambda (eval.c:2978) ==6167== by 0x608764: Ffuncall (eval.c:2860) ==6167== by 0x650F35: exec_byte_code (bytecode.c:916) ==6167== by 0x608DA1: funcall_lambda (eval.c:2978) ==6167== by 0x608A99: apply_lambda (eval.c:2919) ==6167== by 0x6070E9: eval_sub (eval.c:2226) ==6167== point is: 10 ==6167== ==6167== HEAP SUMMARY: [...] valgrind emacs-25/src/temacs -Q --batch -l nasty-move-end-of-line-batch.el [...] ==6186== Conditional jump or move depends on uninitialised value(s) ==6186== at 0x67110E: exec_byte_code (bytecode.c:1367) ==6186== by 0x625203: funcall_lambda (eval.c:2855) ==6186== by 0x624B3A: Ffuncall (eval.c:2742) ==6186== by 0x66F310: exec_byte_code (bytecode.c:880) ==6186== by 0x625203: funcall_lambda (eval.c:2855) ==6186== by 0x624B3A: Ffuncall (eval.c:2742) ==6186== by 0x66F310: exec_byte_code (bytecode.c:880) ==6186== by 0x625203: funcall_lambda (eval.c:2855) ==6186== by 0x624EA5: apply_lambda (eval.c:2794) ==6186== by 0x6234AA: eval_sub (eval.c:2211) ==6186== by 0x61E3C6: Fprogn (eval.c:426) ==6186== by 0x622F55: eval_sub (eval.c:2119) ==6186== ==6186== Conditional jump or move depends on uninitialised value(s) ==6186== at 0x6711D8: exec_byte_code (bytecode.c:1370) ==6186== by 0x625203: funcall_lambda (eval.c:2855) ==6186== by 0x624B3A: Ffuncall (eval.c:2742) ==6186== by 0x66F310: exec_byte_code (bytecode.c:880) ==6186== by 0x625203: funcall_lambda (eval.c:2855) ==6186== by 0x624B3A: Ffuncall (eval.c:2742) ==6186== by 0x66F310: exec_byte_code (bytecode.c:880) ==6186== by 0x625203: funcall_lambda (eval.c:2855) ==6186== by 0x624EA5: apply_lambda (eval.c:2794) ==6186== by 0x6234AA: eval_sub (eval.c:2211) ==6186== by 0x61E3C6: Fprogn (eval.c:426) ==6186== by 0x622F55: eval_sub (eval.c:2119) ==6186== ==6186== Conditional jump or move depends on uninitialised value(s) ==6186== at 0x6712C1: exec_byte_code (bytecode.c:1379) ==6186== by 0x625203: funcall_lambda (eval.c:2855) ==6186== by 0x624B3A: Ffuncall (eval.c:2742) ==6186== by 0x66F310: exec_byte_code (bytecode.c:880) ==6186== by 0x625203: funcall_lambda (eval.c:2855) ==6186== by 0x624B3A: Ffuncall (eval.c:2742) ==6186== by 0x66F310: exec_byte_code (bytecode.c:880) ==6186== by 0x625203: funcall_lambda (eval.c:2855) ==6186== by 0x624EA5: apply_lambda (eval.c:2794) ==6186== by 0x6234AA: eval_sub (eval.c:2211) ==6186== by 0x61E3C6: Fprogn (eval.c:426) ==6186== by 0x622F55: eval_sub (eval.c:2119) ==6186== point is: 10 ==6186== ==6186== HEAP SUMMARY: [...]