| 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) |