Note spurious results that stem from weak updates to synthetic fields.

Author: smowton

java/ql/test/library-tests/frameworks/apache-commons-lang3/MutableTest.java

@@ -21,8 +21,10 @@ void test() throws Exception {
       sink(taintedAlias.getValue()); // $hasValueFlow
       sink(taintSet.getValue()); // $hasValueFlow
       sink(taintSetAlias.getValue()); // $hasValueFlow
-      sink(taintCleared.getValue());
-      sink(taintClearedAlias.getValue());
+      // These two cases don't work currently because synthetic fields are always weakly updated,
+      // so no taint clearing takes place.
+      sink(taintCleared.getValue()); // $SPURIOUS: hasValueFlow
+      sink(taintClearedAlias.getValue()); // $SPURIOUS: hasValueFlow
 
     }
 }