Am 08.12.21 um 15:56 schrieb Jason A. Donenfeld:
> On Mon, Dec 6, 2021 at 10:00 PM Mathias Krause <mini...@grsecurity.net> wrote:
>> Yes, probably, but you're mixing up the two.
> 
> Oh, thanks, right.
> 
> I'll talk to EverCrypt upstream and see.

FWIW, 'out' is also wrongly flagged as output operand in fmul() and
fmul2(). But making it an input operand needs more surgery, as the
operand order changes and this requires some code churn.

Mathias

Reply via email to