Java: Add some spurious source and sink examples.

This commit is contained in:
Michael Nebel
2024-06-18 14:58:57 +02:00
parent 854674a71c
commit 30249e4f2b
4 changed files with 30 additions and 0 deletions

View File

@@ -71,4 +71,11 @@ public class Sinks {
Boolean b = s == "hello";
sink(b);
}
// Not a new sink as this callable already has a manual sink.
// SPURIOUS-sink=p;Sinks;true;manualSinkAlreadyDefined;(Object);;Argument[0];test-sink;df-generated
// neutral=p;Sinks;manualSinkAlreadyDefined;(Object);summary;df-generated
public void manualSinkAlreadyDefined(Object o) {
sink(o);
}
}