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]:39662 "EHLO
        lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1347065AbiCHMkI (ORCPT
        <rfc822;smatch@vger.kernel.org>); Tue, 8 Mar 2022 07:40:08 -0500
Received: from mx0a-00069f02.pphosted.com (mx0a-00069f02.pphosted.com [205.220.165.32])
        by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 97EF147550
        for <smatch@vger.kernel.org>; Tue,  8 Mar 2022 04:38:53 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=date : from : to : cc
 : subject : message-id : references : content-type : in-reply-to :
 mime-version; s=corp-2021-07-09;
 bh=mkAsSjloeVRgBN44PQ47CzzJOagt0gkFCqte7V58H4E=;
 b=EtN2pvcJZ6W+C9jmz/gy572XYQx+GIvCu7MMSWjYii0WWpisKJk4YoKaS/gfWbUiWO7d
 GZJVHRGdxzE/hgosYCO6Cg66CJdgDUrRL+banr7D1j0/ohI5Z50XGbAiACQMTFMRBXWh
 6RkMw5eRSH8jbISBBwqC9QvGkhgfK0KFBsH1DriFcC53M+KXiTfc11RS19v2PexVoNp1
 OOIYHQNc13nR/mmCzAIDMGc+HMMKkugnckPQNHdLuaVvZKQ48NvZnSAxdbhEwWGJ9lna
 Qh531d6GvN4PeouhJKO4RlG2bfvvgztarvFMgQbz8SnQrf/aBsyMq87W88m4PMvufazK gw== 
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=oracle.onmicrosoft.com; s=selector2-oracle-onmicrosoft-com;
 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
 bh=mkAsSjloeVRgBN44PQ47CzzJOagt0gkFCqte7V58H4E=;
 b=zQBTfEQuzwqPfBCwzcwVohILanu/tfi3U+ta80V3/9wYnKT68Wg8TqGQCt9uxXSWoAM4yNVS/nM0XJxQ9E2YXPPIljm+Rf+TM+Vs//bV5zZT0x3WBzJdikrWbMryTKJXbBp7tBZazP+PmxSQj8TRWCanphvgICptHPTPCmTHgg4=
Date: Tue, 8 Mar 2022 15:38:32 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
Subject: Re: [PATCH] Quick trial on tracing host inputs
Message-ID: <20220308123832.GJ3315@kadam>
References: <20220308085630.551547-1-elena.reshetova@intel.com>
 <20220308113416.GG3315@kadam>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20220308113416.GG3315@kadam>
MIME-Version: 1.0
List-ID: <smatch.vger.kernel.org>
To: Elena Reshetova <elena.reshetova@intel.com>
Cc: smatch@vger.kernel.org

On Tue, Mar 08, 2022 at 02:34:16PM +0300, Dan Carpenter wrote:
> void cpuid(unsigned int op, unsigned int *eax, unsigned int *ebx,
>            unsigned int *ecx, unsigned int *edx);
> 
> unsigned int a, b, c, d e;
> unsigned int test(void)
> {
> 	cpuid(0, &a, &b, &c, &d);
> 	__smatch_states("host");
> 	return a;
> }
> 
> unsigned int test2(void)
> {
> 	unsigned int x = test();
> 	__smatch_states("host");
> }

I had to hack it a bit to get it to compile but my test seems to work.
"x" is correctl marked as host data correctly in test2().

regards,
dan carpenter