MISRA C 2012: 13.2 rule warning on Polyspace Code Prover R2014b

8 次查看（过去 30 天）
Cristina Golie
Cristina Golie 2015-3-23
编辑： Alexandre De Barros 2015-9-3
I made the following example from "MISRA C 2012" pdf file:
*extern volatile int PORT;
void main() {
PORT = PORT & 0x80;
}*
When I run the Polyspace (Code Prover R2014b) analysis, I receive the following Misra C:2012 13.2 warning:
"The value of an expression and its persistent side effects shall be the same under all permitted evaluation orders. The value of volatile 'PORT' depends on the order of evaluation because of multiple accesses. (Required)"
In "MISRA C 2012" pdf file, is mentioned that the above example is a compliant one.
Is this a MISRA C document type error?

请先登录，再回答此问题。

回答（1 个）

Alexandre De Barros
编辑：Alexandre De Barros 2015-9-3
Hello Cristina,
The MISRA C 2012 document is correct. The version R2015b of the Polyspace products will not give you this warning.
Best regards,
Alex

类别

在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by