Abraxas/Misra Home  Table of Contents

Module - m53.html

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

Misra-C Test Suite for Module - m53.c

/* Misra C Enforcement Testing */

Misra C Enforcement Testing */ 
/* Rule 53: Required */
Rule 53: Required */ 
/* All non-null statements shall have a side-effect. */
All non-null statements shall have a side-effect. */ 
#include "misra.h"
SI_32
rule53 ( void ) 



Function Name: rule53() 
{
    
SI_32 c = 3;
SI_32 i = 3;
SI_32 j = 3;
SI_32 k = 3;
volatile SI_32 v;
    
    k = j + ( i,j ) ; /*  RULE 53		[ abraxas-misra rule 42 will catch this ] */
    k; /*  RULE 53  */
    i == k; /*  RULE 53  */
    
    return c;
    


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