一个编译问题求教

Hi：

     我现在使用的是CCS5.1.09，编译器版本是7.3.1；

    写了如下的一段代码：

  void B(char input)

 {

    return 1000;

 }

    void  A(void)

 {

        x=1000;

      y = 0;

     y = B(x);

    printf("y=%d", y);

 }

编译上面的代码，发现在两台不同的机器上编译结果不一样，一台可以编译通过，一台不能编译通过；编译通过的那台执行结果为y=1000；修改x的值，则输出结果y改变为相应的值，请问如何理解这个问题？