From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from aserp2120.oracle.com ([141.146.126.78]:45446 "EHLO
        aserp2120.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1726425AbfF0Om1 (ORCPT
        <rfc822;smatch@vger.kernel.org>); Thu, 27 Jun 2019 10:42:27 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=date : from : to : cc
 : subject : message-id : references : mime-version : content-type :
 in-reply-to; s=corp-2018-07-02;
 bh=0Aj1N1aYwlvQnqC3EW5xJRi52fBdgpRE0f0TX1N0xxc=;
 b=385CuGq84EGb5SUU6skT5D9vqBWnUMq8RGTNReYXnYLzvn+sjCuGzP5PhoWjr5Z/PG2u
 DykDoFDyQATyfigotkaBTR9meCv/BjaGJr4Lwpkywx89rQwtFOrd/HKIawFWtLQXVLJq
 xJ2g9ibiI9P4aYF34Ai1z92/uwTD1DQDtX5kc6IpN6NLwhl9e5sgREptISYBMa2baWD3
 H4Dn5udC0zt4Exfcnz3cBKJMfYRiA1N0Hu0xHcJz/fpZ6vLf42GMHcdhxGRCMPiSNUnf
 i6vv/NR5PL1/KyqPAXiFrbVyYnbdJV79ef3rPlzonnxEXP2yUrM3RwUACT7505uk58I6 Ng== 
Date: Thu, 27 Jun 2019 17:42:05 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
Subject: Re: [PATCH] kernel: Add support for cross-build kernels
Message-ID: <20190627144205.GD19015@kadam>
References: <20190627111528.15027-1-andrew.murray@arm.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20190627111528.15027-1-andrew.murray@arm.com>
Sender: smatch-owner@vger.kernel.org
List-ID: <smatch.vger.kernel.org>
To: Andrew Murray <andrew.murray@arm.com>
Cc: smatch@vger.kernel.org

Thanks!  Applied.  I also changed the data source thing to "$0" instead
of "p 0" and added an m for modified like "$0 [m]".  I want to add a
a [c] or something annotation for capped but i'm not totally sure what
it would look like.

I guess I'm not really eager to handle the "$0->foo + $1->bar" case...

regards,
dan carpenter