tree 25327d1dae357650abe0ad0e587df4193032c6d3
parent 55e6abc99fcb79b3ed453b0f2e5ac0a887f056e2
author Gilles Peskine <Gilles.Peskine@arm.com> 1623933325 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1624380517 +0200

Simplify is-zero check

The loop exits early iff there is a nonzero limb, so i==0 means that
all limbs are 0, whether the number of limbs is 0 or not.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>