Re: bug#36370: 27.0.50; XFIXNAT called on negative numbers

[Paul Eggert]

Bruno Haible wrote:
> I think we should change the documentation of 'assume' to say
> that when it invokes functions, these functions should be marked
> '__attribute__ ((__always_inline__))', otherwise performance will
> be worse than without the 'assume', not better.

I suggest something simpler and a little more general. The Emacs documentation 
for 'eassume' says this:

   This can improve performance in some cases,
   though it can degrade performance in others.  It's often suboptimal
   for COND to call external functions or access volatile storage.

and we could migrate that into the documentation for 'assume'.