tree a2b255226dfd31055637f40dfedc67cbadadc02f
parent 14613bcd75614408448079f27fb9aa79f6be847e
author Gilles Peskine <Gilles.Peskine@arm.com> 1598388559 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1598388559 +0200

psa_its: Annotate file removal after a failed creation

Let static analyzers know that it's ok if remove() fails here.

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