Abraxas/Misra Home  Table of Contents

Module - m54.html

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

Misra-C Test Suite for Module - m54.c

/* Misra C Enforcement Testing */

Misra C Enforcement Testing */ 
/* Rule 54: Required */
Rule 54: Required */ 
/* A null statement shall only occur on a line by itself, and shall */
A null statement shall only occur on a line by itself, and shall */ 
/* not have any other text on the same line. */
not have any other text on the same line. */ 
#include "misra.h"
SI_32
rule54 ( void ) 



Function Name: rule54() 
{
    
SI_32 c = 3;
SI_32 i = 3;
SI_32 j = 3;
SI_32 k = 3;
    
    for ( i = 0; i < 10; ++i ) ; /*  RULE 54  */
    
    if ( j == k ) ; /*  RULE 54  */
    {
        
        c = 1;; /*  RULE 54  */
        
    }
    
    return c;
    


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