fixed logical error in RULE-14-3

s-samadi · s-samadi · commit 94a33f6b57d9 · 2023-03-09T15:37:06.000+11:00
diff --git a/c/misra/src/rules/RULE-14-3/ControllingExprInvariant.ql b/c/misra/src/rules/RULE-14-3/ControllingExprInvariant.ql
@@ -48,7 +48,7 @@ where
   exists(SwitchStmt switch |
     switch.getControllingExpr() = expr and
     (
-      conditionAlwaysFalse(expr) and
+      conditionAlwaysFalse(expr) or
       conditionAlwaysTrue(expr)
     )
   ) and

Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,7 @@ where`
`48`	`48`	`exists(SwitchStmt switch \|`
`49`	`49`	`switch.getControllingExpr() = expr and`
`50`	`50`	`(`
`51`		`- conditionAlwaysFalse(expr) and`
	`51`	`+ conditionAlwaysFalse(expr) or`
`52`	`52`	`conditionAlwaysTrue(expr)`
`53`	`53`	`)`
`54`	`54`	`) and`