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
