Some consistency changes to library & headers flags.
[splint-patched.git] / test / argorder2.c
blob6ff97a2af7beaa6019640251cadf9ac1e0177f17
1 int i;
3 int h()
5 return i;
8 int f(int x, int y)
10 i = i + x + y;
11 return i;
14 int g()
16 (void) f(f(1, 2), f(1, 2)); /* 1, 2. arg1 modifies i, used by arg2, vice versa */
17 (void) f(f(1, 2), h()); /* 3. arg1 modifies i, used by arg2 */
18 (void) f(f(1, 2), i); /* 4. arg1 modifies i, used by arg2 */
19 return (f(i++, i)); /* 5. arg1 modifies i, used by arg2 */