Erro de Compilação em resultados previsíveis pelo compilador Java about portugol-nucleo HOT 4 CLOSED

Está certo do ponto de vista lógico.
Porém, o Portugol Studio só apresenta uma mensagem genérica: "Erro ao compilar".

Temos duas opções, ou damos um bypass nessa verificação e ignoramos o erro ou exibimos uma mensagem melhor para o usuário, do tipo:

"Linha: X, Coluna: Y. O laço 'enquanto' vai executar infinitamente, pois sua condição é sempre verdadeira. Todos os comandos a partir da linha Z nunca serão executados."

from portugol-nucleo.

e isso não está certo?

from portugol-nucleo.

Esta Issue é um pouco mais séria, Todos os eventos que o compilador Java consegue prever e o Portugol Studio não irão gerar um Erro de Compilação.
Exemplos:

programa{

    funcao inicio()
    {
        inteiro x = 5
        escolha(x){
        	caso 1: 
        	pare
        	retorne
       }
    }
}

programa{

    funcao inicio()
    {
        enquanto (verdadeiro){
        	
        }
        escreva("oi")
    }
}

programa{

    funcao inicio()
    {
        	retorne
        	retorne
    }
}

from portugol-nucleo.

This issue was moved to UNIVALI-LITE/Portugol-Studio#312

from portugol-nucleo.