CPP: Add a test of macros.

geoffw0 · geoffw0 · commit d6f27f0b2d51 · 2018-11-08T09:58:59.000Z
diff --git a/cpp/ql/test/query-tests/Likely Bugs/Likely Typos/ExprHasNoEffect/ExprHasNoEffect.expected b/cpp/ql/test/query-tests/Likely Bugs/Likely Typos/ExprHasNoEffect/ExprHasNoEffect.expected
@@ -1,3 +1,4 @@
+| macros.c:6:9:6:13 | param | This expression has no effect. | macros.c:6:9:6:13 | param |  |
 | preproc.c:89:2:89:4 | call to fn4 | This expression has no effect (because $@ has no external side effects). | preproc.c:33:5:33:7 | fn4 | fn4 |
 | preproc.c:94:2:94:4 | call to fn9 | This expression has no effect (because $@ has no external side effects). | preproc.c:78:5:78:7 | fn9 | fn9 |
 | template.cpp:19:3:19:3 | call to operator++ | This expression has no effect (because $@ has no external side effects). | template.cpp:9:10:9:19 | operator++ | operator++ |
diff --git a/cpp/ql/test/query-tests/Likely Bugs/Likely Typos/ExprHasNoEffect/macros.c b/cpp/ql/test/query-tests/Likely Bugs/Likely Typos/ExprHasNoEffect/macros.c
@@ -0,0 +1,7 @@
+
+#define UNUSED(x) (x)
+
+void test2(int param)
+{
+	UNUSED(param); // GOOD [FALSE POSITIVE]
+}

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+\| macros.c:6:9:6:13 \| param \| This expression has no effect. \| macros.c:6:9:6:13 \| param \| \|`
`1`	`2`	`\| preproc.c:89:2:89:4 \| call to fn4 \| This expression has no effect (because $@ has no external side effects). \| preproc.c:33:5:33:7 \| fn4 \| fn4 \|`
`2`	`3`	`\| preproc.c:94:2:94:4 \| call to fn9 \| This expression has no effect (because $@ has no external side effects). \| preproc.c:78:5:78:7 \| fn9 \| fn9 \|`
`3`	`4`	`\| template.cpp:19:3:19:3 \| call to operator++ \| This expression has no effect (because $@ has no external side effects). \| template.cpp:9:10:9:19 \| operator++ \| operator++ \|`