]> andersk Git - splint.git/blob - test/argorder.c
noexpand always false.
[splint.git] / test / argorder.c
1 int i;
2 int j;
3
4 int f(int x, int y, int z)
5 {
6   printf("%d %d", x, y);
7   printf("%d %d", y++, z++);  
8   printf("%d %d", z++, z);  /* arg 2 modifies z, used by arg 3 */
9
10   return (f((i++, j++), (i = 3), j)); /* arg 1 modifies i, used by 2,
11                                          arg 1 modifies j, used by 3,
12                                          arg 2 modifies i, used by 1 */
13 }
14   
This page took 0.494368 seconds and 5 git commands to generate.