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.UN_OP.OVERLOAD

Unary & operator is overloaded.

MISRA-C++ Rule 5-3-3 (required): The unary & operator shall not be overloaded.

[Undefined 5.3.1(4)]

Rationale

Taking the address of an object of incomplete type where the complete type contains a user declared operator & leads to undefined behaviour.

Example

// A.h
class A
{
public:
   A * operator & ( ); // Non-compliant
};
// f1.cc
class A;

void f ( A & a )
{
   &a; // uses built-in operator &
}

// f2.cc
#include "A.h"

void f2 ( A & a )
{
   &a; // use user-defined operator &
}