Abraxas/Misra Home  Table of Contents

Module - m86.html

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

Misra-C Test Suite for Module - m86.c

/* Misra C Enforcement Testing */

Misra C Enforcement Testing */ 
/* Rule 86: Advisory */
Rule 86: Advisory */ 
/* If a function returns error information, then that error */
If a function returns error information, then that error */ 
/* information shall be tested. */
information shall be tested. */ 
/* Not statically enforceable. The method of testing is not */
Not statically enforceable. The method of testing is not */ 
/* sufficiently well-defined. */
sufficiently well-defined. */ 
int f86() ;	/*  here prototype indicates that return contains data that must be tested */



Function Name: m86() 
int m86() {
	int x;
	x = f86();	/*  RULE 86 */
	x++;		/*  bad, x not tested before using x  */
	x = f86();
	if ( x > 0 ) x++;		/*  good */


}
Abraxas/Misra Home  Table of Contents
ABRAXAS SOFTWARE - CodeCheck MISRA Test-Suite Misra-C:1998 Misra-C:2004.