hiifong/pmd
1
0
Fork 0
forked from phoedos/pmd
Code Pull Requests Activity

Fix #5046 - FPs in LocalVariableCouldBeFinal

Browse Source 
This adds FNs to UnusedAssignment
This commit is contained in:
Clément Fournier 2024-09-03 11:34:31 +02:00
parent 7ba88e9eba
commit 68820a4c77
No known key found for this signature in database
GPG Key ID: 6F9389D8E390BD4C
12 changed files with 82 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pmd-java/src/main/java/net/sourceforge/pmd/lang/java/rule/internal/DataflowPass.java
View File

@ -636,7 +636,16 @@ public final class DataflowPass {
SpanInfo exceptionalState = null;
int i = 0;
for (ASTCatchClause catchClause : node.getCatchClauses()) {
SpanInfo current = acceptOpt(catchClause, catchSpans.get(i));
/*
Note: here we absorb the end state of the body, which is not necessary.
We do that to conform to the language's definition of "effective-finality",
which is more conservative than needed. Doing this fixes FPs in LocalVariableCouldBeFinal
at the cost of some FNs in UnusedAssignment.
*/
SpanInfo catchSpan = catchSpans.get(i);
catchSpan.absorb(bodyState);
SpanInfo current = acceptOpt(catchClause, catchSpan);
exceptionalState = current.absorb(exceptionalState);
i++;
}

32
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/rule/AllDataflowRuleTests.java Normal file
View File

@ -0,0 +1,32 @@
/*
* BSD-style license; for more info see http://pmd.sourceforge.net/license.html
*/
package net.sourceforge.pmd.lang.java.rule;
import org.junit.platform.suite.api.SelectClasses;
import org.junit.platform.suite.api.Suite;
import net.sourceforge.pmd.lang.java.rule.bestpractices.UnusedAssignmentTest;
import net.sourceforge.pmd.lang.java.rule.codestyle.LocalVariableCouldBeFinalTest;
import net.sourceforge.pmd.lang.java.rule.design.AvoidThrowingNullPointerExceptionTest;
import net.sourceforge.pmd.lang.java.rule.design.ImmutableFieldTest;
import net.sourceforge.pmd.lang.java.rule.design.LawOfDemeterTest;
import net.sourceforge.pmd.lang.java.rule.design.SingularFieldTest;
import net.sourceforge.pmd.lang.java.rule.errorprone.ImplicitSwitchFallThroughTest;
import net.sourceforge.pmd.lang.java.rule.errorprone.InvalidLogMessageFormatTest;
@Suite
@SelectClasses({
LocalVariableCouldBeFinalTest.class,
ImmutableFieldTest.class,
UnusedAssignmentTest.class,
LawOfDemeterTest.class,
SingularFieldTest.class,
ImplicitSwitchFallThroughTest.class,
InvalidLogMessageFormatTest.class,
AvoidThrowingNullPointerExceptionTest.class
})
public class AllDataflowRuleTests {
}

2
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/rule/bestpractices/UnusedAssignmentTest.java
View File

@ -6,6 +6,6 @@ package net.sourceforge.pmd.lang.java.rule.bestpractices;
import net.sourceforge.pmd.test.PmdRuleTst;
class UnusedAssignmentTest extends PmdRuleTst {
public class UnusedAssignmentTest extends PmdRuleTst {
// no additional unit tests
}

2
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/rule/codestyle/LocalVariableCouldBeFinalTest.java
View File

@ -6,6 +6,6 @@ package net.sourceforge.pmd.lang.java.rule.codestyle;
import net.sourceforge.pmd.test.PmdRuleTst;
class LocalVariableCouldBeFinalTest extends PmdRuleTst {
public class LocalVariableCouldBeFinalTest extends PmdRuleTst {
// no additional unit tests
}

2
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/rule/design/AvoidThrowingNullPointerExceptionTest.java
View File

@ -6,6 +6,6 @@ package net.sourceforge.pmd.lang.java.rule.design;
import net.sourceforge.pmd.test.PmdRuleTst;
class AvoidThrowingNullPointerExceptionTest extends PmdRuleTst {
public class AvoidThrowingNullPointerExceptionTest extends PmdRuleTst {
// no additional unit tests
}

2
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/rule/design/ImmutableFieldTest.java
View File

@ -6,6 +6,6 @@ package net.sourceforge.pmd.lang.java.rule.design;
import net.sourceforge.pmd.test.PmdRuleTst;
class ImmutableFieldTest extends PmdRuleTst {
public class ImmutableFieldTest extends PmdRuleTst {
// no additional unit tests
}

2
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/rule/design/LawOfDemeterTest.java
View File

@ -6,6 +6,6 @@ package net.sourceforge.pmd.lang.java.rule.design;
import net.sourceforge.pmd.test.PmdRuleTst;
class LawOfDemeterTest extends PmdRuleTst {
public class LawOfDemeterTest extends PmdRuleTst {
// no additional unit tests
}

2
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/rule/design/SingularFieldTest.java
View File

@ -6,6 +6,6 @@ package net.sourceforge.pmd.lang.java.rule.design;
import net.sourceforge.pmd.test.PmdRuleTst;
class SingularFieldTest extends PmdRuleTst {
public class SingularFieldTest extends PmdRuleTst {
// no additional unit tests
}

2
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/rule/errorprone/ImplicitSwitchFallThroughTest.java
View File

@ -6,6 +6,6 @@ package net.sourceforge.pmd.lang.java.rule.errorprone;
import net.sourceforge.pmd.test.PmdRuleTst;
class ImplicitSwitchFallThroughTest extends PmdRuleTst {
public class ImplicitSwitchFallThroughTest extends PmdRuleTst {
// no additional unit tests
}

2
pmd-java/src/test/java/net/sourceforge/pmd/lang/java/rule/errorprone/InvalidLogMessageFormatTest.java
View File

@ -6,6 +6,6 @@ package net.sourceforge.pmd.lang.java.rule.errorprone;
import net.sourceforge.pmd.test.PmdRuleTst;
class InvalidLogMessageFormatTest extends PmdRuleTst {
public class InvalidLogMessageFormatTest extends PmdRuleTst {
// no additional unit tests
}

21
pmd-java/src/test/resources/net/sourceforge/pmd/lang/java/rule/bestpractices/xml/UnusedAssignment.xml
View File

@ -1199,11 +1199,12 @@ public class Foo {
<test-code>
<description>Definitions in try block reach catch blocks through method calls</description>
<expected-problems>2</expected-problems>
<expected-linenumbers>4,7</expected-linenumbers>
<expected-problems>1</expected-problems>
<expected-linenumbers>4</expected-linenumbers>
<expected-messages>
<message>The initializer for variable 'halfway' is never used (overwritten on line 7)</message>
<message>The value assigned to variable 'halfway' is never used</message>
<!-- This was disabled because it causes FPs in LocalVariableCouldBeFinal. -->
<!-- <message>The value assigned to variable 'halfway' is never used</message>-->
</expected-messages>
<code><![CDATA[
public class Foo {
@ -1251,11 +1252,13 @@ public class Foo {
</test-code>
<test-code>
<description>Definitions in try block reach catch blocks through method calls 3</description>
<expected-problems>1</expected-problems>
<expected-linenumbers>8</expected-linenumbers>
<expected-messages>
<message>The value assigned to variable 'halfway' is never used</message>
</expected-messages>
<!-- This was disabled because it causes FPs in LocalVariableCouldBeFinal. -->
<expected-problems>0</expected-problems>
<!-- <expected-problems>1</expected-problems>-->
<!-- <expected-linenumbers>8</expected-linenumbers>-->
<!-- <expected-messages>-->
<!-- <message>The value assigned to variable 'halfway' is never used</message>-->
<!-- </expected-messages>-->
<code><![CDATA[
public class Foo {
@ -1328,7 +1331,7 @@ public class Foo {
<expected-linenumbers>5,7,9</expected-linenumbers>
<expected-messages>
<message>The initializer for variable 'a' is never used (overwritten on lines 7, 9 and 11)</message>
<message>The value assigned to variable 'a' is never used (overwritten on line 11)</message>
<message>The value assigned to variable 'a' is never used (overwritten on lines 9 and 11)</message>
<message>The value assigned to variable 'a' is never used (overwritten on line 11)</message>
</expected-messages>
<code><![CDATA[

20
pmd-java/src/test/resources/net/sourceforge/pmd/lang/java/rule/codestyle/xml/LocalVariableCouldBeFinal.xml
View File

@ -386,6 +386,26 @@ public class ClassWithLambda {
ek[114] |= 32; ek[123] |= 2;
}
}
}
]]></code>
</test-code>
<test-code>
<description> [java] LocalVariableCouldBeFinal false positive with try/catch #5046 </description>
<expected-problems>0</expected-problems>
<code><![CDATA[
import java.util.Optional;
import foo.FileWatcher;
public class ClassWithLambda {
private Optional<FileWatcher> createFileWatcher() {
Optional<FileWatcher> optionalFileWatcher; // false positive in PMD 7.2.0, cannot be final
try {
optionalFileWatcher = Optional.of(new FileWatcher());
} catch (final IOException e) {
optionalFileWatcher = Optional.empty();
}
return optionalFileWatcher;
}
}
]]></code>
</test-code>