gcc & vc 函数调用疑问

#include <stdio.h>

static int func(int x, int y)
{
	printf("x = %d, y = %d\n", x, y);
	return 0;
}

int main()
{
 	int a = 1;
	func(a++, a);
	return 0;
}

VC output :

                   x = 1, y = 1

gcc output :

                  x = 2, y = 1

K&R 标准？  VC什么规则？