From a5dac335245f4108210f15ec01b14a8223ed54dd Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Thu, 13 Apr 2017 22:47:39 +0200 Subject: [PATCH] Add more assertions. --- m-shared.h | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/m-shared.h b/m-shared.h index 001a77b3..b08ee302 100644 --- a/m-shared.h +++ b/m-shared.h @@ -229,7 +229,9 @@ { \ SHAREDI_CONTRACT(shared); \ assert(*shared != NULL); \ - return M_C3(shared_, name, _const_cast) ((*shared)->data); \ + type *data = (*shared)->data; \ + assert (data != NULL); \ + return M_C3(shared_, name, _const_cast) (data); \ } \ \ static inline type * \ @@ -237,7 +239,9 @@ { \ SHAREDI_CONTRACT(shared); \ assert(*shared != NULL); \ - return (*shared)->data; \ + type *data = (*shared)->data; \ + assert (data != NULL); \ + return data; \ } \ /********************************** INTERNAL ************************************/