Dataflow: Add test highlighting bug.

Author: aschackmull

java/ql/test/library-tests/dataflow/flowfeature/A.java

@@ -46,4 +46,50 @@ static void test6() {
     Object x = source("6");
     test6sink(x);
   }
+
+  Object getSrc() {
+    return source("get");
+  }
+
+  void srcField() {
+    foo = source("field");
+  }
+
+  static Object foo = null;
+
+  void srcCall(int i) {
+    test7(source("call"), i);
+  }
+
+  Object test7(Object x, int i) {
+    Object src = null;
+    if (i == 0) {
+      src = getSrc();
+    } else if (i == 1) {
+      src = foo;
+    } else if (i == 2) {
+      src = x;
+    } else if (i == 3) {
+      src = source("direct");
+    }
+
+    sinkPut(src);
+    foo2 = src;
+    sink(src); // $ EqCc="direct" SrcCc="field" SrcCc="call" SrcCc="direct" SinkCc="get" SinkCc="field" SinkCc="direct"
+    return src;
+  }
+
+  static Object foo2 = null;
+
+  void sinkPut(Object x) {
+    sink(x); // $ SrcCc="field" SrcCc="call" SrcCc="direct"
+  }
+
+  void sinkField() {
+    sink(foo2); // $ SrcCc="field" SrcCc="call" SrcCc="direct" SinkCc="get" SinkCc="field" SinkCc="call" SinkCc="direct"
+  }
+
+  void sinkReturn(int i) {
+    sink(test7(null, i)); // $ SrcCc="field" SinkCc="get" SinkCc="field" SinkCc="direct"
+  }
 }

java/ql/test/library-tests/dataflow/flowfeature/flow.expected

@@ -1,2 +1,3 @@
 testFailures
+| A.java:78:10:78:12 | src | Unexpected result: SinkCc="call" |
 failures