Análise semântica é a terceira fase da compilação nesse momento ocorre a validação
de uma série regras que não podem ser verificadas nas etapas anteriores, onde se
verificam os erros semânticos, (por exemplo, fazer a divisão de um número inteiro por
outro número float, na linguagem C padrão ANSI)) no código fonte e coletam-se as
informações necessárias para a próxima fase da compilação, que é a geração de
código objeto. Ela verifica e aponta as expressões que quebram qualquer regra
determinada pela gramática. Mas o nível de complexidade aumenta quando tratamos
de linguagens dependentes de contexto. A análise semântica busca apontar (não
resolver) este tipo de erros (dependentes de contexto).
É importante ressaltar que as validações que não podem ser executadas pelas etapas
anteriores devem ser executadas durante a análise semântica a fim de garantir que o
programa fonte esteja coerente e o mesmo possa ser convertido para linguagem de
máquina.
Essa etapa também captura informações sobre o programa fonte para que as fases
subsequentes gerar o código objeto, um importante componente da análise semântica
é a verificação de tipos, nela o compilador verifica se cada operador recebe os
operandos permitidos e especificados na linguagem fonte.
Um exemplo que ilustra muito bem essa etapa de validação de tipos é a atribuição de
objetos de tipos ou classe diferentes. Em alguns casos, o compilador realiza a
conversão automática de um tipo para outro que seja adequado à aplicação do
operador. Por exemplo a expressão.
var s: String;
s := 2 + ‘2’;
Veja o exemplo de um código em Object Pascal:
function Soma(a, b : Integer) : Integer;
var
i : Integer;
begin
i := a + b;
Result := i;
end;
No exemplo acima o analisador semântico tem uma série de preocupações para
validar o significado de cada regra de produção.
Vamos utilizar como exemplo a regra de atribuição:
i := a + b;
•O identificador i foi declarado?
•O identificador i é uma variável?
•Qual o escopo da variável i?
•Qual é o tipo da variável i?
•O tipo da variável i é compatível com os demais identificadores, operadores?
Os tipos de dados são muito importantes nessa etapa da compilação, eles são uma
notação que as linguagens de programação utilizam para representar um conjunto de
valores. Com base nos tipos o analisador semântico pode definir quais valores podem
ser manipulados, isso é conhecido como type checking.
A análise semântica trata a entrada sintática e transforma-a numa representação mais
simples e mais adaptada a geração de código. Esta camada do compilador fica
igualmente encarregada de analisar a utilização dos identificadores e de ligar cada
uma delas a sua declaração. Nesta situação verificar-se que o programa respeita as
regras de visibilidade e de porte dos identificadores. Nesta fase é também esperado
