db/fixup_kernel.sh: commit all my stuff
[smatch.git] / validation / compound-assign-type.c
blob450fa26d9a46ccde75f3121293b2445991e215b0
1 static unsigned int foo(unsigned int x, long a)
3 x /= a;
4 return x;
7 /*
8 * check-name: compound-assign-type
9 * check-command: test-linearize -m64 $file
10 * check-output-ignore
12 * check-output-excludes: divu\\.32
13 * check-output-contains: divs\\.64
14 * check-output-contains: scast\\.32