JS: Add test case for spurious flow from lack of use-use

asgerf · asgerf · commit 81e74d8bb57f · 2024-10-22T12:46:00.000+02:00
diff --git a/javascript/ql/test/library-tests/TripleDot/useuse.js b/javascript/ql/test/library-tests/TripleDot/useuse.js
@@ -0,0 +1,30 @@
+import 'dummy';
+
+function t1() {
+    const obj = {};
+
+    sink(obj.field); // $ SPURIOUS: hasValueFlow=t1.1 hasValueFlow=t1.2
+
+    obj.field = source('t1.1');
+    sink(obj.field); // $ hasValueFlow=t1.1 SPURIOUS: hasValueFlow=t1.2
+
+    obj.field = "safe";
+    sink(obj.field); // $ SPURIOUS: hasValueFlow=t1.1 hasValueFlow=t1.2
+
+    obj.field = source('t1.2');
+    sink(obj.field); // $ hasValueFlow=t1.2 SPURIOUS: hasValueFlow=t1.1
+}
+
+function t2() {
+    let obj;
+
+    if (Math.random()) {
+        obj = {};
+        sink(obj.field);
+    } else {
+        obj = {};
+        obj.field = source('t2.1');
+        sink(obj.field); // $ hasValueFlow=t2.1
+    }
+    sink(obj.field); // $ hasValueFlow=t2.1
+}
