The rule raises an issue when multiple early returns are used in a function returning a Void. For example public class CallableReproducer { public void function(boolean a) throws Exception { execute(new Callable<Void>() { @Override public Void call() throws Exception { i…

S3516: FP when return type is Void

Rules and Languages Report False-positive / False-negative...

Nicolas_Peru (Nicolas Peru) July 12, 2019, 12:25pm 2

Hi,

indeed this is a false positive (and quite a corner case, but no reason not to fix it!). Thanks for the feedback and reproducer, ticket created to handle the issue: https://jira.sonarsource.com/browse/SONARJAVA-3155

1 Like

Topic		Replies	Views
False positive S3241 (Change return type to 'void') on lambda function Report False-positive / False-negative... csharp	5	634	June 14, 2023
FP S6073 when calling static method to Report False-positive / False-negative... java	3	909	February 16, 2022
False positive java:S3516 for required unreachable return statement Report False-positive / False-negative... java , sonarqube , intellij , sonarqube-ide	3	1542	June 6, 2021
csharpsquid:S1168 should not apply for explicitly nullable return types Report False-positive / False-negative... csharp	4	795	April 4, 2023
java:S3516 Error detection Report False-positive / False-negative...	4	1843	February 27, 2023

S3516: FP when return type is Void

Related topics