INT_PTR() is cleaner and more widely used in smatch than '(void *)x'.
So use it instead
Signed-off-by: Christophe JAILLET <christophe.jaillet@xxxxxxxxxx>
---
check_release_resource.c | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/check_release_resource.c b/check_release_resource.c
index b6f9d626e1b6..7ea2c291c259 100644
--- a/check_release_resource.c
+++ b/check_release_resource.c
@@ -82,9 +82,9 @@ void check_release_resource(int id)
if (option_project != PROJ_KERNEL)
return;
- add_function_hook("request_resource", &match_request, (void *)1);
- add_function_hook("release_resource", &match_release, (void *)0);
- add_function_hook("request_mem_resource", &match_request, (void *)0);
- add_function_hook("release_mem_resource", &match_release, (void *)0);
+ add_function_hook("request_resource", &match_request, INT_PTR(1));
+ add_function_hook("release_resource", &match_release, INT_PTR(0));
+ add_function_hook("request_mem_resource", &match_request, INT_PTR(0));
+ add_function_hook("release_mem_resource", &match_release, INT_PTR(0));
add_hook(&match_end_func, END_FUNC_HOOK);
}
--
2.34.1
