Powered by Linux
[PATCH] check_release_resource: Use INT_PTR instead of hand writing it — Semantic Matching Tool

[PATCH] check_release_resource: Use INT_PTR instead of hand writing it

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux