-
Notifications
You must be signed in to change notification settings - Fork 3
/
R_05_01_1.c
executable file
·55 lines (42 loc) · 1.28 KB
/
R_05_01_1.c
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
/*
* Release: 2016-11-01
*
* Example from MISRA C:2012 ( THIS IS NOT A TEST SUITE )
*
* Copyright HORIBA MIRA Limited.
*
* See file READ_ME.txt for full copyright, license and release instructions.
*/
/*
* R.5.1
*
* External identifiers shall be distinct
*/
#include "R_05_01.h"
/* 1234567890123456789012345678901********* Characters */
int32_t engine_exhaust_gas_temperature_raw;
int32_t engine_exhaust_gas_temperature_scaled; /* Non-compliant */
/* 1234567890123456789012345678901********* Characters */
int32_t engine_exhaust_gas_temp_raw;
int32_t engine_exhaust_gas_temp_scaled; /* Compliant */
extern int32_t abc;
int32_t abc = 0;
static void R_5_1_1 ( void )
{
engine_exhaust_gas_temperature_raw = get_int32 ( );
engine_exhaust_gas_temperature_scaled = get_int32 ( );
engine_exhaust_gas_temp_raw = get_int32 ( );
engine_exhaust_gas_temp_scaled = get_int32 ( );
abc = get_int32 ( );
}
void R_5_1 ( void )
{
R_5_1_1 ( );
use_int32 ( engine_exhaust_gas_temperature_raw );
use_int32 ( engine_exhaust_gas_temperature_scaled );
use_int32 ( engine_exhaust_gas_temp_raw );
use_int32 ( engine_exhaust_gas_temp_scaled );
use_int32 ( abc );
R_5_1_2 ( );
}
/* end of R_05_01_1.c */