Re: [PATCH] Quick trial on tracing host inputs

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