forked from sid-project/sid
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.csmock-kfp.js
98 lines (98 loc) · 3.62 KB
/
.csmock-kfp.js
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
{
"defects": [
{
"checker": "COMPILER_WARNING",
"language": "c/c++",
"tool": "gcc",
"key_event_idx": 0,
"events": [
{
"file_name": "sid-0.0.5/src/resource/ubridge.c",
"line": 735,
"column": 55,
"event": "warning[-Warray-bounds=]",
"message": "array subscript 5 is outside array bounds of 'struct kv_vector_t[5]'",
"verbosity_level": 0
},
{
"file_name": "",
"line": 0,
"event": "#",
"message": " 735 | vvalue[VVALUE_IDX_DATA_ALIGNED + idx] = (kv_vector_t) {data, data_size};",
"verbosity_level": 1
},
{
"file_name": "",
"line": 0,
"event": "#",
"message": " | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~",
"verbosity_level": 1
},
{
"file_name": "sid-0.0.5/src/resource/ubridge.c",
"line": 0,
"event": "scope_hint",
"message": "In function '_init_common'",
"verbosity_level": 1
},
{
"file_name": "sid-0.0.5/src/resource/ubridge.c",
"line": 5863,
"column": 22,
"event": "note",
"message": "at offset 80 into object 'vvalue' of size 80",
"verbosity_level": 1
},
{
"file_name": "",
"line": 0,
"event": "#",
"message": " 5863 | kv_vector_t vvalue[VVALUE_SINGLE_CNT];",
"verbosity_level": 1
},
{
"file_name": "",
"line": 0,
"event": "#",
"message": " | ^~~~~~",
"verbosity_level": 1
},
{
"file_name": "",
"line": 0,
"event": "#",
"message": " 733| \tif (VVALUE_FLAGS(vvalue) & KV_ALIGN) {",
"verbosity_level": 1
},
{
"file_name": "",
"line": 0,
"event": "#",
"message": " 734| \t\tassert(vvalue_size >= (VVALUE_IDX_DATA_ALIGNED + idx));",
"verbosity_level": 1
},
{
"file_name": "",
"line": 0,
"event": "#",
"message": " 735|-> \t\tvvalue[VVALUE_IDX_DATA_ALIGNED + idx] = (kv_vector_t) {data, data_size};",
"verbosity_level": 1
},
{
"file_name": "",
"line": 0,
"event": "#",
"message": " 736| \t} else {",
"verbosity_level": 1
},
{
"file_name": "",
"line": 0,
"event": "#",
"message": " 737| \t\tassert(vvalue_size >= (VVALUE_IDX_DATA + idx));",
"verbosity_level": 1
}
]
}
]
}