getting MISRA C:2012 Rule 10.1 warning in model advisor with bitwise operation in stateflow

Hi, I am using R2015b with embedded coder, and I am getting Model advisor warning on MISRA C:2012 saying bitwise operations on siged integers were found:

where all arguments used for bitwise and (&) operators are unsigned integers. Any ideas how to pass this model advisor test?

Answer 1

[Shivam Lahoti]

Hi,

I understand that you are experiencing MISRA violations in your Simulink model. MISRA violations are important to address, as they help ensure your model adheres to industry-standard coding practices, particularly for safety-critical applications. To assist you, I've provided a link below that lists all the MISRA violations flagged in Simulink:

https://in.mathworks.com/help/slcheck/ref/model-advisor-checks-for-misra-c2012-coding-standards.html

You can manually follow the suggested fixes for these violations to bring your model into compliance. Additionally, some of these Model Advisor violations come with automated fixes that are built into the tool. You can take advantage of these automated fixes to efficiently resolve the violations, saving time and effort while ensuring accuracy.

Regards,

Shivam.