Merge pull request #607 from pallene-lang/tcc-gabrielsferreira

Basic-blocks-based intermediate language and flow analysis.
pallene-lang · Jul 8, 2024 · 89851b6 · 89851b6
2 parents 3e2846a + 57c1837
commit 89851b6
Show file tree

Hide file tree

Showing 11 changed files with 892 additions and 744 deletions.
diff --git a/spec/execution_tests.lua b/spec/execution_tests.lua
@@ -2318,6 +2318,14 @@ function execution_tests.run(compile_file, backend, _ENV, only_compile)
                 end
             end
 
+            function m.non_breaking_loop2(): integer
+                local i = 1
+                repeat
+                    if i == 42 then return i end
+                    i = i + 1
+                until false
+            end
+
             function m.initialize_inside_loop(): integer
                 local x: integer
                 repeat

diff --git a/spec/uninitialized_spec.lua b/spec/uninitialized_spec.lua
@@ -78,6 +78,61 @@ describe("Uninitialized variable analysis: ", function()
         ]], "variable 'x' is used before being initialized")
     end)
 
+    it("catches use of uninitialized variable inside \"if\"", function()
+        assert_error([[
+            local m: module = {}
+            function m.foo()
+                local x:boolean
+                if x  then end
+            end
+            return m
+        ]], "variable 'x' is used before being initialized")
+    end)
+
+    it("catches use of uninitialized variable inside \"while\"", function()
+        assert_error([[
+            local m: module = {}
+            function m.foo()
+                local x:boolean
+                while x do end
+            end
+            return m
+        ]], "variable 'x' is used before being initialized")
+    end)
+
+    it("catches use of uninitialized variable inside \"repeat until\"", function()
+        assert_error([[
+            local m: module = {}
+            function m.foo()
+                local x:boolean
+                repeat until x
+            end
+            return m
+        ]], "variable 'x' is used before being initialized")
+    end)
+
+    it("catches use of uninitialized variable inside \"for\"", function()
+        assert_error([[
+            local m: module = {}
+            function m.foo()
+                local x:integer
+                for i = 1, x, x do end
+            end
+            return m
+        ]], "variable 'x' is used before being initialized")
+    end)
+
+    it("catches use of uninitialized variable inside \"for in\"", function()
+        assert_error([[
+            local m: module = {}
+            function m.foo()
+                local x:{integer}
+                for i,j in ipairs(x) do end
+            end
+            return m
+        ]], "variable 'x' is used before being initialized")
+    end)
+
     it("catches use of uninitialized upvalue", function ()
         assert_error([[
             local m = {}