tree eab68e0c5f398b4938cad87085a8460ab5f5c4fb
parent 73cb6f85a56dee81e53f6e174f6ada10469a7a3d
author Gilles Peskine <Gilles.Peskine@arm.com> 1697551467 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1697551467 +0200

Convey that it's ok for mbedtls_ssl_session_save to fail

mbedtls_ssl_session_save() always outputs the output length, even on error.
Here, we're only calling it to get the needed output length, so it's ok to
ignore the return value. Convey this to linters.

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