Gilles Peskine
c85c20147b
Don't call TEST_ASSERT in PSA_DONE
...
TEST_ASSERT jumps to the exit label, so it must not be called from
cleanup code executed after the exit label. It's legitimate (and
indeed very common) to call PSA_DONE in cleanup code, so PSA_DONE must
not jump to exit.
Define an auxiliary function test_fail_if_psa_leaking() that calls
test_fail() with the error message provided by
mbedtls_test_helper_is_psa_leaking(). This function currently needs to
be in helpers.function rather than in a PSA-specific helper file
because it calls test_fail which is defined in helpers.function.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2021-01-06 20:49:42 +01:00
..
2021-01-06 20:49:42 +01:00
2020-11-25 01:13:12 -03:00
2021-01-06 18:21:18 +01:00
2020-06-26 10:45:16 +02:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2020-07-02 09:39:30 +02:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2020-07-01 17:10:15 +02:00
2019-09-20 15:58:27 +02:00
2020-07-30 14:18:02 +02:00
2020-02-05 15:40:22 +00:00
2020-02-05 15:40:22 +00:00
2019-10-31 19:17:36 +02:00
2019-10-31 19:17:36 +02:00
2019-08-15 15:44:50 +01:00
2020-06-12 14:33:08 +02:00
2019-09-20 15:59:31 +02:00
2020-07-01 17:10:15 +02:00
2019-09-20 15:59:31 +02:00
2020-07-01 17:10:15 +02:00
2020-10-21 22:31:48 +02:00
2020-10-15 15:02:54 +01:00
2019-08-15 15:44:50 +01:00
2020-07-30 14:18:02 +02:00
2019-08-15 15:44:50 +01:00
2020-06-26 10:45:16 +02:00
2020-03-24 13:18:58 -04:00
2019-09-20 15:59:31 +02:00
2019-07-29 17:46:29 +02:00
2019-09-20 15:59:31 +02:00
2020-03-24 13:18:58 -04:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-09-20 15:59:31 +02:00
2021-01-06 18:21:18 +01:00
2020-06-26 22:40:58 +02:00
2019-08-15 15:44:50 +01:00
2019-09-20 16:01:59 +02:00
2019-09-20 15:59:31 +02:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-11-21 13:49:20 +01:00
2020-11-25 14:25:56 -08:00
2020-03-19 14:17:54 +01:00
2020-03-19 14:17:54 +01:00
2019-08-15 15:44:50 +01:00
2020-07-01 17:10:15 +02:00
2020-12-02 15:25:27 +00:00
2020-12-02 15:25:27 +00:00
2019-08-15 15:44:50 +01:00
2020-06-26 10:45:16 +02:00
2020-01-06 11:40:23 +01:00
2020-06-26 10:45:16 +02:00
2019-08-15 15:44:50 +01:00
2020-06-12 14:33:08 +02:00
2020-07-13 11:48:21 +02:00
2020-07-13 11:48:21 +02:00
2019-10-08 15:01:34 +02:00
2020-04-14 21:32:53 +02:00
2015-04-08 13:25:31 +02:00
2018-08-06 11:40:57 +01:00
2019-09-20 15:59:31 +02:00
2019-09-20 15:59:31 +02:00
2019-09-20 15:59:31 +02:00
2019-09-20 15:59:31 +02:00
2019-09-20 15:59:31 +02:00
2019-09-20 15:59:31 +02:00
2019-08-15 15:44:50 +01:00
2020-07-01 17:10:15 +02:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2020-07-30 14:18:02 +02:00
2020-11-25 14:25:56 -08:00
2020-01-06 11:40:23 +01:00
2020-01-06 11:40:23 +01:00
2020-01-06 11:40:23 +01:00
2020-01-06 11:40:23 +01:00
2020-01-06 11:40:23 +01:00
2020-07-01 17:10:15 +02:00
2019-08-15 15:44:50 +01:00
2020-07-01 17:10:15 +02:00
2019-10-31 15:07:35 +01:00
2019-10-31 15:07:45 +01:00
2020-12-08 20:59:45 +00:00
2020-12-08 20:59:45 +00:00
2019-09-20 15:59:31 +02:00
2020-06-26 10:45:16 +02:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2020-07-02 16:59:30 +01:00
2021-01-06 18:21:18 +01:00
2019-08-15 15:44:50 +01:00
2020-07-01 17:10:15 +02:00
2019-09-20 15:58:54 +02:00
2020-07-01 17:10:15 +02:00
2020-01-06 11:40:23 +01:00
2020-06-12 14:33:08 +02:00
2020-02-18 10:31:29 +01:00
2020-02-18 10:18:43 +01:00
2019-11-05 15:32:53 +01:00
2020-12-07 17:29:42 +00:00
2019-08-15 15:44:50 +01:00
2020-07-30 14:18:02 +02:00
2020-11-20 17:31:24 +01:00
2021-01-06 18:21:18 +01:00
2021-01-06 20:06:36 +01:00
2021-01-06 20:16:26 +01:00
2020-01-06 11:40:23 +01:00
2021-01-06 18:21:18 +01:00
2019-10-23 19:47:05 +02:00
2021-01-06 18:21:18 +01:00
2020-12-08 00:01:31 +01:00
2020-08-26 12:14:37 +02:00
2020-12-07 23:03:59 +01:00
2021-01-06 18:21:18 +01:00
2020-05-11 11:15:26 +02:00
2021-01-06 18:21:18 +01:00
2020-11-10 18:19:59 +01:00
2021-01-06 18:21:18 +01:00
2020-11-11 15:12:16 +01:00
2021-01-06 18:21:18 +01:00
2020-12-08 00:01:31 +01:00
2021-01-06 18:21:18 +01:00
2019-03-15 11:37:09 +01:00
2020-08-25 22:50:18 +02:00
2020-01-07 10:24:17 +01:00
2020-07-01 17:10:15 +02:00
2020-01-06 11:40:23 +01:00
2020-07-01 17:10:15 +02:00
2020-09-09 13:52:40 +01:00
2020-10-06 22:15:42 +02:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2020-12-09 15:05:22 +00:00
2020-04-22 16:01:48 +02:00
2020-12-03 12:19:39 +01:00
2020-07-01 17:10:15 +02:00
2020-03-23 17:55:32 +01:00
2021-01-06 18:21:18 +01:00
2019-08-15 15:44:50 +01:00
2020-07-01 17:10:15 +02:00