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.