Abraxas/Misra Home  Table of Contents

Module - m81.html

ABRAXAS SOFTWARE - CodeCheck MISRA Test-Suite Misra-C:1998 Misra-C:2004.

Misra-C Test Suite for Module - m81.c

/* Misra C Enforcement Testing */

Misra C Enforcement Testing */

/* Rule 81: Advisory */

Rule 81: Advisory */

/* const qualification should be used on function parameters which are */

const qualification should be used on function parameters which are */

/* passed by reference, where it is intended that the function will */

passed by reference, where it is intended that the function will */

/* not modify the parameter. */

not modify the parameter. */

/* Not statically enforceable. It is very difficult in practice to */

Not statically enforceable. It is very difficult in practice to */

/* divine this intent automatically. */

divine this intent automatically. */
#include "misra.h"
void myfunction ( const SI_16 * myparam )	/*  ok */



Function Name: myfunction()

{	
	* myparam = 2;	/*  81 */
}
void myfunction1 (  SI_16 * myparam1 )	/*  81 */



Function Name: myfunction1()

{	
	* myparam1 = 2;	/*  81 */
}

Abraxas/Misra Home  Table of Contents

ABRAXAS SOFTWARE - CodeCheck MISRA Test-Suite Misra-C:1998 Misra-C:2004.