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