I think this is an instance of "eval while blocking input" abort.
I don't think so. The abort occurs at another place:
#1 0x081897d7 in Feval (form=145945427) at eval.c:2150
This abort occurs if there is a DEFUN with more than 8 arguments.
The one you mean is at line 2000.
But it can't pass through the INPUT_BLOCKED_P check at the beginning
of Feval because it is inside BLOCK_INPUT/UNBLOCK_INPUT in
x_set_name_internal.
The default optimization flag "-O2" sometimes reports wrong line
numbers. I tried with a reproducible "eval while blocking input"
abort (*1) and it reported different line numbers, 2000 and 2150, for
"CFLAGS=-g" and "CFLAGS=-g -O2", respectively.