> From: Fabrice Popineau <fabrice.popineau@centralesupelec.fr >
> Date: Fri, 15 Sep 2017 17:33:48 +0200
> Cc: Andy Moreton <andrewjmoreton@gmail.com>, Emacs developers <emacs-devel@gnu.org>
>
> Ok. I see your eassert() added at this point.
> But clearly there is a problem with GCC 7, because it doesn't understand
> the implications of this eassert() :
Does eassume instead of eassert help?