Merge remote-tracking branch 'remotes/philmd-gitlab/tags/integration-testing-20210208...
[qemu/ar7.git] / scripts / coccinelle / overflow_muldiv64.cocci
blob08ec4a8de0680e156a3e46548b6f0a69b2ef1897
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 @@
10 muldiv64(a,b,c)@p
12 @script:python@
13 p << filter.p;
16 cocci.print_main("potential muldiv64() overflow", p)