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

Inizia con il repository minimo di riproduzione collegato nell’issue ed esegui lo snippet Java che attiva l’avviso di codice morto. Confronta l’avviso con i percorsi di esecuzione nullable mostrati e con la diagnostica allegata; è completato quando il comportamento dell’avviso è stato corretto correttamente o riprodotto chiaramente per i maintainer del progetto.