标签: qa-c

我们正在使用QA-C来实现MISRA C ++的一致性，但是该工具会为以下代码喷出错误：

float a = foo();
float b = bar();
float c = a - b;

据我了解，这没有隐式类型提升，因为一切都会以float大小的块形式发生，但是该工具告诉我，减法会导致这种情况。有没有可能出现隐性晋升的情况？