repo.or.cz
/
qemu
/
ar7.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
exec,dump,i386,ppc,s390x: don't include exec/cpu-all.h explicitly
[qemu/ar7.git]
/
scripts
/
coccinelle
/
overflow_muldiv64.cocci
blob
08ec4a8de0680e156a3e46548b6f0a69b2ef1897
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)