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]:33882 "EHLO
        lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1346008AbiCHLix (ORCPT
        <rfc822;smatch@vger.kernel.org>); Tue, 8 Mar 2022 06:38:53 -0500
Received: from mx0b-00069f02.pphosted.com (mx0b-00069f02.pphosted.com [205.220.177.32])
        by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 4429E63C9
        for <smatch@vger.kernel.org>; Tue,  8 Mar 2022 03:37:57 -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=tITzmRWY6LLfHwRosR+YaVWYbJEFShAbLouqb4vtGhs=;
 b=mAUgN43XjgtHl4T/r2JBCtucZqfrCYM3mTszdLHNsj96rStArUMQ5JYUrbRAKWdkoa8s
 chBme4CiSBe1LBE0P+Ho63eSDP/kIIeW1Vf8YH7XvZ1WYrijGnTjAQlj9CwYdXNppIq6
 7aqZzw9f44+W9oj9zvN7OKyRtkp28O15eNSY5qXwHzFnZgoIBTxtKDVqB7u/dKGJxaWy
 SLr178v+huhevyfFIS4yuo1tIBOkTcrDR6zsj20ynh2n0Dp3aOhGE1D+4UMoy7vnO+52
 ZGOfoRe6Oxddm4h1+yYnDisNBTIfa3gtFSY/UZJJ1p4fO2fn7K0nHyygOcDNizeroHu2 eg== 
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=tITzmRWY6LLfHwRosR+YaVWYbJEFShAbLouqb4vtGhs=;
 b=ucknCvQ9+ph4LaaRcvn0zG5OYCKVIOFIl8pVIARthJD420L7eIXh/y3RnWVuubCc53js+UKwCFKIgBU6N6AEd0A6iRsbEWkR5uWUcIr4YCU2lohKjAN9T0rzSVPVlD+SORdLzBTzF6adZKHjyMmKEsFsda6KF3F2BrKoifmkrTA=
Date: Tue, 8 Mar 2022 14:37:35 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
Subject: Re: [PATCH] Quick trial on tracing host inputs
Message-ID: <20220308113735.GH3315@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:
> 
> //---

The test case needs to #include "check_debug.h"

> 
> 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");
> }
> 
> regards,
> dan carpenter