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