Re: Suspicious warning in W64 build

[Paul Eggert]

Fabrice Popineau wrote:
> But clearly there is a problem with GCC 7, because it doesn't understand
> the implications of this eassert() :

No, GCC 7 is correct here, because eassert (X) does not guarantee that X is true 
after eassert returns. There's a longstanding tradition for this in C, as assert 
(X) behaves similarly.

As you discovered later, you need eassume (X) to have a guarantee that GCC 
trusts.