GNU bug report logs - #17681
24.3.91; "Arithmetic Error" in hide-ifdef mode when using shift operators

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 17681 in the body.
You can then email your comments to 17681 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: David Engster <deng <at> randomsample.de>
To: bug-gnu-emacs <at> gnu.org
Subject: 24.3.91;
 "Arithmetic Error" in hide-ifdef mode when using shift operators
Date: Tue, 03 Jun 2014 21:12:33 +0200

Recipe:

- Create a file "test.h" containing the following (this is from
  the file 'jiffies.h' in the Linux kernel):

#if !((((NSEC_PER_SEC << 2) / TICK_NSEC) << (SEC_JIFFIE_SC - 2)) & 0x80000000)
#endif

- emacs -Q

- Load the file, activate hide-ifdef-mode

- C-c @ h  (hide-ifdefs)

The minibuffer will show "Arithmetic Error". Here is the backtrace:

Debugger entered--Lisp error: (arith-error)
  hif-divide(0 nil)
  (hif-shiftleft (hif-divide (hif-shiftleft (hif-lookup (quote NSEC_PER_SEC)) 2) (hif-lookup (quote TICK_NSEC))) (hif-minus (hif-lookup (quote SEC_JIFFIE_SC)) 2))
  (hif-logand (hif-shiftleft (hif-divide (hif-shiftleft (hif-lookup (quote NSEC_PER_SEC)) 2) (hif-lookup (quote TICK_NSEC))) (hif-minus (hif-lookup (quote SEC_JIFFIE_SC)) 2)) 2147483648.0)
  (hif-not (hif-logand (hif-shiftleft (hif-divide (hif-shiftleft (hif-lookup (quote NSEC_PER_SEC)) 2) (hif-lookup (quote TICK_NSEC))) (hif-minus (hif-lookup (quote SEC_JIFFIE_SC)) 2)) 2147483648.0))
  eval((hif-not (hif-logand (hif-shiftleft (hif-divide (hif-shiftleft (hif-lookup (quote NSEC_PER_SEC)) 2) (hif-lookup (quote TICK_NSEC))) (hif-minus (hif-lookup (quote SEC_JIFFIE_SC)) 2)) 2147483648.0)))
  hif-possibly-hide()
  hide-ifdef-guts()
  hide-ifdefs()

