Unexpected dead code warning.

SessionCallback<List<Object>> obj;

    public void method() throws TransactionException {
        StringRedisTemplate stringRedisTemplate = resourcePool.template();
        var res = obj.execute(stringRedisTemplate);// @Nullable <K, V> T execute(RedisOperations<K, V> operations) throws DataAccessException;
        if (res == null) {
            System.out.println("Direct execution is not Dead Code");
        }
        List<Object> results = stringRedisTemplate.execute(new SessionCallback<List<Object>>() {
            @Override
            @Nullable
            public <K, V> List<Object> execute(@NonNull RedisOperations<K, V> operations) throws DataAccessException {
                operations.multi();
                return null;
            }
        });
        // @Override public <T> T StringRedisTemplate::execute(SessionCallback<T> session) {
        // 	...
        // 	try {
        // 		return session.execute(this); -> this is NullAble
        // 	} finally {
        // 		RedisConnectionUtils.unbindConnection(factory);
        // 	}
        // }
        if (results == null) {
            throw new TransactionException("Transaction failed, please retry") {
            };
        }
    }

Minimal reproduce repo

Commencez par le dépôt minimal de reproduction lié dans l’issue et exécutez le snippet Java qui déclenche l’avertissement de code mort. Comparez l’avertissement avec les chemins d’exécution nullable présentés et le diagnostic joint ; c’est terminé lorsque le comportement de l’avertissement est correctement corrigé ou clairement reproduit pour les maintainers du projet.