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]:41466 "EHLO
        aserp2120.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1728576AbeHOLzU (ORCPT
        <rfc822;smatch@vger.kernel.org>); Wed, 15 Aug 2018 07:55:20 -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=A6amQQOKXDziUonFd/LY73fGKgOJ53AYJUfgzVbTaG8=;
 b=ipmhtd6vg9FgeCgGrjQqDIXoGijNtvR5DMZpg8V3MskvVNyTp4PINeIXIsMx9XCmhkdq
 nFxHMn196GdTx6r8xoSLh954oTlQOPvMjFYMoZvlHoGEEtVWeeP9wlqkbtnkFbl/sS3E
 7uIhwuZ0go0o0NpYIjdotrx1LKYXn4HVoGg5qhqn7faBgmG8xImk+yrncIs/ajr00Or+
 6axDlXUlOWqJ449HQjv0o0dIyZ7aWb+YuJSel/FsbqtFkjsoGn9kQPUpF8Ur6p/Ph8Z4
 GEXG1f1VOlw8GssvjR6Z944FQO55LQoqgJj5+5YZ5AK1nq/J40+X8VNYdXRzUMvp0TPm wQ== 
Date: Wed, 15 Aug 2018 12:03:48 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
Subject: Re: Smatch for Xen
Message-ID: <20180815090348.nywfrystuytf2ta3@mwanda>
References: <20180806112003.iyir4napbpn4q6z6@mwanda>
 <20180806131632.w4rd3ntfgoxwxb5l@mwanda>
 <CAByO1we3OABkX8XCwh7Vq8iHyXAuFtJ3t+Ta3DVCLe9pP6K8ew@mail.gmail.com>
 <20180806135409.r5xytcrffqi3ddco@mwanda>
 <cbd1c9fc-1d04-7713-7d92-6cc37015f7ed@amazon.de>
 <20180813175845.muweaoh6s5rxcr57@mwanda>
 <20180813183132.suxab5gfub5uig2k@mwanda>
 <bbe9f3aa-1ec8-5004-1d4e-c29eb6868058@amazon.de>
 <20180814142117.v7tavkwisxcoel2f@mwanda>
 <e7222a62-8a49-717f-0589-25d1f304e036@amazon.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <e7222a62-8a49-717f-0589-25d1f304e036@amazon.de>
Sender: smatch-owner@vger.kernel.org
List-ID: <smatch.vger.kernel.org>
To: Norbert Manthey <nmanthey@amazon.de>
Cc: Norbert Manthey <norbertmanthey@googlemail.com>, smatch@vger.kernel.org, jsteckli@amazon.com, tautschn@amazon.co.uk

I have an issue where the output is getting a bit jumbled when I build
with --info.

/home/dcarpenter/progs/src/xen/xen/xen/arch/x86/mm/shadow/multi.c:4777 sh_audit_fl1_table__guest_2() SQL_caller_info: insert into caller_info values ('/home/dcarpenter/progs/src/xen/xen/xen/arch/x86/mm/shadow/multi.c', 'sh_audit_fl1_table__guest_2', 'guest_index', %CALL_ID%, 1, 0, -1, '%call_marker%', /shadow/multi.c:3340 sh_page_fault__guest_4() SQL_caller_info: insert into caller_info values ('/home/dcarpenter/progs/src/xen/xen/xen/arch/x86/mm/shadow/multi.c', 'sh_page_fault__guest_4', 'sh_audit_gw', %CALL_ID%, 1, 1001, 0, '$->domain->arch.paging.shadow.has_fast_mmio_entries', '1');

It's mixing line 4777 with 3340.

regards,
dan carpenter