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.DECL.FUNC_LOCAL

Function is declared locally.

MISRA-C Rule 8.6 (required): Functions shall be declared at file scope.

[Undefined 36]

Declaring functions at block scope may be confusing, and can lead to undefined behaviour.

MISRA-C++ Rule 3-1-2 (required): Functions shall not be declared at block scope.

Rationale

A function declared at block scope will refer to a member of the enclosing namespace, and so the declaration should be explicitly placed at the namespace level.

Additionally, where a declaration statement could either declare a function or an object, the compiler will choose to declare the function. To avoid potential developer confusion over the meaning of a declaration, functions should not be declared at block scope.

Example

class A
{
};

void b1 ( )
{
   void f1 ();   // Non-compliant - declaring a function in block scope
   A a ();       // Non-compliant - appears to declare an object with no
                 // arguments to constructor, but it too declares a
                 // function 'a' returning type 'A' and taking no
                 // parameters.
}