tree 1dd5263f6c181e33b7e4b8452f97ad7607eb4d60
parent 628ad389be62a80bfe2e575f4a0e70719bed1e1f
author Gilles Peskine <Gilles.Peskine@arm.com> 1718303810 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1723204505 +0200

Make integer downsizing explicit

Reassure both humans and compilers that the places where we assign an
integer to a smaller type are safe.

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