V2557. MISRA. Operand of sizeof() operator should not have other side effects.

This diagnostic rule is based on the software development guidelines developed by MISRA (Motor Industry Software Reliability Association).

The 'sizeof()' operator does not execute the expression passed to it but only evaluates the type of the resulting expression and returns its size at compile time. Therefore, no assembler code is generated for any code inside 'sizeof()' (unevaluated context) and no operations inside it will ever be executed.

For that reason, to avoid such loss of operations, the operand passed to 'sizeof()' must not have any other side effects.

Example of non-compliant code:

int x = ....;
....
size_t s = n * sizeof(x++);

To achieve the desired behavior, the snippet should be rewritten as follows:

int x = ....;
....
++x;
size_t s = n * sizeof(x);

This diagnostic is classified as:

  • MISRA-C-13.6
  • MISRA-CPP-5.3.4
  • AUTOSAR-M5.3.4

Bugs Found

Checked Projects
412
Collected Errors
14 132
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site. Learn More →
Accept