编译器设计：如果我在其 subProc 中调用 parentProc 会怎样

Question

我的编译器课程中有一个小问题。 我的老师给了我这个代码片段

X:int;
M:Array[10] of int;
Proc A;
      X:int;
        N : int;
        Proc B;
             X:int;
             SB
        SA
S

他问，如果SB语句是“CALL A”，程序会正常运行吗？为什么，如果不能，我们该如何解决？ 这个问题在语义分析章节中，是我作业中的最后一个问题。 我认为可能不是因为它创建了一个变量声明的无限循环，导致 stackoverflow 错误。