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