From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from userp2120.oracle.com ([156.151.31.85]:58334 "EHLO
        userp2120.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1730003AbeHFQDe (ORCPT
        <rfc822;smatch@vger.kernel.org>); Mon, 6 Aug 2018 12:03:34 -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=Hss67ivvuBD+tNK0SgeggTby1EBlSMsbPnuFrA2B9Wo=;
 b=hFLyFkmSQLbZ+2uJ8vAgbVBINSJiXFqo9JGy7QfP5brecVCdbm37YW4ZzGma5fMMM0eN
 /2A9MdGqLjgXqQZNY2L9KSwa+UucOiJjXFYYgWv19U03zco37YsKkm2+pc4zv9WdlK3V
 BIXaBwYFNBDqrE5lPGEMYz5ULaYfyojY68BO6yopFng5x6LyoNMWtO5O7acTluhLGXLC
 GYZMsUoLqbpoY72NM137c2GMboQqbp3K17DzSGe1WKeBPvSAoFP6bfIGhi73DFAUI8lC
 m0jN7OxaeyvSqzAytdeRkC0yfwgu9F0oGf9WKYqD2ner3d65aD6TvowQdHu7WlZusqtT BQ== 
Date: Mon, 6 Aug 2018 16:54:09 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
Subject: Re: Smatch for Xen
Message-ID: <20180806135409.r5xytcrffqi3ddco@mwanda>
References: <32158e28-2ee8-f2b9-2d66-77c8eb43b5b5@amazon.de>
 <20180806103132.vzqmp2ns4ytj2aol@mwanda>
 <20180806112003.iyir4napbpn4q6z6@mwanda>
 <20180806131632.w4rd3ntfgoxwxb5l@mwanda>
 <CAByO1we3OABkX8XCwh7Vq8iHyXAuFtJ3t+Ta3DVCLe9pP6K8ew@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAByO1we3OABkX8XCwh7Vq8iHyXAuFtJ3t+Ta3DVCLe9pP6K8ew@mail.gmail.com>
Sender: smatch-owner@vger.kernel.org
List-ID: <smatch.vger.kernel.org>
To: Norbert Manthey <norbertmanthey@googlemail.com>
Cc: nmanthey@amazon.de, smatch@vger.kernel.org, jsteckli@amazon.com, tautschn@amazon.co.uk

On Mon, Aug 06, 2018 at 03:27:11PM +0200, Norbert Manthey wrote:
> Thanks a lot. I am currently out of the office, and might be able to
> respond once in a while. If required, I coukd get more details to help you
> by pulling in colleagues.
> 
> If you have anything that i could improve wrt one-line-scan, please let me
> know.
> 

The --file-output option seems to be broken for xen, but it's also
unnecessary if you're using one-line-scan because the output is already
separated by file.

What would help me is if the strored files like:
SMATCH/smatch/results/xen_arch_x86_pv_ro-page-fault.c
only store stdout and not stderr.

Of course, you'd prefer to not have any stderr output, but otherwise I'm
not interested in it.  It just corrupts my stdout lines.

regards,
dan carpenter