tree e93db551b642d2d891b3a3ca726076326495b15e
parent abfad786559fea0baeb2ae55eb6a0e123404a6f5
author Gilles Peskine <Gilles.Peskine@arm.com> 1700673226 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1701283356 +0100

Avoid unused variable warnings in some plausible usage

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