Java：（错误？）SonarQube 6.7.1 LTS 中的 S2637 阳性

Question

我在 Java 项目中使用 SonarQube 6.7.1 LTS，并使用 Maven 声纳插件对其进行分析。

我有以下代码示例，它在方法 testGregorianCalendar2 中发现了一个 S2637 问题：

public static final @Nonnull Calendar testGregorianCalendar1() {
    return GregorianCalendar.getInstance();
}

public static final @Nonnull Calendar testGregorianCalendar2() {
    return setTimeZone2(GregorianCalendar.getInstance());
}

public static final Calendar setTimeZone2(final Calendar inputCalendar) {
    if (null == inputCalendar) {
        return null;
    }
    return inputCalendar;
}

public static final @Nonnull Calendar testGregorianCalendar3() {
    return setTimeZone3(GregorianCalendar.getInstance());
}

public static final Calendar setTimeZone3(final Calendar inputCalendar) {
    return inputCalendar;
}

在方法testGregorianCalendar1 和testGregorianCalendar3 中，Sonar 没有发现该问题。 我认为在testGregorianCalendar2中应该也找不到，或者应该在testGregorianCalendar*的所有3种方法中都找到，因为：

Sonar 应该自行决定GregorianCalendar.getInstance() 是否可以返回 null。 如果是，所有 3 种方法都可以返回 null，Sonar 应该在所有这些方法中找到问题。

如果否，则调用setTimeZone2 方法时使用非空值，然后它将返回非空值，因此testGregorianCalendar2 将返回非空值。

那里出了什么问题？

Answer 1

我不确定，但我猜会发生以下情况：setTimeZone2 有一个条件 return null，因此如果没有检查那个空值。

即分析器看到：

public static final Calendar setTimeZone2(final Calendar inputCalendar) {
    if (/* something */) {
        return null;
    }
    return /* null if inputCalendar is null */;
}

它确定：setTimeZone2 的返回值是（可能）@Nullable。

然后它看到：

public static final @Nonnull Calendar testGregorianCalendar2() {
    return setTimeZone2(/* something */);
}

它看到一个潜在的@Nullable 值从标记为@Nonnull 的方法返回，这会产生警告。

你和我都可以推断，setTimeZone2 永远不会返回 null，除非 inputCalendar 为 null，而 inputCalendar 永远不会为 null，因为 GregorianCalendar.getInstance() 永远不会返回 null，但分析器可能不会在what条件setTimeZone2可以返回null，只是在一些条件下可以。