Abraxas/Misra Home  Table of Contents

Module - m83.html

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

Misra-C Test Suite for Module - m83.c

/* Misra C Enforcement Testing */

Misra C Enforcement Testing */

/* Rule 83: Required */

Rule 83: Required */

/* For functions with non-void return type: */

For functions with non-void return type: */

/* i ) there shall be one return statement for every exit */

i ) there shall be one return statement for every exit */

/* branch ( including the end of the program ) , */

branch ( including the end of the program ) , */

/* ii ) each return shall have an expression, */

ii ) each return shall have an expression, */

/* iii ) the return expression shall match the declared return */

iii ) the return expression shall match the declared return */

/* type. */

type. */
#include "misra.h"
SC_8 func83a ( void ) 



Function Name: func83a()

{
    
SC_8 pc = '\0';
    

/* return; */

return; */
    
}
SC_8 func83b ( void ) 



Function Name: func83b()

{
    
SC_8 pc = '\0';
    
    return; /*  RULE 83  */
    
}
SC_8 func83c ( void ) 



Function Name: func83c()

{
    
SC_8 pc = '\0';
    
    return ( long ) pc; /*  RULE 83  */
    
}
SC_8 func83d ( void ) 



Function Name: func83d()

{
    
SC_8 pc = '\0';
    
    return pc; 
    
}

Abraxas/Misra Home  Table of Contents

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