param_key: fix container of when no struct member is referenced
[smatch.git] / validation / compound-assign-type.c
blob2e06eba25385a6a387b46aa394d04686d5424949
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-assert: sizeof(long) == 8
12 * check-output-ignore
14 * check-output-excludes: divu\\.32
15 * check-output-contains: divs\\.64
16 * check-output-contains: zext.64 .* (32) %arg1
17 * check-output-contains: trunc.32 .* (64)