Synopsis

(Required) A cast shall not be performed between pointer to void and an arithmetic type.

Enabled by default

Yes

Severity/Certainty

Medium/Medium

Full description

A conversion between a pointer to void and an arithmetic type was found.

Coding standards

Code examples

The following code example fails the check and will give a warning:

void example(void) {
  void * x;
  unsigned int y;
  x = (void *) 0x12345678;
  y = (unsigned int) x;
}

The following code example passes the check and will not give a warning about this issue:

void example(void) {
  void * x;
  void * y;
  x = (void *) y;
}