Skip to content

Commit 2a0d6cb

Browse files
Set more accurate query metadata
1 parent 09891b0 commit 2a0d6cb

File tree

3 files changed

+8
-8
lines changed

3 files changed

+8
-8
lines changed

c/misra/src/rules/DIR-4-15/PossibleMisuseOfUndetectedInfinity.ql

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
* @description Evaluation of floating-point expressions shall not lead to the undetected generation
55
* of infinities.
66
* @kind path-problem
7-
* @precision high
8-
* @problem.severity error
7+
* @precision medium
8+
* @problem.severity warning
99
* @tags external/misra/id/dir-4-15
1010
* correctness
1111
* external/misra/c/2012/amendment3

c/misra/src/rules/DIR-4-15/PossibleMisuseOfUndetectedNaN.ql

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
* @description Evaluation of floating-point expressions shall not lead to the undetected generation
55
* of NaNs.
66
* @kind path-problem
7-
* @precision high
8-
* @problem.severity error
7+
* @precision low
8+
* @problem.severity warning
99
* @tags external/misra/id/dir-4-15
1010
* correctness
1111
* external/misra/c/2012/amendment3

rule_packages/c/FloatingTypes2.json

+4-4
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,8 @@
99
"description": "Evaluation of floating-point expressions shall not lead to the undetected generation of infinities.",
1010
"kind": "path-problem",
1111
"name": "Evaluation of floating-point expressions shall not lead to the undetected generation of infinities",
12-
"precision": "high",
13-
"severity": "error",
12+
"precision": "medium",
13+
"severity": "warning",
1414
"short_name": "PossibleMisuseOfUndetectedInfinity",
1515
"tags": [
1616
"correctness",
@@ -21,8 +21,8 @@
2121
"description": "Evaluation of floating-point expressions shall not lead to the undetected generation of NaNs.",
2222
"kind": "path-problem",
2323
"name": "Evaluation of floating-point expressions shall not lead to the undetected generation of NaNs",
24-
"precision": "high",
25-
"severity": "error",
24+
"precision": "low",
25+
"severity": "warning",
2626
"short_name": "PossibleMisuseOfUndetectedNaN",
2727
"tags": [
2828
"correctness",

0 commit comments

Comments
 (0)