Earlier Emacsen did not throw an error here (although it is very
possible that the above line wasn't calculated correctly). Still, this
probably qualifies as a regression.

-David

Message #8 received at 17681 <at> debbugs.gnu.org (full text, mbox):

From: Glenn Morris <rgm <at> gnu.org>
To: luke.yx.lee <at> gmail.com
Cc: 17681 <at> debbugs.gnu.org, David Engster <deng <at> randomsample.de>
Subject: Re: bug#17681: 24.3.91;
 "Arithmetic Error" in hide-ifdef mode when using shift operators
Date: Thu, 05 Jun 2014 18:26:15 -0400

Luke, could you take a look at this report please?

http://debbugs.gnu.org/17681

An artificial but smaller example might be:

#if 1 / FOO
#endif


David Engster wrote:

> Recipe:
>
> - Create a file "test.h" containing the following (this is from
>   the file 'jiffies.h' in the Linux kernel):
>
> #if !((((NSEC_PER_SEC << 2) / TICK_NSEC) << (SEC_JIFFIE_SC - 2)) & 0x80000000)
> #endif
>
> - emacs -Q
>
> - Load the file, activate hide-ifdef-mode
>
> - C-c @ h  (hide-ifdefs)
>
> The minibuffer will show "Arithmetic Error". Here is the backtrace:
>
> Debugger entered--Lisp error: (arith-error)
>   hif-divide(0 nil)
>   (hif-shiftleft (hif-divide (hif-shiftleft (hif-lookup (quote NSEC_PER_SEC)) 2) (hif-lookup (quote TICK_NSEC))) (hif-minus (hif-lookup (quote SEC_JIFFIE_SC)) 2))
>   (hif-logand (hif-shiftleft (hif-divide (hif-shiftleft (hif-lookup (quote NSEC_PER_SEC)) 2) (hif-lookup (quote TICK_NSEC))) (hif-minus (hif-lookup (quote SEC_JIFFIE_SC)) 2)) 2147483648.0)
>   (hif-not (hif-logand (hif-shiftleft (hif-divide (hif-shiftleft (hif-lookup (quote NSEC_PER_SEC)) 2) (hif-lookup (quote TICK_NSEC))) (hif-minus (hif-lookup (quote SEC_JIFFIE_SC)) 2)) 2147483648.0))
>   eval((hif-not (hif-logand (hif-shiftleft (hif-divide (hif-shiftleft (hif-lookup (quote NSEC_PER_SEC)) 2) (hif-lookup (quote TICK_NSEC))) (hif-minus (hif-lookup (quote SEC_JIFFIE_SC)) 2)) 2147483648.0)))
>   hif-possibly-hide()
>   hide-ifdef-guts()
>   hide-ifdefs()
>
> Earlier Emacsen did not throw an error here (although it is very
> possible that the above line wasn't calculated correctly). Still, this
> probably qualifies as a regression.

Message #11 received at 17681 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: Glenn Morris <rgm <at> gnu.org>
Cc: 17681 <at> debbugs.gnu.org, luke.yx.lee <at> gmail.com,
 David Engster <deng <at> randomsample.de>
Subject: Re: bug#17681: 24.3.91;
 "Arithmetic Error" in hide-ifdef mode when using shift operators
Date: Thu, 05 Jun 2014 21:04:34 -0400

> Luke, could you take a look at this report please?

> http://debbugs.gnu.org/17681

> An artificial but smaller example might be:

> #if 1 / FOO
> #endif

I think he already sent me a patch fixing this problem (which IIUC is
a problem I introduced, BTW).


        Stefan

Message #14 received at 17681 <at> debbugs.gnu.org (full text, mbox):

From: Luke Lee <luke.yx.lee <at> gmail.com>
To: Stefan Monnier <monnier <at> iro.umontreal.ca>
Cc: Glenn Morris <rgm <at> gnu.org>, 17681 <at> debbugs.gnu.org,
 David Engster <deng <at> randomsample.de>
Subject: Re: bug#17681: 24.3.91; "Arithmetic Error" in hide-ifdef mode when
 using shift operators
Date: Fri, 6 Jun 2014 14:00:19 +0800

[Message part 1 (text/plain, inline)]

>I think he already sent me a patch fixing this problem

Yes, I think my new patch fixed that problem. However, if you're trying to
hide
jiffies.h it will eventually failed at some other place due to the
"unsigned long"
integer postfix (i.e. the "UL" in 100000UL), which hideif still consider it
a "TODO".

#define TICK_USEC ((1000000UL + USER_HZ/2) / USER_HZ)



2014-06-06 9:04 GMT+08:00 Stefan Monnier <monnier <at> iro.umontreal.ca>:

> > Luke, could you take a look at this report please?
>
> > http://debbugs.gnu.org/17681
>
> > An artificial but smaller example might be:
>
> > #if 1 / FOO
> > #endif
>
> I think he already sent me a patch fixing this problem (which IIUC is
> a problem I introduced, BTW).
>
>
>         Stefan
>



-- 
Best regards,
Luke Lee

[Message part 2 (text/html, inline)]

Message #17 received at 17681 <at> debbugs.gnu.org (full text, mbox):

From: Glenn Morris <rgm <at> gnu.org>
To: Luke Lee <luke.yx.lee <at> gmail.com>
Cc: 17681 <at> debbugs.gnu.org, Stefan Monnier <monnier <at> iro.umontreal.ca>,
 David Engster <deng <at> randomsample.de>
Subject: Re: bug#17681: 24.3.91;
 "Arithmetic Error" in hide-ifdef mode when using shift operators
Date: Fri, 06 Jun 2014 03:17:09 -0400

Luke Lee wrote:

>>I think he already sent me a patch fixing this problem
>
> Yes, I think my new patch fixed that problem.

Is this patch posted anywhere?

> However, if you're trying to hide jiffies.h it will eventually failed
> at some other place due to the "unsigned long" integer postfix (i.e.
> the "UL" in 100000UL), which hideif still consider it a "TODO".
>
> #define TICK_USEC ((1000000UL + USER_HZ/2) / USER_HZ)

When you say fail, do you mean it will give an error?
If so, why not ignore-errors around these evaluations?

Message #20 received at 17681 <at> debbugs.gnu.org (full text, mbox):

From: Luke Lee <luke.yx.lee <at> gmail.com>
To: Glenn Morris <rgm <at> gnu.org>
Cc: 17681 <at> debbugs.gnu.org, Stefan Monnier <monnier <at> iro.umontreal.ca>,
 David Engster <deng <at> randomsample.de>
Subject: Re: bug#17681: 24.3.91; "Arithmetic Error" in hide-ifdef mode when
 using shift operators
Date: Fri, 6 Jun 2014 19:11:08 +0800

[Message part 1 (text/plain, inline)]

>Is this patch posted anywhere?

I only send it to Stefan for review since it's a set of patches
that forms the complete work of

http://www.emacswiki.org/emacs/hideif.el.

Patch set #1 has already been submitted into Emacs trunk
while patch set #2 is still under Stefan's reviewing. Patchset
#3 to come. All 3 patches forms the hideif.el posted on
EmacsWiki. You can try this version.

>When you say fail, do you mean it will give an error?
>If so, why not ignore-errors around these evaluations?

Different versions of Emacs seems to behave
differently. On my Linux machine it's Emacs 24.3.50.2
and it does not throw any error. On Cygwin Emacs
24.3.2 it throw an error. It seems that others' submitted
`hif-string-to-number' introduced some difference.

On Cygwin's Emacs version the `split-string' function
used in `hif-string-to-number' take no more than 3
arguments but it takes 4 arguments in my Linux
Emacs 24.3.50.2. After fixing this they still behave
differently. I'm focusing on Linux version so I did
not investigate what makes the difference.

Due to the internal behavior of hideif sometimes it's
not so easy to just ignore some errors then continue.
There are still some cases that hideif will throw an
error. To prevent hideif from throwing any errors, it's
actually another TODO item. I'll first complete the
reviewing of the remaining patch set.



2014-06-06 15:17 GMT+08:00 Glenn Morris <rgm <at> gnu.org>:

> Luke Lee wrote:
>
> >>I think he already sent me a patch fixing this problem
> >
> > Yes, I think my new patch fixed that problem.
>
> Is this patch posted anywhere?
>
> > However, if you're trying to hide jiffies.h it will eventually failed
> > at some other place due to the "unsigned long" integer postfix (i.e.
> > the "UL" in 100000UL), which hideif still consider it a "TODO".
> >
> > #define TICK_USEC ((1000000UL + USER_HZ/2) / USER_HZ)
>
> When you say fail, do you mean it will give an error?
> If so, why not ignore-errors around these evaluations?
>



-- 
Best regards,
Luke Lee

[Message part 2 (text/html, inline)]

Message #23 received at 17681 <at> debbugs.gnu.org (full text, mbox):

From: Glenn Morris <rgm <at> gnu.org>
To: Luke Lee <luke.yx.lee <at> gmail.com>
Cc: 17681 <at> debbugs.gnu.org, Stefan Monnier <monnier <at> iro.umontreal.ca>,
 David Engster <deng <at> randomsample.de>
Subject: Re: bug#17681: 24.3.91;
 "Arithmetic Error" in hide-ifdef mode when using shift operators
Date: Fri, 06 Jun 2014 11:19:54 -0400

Luke Lee wrote:

> Different versions of Emacs seems to behave differently. On my Linux
> machine it's Emacs 24.3.50.2 and it does not throw any error. On
> Cygwin Emacs 24.3.2 it throw an error.

The relevant version at the moment is the Emacs 24.3.91 pretest.

http://alpha.gnu.org/gnu/emacs/pretest/emacs-24.3.91.tar.xz

24.3.50 is an old development version and should not be used any more.

> It seems that others' submitted `hif-string-to-number' introduced some
> difference.

Apart from your 2014-01-28 changes, I see no changes to hideif.el in
Emacs 24.3.91 since 2012-10-02. hif-string-to-number is only in the
Emacs trunk, not the emacs-24 branch, so doesn't affect this report.

Message #28 received at 17681-done <at> debbugs.gnu.org (full text, mbox):

From: Noam Postavsky <npostavs <at> users.sourceforge.net>
To: 17681-done <at> debbugs.gnu.org
Subject: Re: bug#17681: 24.3.91; "Arithmetic Error" in hide-ifdef mode when
 using shift operators
Date: Sun, 26 Jun 2016 00:53:39 -0400

Version: 25.0.95

I see the problem in Emacs 24.5, but not Emacs 25.0.95, so it seems to
have been fixed sometime in between.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.