C and C++


LANG.TYPE.MAT : Mismatched Argument Types

Summary

One of the following functions is called with pointer arguments that are not pointers to qualified or unqualified versions of compatible types.

Properties

Class Name Mismatched Argument Types
Significance style
Mnemonic LANG.TYPE.MAT
Categories
MisraC2023 MisraC2023:21.15 The pointer arguments to the Standard Library functions memcpy, memmove and memcmp shall be pointers to qualified or unqualified versions of compatible types
Misra2012 Misra2012:21.15 The pointer arguments to the Standard Library functions memcpy, memmove and memcmp shall be pointers to qualified or unqualified versions of compatible types
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="Mismatched Argument Types"
Note that retaining the unnormalized ASTs will increase the disk space used to store the project representation, and may make the analysis take longer.
#include <string.h>

void lang_type_mat_incompatible(int *pi,
                                unsigned int *pui,
                                char *pc){
    (void) memcpy(pi, pui, 2); /* 'Mismatched Argument Types' warning issued here
                                * - 'int' and 'unsigned int' are not compatible */
    (void) memcpy(pi, pc, 2);  /* 'Mismatched Argument Types' warning issued here
                                * - 'int' and 'char' are not compatible */
    (void) memcpy(pui, pc, 2); /* 'Mismatched Argument Types' warning issued here
                                * - 'unsigned int' and 'char' are not compatible */
}

void lang_type_mat_qual(int *pi,
                        const int * pci,
                        volatile int * pvi){
    (void) memcpy(pi, pci, 2);            /* ok: differ only in qualifier */
    (void) memcpy(pi, pvi, 2);            /* ok: differ only in qualifier */
    (void) memcpy(pvi, pci, 2);           /* ok: differ only in qualifier */
}

Relevant Configuration File Parameters

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