[qemu.git] / scripts / coccinelle / overflow_muldiv64.cocci

// Find muldiv64(i64, i64, x) for potential overflow
@filter@
typedef uint64_t;
typedef int64_t;
{ uint64_t, int64_t, long, unsigned long } a, b;
expression c;
position p;
@@

muldiv64(a,b,c)@p

@script:python@
p << filter.p;
@@

cocci.print_main("potential muldiv64() overflow", p)
Commit	Line	Data
e9d51507 LV	1	// Find muldiv64(i64, i64, x) for potential overflow
	2	@filter@
	3	typedef uint64_t;
	4	typedef int64_t;
	5	{ uint64_t, int64_t, long, unsigned long } a, b;
	6	expression c;
	7	position p;
	8	@@
	9
	10	muldiv64(a,b,c)@p
	11
	12	@script:python@
	13	p << filter.p;
	14	@@
	15
	16	cocci.print_main("potential muldiv64() overflow", p)