Re: [22.1.90]: Point before start of properties

[Richard Stallman]

    > Luckily, just moving
    > update_interval into a new file intervals2.c was enough.  Building all
    > with CFLAGS="-g -O1 -fno-unit-at-a-time -fno-crossjumping
    > -Wno-pointer-sign" allows me to reproduce the error call.  Building just
    > intervals2.c with -O0 rather than -O1 will not reproduce the error call.
    > With optimisation, when I stop, I see:

I think this is enough to file a GCC bug report.  The GCC developers
can compare the assembler code with the C code and precisely identify
the bug.