[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Certain numbers of special forms cause changing behaviour on functio
From: |
Eli Zaretskii |
Subject: |
Re: Certain numbers of special forms cause changing behaviour on function calls in --batch |
Date: |
Sun, 10 Jul 2016 19:45:51 +0300 |
> From: Noam Postavsky <address@hidden>
> Date: Sun, 10 Jul 2016 12:23:17 -0400
> Cc: Yasushi SHOJI <address@hidden>, Michael Heerdegen <address@hidden>,
> address@hidden,
> Emacs developers <address@hidden>
>
> On Sun, Jul 10, 2016 at 10:53 AM, Eli Zaretskii <address@hidden> wrote:
> >> From: Noam Postavsky <address@hidden>
> >> Date: Sun, 10 Jul 2016 07:33:47 -0400
> >> Cc: Eli Zaretskii <address@hidden>, Michael Heerdegen <address@hidden>,
> >> address@hidden,
> >> Emacs developers <address@hidden>
> >>
> >> 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.
> >
> > I've just built 24.5 with GCC 5.3.0 and without --enable-checking, and
> > I still don't see the problem in the resulting binary.
>
> Hmm, that's annoying.
This whole issue is annoying.
> >> 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)
> >
> > I don't understand these errors. Please show the macro-expanded
> > source of Fzerop with that compiler and configuration options.
>
> I don't think Fzerop is especially relevant, AFAICT, the error just
> means Fzerop received an unitialized value as its first argument.
Sorry, I;m not following: Fzerop is called from Ffuncall, i.e. from
Lisp, so how can the value of Fzerop's argument be uninitialized?
What am I missing?
> Lisp_Object Fzerop (Lisp_Object) ; static struct Lisp_Subr
> # 2383 "data.c" 3 4
> _Alignas
> # 2383 "data.c"
> (8) Szerop = { { PVEC_SUBR << PSEUDOVECTOR_AREA_BITS }, { .a1 = Fzerop
> }, 1, 1, "zerop", 0, 0}; Lisp_Object Fzerop
>
> (register Lisp_Object number)
> {
> CHECK_NUMBER_OR_FLOAT (number); //// <<<<---- this is line 2387
>
> if ((((enum Lisp_Type) ((number) & ~(
> # 2389 "data.c" 3 4
> 1
> # 2389 "data.c"
> ? - (1 << 3) : (0x7fffffffffffffffL >> (3 - 1))))) == Lisp_Float))
> {
> if (XFLOAT_DATA (number) == 0.0)
> return Qt;
> return Qnil;
> }
>
> if (!((number) >> INTTYPEBITS))
> return Qt;
> return Qnil;
> }
That's what I see, thanks. Very strange, this error from valgrind.
And we are none the wiser.
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, (continued)
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Michael Heerdegen, 2016/07/05
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Michael Heerdegen, 2016/07/05
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Eli Zaretskii, 2016/07/06
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Michael Heerdegen, 2016/07/06
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Eli Zaretskii, 2016/07/06
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Yasushi SHOJI, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Yasushi SHOJI, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Noam Postavsky, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Eli Zaretskii, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Noam Postavsky, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch,
Eli Zaretskii <=
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Noam Postavsky, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Eli Zaretskii, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Andreas Schwab, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Eli Zaretskii, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Paul Eggert, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Eli Zaretskii, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Andreas Schwab, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Eli Zaretskii, 2016/07/10
- RE: Certain numbers of special forms cause changing behaviour on function calls in --batch, Drew Adams, 2016/07/10
- Re: Certain numbers of special forms cause changing behaviour on function calls in --batch, Clément Pit--Claudel, 2016/07/10