|
From: | Paul Eggert |
Subject: | bug#21999: 25.0.50; Binary with --enable-checking immediately aborts with '0<=size' |
Date: | Tue, 24 Nov 2015 23:52:57 -0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 |
Eli Zaretskii wrote:
After all, the size field of the pseudo-vector object is not really a size, but a bunch of bitfields, so I'm not sure testing it in its entirety makes sense. Paul?
The point of the eassume is that it improves code quality in the common case where the size field is actually a size, since the compiler can generate better code when it knows that sizes are nonnegative. Also, it should improve checking a bit, in case someone trashes a size field.
Looks like this is more trouble than it's worth, and we should get rid of that eassume, at least in emacs-25. Or have you fixed it?
[Prev in Thread] | Current Thread | [Next in Thread] |