Powered by Linux

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

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

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

Subject: Re: [PATCH] check_release_resource: Use INT_PTR instead of hand writing it
From: Dan Carpenter <dan.carpenter@xxxxxxxxxx>
Date: Thu, 26 May 2022 13:17:54 +0300
Cc: smatch@xxxxxxxxxxxxxxx
In-reply-to: <50e5dc71a6e09fbfe78b06515f6d4b68a36b284c.1653542384.git.christophe.jaillet@wanadoo.fr>
References: <50e5dc71a6e09fbfe78b06515f6d4b68a36b284c.1653542384.git.christophe.jaillet@wanadoo.fr>
User-agent: Mutt/1.9.4 (2018-02-28)

On Thu, May 26, 2022 at 07:19:59AM +0200, Christophe JAILLET wrote:
> 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>

Applied.  Thanks!

regards,
dan carpenter

References:
- [PATCH] check_release_resource: Use INT_PTR instead of hand writing it
  - From: Christophe JAILLET

Prev by Date: Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned
Next by Date: Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned
Previous by thread: [PATCH] check_release_resource: Use INT_PTR instead of hand writing it
Next by thread: [PATCH] check_freeing_devm: Report the correct function name that triggered the warning
Index(es):
- Date
- Thread

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

Powered by Linux