File tree 1 file changed +12
-3
lines changed
1 file changed +12
-3
lines changed Original file line number Diff line number Diff line change 12
12
"precision" : " very-high" ,
13
13
"severity" : " recommendation" ,
14
14
"short_name" : " NonVoidReturnTypeOfNoreturnFunction" ,
15
- "tags" : [" correctness" ]
15
+ "tags" : [
16
+ " correctness" ,
17
+ " external/misra/c/2012/amendment3"
18
+ ]
16
19
}
17
20
],
18
21
"title" : " A function declared with _noreturn shall have a return type of void"
29
32
"precision" : " very-high" ,
30
33
"severity" : " recommendation" ,
31
34
"short_name" : " FunctionWithNoReturningBranchShouldBeNoreturn" ,
32
- "tags" : [" correctness" ]
35
+ "tags" : [
36
+ " correctness" ,
37
+ " external/misra/c/2012/amendment3"
38
+ ]
33
39
}
34
40
],
35
41
"title" : " A function without a branch that returns shall be declared with _Noreturn"
46
52
"precision" : " very-high" ,
47
53
"severity" : " error" ,
48
54
"short_name" : " ReturnStatementInNoreturnFunction" ,
49
- "tags" : [" correctness" ],
55
+ "tags" : [
56
+ " correctness" ,
57
+ " external/misra/c/2012/amendment3"
58
+ ],
50
59
"shared_implementation_short_name" : " FunctionNoReturnAttributeCondition"
51
60
}
52
61
],
You can’t perform that action at this time.
0 commit comments