先贴出涉及的代码：

main.can #

includes {
  #include "sub.cin"
}

variables {
  msTimer tim;
  int number;
}

on start {
  setTimerCyclic(tim,20,20);
}

on timer tim {
  number = computeCRC8();
}

sub.cin #

byte computeCRC8(byte input[], int nBytes)
{
    byte data;
    byte remainder = 0xAB;
    int B = 0;
    for (B = 0; B < nBytes; ++B)
    {
        data = input[B] ^ (remainder);
        remainder = some_LUT_included_elsewhere[data] ^ (remainder << 8);
    }
    return ( (remainder) ^ 0xAB );
}

核心结论：这确实是Vector CAPL编译工具链的Bug #

CAPL的语法规则明确要求：所有变量必须在全局variables{}块中声明，函数内部只能包含执行语句，不允许定义局部变量。

你遇到的几种情况完全符合编译器Bug的特征：

• 函数内直接声明局部变量时，编译器未触发语法错误，反而生成了可执行代码。但这些所谓的“局部变量”实际上没有被正确分配内存或初始化，运行时读取的是栈上的随机垃圾数据，所以每次返回值都不一样。
• 在变量声明前插入执行语句（比如write("hello world");），编译器又能正确检测到语法违规——这说明编译器的语法检查逻辑存在不一致性，对函数内变量声明的检测场景覆盖不全。
• 把变量移到全局variables{}块后，符合CAPL的标准语法，变量有固定的内存空间和正确的初始化，所以运行结果一致，这也反向验证了之前的问题是编译器的检测漏洞导致的。

这种语法检查不严格、场景覆盖不全的问题，属于典型的编译工具链Bug，建议向Vector官方反馈这个问题。

内容的提问来源于stack exchange，提问作者Daemon Painter