Merge pull request #1559 from zlaski-semmle/zlaski/futile-params-fix

jbj · web-flow · commit 46d779248d72 · 2019-07-09T06:51:56.000+02:00
Reduce precision from `very-high` to `low` due to inability to handle…
diff --git a/cpp/ql/test/query-tests/Likely Bugs/Underspecified Functions/test.c b/cpp/ql/test/query-tests/Likely Bugs/Underspecified Functions/test.c
@@ -114,3 +114,13 @@ unsigned int defined_with_ptr_arr(unsigned int *ptr[]) {
 void declared_and_defined_empty() {
 	return;
 }
+
+extern int will_be_k_and_r();
+
+int call_k_and_r(int i) {
+	return will_be_k_and_r(i);  // GOOD
+}
+
+int will_be_k_and_r(val)
+  int val;
+{ return val + 1; }
