Semantic Analysis MCQs January 8, 2026December 14, 2024 by u930973931_answers 15 min Score: 0 Attempted: 0/15 Subscribe 1. What is the primary goal of semantic analysis in compiler design? (A) To convert the source code into intermediate code (B) To check the correctness of syntax in the code (C) To optimize the code for performance (D) To ensure that the program has a meaningful structure 2. Which of the following checks is performed during semantic analysis? (A) Syntax errors (B) Undefined identifiers (C) Missing semicolons (D) Type mismatches 3. What is a semantic error? (A) An error in the order of tokens (B) An error that occurs when the program does not follow logical rules or meaning (C) An error that causes the program to crash (D) An error detected in the parsing stage 4. Which of the following is typically handled during semantic analysis? (A) Ensuring correct loop control (B) Tokenization (C) Type checking (D) Syntax tree construction 5. Which phase of compilation is responsible for checking if variables are properly declared and used? (A) Semantic analysis (B) Syntax analysis (C) Lexical analysis (D) Code optimization 6. Which of the following is an example of a semantic error? (A) Using an undeclared variable (B) Using a keyword as a variable name (C) Assigning a string to an integer variable (D) Missing a closing parenthesis 7. Which of the following is an important component of semantic analysis? (A) Syntax tree construction (B) Token generation (C) Symbol table creation (D) Code generation 8. What is the role of the symbol table in semantic analysis? (A) To store all the tokens generated during lexical analysis (B) To store the abstract syntax tree (C) To record variable types and their scopes (D) To handle memory allocation during code generation 9. Which of the following is a result of semantic analysis? (A) A list of syntax errors (B) A list of all identifiers used with their types (C) An intermediate representation of the program (D) An optimized machine code 10. In semantic analysis, what is type checking used for? (A) To check the number of statements in a program (B) To ensure that operations between variables are logically consistent (C) To check for syntax errors in the program (D) To generate intermediate code 11. What happens if semantic analysis detects an error? (A) The program is re-parsed with a different strategy (B) The error is corrected automatically (C) The error is reported and compilation stops (D) The program is optimized 12. Which of the following can be checked in semantic analysis but not in syntax analysis? (A) Whether every opening parenthesis has a corresponding closing parenthesis (B) Whether the operator is being used correctly with operands (C) Whether all keywords are used correctly (D) Whether the program follows the rules of the grammar 13. Which of the following is not a task performed by semantic analysis? (A) Type checking (B) Checking the validity of function calls (C) Checking for undefined variables (D) Constructing an abstract syntax tree 14. Which of the following tools or techniques is used to handle semantic analysis? (A) Context-free grammar (CFG) (B) Regular expressions (C) Abstract syntax tree (AST) (D) Finite automata 15. During semantic analysis, what happens when a variable is used without being declared? (A) It is added to the symbol table with a default type (B) The program execution is paused (C) A semantic error is reported (D) The variable is automatically declared