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