C and C++


LANG.STRUCT.FNADDR : Implicit Address of Function

Summary

An expression implicitly takes the address of a function (without using the & operator).

Properties

Class Name Implicit Address of Function
Significance style
Mnemonic LANG.STRUCT.FNADDR
Categories
MisraC2023 MisraC2023:17.12 A function identifier should only be used with either a preceding &, or with a parenthesized parameter list
Misra2012 Misra2012:17.12 A function identifier should only be used with either a preceding &, or with a parenthesized parameter list
Misra2004 Misra2004:16.9 A function identifier shall only be used with either a preceding &, or with a parenthesised parameter list, which may be empty
AUTOSARC++14 AUTOSARC++14:M8-4-4 A function identifier shall either be used to call the function or it shall be preceded by &.
MisraC++2008 MisraC++2008:8-4-4 A function identifier shall either be used to call the function or it shall be preceded by &.
Availability Available for C and C++.
Enabling Checks for this warning class are disabled by default, and require the unnormalized C ASTs for the project. To enable them, add the following WARNING_FILTER rule and RETAIN_UNNORMALIZED_C_AST specification to the project configuration file.
RETAIN_UNNORMALIZED_C_AST = Yes
WARNING_FILTER += allow class="Implicit Address of Function"
Note that retaining the unnormalized ASTs will increase the disk space used to store the project representation, and may make the analysis take longer.

Example

typedef void (*ftype)(void);
void callfn(ftype fin);
void f(void);

int lang_struct_fnaddr(void){
    int rv = 0;
    if (f) {rv = 1;}   /* 'Implicit Address of Function' warning issued here */
    f;                 /* 'Implicit Address of Function' warning issued here */
    callfn(f);         /* 'Implicit Address of Function' warning issued here */

    f();                                                      /* normal function call */
    callfn(&f);                                               /* explicit addressing */
    return rv;
}

Relevant Configuration File Parameters

The following configuration file parameters affect checks for this warning class.