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]:43630 "EHLO
        lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1730791AbhAYQeU (ORCPT
        <rfc822;smatch@vger.kernel.org>); Mon, 25 Jan 2021 11:34:20 -0500
Received: from mail-ed1-x533.google.com (mail-ed1-x533.google.com [IPv6:2a00:1450:4864:20::533])
        by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 57EB6C061788
        for <smatch@vger.kernel.org>; Mon, 25 Jan 2021 08:33:30 -0800 (PST)
Received: by mail-ed1-x533.google.com with SMTP id s11so16155761edd.5
        for <smatch@vger.kernel.org>; Mon, 25 Jan 2021 08:33:30 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=date:from:to:cc:subject:message-id:references:mime-version
         :content-disposition:in-reply-to;
        bh=335lKEqodof8/nYmVjtKmCrHRTiAdyQB2bAEqLMuDJc=;
        b=iYIivlGguDrZtlKafSQD31daCGCtSTqDw+r7P0DaNuQZOagyaNcIM1E1hWo0H1rfZ1
         2fJTvILem0IN2Au8MIOYtJbIrQJp24Jqz3FxHTeTjq0L585FGI4Sswh00HhU7sDPgYP8
         EbjLUacetjKGOZCC+BAC0Ez9PKHmKFIyouhhTQqNnlGcSl7fmDgbhfjcsTqvjLXTkelB
         x+JxeJVdvcGWMBkJgsNE21EptTFS3mJQ7YMogK6vI/nqIp13yXj1jixONxZd2cAeJDh1
         m0N7aWkxzFkZZzXC/WCmjNaHG2YrFghVfPwURwUhMvuke++Y6Df/O7WCjkFCiMJ5VgnM
         o6jQ==
Date: Mon, 25 Jan 2021 17:33:26 +0100
From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Subject: Re: Intel i40e code finds smatch bug
Message-ID: <20210125163326.v57joy6euagltto4@mail>
References: <38E556EE-C173-4935-80DF-51DC4FE8C90E@joyent.com>
 <20210119185547.GN2696@kadam>
 <47367857-0F08-459A-84FE-4FD35B009AB3@joyent.com>
 <20210119214221.6cgngihmjrrot56t@ltop.local>
 <20210121084949.GQ2696@kadam>
 <20210125151019.GA1530@kadam>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20210125151019.GA1530@kadam>
List-ID: <smatch.vger.kernel.org>
To: Dan Carpenter <dan.carpenter@oracle.com>
Cc: Dan McDonald <danmcd@joyent.com>, smatch@vger.kernel.org

On Mon, Jan 25, 2021 at 06:10:19PM +0300, Dan Carpenter wrote:
> Pushed!

Great. Thank you.
- Luc