mirror of
https://github.com/xqemu/xqemu.git
synced 2024-06-16 11:37:43 -04:00
e9d5150739
Signed-off-by: Laurent Vivier <lvivier@redhat.com> Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
17 lines
283 B
Plaintext
17 lines
283 B
Plaintext
// Find muldiv64(i64, i64, x) for potential overflow
|
|
@filter@
|
|
typedef uint64_t;
|
|
typedef int64_t;
|
|
{ uint64_t, int64_t, long, unsigned long } a, b;
|
|
expression c;
|
|
position p;
|
|
@@
|
|
|
|
muldiv64(a,b,c)@p
|
|
|
|
@script:python@
|
|
p << filter.p;
|
|
@@
|
|
|
|
cocci.print_main("potential muldiv64() overflow", p)
|