bug#22739: 25.0.50; Hangs on revertig buffer

[Óscar Fuentes]

(gdb) finish
Run till exit from #0  bidi_resolve_weak (bidi_it=bidi_it@entry=0x7ffead896e00)
    at ../../emacs/src/bidi.c:2346
bidi_resolve_brackets (bidi_it=bidi_it@entry=0x7ffead896e00)
    at ../../emacs/src/bidi.c:2809
2809          if (type == NEUTRAL_ON)
Value returned is $1 = WEAK_BN
(gdb) 
Run till exit from #0  bidi_resolve_brackets 
(bidi_it=bidi_it@entry=0x7ffead896e00)
    at ../../emacs/src/bidi.c:2809
0x00000000004a2563 in bidi_resolve_neutral 
(bidi_it=bidi_it@entry=0x7ffead896e00)
    at ../../emacs/src/bidi.c:3026
3026                type = bidi_resolve_brackets (bidi_it);
Value returned is $2 = WEAK_BN
(gdb) 
Run till exit from #0  0x00000000004a2563 in bidi_resolve_neutral (
    bidi_it=bidi_it@entry=0x7ffead896e00) at ../../emacs/src/bidi.c:3026




Just as an illustration, this is part of the contents of the buffer at
the displayed position. The point is on the first `!', on the center of
the screen. I'll mention too that the frame is in fullscreen mode and
emacs is daemonized.


Testeando ./redef/redef015.lp0
Cmd: /home/oscar/dev/idb/lp0/build/remove-isws/clang/release/lp0 -cs -p ../lib 
-t -f ./redef/redef015.lp0
Terminado ./redef/redef015.lp0
Ok
Success en result.
Se obtuvo: Primera definicion de bar
Segunda definicion de bar.

Testeando ./redef/redef016.lp0
Cmd: /home/oscar/dev/idb/lp0/build/remove-isws/clang/release/lp0 -cs -p ../lib 
-t -f ./redef/redef016.lp0
Terminado ./redef/redef016.lp0
!!!!Failure
Complexity: 11
Result:
Segunda definicion de bar
Segunda definicion de bar

Testeando ./redef/redef017.lp0
Cmd: /home/oscar/dev/idb/lp0/build/remove-isws/clang/release/lp0 -cs -p ../lib 
-t -f ./redef/redef017.lp0
Terminado ./redef/redef017.lp0
Ok
Success en result.
Se obtuvo: Primera definicion de bar
Segunda definicion de bar.