From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from lindbergh.monkeyblade.net ([23.128.96.19]:33762 "EHLO
        lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S232742AbiEZKSK (ORCPT
        <rfc822;smatch@vger.kernel.org>); Thu, 26 May 2022 06:18:10 -0400
Received: from mx0b-00069f02.pphosted.com (mx0b-00069f02.pphosted.com [205.220.177.32])
        by lindbergh.monkeyblade.net (Postfix) with ESMTPS id D8DCB18373
        for <smatch@vger.kernel.org>; Thu, 26 May 2022 03:18:08 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=date : from : to : cc
 : subject : message-id : references : content-type : in-reply-to :
 mime-version; s=corp-2021-07-09;
 bh=z6n84fHilD0Oy32AP6ealFI26wQSa1KKFyafwU//R3s=;
 b=wqzHUkxOjZTY28wP/fWLTqJVGFHgk5coFAgfU4FkxVMBwZjYlAXA3DMnSWvypnaCmlE3
 PEcKpoI7pXkeRjJNGnpwlF1T20LZTitEQ7DbmBKh4FO0iyKi2dXewFyqoCTEJzU8WYxd
 qtz8JWR9Oqe5EEVedbQTNZOr4LiLNQOlPnCu7UKrTFqdVdnxHgIatiEGYy0mHc/ophTn
 jbmsJy9G712lN8acezZlRzhs2ZtLz6D/c4ItMLP++UXC+bhJP54GFgTFrIL+jvycEQfM
 nGdjax9Q7OonphYsZN53IyTnEOVOPfz83fsQ70GCovSYdnsAjE6Rof552hFytuLqIyui RA== 
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com;
 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
 bh=z6n84fHilD0Oy32AP6ealFI26wQSa1KKFyafwU//R3s=;
 b=PZXYAG76LWzvJj8X+GckvPB92goA3ojOgJMPDzvn/GH98l2DavmAoDBjfoNA7TlGWxyCUiYfJ1lLhdUA5TV/fFZXDOG1YCAy2GRsvY2SC7tonetNmrjyswYXc4BvDJHxU5SHB9VR3Y1Yg+BUUeVsqgpeTFHvpSD4UwPtfEYORsg=
Date: Thu, 26 May 2022 13:17:54 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
Subject: Re: [PATCH] check_release_resource: Use INT_PTR instead of hand
 writing it
Message-ID: <20220526101754.GE2146@kadam>
References: <50e5dc71a6e09fbfe78b06515f6d4b68a36b284c.1653542384.git.christophe.jaillet@wanadoo.fr>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <50e5dc71a6e09fbfe78b06515f6d4b68a36b284c.1653542384.git.christophe.jaillet@wanadoo.fr>
MIME-Version: 1.0
List-ID: <smatch.vger.kernel.org>
To: Christophe JAILLET <christophe.jaillet@wanadoo.fr>
Cc: smatch@vger.kernel.org

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@wanadoo.fr>

Applied.  Thanks!

regards,
dan carpenter