Skip to content

Commit 81fb797

Browse files
Set FunctionWithNoReturningBranch... to very-high precision
1 parent 8ffbb1e commit 81fb797

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: c/misra/src/rules/RULE-17-11/FunctionWithNoReturningBranchShouldBeNoreturn.ql

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
* @name RULE-17-11: A function without a branch that returns shall be declared with _Noreturn
44
* @description Functions which cannot return should be declared with _Noreturn.
55
* @kind problem
6-
* @precision high
6+
* @precision very-high
77
* @problem.severity recommendation
88
* @tags external/misra/id/rule-17-11
99
* correctness

0 commit comments

Comments
 (0)