From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from movementarian.org ([178.79.150.28]:49970 "EHLO
        movementarian.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1726609AbfANOrh (ORCPT
        <rfc822;smatch@vger.kernel.org>); Mon, 14 Jan 2019 09:47:37 -0500
Date: Mon, 14 Jan 2019 14:47:36 +0000
From: John Levon <levon@movementarian.org>
Subject: Re: Odd smatch issue?
Message-ID: <20190114144736.GA14913@movementarian.org>
References: <20190111123241.GA11408@movementarian.org>
 <20190114101804.GA4482@kadam>
 <20190114124257.GA12158@movementarian.org>
 <20190114143800.GF4504@kadam>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20190114143800.GF4504@kadam>
Sender: smatch-owner@vger.kernel.org
List-ID: <smatch.vger.kernel.org>
To: Dan Carpenter <dan.carpenter@oracle.com>
Cc: smatch@vger.kernel.org

On Mon, Jan 14, 2019 at 05:38:00PM +0300, Dan Carpenter wrote:

> Try this patch?

With both applied, smatch now catches the bad code, thanks!

Time to run it across everything...

regards
john