bug#8432: 24.0.50; Eldoc highlighting is confused by dolist and dotimes

[Alex <agrambot@gmail.com>]

found 8432 25.1
quit

Stephen Berman <stephen.berman@gmx.net> writes:

> 1. emacs -Q
> 2. In *scratch* insert the following sexp:
>    (dolist (e '(a b c))
>      (message "Done")
>      (message "Done")
>      (message "Done"))
> 3. M-x turn-on-eldoc-mode
> 4. Putting point on (really, right after) the space after "dolist" makes
>    the echo area display this:  
>    dolist: ((VAR LIST [RESULT]) BODY...)
> 5. Move point one character to the right, onto (really, right after) the
>    left parenthesis before "e".
>    => Now "VAR" is highlighted in the echo area.  Move point one more
>    character to the right and "VAR" is no longer highlighted (though
>    point is now really on/after the argument VAR of dolist).  There is
>    no highlighting as point moves further rightwards, until it is at the
>    end of the line, right after the closing parenthesis of the argument
>    list: now "VAR" is highlighted again.
> 6. Move point to column 0 of the first "message" sexp.
>    => Now "LIST" is highlighted in the echo area.
> 7. Move point to column 0 of the second "message" sexp.
>    => Now "[RESULT]" is highlighted in the echo area.
> 8. Move point to column 0 of the third "message" sexp.
>    => Now "BODY" is highlighted in the echo area.
>
> The same (mis)highlighting pattern arises with dotimes.

I can reproduce this in Emacs 25.1.