Our website uses cookies to enhance your browsing experience.
Accept
to the top
>
>
>
V2571. MISRA. Conversions between...
menu mobile close menu
Additional information
toggle menu Contents

V2571. MISRA. Conversions between pointers to objects and integer types should not be performed.

Dec 19 2019

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

Conversions between pointers to objects and integer types can lead to undefined, unspecified, or implementation-specific behavior. For that reason, MISRA does not recommend using such conversions.

Example of non-compliant code 1 (C):

int *p = (int *)0x0042;
int i = p;
enum en { A, B } e = (enum en) p;

Example of non-compliant code 2 (C++):

struct S { int16_t i; int16_t j; } *ps = ....;
int i64 = reinterpret_cast<int>(ps);

Example of non-compliant code 3 (C and C++):

void foo(int i) {}

void wrong_param_type()
{
  char *pc = ....;
  foo((int) pc); 
}

Example of non-compliant code 4 (C and C++):

int wrong_return_type()
{
  double *pd = ....;
  return (int) pd;
}

This diagnostic is classified as:

  • MISRA-C-2012-11.4
  • MISRA-C-2012-11.5
  • MISRA-C-2023-11.4
  • MISRA-C-2023-11.5
  • MISRA-CPP-2008-5.2.8
  • MISRA-CPP-2008-5.2.9