Semantic analysis in a compiler checks:

Explanation:

Semantic analysis ensures type checking and meaning correctness.

Explore more in Computer Science: