From 5b6d3dc4f837ba21a75f5d2487622356b85d1858 Mon Sep 17 00:00:00 2001 From: Andy Lester Date: Mon, 2 Apr 2012 21:32:08 -0500 Subject: [PATCH] the arg to remove_handle_entry() can be NULL --- src/platform/generic/dl.c | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/platform/generic/dl.c b/src/platform/generic/dl.c index d275094bb5..4fcb8f5fa4 100644 --- a/src/platform/generic/dl.c +++ b/src/platform/generic/dl.c @@ -40,15 +40,12 @@ static void * find_handle_entry(ARGIN(const void *handle)) static void push_handle_entry(ARGIN(void *handle)) __attribute__nonnull__(1); -static void remove_handle_entry(ARGIN(void *handle)) - __attribute__nonnull__(1); - +static void remove_handle_entry(ARGIN_NULLOK(void *handle)); #define ASSERT_ARGS_find_handle_entry __attribute__unused__ int _ASSERT_ARGS_CHECK = (\ PARROT_ASSERT_ARG(handle)) #define ASSERT_ARGS_push_handle_entry __attribute__unused__ int _ASSERT_ARGS_CHECK = (\ PARROT_ASSERT_ARG(handle)) -#define ASSERT_ARGS_remove_handle_entry __attribute__unused__ int _ASSERT_ARGS_CHECK = (\ - PARROT_ASSERT_ARG(handle)) +#define ASSERT_ARGS_remove_handle_entry __attribute__unused__ int _ASSERT_ARGS_CHECK = (0) /* Don't modify between HEADERIZER BEGIN / HEADERIZER END. Your changes will be lost. */ /* HEADERIZER END: static */ @@ -99,7 +96,7 @@ find_handle_entry(ARGIN(const void *handle)) } static void -remove_handle_entry(ARGIN(void *handle)) +remove_handle_entry(ARGIN_NULLOK(void *handle)) { ASSERT_ARGS(remove_handle_entry)