Semantic analysis in a compiler checks:

Explanation:

Semantic analysis ensures type checking and meaning correctness.