GATE CS 2018 Q.18 (CS Q.8): Intermediate Code Generation, Data Flow Analysis and Code Optimization

Which one of the following statements is FALSE?

Context-free grammar can be used to specify both lexical and syntax rules.

Type checking is done before parsing.

High-level language programs can be translated to different Intermediate Representations.

Arguments to a function can be passed using the program stack.

Official answer and solution

Official answer: B
From: Official GATE 2018 answer key

Solution

Trace the sequence of standard compiler phases to evaluate the position of type checking relative to parsing.

The standard compiler front-end phases operate in the following order:

Lexical Analysis (Scanning)
Syntax Analysis (Parsing)
Semantic Analysis (Type checking, scope resolution)
Intermediate Code Generation

Type checking requires the syntax tree or abstract syntax tree produced by the parser. Therefore, type checking is performed after parsing, not before parsing. Statement B is FALSE.

Statements A, C, and D are all standard, valid facts about grammars, intermediate representations, and call stacks.

Final answer

The answer is the one in the official GATE answer key. The solution is this site's own explanation.

Source

Paper: GATE 2018 Computer Science and Information Technology (CS)
Question: 18 of 65, printed as CS Q.8
Section: Computer Science and Information Technology

Report an error in this question

GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.

Question

Solution

Source