浏览代码

globdec-use testcase moved from xfail to success.

Even though the global variable is defined after the function
definition where it is used, the function has complete visibility of
its surrounding scope. So this test should succeed.
Simon Polstra 10 年之前
父节点
当前提交
cfb5991610
共有 2 个文件被更改,包括 5 次插入 和 5 次删除
  1. 0 5
      test/basic/check_error/forward_globaldec.cvc
  2. 5 0
      test/basic/check_success/scope_of_globdec.cvc

+ 0 - 5
test/basic/check_error/forward_globaldec.cvc

@@ -1,5 +0,0 @@
-int foo() {
-    return glob;  // glob is not yet defined here
-}
-
-int glob;

+ 5 - 0
test/basic/check_success/scope_of_globdec.cvc

@@ -0,0 +1,5 @@
+int foo() {
+    return glob;  // OK, surrounding scope is fully visible.
+}
+
+int glob;