findesc

来自「编译原理大作业---tiger编译器 包括semant,translate,m」· 代码 · 共 23 行

let
  var x:=5
  function f(y:int):int=         /* BEGIN LEVEL 1 */
    let
      function g(z:int):int=z+y     /* BEGIN & END LEVEL 2, y escapes */
    in
      (
       let
         function h(w:int)=         /* BEGIN LEVEL 2 */
           for id:=1 to 10 do
             w:=5                   /* END LEVEL 2 */

       in
         (x; y)                     /* x escapes */
       end
      ;
       x
      )
    end                          /* END LEVEL 1 */

in

end