Start here

Home
About Klocwork
What's new
Fixed issues
Release notes
Installation

Reference

C/C++ checkers
Java checkers
C# checkers
MISRA C 2004 checkers
MISRA C++ 2008 checkers
MISRA C 2012 checkers
MISRA C 2012 checkers with Amendment 1
Commands
Metrics
Troubleshooting
Reference

Product components

C/C++ Integration build analysis
Java Integration build analysis
Desktop analysis
Refactoring
Klocwork Static Code Analysis
Klocwork Code Review
Structure101
Tuning
Custom checkers

Coding environments

Visual Studio
Eclipse for C/C++
Eclipse for Java
IntelliJ IDEA
Other

Administration

Project configuration
Build configuration
Administration
Analysis performance
Server performance
Security/permissions
Licensing
Klocwork Static Code Analysis Web API
Klocwork Code Review Web API

Community

View help online
Visit RogueWave.com
Klocwork Support
Rogue Wave Videos

Legal

Legal information

MISRA.CAST.INT_TO_PTR

Object with integer type or pointer to void cast to pointer type.

MISRA-C++ Rule 5-2-8 (required): An object with integer type or pointer to void type shall not be converted to an object with pointer type.

[Unspecified 5.2.10(7)]

Rationale

In general, converting from an integral type or a pointer to void type to a pointer to an object leads to unspecified behaviour.

Example

struct S
{
   int32_t i;
   int32_t j;
};
void f ( void * v, int32_t i )
{
   S * s1 = reinterpret_cast< S * >( v );   // Non-compliant
   S * s2 = reinterpret_cast< S * >( i );   // Non-compliant
}