From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from aserp2120.oracle.com ([141.146.126.78]:41480 "EHLO aserp2120.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728540AbeHMVPF (ORCPT ); Mon, 13 Aug 2018 17:15:05 -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=tMyFOuoyLBg+J3S72ie4d/k5uj1kdIJG+TXtVzkYZto=; b=JoA52/h0dfIahLRDNrRMrkF1V/lizFcuVg6f1sEHWcArsIXx8+yEC0GBsq3Dx7Yk4OBG Ue2MV8NkUJaBq4zlnMx98OT7z9m3P4ucGVGsDT5Y7lESgGk9y0ZgpGom4fX1he8uzVId jN8I7mGerCQCMbaOAEn/hAJBn3W3pEqrTHgs/WyDTpmXQm0JYaaJyFP3CSfFgRGSDP3M KEzvS/XN5mqN9STaqAKuF2B7y4IJJyhZ+o0OW6c98OdBXUA4neNNdqAk4EewDN6TDUTX mXNnUAuhLxFXsxtNwWFC5+DYlSh8oaXncwKSsa+8A6fpa+uwPN3IF2FTlBuxbagUjM8R rw== Date: Mon, 13 Aug 2018 21:31:32 +0300 From: Dan Carpenter Subject: Re: Smatch for Xen Message-ID: <20180813183132.suxab5gfub5uig2k@mwanda> References: <32158e28-2ee8-f2b9-2d66-77c8eb43b5b5@amazon.de> <20180806103132.vzqmp2ns4ytj2aol@mwanda> <20180806112003.iyir4napbpn4q6z6@mwanda> <20180806131632.w4rd3ntfgoxwxb5l@mwanda> <20180806135409.r5xytcrffqi3ddco@mwanda> <20180813175845.muweaoh6s5rxcr57@mwanda> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180813175845.muweaoh6s5rxcr57@mwanda> Sender: smatch-owner@vger.kernel.org List-ID: To: Norbert Manthey Cc: Norbert Manthey , smatch@vger.kernel.org, jsteckli@amazon.com, tautschn@amazon.co.uk Ahh... Never mind. My mistake. It should have just been: cat SMATCH/smatch/results/*.c > smatch_warns.txt The next problem is that I don't seem to be pulling in the include/xen/compiler.h header file... regards, dan carpenter