Hi,

sparse 0.2 produces following errors on attached code:
a.c:15:7: warning: incorrect type in argument 1 (different type sizes)
a.c:15:7:    expected int [long] [usertype] *baz
a.c:15:7:    got int *<noident>
a.c:13:10: warning: shift too big (32) for type int 

However I believe it should not. Please fix!

-- 
Thanks,
        Yura
#include <sys/types.h>

typedef int64_t s64;

void foo(s64 *baz)
{
}

int main(int argc, char *argv[])
{
	s64 bar;

	if (bar >> 32)
		;
	foo(&bar);
	return 0;
}

Reply via email to