add sample

danmar · danmar · commit c3bb80410f05 · 2024-10-06T14:23:06.000+02:00
diff --git a/.github/workflows/CI-unixish.yml b/.github/workflows/CI-unixish.yml
@@ -551,7 +551,7 @@ jobs:
           fi
 
           # test sarif output
-          ./cppcheck --enable=style --error-exitcode=0 --platform=unix64 --inconclusive samples/unreadVariable --output-file=samples.sarif --output-format=sarif
+          ./cppcheck --enable=style --error-exitcode=0 --platform=unix64 --inconclusive samples/incorrectLogicOperator/bad.c --output-file=samples.sarif --output-format=sarif
           cat samples.sarif
 
           # self check simplecpp
diff --git a/samples/incorrectLogicOperator/bad.c b/samples/incorrectLogicOperator/bad.c
@@ -0,0 +1,4 @@
+
+void foo(int x) {
+    if (x >= 0 || x <= 10) {}
+}
diff --git a/samples/incorrectLogicOperator/out.txt b/samples/incorrectLogicOperator/out.txt
@@ -0,0 +1,3 @@
+samples/incorrectLogicOperator/bad.c:3:16: warning: Logical disjunction always evaluates to true: x >= 0 || x <= 10. [incorrectLogicOperator]
+    if (x >= 0 || x <= 10) {}
+               ^

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
++
 +void foo(int x) {
 +    if (x >= 0 || x <= 10) {}
 +}
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+samples/incorrectLogicOperator/bad.c:3:16: warning: Logical disjunction always evaluates to true: x >= 0 \|\| x <= 10. [incorrectLogicOperator]`
	`2`	`+ if (x >= 0 \|\| x <= 10) {}`
	`3`	`+ ^`