Abraxas/Misra Home  Table of Contents

Module - m123.html

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

Misra-C Test Suite for Module - m123.c

/* Misra C Enforcement Testing */

Misra C Enforcement Testing */

/* Rule 123: Required */

Rule 123: Required */

/* The signal handling facilities of shall not be used */

shall not be used */
#include 
#include 
#include "misra.h"
volatile sig_atomic_t v;
static void func123a ( int ) ;
static void
func123a ( int signum ) 



Function Name: func123a()

{
    
    v = 0; 
    
    if ( signal ( SIGINT, func123a ) == SIG_ERR ) /*  RULE 123  */
    {
        
        
    }
    
}
static void
func123 ( void ) 



Function Name: func123()

{
    
    if ( signal ( SIGINT, func123a ) == SIG_ERR ) /*  RULE 123  */
    {
        
        
    }
    
    while ( ++v < 100 ) 
    {
        
        
    }
    
    raise ( SIGINT ) ; /*  RULE 123  */
    
}

Abraxas/Misra Home  Table of Contents

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