Re: [PATCH] check_release_resource: Use INT_PTR instead of hand writing it
Dan Carpenter <[email protected]> Thu, 26 May 2022 13:17:54 +0300
| Newsgroups | org.kernel.vger.smatch |
|---|---|
| Message-ID | <20220526101754.GE2146@kadam> |
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 <[email protected]> Applied. Thanks! regards, dan carpenter