CPP: Add a test.

geoffw0 · geoffw0 · commit 0a85637fef5b · 2020-01-07T12:46:07.000Z
diff --git a/cpp/ql/test/query-tests/jsf/4.13 Functions/AV Rule 114/AV Rule 114.expected b/cpp/ql/test/query-tests/jsf/4.13 Functions/AV Rule 114/AV Rule 114.expected
@@ -3,6 +3,7 @@
 | test.c:8:5:8:14 | declaration | Function f2 should return a value of type int but does not return a value here |
 | test.c:25:9:25:14 | ExprStmt | Function f4 should return a value of type int but does not return a value here |
 | test.c:39:9:39:14 | ExprStmt | Function f6 should return a value of type int but does not return a value here |
+| test.c:100:2:100:18 | asm statement | Function f14 should return a value of type int but does not return a value here |
 | test.cpp:16:1:18:1 | { ... } | Function g2 should return a value of type MyValue but does not return a value here |
 | test.cpp:48:2:48:26 | if (...) ...  | Function g7 should return a value of type MyValue but does not return a value here |
 | test.cpp:74:1:76:1 | { ... } | Function g10 should return a value of type second but does not return a value here |
diff --git a/cpp/ql/test/query-tests/jsf/4.13 Functions/AV Rule 114/test.c b/cpp/ql/test/query-tests/jsf/4.13 Functions/AV Rule 114/test.c
@@ -94,3 +94,8 @@ void f13_func(int x)
 {
 	if (x < 10) return; // GOOD
 }
+
+int f14()
+{
+	__asm__("rdtsc"); // GOOD [FALSE POSITIVE]
+}

Original file line number	Diff line number	Diff line change
`@@ -94,3 +94,8 @@ void f13_func(int x)`
`94`	`94`	`{`
`95`	`95`	`if (x < 10) return; // GOOD`
`96`	`96`	`}`
	`97`	`+`
	`98`	`+int f14()`
	`99`	`+{`
	`100`	`+ __asm__("rdtsc"); // GOOD [FALSE POSITIVE]`
	`101`	`+}`