Add failing test case for #5207

This commit is contained in:
Juan Martín Sotuyo Dodero 2024-09-14 00:34:10 -03:00
parent 77b763e321
commit 31efceae4d

View File

@ -116,4 +116,22 @@ public class Foo {
}
]]></code>
</test-code>
<test-code>
<description>#5207 FP with skip overload on custom FileInputStream class</description>
<expected-problems>0</expected-problems>
<code><![CDATA[
import java.io.FileInputStream;
import java.io.IOException;
public class Foo extends FileInputStream {
public void bar() {
skip(1);
}
public void skip(int n) throws IOException {
}
}
]]></code>
</test-code>
</test-data>