From unknown Thu Sep 11 02:37:28 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#31688 <31688@debbugs.gnu.org> To: bug#31688 <31688@debbugs.gnu.org> Subject: Status: 26.1.50; Byte compiler confuses two string variables Reply-To: bug#31688 <31688@debbugs.gnu.org> Date: Thu, 11 Sep 2025 09:37:28 +0000 retitle 31688 26.1.50; Byte compiler confuses two string variables reassign 31688 emacs submitter 31688 Gemini Lasswell severity 31688 normal tag 31688 notabug thanks From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 13:52:10 2018 Received: (at submit) by debbugs.gnu.org; 2 Jun 2018 17:52:10 +0000 Received: from localhost ([127.0.0.1]:59522 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPAhG-00080T-2E for submit@debbugs.gnu.org; Sat, 02 Jun 2018 13:52:10 -0400 Received: from eggs.gnu.org ([208.118.235.92]:52816) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPAhC-0007zQ-1A for submit@debbugs.gnu.org; Sat, 02 Jun 2018 13:52:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fPAh5-0001IV-W5 for submit@debbugs.gnu.org; Sat, 02 Jun 2018 13:52:00 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:52707) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fPAh5-0001IN-SU for submit@debbugs.gnu.org; Sat, 02 Jun 2018 13:51:59 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:43780) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fPAh4-00007z-Lf for bug-gnu-emacs@gnu.org; Sat, 02 Jun 2018 13:51:59 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fPAh1-0001FV-JP for bug-gnu-emacs@gnu.org; Sat, 02 Jun 2018 13:51:58 -0400 Received: from aibo.runbox.com ([91.220.196.211]:51814) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fPAh1-0001CI-7t for bug-gnu-emacs@gnu.org; Sat, 02 Jun 2018 13:51:55 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=runbox.com; s=rbselector1; h=Content-Type:MIME-Version:Message-ID:Date:Subject:To:From; bh=AY8LKmaSi0CjwOy/Xr3EkZmejzFCUIZKsPJnd1c5naw=; b=FinkwE+DfSktNHh9142zFFPh9 1k9yOrP2GD8RlVyVbKyPAaJ19xvPIFr4ef1tjSQR1/ArDZBcvoilCz/K/LFe8QvgRTUwjRI77kNdx j9SvC1iksPxVGZ+xKvLjmePa7E//KDtXRaxn9e45/yAGy1Jv8JMfCRUK9gtX4U+3rh+xYeNa+txHJ B4WbSWUQ4k+R5imiqRlQdHxKo6XowR0Ucuvoe0lLSanUOzB46uIm5UW48IUiUeKeHn6uUIlAXINoT E/lFQjuktQqe11IyHJo1uk4J6ZDGlqZzvSR+eNWo/9f3YHTyR+opMhmzt3Vqci7hdhOF5BU3qTSRr JlpHRl3cw==; Received: from [10.9.9.210] (helo=mailfront10.runbox.com) by mailtransmit03.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1fPAgy-0003uA-Ua for bug-gnu-emacs@gnu.org; Sat, 02 Jun 2018 19:51:53 +0200 Received: from c-24-22-244-161.hsd1.wa.comcast.net ([24.22.244.161] helo=sockeye) by mailfront10.runbox.com with esmtpsa (uid:179284 ) (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) id 1fPAge-0002BF-G2 for bug-gnu-emacs@gnu.org; Sat, 02 Jun 2018 19:51:33 +0200 From: Gemini Lasswell To: bug-gnu-emacs@gnu.org Subject: 26.1.50; Byte compiler confuses two string variables Date: Sat, 02 Jun 2018 10:51:18 -0700 Message-ID: <87a7sdkrft.fsf@runbox.com> MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.1 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -5.1 (-----) Here is a test which succeeds when interpreted and fails when byte-compiled. The byte compiler is apparently confusing two string variables, or optimizing away one of them. I've tried it both with and without lexical-binding with the same results. To reproduce, save this to bug.el: (require 'ert) (ert-deftest test-strings-props () (let* ((str1 "abcdefghij") (obj '(a b)) (str2 "abcdefghij")) (put-text-property 0 5 'test obj str2) (should (equal "\"abcdefghij\"" (prin1-to-string str1))))) Then: C-u M-x byte-compile-file RET bug.el RET M-x ert RET t RET Result: (ert-test-failed ((should (equal "\"abcdefghij\"" (prin1-to-string str1))) :form (equal "\"abcdefghij\"" "#(\"abcdefghij\" 0 5 (test (a b)))") :value nil :explanation (arrays-of-different-length 12 32 "\"abcdefghij\"" "#(\"abcdefghij\" 0 5 (test (a b)))" first-mismatch-at 0))) From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 14:03:00 2018 Received: (at 31688) by debbugs.gnu.org; 2 Jun 2018 18:03:00 +0000 Received: from localhost ([127.0.0.1]:59544 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPArk-0008Ss-0i for submit@debbugs.gnu.org; Sat, 02 Jun 2018 14:03:00 -0400 Received: from mail-it0-f48.google.com ([209.85.214.48]:50247) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPAri-0008Se-G4 for 31688@debbugs.gnu.org; Sat, 02 Jun 2018 14:02:58 -0400 Received: by mail-it0-f48.google.com with SMTP id u4-v6so5454800itg.0 for <31688@debbugs.gnu.org>; Sat, 02 Jun 2018 11:02:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=D+lcpDwJpWIWrNd47M6l7hgv3pOh0+IwmcMbIlSgES4=; b=Tfyv8T4YJN6kmBWOMqGHreRGtGfPbhT8geaLoojtknoIaDmzqZ7/qrrFSVWJoMsNzc P2MGBaCH2nCo12aswxtdXUcqWKdWr/X/WK2opKR441HEd+JMRtvlnAfeUTTEHkt6sM16 9HhZF4I+uYrxkahJdCUjSK8+PuL7UtqdYlT82Ke38UhJmmJqxAkLmfHlvTnpyvD1o/My bSpotXdj+x8MFoMdKuR8x0thAEUN732yJxFoyZXAjA9pLHMomAFtTkEL+DYGdcATTLPr ib00uu1lDbAMzWeVmKv/eyStssYe1vU3Gnv2rFwjK9jfy7sBF/d7DB5JQ6TaNSscmQwZ oN7g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=D+lcpDwJpWIWrNd47M6l7hgv3pOh0+IwmcMbIlSgES4=; b=NJbvfImRfOI9MtwYjP244mS5/KipcnX6xHEU2EZsvTN1UWXLLesVl7szUvXHc4z4TJ 5ExqJOZbw2nZ7/q2Dd+vQWOpc9tYK2LMLyiG0C3tnawTmUT8+P7bq6Br50uK6N2ZRW3d Xa6U/VDBMLqFf3KChjfT7Nb5rEkKjaKFdhJ5t4isMUxjSDobqBceVqZli2XKkhJx3+5H w1PZb1dpOsDX2JVtNtdcqvOXyrr08J+LjowNMIhgS6hi2NkX2RceNmvyUh9hIJM52AMl 8HtrUBVOJ4nt6B08E8JPDL+YmBBiEJYdiGSerUqXa0YNehWJs/3qA9LIQBUduT8VOfQf uR+Q== X-Gm-Message-State: APt69E113nSUbf4Ggq04s9dM6y70dxadnjkL5WlCtblAK1MEJRUvS7a1 YKqv4pcj4EHpGpMMqP80jJkHWg== X-Google-Smtp-Source: ADUXVKIWrzSzBsZFNdN9HoJKFGZEHFJgwDCWAxurOYojHjAjNX01Q6Tlt574K1o7tcXxLrL2FH6Suw== X-Received: by 2002:a24:fa07:: with SMTP id v7-v6mr8855992ith.18.1527962572912; Sat, 02 Jun 2018 11:02:52 -0700 (PDT) Received: from zebian (cbl-45-2-119-34.yyz.frontiernetworks.ca. [45.2.119.34]) by smtp.googlemail.com with ESMTPSA id g127-v6sm2523989ioa.79.2018.06.02.11.02.52 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 02 Jun 2018 11:02:52 -0700 (PDT) From: Noam Postavsky To: Gemini Lasswell Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> Date: Sat, 02 Jun 2018 14:02:51 -0400 In-Reply-To: <87a7sdkrft.fsf@runbox.com> (Gemini Lasswell's message of "Sat, 02 Jun 2018 10:51:18 -0700") Message-ID: <87po199id0.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 31688 Cc: 31688@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Gemini Lasswell writes: > Here is a test which succeeds when interpreted and fails when > byte-compiled. The byte compiler is apparently confusing two string > variables, or optimizing away one of them. I've tried it both > with and without lexical-binding with the same results. > > To reproduce, save this to bug.el: > > (require 'ert) > (ert-deftest test-strings-props () > (let* ((str1 "abcdefghij") > (obj '(a b)) > (str2 "abcdefghij")) > (put-text-property 0 5 'test obj str2) > (should (equal "\"abcdefghij\"" (prin1-to-string str1))))) I don't think this is a bug, the compiler coalesces equal string literals. `put-text-property' modifies the string destructively, so you shouldn't use it on literals, for the same reason you shouldn't use destructive operations on quoted list literals. Another example, not dependent on compilation: (defun foo (prop val) (let ((s "xyz")) (put-text-property 0 3 prop val s) s)) (foo 'x 1) ;=> #("xyz" 0 3 (x 1)) (foo 'y 2) ;=> #("xyz" 0 3 (x 1 y 2)) From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 18:53:03 2018 Received: (at 31688) by debbugs.gnu.org; 2 Jun 2018 22:53:03 +0000 Received: from localhost ([127.0.0.1]:59633 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPFOR-0008Iu-0w for submit@debbugs.gnu.org; Sat, 02 Jun 2018 18:53:03 -0400 Received: from aibo.runbox.com ([91.220.196.211]:38270) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPFOO-0008IR-Jg for 31688@debbugs.gnu.org; Sat, 02 Jun 2018 18:53:01 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=runbox.com; s=rbselector1; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From; bh=RknzOO4we/NPlqhO0kmxVvUlHvSIQ2NapW0sWKXpfmc=; b=gsE+AJz4G5JC4ubmrFUhimTZQG ZooSDR/FdFxxekOuiK7MOaDzRUkSVdY8DEsKD2weU+igexLG0x98MllbYyVlYCmcrKJszg4XQD3LJ 9TqqJAyEHrEG9T+Sg3s0ydmxfeLm7lwarwBVkeAG2cQlkhYZRSNuI0UqzsMv6qAD0/IBy1LVt/OP/ tvCi5cK9Wf0JnFA9QG4sZ30K33ptVHPqfTUtvZFs1JIxy2yP38jufgt7AEaX7IqKVk0W/yMznCMmq jbtJtStkPsbGXnOisiXej5S4oDIwmIt/Bal9cLGhRWtIan7AZvZ9Ky0PEDOUDSecPCdofi+cTW4KV TI7qdnMA==; Received: from [10.9.9.210] (helo=mailfront10.runbox.com) by mailtransmit02.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1fPFOM-0002QN-BN; Sun, 03 Jun 2018 00:52:59 +0200 Received: from c-24-22-244-161.hsd1.wa.comcast.net ([24.22.244.161] helo=sockeye) by mailfront10.runbox.com with esmtpsa (uid:179284 ) (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) id 1fPFOF-0000Pz-DO; Sun, 03 Jun 2018 00:52:52 +0200 From: Gemini Lasswell To: Noam Postavsky Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> Date: Sat, 02 Jun 2018 15:52:39 -0700 In-Reply-To: <87po199id0.fsf@gmail.com> (Noam Postavsky's message of "Sat, 02 Jun 2018 14:02:51 -0400") Message-ID: <87o9gsztqg.fsf@runbox.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 31688 Cc: 31688@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Noam Postavsky writes: > I don't think this is a bug, the compiler coalesces equal string > literals. `put-text-property' modifies the string destructively, so you > shouldn't use it on literals, for the same reason you shouldn't use > destructive operations on quoted list literals. Thanks for the explanation. I've just searched the Elisp reference looking for any any warnings not to use destructive functions on literals, and didn't find anything. Did I miss it? If not, it seems to me that the node "Self-Evaluating Forms" would be a good place to discuss the subject. From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 19:04:05 2018 Received: (at 31688) by debbugs.gnu.org; 2 Jun 2018 23:04:05 +0000 Received: from localhost ([127.0.0.1]:59638 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPFZ7-00009o-0y for submit@debbugs.gnu.org; Sat, 02 Jun 2018 19:04:05 -0400 Received: from userp2130.oracle.com ([156.151.31.86]:55678) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPFZ5-00009J-AC for 31688@debbugs.gnu.org; Sat, 02 Jun 2018 19:04:03 -0400 Received: from pps.filterd (userp2130.oracle.com [127.0.0.1]) by userp2130.oracle.com (8.16.0.22/8.16.0.22) with SMTP id w52N1XZt143916; Sat, 2 Jun 2018 23:03:57 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=mime-version : message-id : date : from : sender : to : cc : subject : references : in-reply-to : content-type : content-transfer-encoding; s=corp-2017-10-26; bh=uD0YpxzNbkaiJiaXlZ/YmFcfNgy/CezJxQotRNhB3OE=; b=gnIObzGv4W+fZIdZ/XSZGCSUYGb+WOwnMfsPYeD+Fy0wOQ6XhaW7yqZ2RFUCmlYQ4B/u WrD+1oNqi5nTXS62W6hZdP1tNMOrxVzR0PGVaDu2nSO/SDafw+Keb9sSupaycZCiTm+V FyS9R+lNmsvqbn5oMZKVuoFa8Svyfw+PlclAj/RVhLuUUvUBUzKlpLUCW/XIzA0ZWOOn AllDrD64vfadmfgIi2lAkH/XPjGn8dDPzoVNfNUxIjgn8/ncqfFICQkj12PHbKnwOmYP 95x0RmHr37w16gB+gWfrHyUfOGkl9c3w5xjtbQtTLVkzIwgM+vKc2DoZlmob99idMZVq SA== Received: from aserv0021.oracle.com (aserv0021.oracle.com [141.146.126.233]) by userp2130.oracle.com with ESMTP id 2jbvyp0bhv-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 02 Jun 2018 23:03:57 +0000 Received: from userv0122.oracle.com (userv0122.oracle.com [156.151.31.75]) by aserv0021.oracle.com (8.14.4/8.14.4) with ESMTP id w52N3uLM014828 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sat, 2 Jun 2018 23:03:56 GMT Received: from abhmp0016.oracle.com (abhmp0016.oracle.com [141.146.116.22]) by userv0122.oracle.com (8.14.4/8.14.4) with ESMTP id w52N3smn016810; Sat, 2 Jun 2018 23:03:54 GMT MIME-Version: 1.0 Message-ID: Date: Sat, 2 Jun 2018 23:03:52 +0000 (UTC) From: Drew Adams To: Noam Postavsky , Gemini Lasswell Subject: RE: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> In-Reply-To: <87po199id0.fsf@gmail.com> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.4690.0 (x86)] Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=8912 signatures=668702 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=845 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1805220000 definitions=main-1806020269 X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 31688 Cc: 31688@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > I don't think this is a bug, the compiler coalesces equal string > literals. `put-text-property' modifies the string destructively, so you > shouldn't use it on literals, for the same reason you shouldn't use > destructive operations on quoted list literals. Another example, not > dependent on compilation: >=20 > (defun foo (prop val) > (let ((s "xyz")) > (put-text-property 0 3 prop val s) > s)) >=20 > (foo 'x 1) ;=3D> #("xyz" 0 3 (x 1)) > (foo 'y 2) ;=3D> #("xyz" 0 3 (x 1 y 2)) Yes. See also this, about Common Lisp: https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node74.html A snippet of it: An additional problem with eq is that the implementation is permitted to ``collapse'' constants (or portions thereof) appearing in code to be compiled if they are equal. An object is considered to be a constant in code to be compiled if it is a self-evaluating form or is contained in a quote form. This is why (eq "Foo" "Foo") might be true or false; in interpreted code it would normally be false, because reading in the form (eq "Foo" "Foo") would construct distinct strings for the two arguments to eq, but the compiler might choose to use the same identical string or two distinct copies as the two arguments in the call to eq. From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 19:25:16 2018 Received: (at 31688) by debbugs.gnu.org; 2 Jun 2018 23:25:16 +0000 Received: from localhost ([127.0.0.1]:59644 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPFtb-0000ic-RT for submit@debbugs.gnu.org; Sat, 02 Jun 2018 19:25:16 -0400 Received: from mail-io0-f195.google.com ([209.85.223.195]:47021) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPFtZ-0000iO-U4 for 31688@debbugs.gnu.org; Sat, 02 Jun 2018 19:25:14 -0400 Received: by mail-io0-f195.google.com with SMTP id d22-v6so19318338iof.13 for <31688@debbugs.gnu.org>; Sat, 02 Jun 2018 16:25:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=jzDFFBIVjoDTdaRU8SM4t5rlNm+xwU4ASEDnJywVnM0=; b=W9honoXYep/bMH10EQ6IzHV52zQYp/eV/cGkXERjC74fC1RXnh+CkVlI1YrPfKU1J9 OIAWTYy92X+wCTXSDH/d964pdhTZAm3zyDjm9vBRvTb2BWYUsVJArAm7dZuGafrWhONR 8JYj0R5liexmEH4zj5jrLZvJlquDDDv1fQmwc0lz1poxN6QpqqdmstgBu+x/3rcUvY78 re28vY5UzLYzdC15q9skDTZYxiLWfm9igeVgr4bM1dVMpAbX/jzsdckeikQcoN6uJoVd z+FEksIk2iPy8DkzgR49d2hyt3ieXNR7GGM+admNXSmcuodRYf5JU77eTmQs3hEY8jF+ OhWg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=jzDFFBIVjoDTdaRU8SM4t5rlNm+xwU4ASEDnJywVnM0=; b=bHRN0IbN1ZUA6BRjCAzF9Fijpbxi3C3/Vcur/36CqcYomtnekl354ki2st5PwU/PIZ gaECmuq8wUyYbY6ugARZJVdMvG1fIYBX/Jw14mE1YBG3J69mVDu96KEbHHBEQUi0w9o0 6S7/gC6MRcTDBKowosBcJS5AQh9w0YB+5uLQgQvWYGlXxj593uBKRoBC9Y/PVRLaxtO2 112kAMNuWJdWawYthKnPFlNJjg4CvNFVtX+4okSHxtGeHpurpmZSnpeNoZIgXtuhJHzC 8FpRlul1c1NVzTPaWasJA/l9UubVTHJiNQtRE9aDUisUY9UqBLYllI87OqWSzI8X7kua MIsg== X-Gm-Message-State: APt69E0VhxpQjDlOqRUT+vG6+zArPDSSyM5raZq83LI7IDgYlz7WbHG/ GUDX+ElOaWyQz3GTqpGKp9rntQ== X-Google-Smtp-Source: ADUXVKKJNIXlcNIG5iol5vlfIjP6EZGshq36X2I5fnNRQehFmL4KK7xLZLdKCmZOMnYzqER9dfPOdQ== X-Received: by 2002:a6b:3757:: with SMTP id e84-v6mr16461954ioa.151.1527981908327; Sat, 02 Jun 2018 16:25:08 -0700 (PDT) Received: from zebian (cbl-45-2-119-34.yyz.frontiernetworks.ca. [45.2.119.34]) by smtp.googlemail.com with ESMTPSA id k35-v6sm4574088iod.44.2018.06.02.16.25.07 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 02 Jun 2018 16:25:07 -0700 (PDT) From: Noam Postavsky To: Gemini Lasswell Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <87o9gsztqg.fsf@runbox.com> Date: Sat, 02 Jun 2018 19:25:04 -0400 In-Reply-To: <87o9gsztqg.fsf@runbox.com> (Gemini Lasswell's message of "Sat, 02 Jun 2018 15:52:39 -0700") Message-ID: <87h8mkai0f.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -1.7 (-) X-Debbugs-Envelope-To: 31688 Cc: 31688@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.7 (--) Gemini Lasswell writes: > Thanks for the explanation. I've just searched the Elisp reference > looking for any any warnings not to use destructive functions on > literals, and didn't find anything. Did I miss it? If not, it seems to > me that the node "Self-Evaluating Forms" would be a good place to > discuss the subject. There is a description with reference to `nconc' in `(elisp) Rearrangement'. See also Bug#23417. https://debbugs.gnu.org/cgi/bugreport.cgi?bug=23417 From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 19:38:52 2018 Received: (at 31688) by debbugs.gnu.org; 2 Jun 2018 23:38:52 +0000 Received: from localhost ([127.0.0.1]:59649 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPG6m-00014j-3B for submit@debbugs.gnu.org; Sat, 02 Jun 2018 19:38:52 -0400 Received: from smtp-1.orcon.net.nz ([60.234.4.34]:41098) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPG6k-00014a-AX for 31688@debbugs.gnu.org; Sat, 02 Jun 2018 19:38:50 -0400 Received: from [10.253.37.70] (port=15634 helo=webmail.orcon.net.nz) by smtp-1.orcon.net.nz with esmtpa (Exim 4.86_2) (envelope-from ) id 1fPG6e-0003nv-Tu; Sun, 03 Jun 2018 11:38:45 +1200 Received: from [150.107.175.190] via [10.253.37.253] by webmail.orcon.net.nz with HTTP (HTTP/1.1 POST); Sun, 03 Jun 2018 11:38:44 +1200 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Sun, 03 Jun 2018 11:38:44 +1200 From: Phil Sainty To: Noam Postavsky Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables In-Reply-To: <87po199id0.fsf@gmail.com> References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> Message-ID: <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> X-Sender: psainty@orcon.net.nz User-Agent: Orcon Webmail X-GeoIP: -- X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 31688 Cc: Gemini Lasswell , bug-gnu-emacs , 31688@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) On 2018-06-03 06:02, Noam Postavsky wrote: > I don't think this is a bug, the compiler coalesces equal string > literals. Ouch. Has this always been the case? I've been firmly under the impression that the lisp reader creates a new lisp objects whenever it reads a string, so it's hugely surprising to me to learn that (eq str1 str2) can return different results depending on whether or not the code was byte-compiled. I see that this is t when compiled and nil otherwise: (let ((str1 "abc") (str2 "abc")) (eq str1 str2))) But this is nil regardless: (eq "abc" "abc") This seems kinda horrible? -Phil From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 19:54:50 2018 Received: (at 31688) by debbugs.gnu.org; 2 Jun 2018 23:54:50 +0000 Received: from localhost ([127.0.0.1]:59657 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPGMD-0001Vf-P3 for submit@debbugs.gnu.org; Sat, 02 Jun 2018 19:54:49 -0400 Received: from mail-it0-f50.google.com ([209.85.214.50]:38501) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPGMB-0001VP-FA for 31688@debbugs.gnu.org; Sat, 02 Jun 2018 19:54:48 -0400 Received: by mail-it0-f50.google.com with SMTP id v83-v6so6123247itc.3 for <31688@debbugs.gnu.org>; Sat, 02 Jun 2018 16:54:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:in-reply-to:references:user-agent:date :message-id:mime-version; bh=EkiIUJUdswHlFB//YdFLya/vwGi97B3gPDMzmJjEsk8=; b=hmPUC+8AaCnvbNHUJutMeHu+pH+jUPQHBoB/UdUEgj8H3sIPJ6xPoOg7xiD0mjs8b4 b5/D1wtSE4qQPqvOVd9qo3r3gyX1Cfa9Kt9Df/nDmJN7Z0Zc709X35u8qpMUUPM//Fei Cx8uWQEPoFNh6t80yfNs5A5pbT+0kzGlR8F9Vmv5xTifZdeVF6xSbCoVHTgwTYkxsnXy wk5fELdympmvMv2mIEStUWjEbFqf6KP4cRNNpx0jeWSeGAZiPtES5WOeRFCdJ886Vzfo RBwlbXNaHAv1yTfQd3gaGP7gI7NVO7I2sk67f+fPe8Add0n30H7acw5PnSrq7hRnWS4V nSvw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:in-reply-to:references :user-agent:date:message-id:mime-version; bh=EkiIUJUdswHlFB//YdFLya/vwGi97B3gPDMzmJjEsk8=; b=QMp44M8jHniLDd2R4m06g0pUO84zKtPBIoFHesfSPBk2KUq2PKWwTh1f0ieLq4dGCb lHZfmhJIc8zugDIOsG/ntUusyOWwaqNCFdRnvRu0R093a9nkBDjtwsxklKQaZk04QjCI J2pkGpT+czPg5ZVmbqbbRQRaxmYJHdmup4A6GGzYEWMDgokLLeV7Y391LZt5TUKTS0fz 9Zysey43Xb5IR9KG9rNXpnSRT0paJRh9qXeTLqGHPDbkoftA4iSocCunE/VlnN/VDCr/ TjVMYKmgakoHevkja0weEvfMXYah2gfLQvOBpSnXQTn8YxxizKy8lFSg9ll6TB8YZWjE tBSg== X-Gm-Message-State: APt69E3m0V87Qxmh1Gn6KTvtuzjHLMg82O8kwduakM5bS58ZrYgf+bWi 5opE6opmZLjx4pa5BMWG/VvhmQ== X-Google-Smtp-Source: ADUXVKKHvG9UcRGDz1TVP6XmBGyNtVz0i++e2V1TkyDlvL3vrDccmQZmMgG2jMxejwhhN9mCrxCxsQ== X-Received: by 2002:a24:6d5:: with SMTP id 204-v6mr9323529itv.47.1527983681806; Sat, 02 Jun 2018 16:54:41 -0700 (PDT) Received: from zebian (cbl-45-2-119-34.yyz.frontiernetworks.ca. [45.2.119.34]) by smtp.googlemail.com with ESMTPSA id e17-v6sm2525886itf.10.2018.06.02.16.54.40 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 02 Jun 2018 16:54:41 -0700 (PDT) From: Noam Postavsky To: Phil Sainty Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables In-Reply-To: <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> (Phil Sainty's message of "Sun, 03 Jun 2018 11:38:44 +1200") References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) Date: Sat, 02 Jun 2018 19:54:40 -0400 Message-ID: <87d0x8agn3.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 31688 Cc: Gemini Lasswell , bug-gnu-emacs , 31688@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Phil Sainty writes: > On 2018-06-03 06:02, Noam Postavsky wrote: >> I don't think this is a bug, the compiler coalesces equal string >> literals. > > Ouch. Has this always been the case? I've been firmly under the > impression that the lisp reader creates a new lisp objects whenever > it reads a string, Strictly speaking, that is correct. The reader does that. The byte compiler doesn't preserve the object identity. (byte-compile (lambda () (let ((str1 "abc") (str2 "abc")) (eq str1 str2)))) ;=> #[0 "" ["abc"] 4] > But this is nil regardless: > > (eq "abc" "abc") Oh, looks like the compiler performs the `eq' call at compile time. (byte-compile (lambda () (eq "abc" "abc"))) ;=> #[0 "\300\207" [nil] 1] > This seems kinda horrible? What, you don't like optimization? ;) From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 20:02:55 2018 Received: (at 31688) by debbugs.gnu.org; 3 Jun 2018 00:02:55 +0000 Received: from localhost ([127.0.0.1]:59661 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPGU3-0001jT-JM for submit@debbugs.gnu.org; Sat, 02 Jun 2018 20:02:55 -0400 Received: from mout.web.de ([212.227.15.14]:53323) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPGU1-0001jB-3o for 31688@debbugs.gnu.org; Sat, 02 Jun 2018 20:02:53 -0400 Received: from drachen.dragon ([188.110.196.170]) by smtp.web.de (mrweb002 [213.165.67.108]) with ESMTPSA (Nemesis) id 0MLg8p-1fORWy1CK3-000uoC; Sun, 03 Jun 2018 02:02:35 +0200 From: Michael Heerdegen To: Phil Sainty Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> Date: Sun, 03 Jun 2018 02:02:33 +0200 In-Reply-To: <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> (Phil Sainty's message of "Sun, 03 Jun 2018 11:38:44 +1200") Message-ID: <87wovgbuue.fsf@web.de> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Provags-ID: V03:K1:cWBnmjojsMo3llHfJvD/tjNEekc+wXjUsdmwkv3KUjxVmV1Qjj5 oFdo/ou40t0ukgVzHfByb1Y7qt4/thI1jnVEFzha1PCPFu/0SgskHsQqEqwjkrCKAmIDuaP 1DyMfMWSkYAda0a8aKvTFw5SPoo5C/RgIrCZ09jM/xWpqwwD5PmJqp2HMSovfbdXImmc03O jWLlxFXVjErAt6biuUYiQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:r11745UzdCY=:tlhu/Jym9zD02xKjCuX51o QqX43PPcBTAklEKJ4a4iPJ/97g/Jo5jDj8KlbKPzo/pn86YFf1Pmzk/TRHGaDE+vLswsY1uVp Lkldeqi7uXeuH4oL/M6cx8c20OqLZTgcCc7dmEUTrFf5rvp06nq4lzQjzlu4ZnfvorpdWXS1r ee+lonP9zsqoqYnqVWOr3jYZywBClfiD6REf2Sh4E8y/eSRJ1JUvc6Hl76V0RCJ64+xJITFxg koyTvkRAL8XdNtxXHnirXH2SaS74MVnw5TVVdjNTF+LdOF7ZV3nAvZVTBB7xswVk5QVAX8J3u uq8XqpfchRwNE967gl3Non0VsZDBjsUxstiORgcT+oO3sbyTOif1xwT7LKCPeeSVppVke757x bEvt27/VA7QtEHynBrt9sonSmP+gd7OtBke0FvEL9G8VkpLP+nhizg5bSFBTtwv7cN6qyK4dh fPC/pfMbEVhh3jLIDKLTkI8ZcT7rSD0L9ORjrsk6QD6r/O1mwT+P/DX9ty7dPByHFCJ0kiEux hijcBbU4SpIJnIMl8sK0YxdrCoP4iwdphqVux0DduFba/Wsz1qlyjfZ6VHXvO7dFvDjaqLBqv rFoYrmzm9aBRaj+sFbx3rWLAs9eu8hGQykcQOoeLNpRiB3crQBsjgwPbXLXJpoJ0V+r73O4tv 65KzK9CuikMp+/K/FuPbfes2H6MUrjiojz3DE/SIqh4pfNrBAdtAycN1GLsGs5YscZh8p1PNG NsLhlUEea3F6CXy6KYEtfUMBoFgDtk4Y3TiWxr1QdDVt/tVjYuGMrO8LLr7oyoZ0u6nh4uOrQ uWXxM/7 X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 31688 Cc: Gemini Lasswell , 31688@debbugs.gnu.org, Noam Postavsky , bug-gnu-emacs X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) Phil Sainty writes: > Ouch. Has this always been the case? I've been firmly under the > impression that the lisp reader creates a new lisp objects whenever it > reads a string [...] Note that even interpreted (eq "" "") ==> t Michael. From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 20:41:02 2018 Received: (at 31688) by debbugs.gnu.org; 3 Jun 2018 00:41:02 +0000 Received: from localhost ([127.0.0.1]:59690 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPH4w-0004hR-Ie for submit@debbugs.gnu.org; Sat, 02 Jun 2018 20:41:02 -0400 Received: from aserp2130.oracle.com ([141.146.126.79]:50036) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPH4u-0004go-MP for 31688@debbugs.gnu.org; Sat, 02 Jun 2018 20:41:01 -0400 Received: from pps.filterd (aserp2130.oracle.com [127.0.0.1]) by aserp2130.oracle.com (8.16.0.22/8.16.0.22) with SMTP id w530esTH130616; Sun, 3 Jun 2018 00:40:54 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=mime-version : message-id : date : from : sender : to : cc : subject : references : in-reply-to : content-type : content-transfer-encoding; s=corp-2017-10-26; bh=Y4jDTlM4+1W5jBg1U4VX7Hk5BjbM8dijWN5ocp9kQ+U=; b=d1LoPRlUCFtPXD+eTuXVdPMn5N23YwN3gtIt1Beaw3nj3NNqi7bTH5E6xA1AMysRIwlJ EOR1Z5a65N00ZAHV4+N4OPr1AjIiXjQoMLlzMOm0wTDhBpFb/uqpGVa3I+hTjukT9mTJ AVAlqPqn1e0LOOAm5LKDtIDD53qbSN6VxZwG2oKCouF0hDIYyBy2Nw3etKs0HsU2KE7n eCYSs5NMPqt8TQUYY0au/dObJxD1P1FB9KFpkE86ERkWd7T3aaBwzZNT9+Z0Gm977LBy 1rE6p8KIqGzdMvQiJ8ZeP3nn+BwuyNAAIQpph3lAAFYii67aL8xZ2YcWe26ui4N3WSj7 BQ== Received: from userv0022.oracle.com (userv0022.oracle.com [156.151.31.74]) by aserp2130.oracle.com with ESMTP id 2jbvynrdk3-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 03 Jun 2018 00:40:54 +0000 Received: from aserv0121.oracle.com (aserv0121.oracle.com [141.146.126.235]) by userv0022.oracle.com (8.14.4/8.14.4) with ESMTP id w530epjL029749 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 3 Jun 2018 00:40:51 GMT Received: from abhmp0003.oracle.com (abhmp0003.oracle.com [141.146.116.9]) by aserv0121.oracle.com (8.14.4/8.13.8) with ESMTP id w530enwZ018147; Sun, 3 Jun 2018 00:40:49 GMT MIME-Version: 1.0 Message-ID: <197f6fee-36ae-4c55-bf9d-229146343937@default> Date: Sat, 2 Jun 2018 17:40:47 -0700 (PDT) From: Drew Adams To: Gemini Lasswell , Noam Postavsky Subject: RE: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <87o9gsztqg.fsf@runbox.com> In-Reply-To: <87o9gsztqg.fsf@runbox.com> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.4690.0 (x86)] Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=8912 signatures=668702 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1805220000 definitions=main-1806030004 X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 31688 Cc: 31688@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > just searched the Elisp reference > looking for any any warnings not to use destructive functions on > literals, and didn't find anything.=20 It's not really about destructive functions. It's about the fact that you might not have two different strings, and you should not assume that you do. It's about `eq'. For the Emacs byte-compiler, apparently, multiple occurrences of a string literal in the code are compiled to the same string object. Thinking you have two separate strings is the problem. Anything you might want to think or say about the use of "destructive" functions follows from the fact that you have a single string. From debbugs-submit-bounces@debbugs.gnu.org Sat Jun 02 20:46:55 2018 Received: (at 31688) by debbugs.gnu.org; 3 Jun 2018 00:46:55 +0000 Received: from localhost ([127.0.0.1]:59695 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPHAd-0006c7-6R for submit@debbugs.gnu.org; Sat, 02 Jun 2018 20:46:55 -0400 Received: from aserp2120.oracle.com ([141.146.126.78]:41562) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPHAa-0006W4-Ul for 31688@debbugs.gnu.org; Sat, 02 Jun 2018 20:46:53 -0400 Received: from pps.filterd (aserp2120.oracle.com [127.0.0.1]) by aserp2120.oracle.com (8.16.0.22/8.16.0.22) with SMTP id w530klQe075299; Sun, 3 Jun 2018 00:46:47 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=mime-version : message-id : date : from : sender : to : cc : subject : references : in-reply-to : content-type : content-transfer-encoding; s=corp-2017-10-26; bh=wltXAvruSg8Kjh5TPIEhSnIsP5pNJAfRZDYIgZtwTec=; b=id0bCp8LWBiDnGMdVRqZZihGDSALwBCKTWWXWFc2bu2k1EsNiE8jTorlCCEG9zp2rhc1 4LjFb717Sy2eRZjO/c1E2eEY0EaOfGjTNkkpmjgrk44API81zHSYjzePqWwNv41jKAyR VDgOx+uocgbkU7ggNmgm5wJfJ7O0D2ajfrBLs1nlI8RcQlhbMKTLSHzzaKyo7xLohUvD mM9pudNrwkD0Bf5MGogVVyjy4CgQcZ3FoqgvggXqQ7P6eN7JhJiLoMzviEQQcqxSPYNj 1TiHLRs48h4L3QaubKloYQcyieA2WMmy0Rw0ym5KPtiGXQKUEGChpWFGNaLTvXsn/+KZ XQ== Received: from aserv0021.oracle.com (aserv0021.oracle.com [141.146.126.233]) by aserp2120.oracle.com with ESMTP id 2jbvyp8du3-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 03 Jun 2018 00:46:47 +0000 Received: from userv0122.oracle.com (userv0122.oracle.com [156.151.31.75]) by aserv0021.oracle.com (8.14.4/8.14.4) with ESMTP id w530kkiA003745 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Sun, 3 Jun 2018 00:46:46 GMT Received: from abhmp0003.oracle.com (abhmp0003.oracle.com [141.146.116.9]) by userv0122.oracle.com (8.14.4/8.14.4) with ESMTP id w530kiMt016655; Sun, 3 Jun 2018 00:46:44 GMT MIME-Version: 1.0 Message-ID: <728a6a02-2d12-4347-96f1-b5b8fa3cb1a3@default> Date: Sat, 2 Jun 2018 17:46:42 -0700 (PDT) From: Drew Adams To: Michael Heerdegen , Phil Sainty Subject: RE: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> <87wovgbuue.fsf@web.de> In-Reply-To: <87wovgbuue.fsf@web.de> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.4690.0 (x86)] Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable X-Proofpoint-Virus-Version: vendor=nai engine=5900 definitions=8912 signatures=668702 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=691 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1805220000 definitions=main-1806030005 X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 31688 Cc: Gemini Lasswell , 31688@debbugs.gnu.org, bug-gnu-emacs , Noam Postavsky X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > Note that even interpreted (eq "" "") =3D=3D> t Yes, but that's an exception. Someone thought it was a brilliant idea to add it as an exception in Emacs 23, and that prevailed. Just like (eq "abc" "abc") still, (eq "" "") was nil before Emacs 23 when interpreted. From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 03 08:32:35 2018 Received: (at 31688) by debbugs.gnu.org; 3 Jun 2018 12:32:35 +0000 Received: from localhost ([127.0.0.1]:59849 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPSBW-0004EZ-WB for submit@debbugs.gnu.org; Sun, 03 Jun 2018 08:32:35 -0400 Received: from smtp-1.orcon.net.nz ([60.234.4.34]:46384) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPSBU-0004EQ-Gn for 31688@debbugs.gnu.org; Sun, 03 Jun 2018 08:32:33 -0400 Received: from [10.253.37.70] (port=52494 helo=webmail.orcon.net.nz) by smtp-1.orcon.net.nz with esmtpa (Exim 4.86_2) (envelope-from ) id 1fPSBN-00058u-U7; Mon, 04 Jun 2018 00:32:26 +1200 Received: from [150.107.175.190] via [10.253.37.253] by webmail.orcon.net.nz with HTTP (HTTP/1.1 POST); Mon, 04 Jun 2018 00:32:25 +1200 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Mon, 04 Jun 2018 00:32:25 +1200 From: Phil Sainty To: Noam Postavsky Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables In-Reply-To: <87d0x8agn3.fsf@gmail.com> References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> <87d0x8agn3.fsf@gmail.com> Message-ID: <389bb1de5df69b513db3097aa3e000cb@webmail.orcon.net.nz> X-Sender: psainty@orcon.net.nz User-Agent: Orcon Webmail X-GeoIP: -- X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 31688 Cc: Gemini Lasswell , bug-gnu-emacs , 31688@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) On 2018-06-03 11:54, Noam Postavsky wrote: > What, you don't like optimization? ;) I generally dislike it when byte-compiled and interpreted code give different results. Offhand I'm struggling to imagine there being really significant benefits to this optimisation; whereas I can easily imagine that any bugs on this account, while no doubt unlikely, could be amazingly painful to track down if the bug only occurred in byte- compiled code, and instrumenting the function for debugging simply made the bug go away. From debbugs-submit-bounces@debbugs.gnu.org Sun Jun 03 09:05:29 2018 Received: (at 31688) by debbugs.gnu.org; 3 Jun 2018 13:05:29 +0000 Received: from localhost ([127.0.0.1]:59867 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPShM-000531-RP for submit@debbugs.gnu.org; Sun, 03 Jun 2018 09:05:28 -0400 Received: from mail-out.m-online.net ([212.18.0.10]:40674) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPShK-00052r-VL for 31688@debbugs.gnu.org; Sun, 03 Jun 2018 09:05:27 -0400 Received: from frontend01.mail.m-online.net (unknown [192.168.8.182]) by mail-out.m-online.net (Postfix) with ESMTP id 40zJFx289Tz1qvnJ; Sun, 3 Jun 2018 15:05:25 +0200 (CEST) Received: from localhost (dynscan1.mnet-online.de [192.168.6.70]) by mail.m-online.net (Postfix) with ESMTP id 40zJFx0Kcdz1qsf3; Sun, 3 Jun 2018 15:05:25 +0200 (CEST) X-Virus-Scanned: amavisd-new at mnet-online.de Received: from mail.mnet-online.de ([192.168.8.182]) by localhost (dynscan1.mail.m-online.net [192.168.6.70]) (amavisd-new, port 10024) with ESMTP id FzhjTrtH-zXi; Sun, 3 Jun 2018 15:05:24 +0200 (CEST) X-Auth-Info: AQwIj1/9/+fQOGDkro6bRXRzrapDc5lHtuVrgCNhhpz1z8RdrS+KFNIUrxrJK5X0 Received: from igel.home (ppp-188-174-159-147.dynamic.mnet-online.de [188.174.159.147]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.mnet-online.de (Postfix) with ESMTPSA; Sun, 3 Jun 2018 15:05:24 +0200 (CEST) Received: by igel.home (Postfix, from userid 1000) id 9CDA32C4A7A; Sun, 3 Jun 2018 15:05:23 +0200 (CEST) From: Andreas Schwab To: Phil Sainty Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> <87d0x8agn3.fsf@gmail.com> <389bb1de5df69b513db3097aa3e000cb@webmail.orcon.net.nz> X-Yow: I'm pretending that we're all watching PHIL SILVERS instead of RICARDO MONTALBAN! Date: Sun, 03 Jun 2018 15:05:23 +0200 In-Reply-To: <389bb1de5df69b513db3097aa3e000cb@webmail.orcon.net.nz> (Phil Sainty's message of "Mon, 04 Jun 2018 00:32:25 +1200") Message-ID: <87y3fw9g18.fsf@igel.home> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.5 (/) X-Debbugs-Envelope-To: 31688 Cc: Gemini Lasswell , 31688@debbugs.gnu.org, Noam Postavsky , bug-gnu-emacs X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.5 (-) On Jun 04 2018, Phil Sainty wrote: > On 2018-06-03 11:54, Noam Postavsky wrote: >> What, you don't like optimization? ;) > > I generally dislike it when byte-compiled and interpreted code > give different results. This really has nothing to do with byte-compilation. Whether literals are shared or not should not be relied upon. You always have to be careful when modifying values in-place. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 04 06:02:44 2018 Received: (at 31688) by debbugs.gnu.org; 4 Jun 2018 10:02:44 +0000 Received: from localhost ([127.0.0.1]:60901 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPmK4-0007KF-1m for submit@debbugs.gnu.org; Mon, 04 Jun 2018 06:02:44 -0400 Received: from smtp-3.orcon.net.nz ([60.234.4.44]:53798) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPmK1-0007K4-Mf for 31688@debbugs.gnu.org; Mon, 04 Jun 2018 06:02:42 -0400 Received: from [10.253.37.70] (port=10346 helo=webmail.orcon.net.nz) by smtp-3.orcon.net.nz with esmtpa (Exim 4.86_2) (envelope-from ) id 1fPmJo-0004HX-1v; Mon, 04 Jun 2018 22:02:29 +1200 Received: from [150.107.175.190] via [10.253.37.253] by webmail.orcon.net.nz with HTTP (HTTP/1.1 POST); Mon, 04 Jun 2018 22:02:27 +1200 MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Mon, 04 Jun 2018 22:02:27 +1200 From: Phil Sainty To: Andreas Schwab Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables In-Reply-To: <87y3fw9g18.fsf@igel.home> References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> <87d0x8agn3.fsf@gmail.com> <389bb1de5df69b513db3097aa3e000cb@webmail.orcon.net.nz> <87y3fw9g18.fsf@igel.home> Message-ID: <2a9f684c2867ae9a7deccb51d04f9de6@webmail.orcon.net.nz> X-Sender: psainty@orcon.net.nz User-Agent: Orcon Webmail X-GeoIP: -- X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 31688 Cc: Gemini Lasswell , 31688@debbugs.gnu.org, bug-gnu-emacs , Noam Postavsky X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) On 2018-06-04 01:05, Andreas Schwab wrote: > On Jun 04 2018, Phil Sainty wrote: >> I generally dislike it when byte-compiled and interpreted code >> give different results. > > This really has nothing to do with byte-compilation. Whether > literals are shared or not should not be relied upon. You always > have to be careful when modifying values in-place. I don't disagree that one ought to take care when modifying values in-place, but my general concern is purely that the byte-compiler is producing code which does not behave the same as the uncompiled code. (i.e. I think my issue is specifically to do with byte-compilation, and I would consider such discrepancies to be a problem irrespective of the sort of code which was affected.) Surely consistent behaviour between compiled and uncompiled code is not only desirable, but a primary goal? I realise (albeit vaguely) that the byte code and its interpreter are rather different to the uncompiled versions, so I suppose this may not be the only situation where a discrepancy results; but I think that known cases ought be identified and documented (and I think that eliminating such differences may be a valuable improvement). The "(elisp)Byte Compilation" info node could certainly do with a child node detailing the ways in which byte-compiled code behaves differently from uncompiled code, so that elisp authors can gain an understanding of all these nuances from a single section of the manual. > Whether literals are shared or not should not be relied upon. Why? I mean, in this case we already know the answer, but why shouldn't the behaviour be consistent and dependable between the two variants? Again, it bothers me to think that someone could observe a bug when running byte-compiled code, and try to debug it but, through the process of instrumenting functions for debugging, unwittingly change the behaviour of the code such that the bug no longer occurs. -Phil From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 04 11:58:22 2018 Received: (at 31688) by debbugs.gnu.org; 4 Jun 2018 15:58:22 +0000 Received: from localhost ([127.0.0.1]:33496 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPrsE-0004uv-Ev for submit@debbugs.gnu.org; Mon, 04 Jun 2018 11:58:22 -0400 Received: from eggs.gnu.org ([208.118.235.92]:59958) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPrsC-0004uV-Kh for 31688@debbugs.gnu.org; Mon, 04 Jun 2018 11:58:20 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fPrs3-0001DZ-Bb for 31688@debbugs.gnu.org; Mon, 04 Jun 2018 11:58:15 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:51094) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fPrs3-0001DO-7Y; Mon, 04 Jun 2018 11:58:11 -0400 Received: from [176.228.60.248] (port=2224 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fPrs2-0000TS-ME; Mon, 04 Jun 2018 11:58:11 -0400 Date: Mon, 04 Jun 2018 18:58:19 +0300 Message-Id: <83zi0abl2c.fsf@gnu.org> From: Eli Zaretskii To: Phil Sainty In-reply-to: <2a9f684c2867ae9a7deccb51d04f9de6@webmail.orcon.net.nz> (message from Phil Sainty on Mon, 04 Jun 2018 22:02:27 +1200) Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> <87d0x8agn3.fsf@gmail.com> <389bb1de5df69b513db3097aa3e000cb@webmail.orcon.net.nz> <87y3fw9g18.fsf@igel.home> <2a9f684c2867ae9a7deccb51d04f9de6@webmail.orcon.net.nz> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 31688 Cc: gazally@runbox.com, 31688@debbugs.gnu.org, schwab@linux-m68k.org, npostavs@gmail.com, bug-gnu-emacs-bounces+psainty=orcon.net.nz@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Eli Zaretskii Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) > Date: Mon, 04 Jun 2018 22:02:27 +1200 > From: Phil Sainty > Cc: Gemini Lasswell , Noam Postavsky , > bug-gnu-emacs , > 31688@debbugs.gnu.org > > Again, it bothers me to think that someone could observe a bug when > running byte-compiled code, and try to debug it but, through the > process of instrumenting functions for debugging, unwittingly change > the behaviour of the code such that the bug no longer occurs. Byte compilation includes optimizations, and the fact that optimized code can behave differently from unoptimized one is well known in every programming language. When you get differences, you have code that relies on undefined behavior, which I believe is the point Andreas was making. From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 04 13:01:22 2018 Received: (at 31688) by debbugs.gnu.org; 4 Jun 2018 17:01:22 +0000 Received: from localhost ([127.0.0.1]:33581 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPsrC-0001Ew-3K for submit@debbugs.gnu.org; Mon, 04 Jun 2018 13:01:22 -0400 Received: from mail-out.m-online.net ([212.18.0.9]:54120) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fPsr9-0001Eo-QR for 31688@debbugs.gnu.org; Mon, 04 Jun 2018 13:01:20 -0400 Received: from frontend01.mail.m-online.net (unknown [192.168.8.182]) by mail-out.m-online.net (Postfix) with ESMTP id 4101Rf3lfCz1r19Q; Mon, 4 Jun 2018 19:01:18 +0200 (CEST) Received: from localhost (dynscan1.mnet-online.de [192.168.6.70]) by mail.m-online.net (Postfix) with ESMTP id 4101Rf2V7xz1qqyB; Mon, 4 Jun 2018 19:01:18 +0200 (CEST) X-Virus-Scanned: amavisd-new at mnet-online.de Received: from mail.mnet-online.de ([192.168.8.182]) by localhost (dynscan1.mail.m-online.net [192.168.6.70]) (amavisd-new, port 10024) with ESMTP id nucm38MzqvLA; Mon, 4 Jun 2018 19:01:17 +0200 (CEST) X-Auth-Info: Ajamat8F9gP802VchSJX6fL3RAo8uBjRPwKeuIWrrWo06DPjxDNctmfAO+jN0PyX Received: from igel.home (ppp-188-174-150-126.dynamic.mnet-online.de [188.174.150.126]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.mnet-online.de (Postfix) with ESMTPSA; Mon, 4 Jun 2018 19:01:17 +0200 (CEST) Received: by igel.home (Postfix, from userid 1000) id E039D2C4D00; Mon, 4 Jun 2018 19:01:16 +0200 (CEST) From: Andreas Schwab To: Phil Sainty Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> <87d0x8agn3.fsf@gmail.com> <389bb1de5df69b513db3097aa3e000cb@webmail.orcon.net.nz> <87y3fw9g18.fsf@igel.home> <2a9f684c2867ae9a7deccb51d04f9de6@webmail.orcon.net.nz> X-Yow: I'm rated PG-34!! Date: Mon, 04 Jun 2018 19:01:16 +0200 In-Reply-To: <2a9f684c2867ae9a7deccb51d04f9de6@webmail.orcon.net.nz> (Phil Sainty's message of "Mon, 04 Jun 2018 22:02:27 +1200") Message-ID: <87a7sajxk3.fsf@igel.home> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.5 (/) X-Debbugs-Envelope-To: 31688 Cc: Gemini Lasswell , 31688@debbugs.gnu.org, bug-gnu-emacs , Noam Postavsky X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.5 (-) On Jun 04 2018, Phil Sainty wrote: > Surely consistent behaviour between compiled and uncompiled code is > not only desirable, but a primary goal? Not if you are using self-modifying code. Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 06 18:15:02 2018 Received: (at control) by debbugs.gnu.org; 6 Jun 2018 22:15:02 +0000 Received: from localhost ([127.0.0.1]:37171 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fQghq-0002tW-JP for submit@debbugs.gnu.org; Wed, 06 Jun 2018 18:15:02 -0400 Received: from mail-io0-f169.google.com ([209.85.223.169]:41386) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fQghn-0002si-HQ for control@debbugs.gnu.org; Wed, 06 Jun 2018 18:14:59 -0400 Received: by mail-io0-f169.google.com with SMTP id t5-v6so9481952ioa.8 for ; Wed, 06 Jun 2018 15:14:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:mime-version; bh=k86sfiKfxZDGVHvWvxp84WueryCzUF8fzn5hzyfbYSA=; b=RNhf99wThLZBdzLi9NKBjnoTlR+ouTFc5XwNiq2p/deDXdb6Sav+xkU0wrFPyAex6s Mu42c1owyiLGcgaxdYK41KOkJvxx8ACXx6bWmcmjY9wMGiJWkQo7nLd32d47wrGBqH8H yqo56Z2JjfRZqDuCeCKJScp0pXQ2x4Adzf6BiEWcvcvOgEopXVLiw5s5sya+pBIFlgmV SL7WD4okygDKHa583uTy1LjZyUNOCuNT6Z5msdSauIzqS39SKoOuu4t9oWW+B8qKaupX uQYfcRA97BEivLu1RagE47cQxbTwPtMf39w/ENFg/6X85nPDpBU90ZBl8S8DtTUbDFNM fzIw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version; bh=k86sfiKfxZDGVHvWvxp84WueryCzUF8fzn5hzyfbYSA=; b=ChIKCB5Sws8CI+X0LZBAPTVnVm9NV3xZ0xNc6zRVAOKhpeVfTFQITnPpl58RAvasJw 3BsyrGjDbb0rASPALXjUk2EqTT6z0lm7m1+fUy6wGq8wYEKhhRnzacFNDx2hxAB+A8Ue i3F1TrIC/hklwmgqFxOtIa5LWgjpEM3aPITWmoJG340Zb4aTncvdfADbEeH3auK8KBaY cyfXpza1H/AKOhmEHb41CTMv/kKH8GSMsskVPYhe00Dxt2RpyUKJhZ199YfwQb2mcbrC 5c/7Ll7pOeFwH4sw9g/JC6DXnGFjXiwZAr3+qCI+AHFKGUj1g4YH3xO9GwjEfRJWnoLF 5DwQ== X-Gm-Message-State: APt69E13zP+aEn1+/Fi93c3Xn/y8KrjaEOSUClo8dJEpLKt7k3EbfUY/ TTbgmIKLHckoA+yIFWAtbyF29pHb X-Google-Smtp-Source: ADUXVKKYIiIkTNX2kFTbsm2KTRtG7lneFih4arD67VAVix13Yhqd8nbNoT9r0gVFI2V7XEDKWm6R7A== X-Received: by 2002:a6b:ce15:: with SMTP id p21-v6mr4571167iob.257.1528323293978; Wed, 06 Jun 2018 15:14:53 -0700 (PDT) Received: from zebian (cbl-45-2-119-34.yyz.frontiernetworks.ca. [45.2.119.34]) by smtp.googlemail.com with ESMTPSA id k16-v6sm3000252iog.45.2018.06.06.15.14.53 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 06 Jun 2018 15:14:53 -0700 (PDT) From: Noam Postavsky To: control@debbugs.gnu.org Subject: control message for bug #31688 Date: Wed, 06 Jun 2018 18:14:51 -0400 Message-ID: <87d0x34l5w.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -0.8 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.8 (-) tags 31688 + notabug quit From debbugs-submit-bounces@debbugs.gnu.org Fri Jun 08 11:09:51 2018 Received: (at 31688-done) by debbugs.gnu.org; 8 Jun 2018 15:09:51 +0000 Received: from localhost ([127.0.0.1]:39817 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fRJ1T-0007PA-CZ for submit@debbugs.gnu.org; Fri, 08 Jun 2018 11:09:51 -0400 Received: from eggs.gnu.org ([208.118.235.92]:45938) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fRJ1S-0007Ox-5E for 31688-done@debbugs.gnu.org; Fri, 08 Jun 2018 11:09:50 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fRJ1I-0006L0-QI for 31688-done@debbugs.gnu.org; Fri, 08 Jun 2018 11:09:44 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:59374) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fRJ1I-0006Kt-Lv; Fri, 08 Jun 2018 11:09:40 -0400 Received: from [176.228.60.248] (port=1619 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fRJ1H-00074w-Ol; Fri, 08 Jun 2018 11:09:40 -0400 Date: Fri, 08 Jun 2018 18:09:35 +0300 Message-Id: <834liduxg0.fsf@gnu.org> From: Eli Zaretskii To: Andreas Schwab In-reply-to: <87a7sajxk3.fsf@igel.home> (message from Andreas Schwab on Mon, 04 Jun 2018 19:01:16 +0200) Subject: Re: bug#31688: 26.1.50; Byte compiler confuses two string variables References: <87a7sdkrft.fsf@runbox.com> <87po199id0.fsf@gmail.com> <5c6b2383ccd9c7d9b4058d249274b8c4@webmail.orcon.net.nz> <87d0x8agn3.fsf@gmail.com> <389bb1de5df69b513db3097aa3e000cb@webmail.orcon.net.nz> <87y3fw9g18.fsf@igel.home> <2a9f684c2867ae9a7deccb51d04f9de6@webmail.orcon.net.nz> <87a7sajxk3.fsf@igel.home> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 31688-done Cc: psainty@orcon.net.nz, gazally@runbox.com, 31688-done@debbugs.gnu.org, npostavs@gmail.com, bug-gnu-emacs-bounces+psainty=orcon.net.nz@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: Eli Zaretskii Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) > From: Andreas Schwab > Date: Mon, 04 Jun 2018 19:01:16 +0200 > Cc: Gemini Lasswell , Noam Postavsky , > bug-gnu-emacs , > 31688@debbugs.gnu.org > > On Jun 04 2018, Phil Sainty wrote: > > > Surely consistent behaviour between compiled and uncompiled code is > > not only desirable, but a primary goal? > > Not if you are using self-modifying code. Thanks to everyone who participated in the discussion. I have now added some explanation of these issues to the ELisp manual, and I'm closing the bug report. From unknown Thu Sep 11 02:37:28 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 07 Jul 2018 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator