Add CFG tests for compound assignments

Author: hvitved

ql/test/library-tests/controlflow/graph/Cfg.expected

@@ -2254,7 +2254,7 @@ desugar.rb:
 #-----|  -> x
 
 #   17| m5
-#-----|  -> @x
+#-----|  -> m6
 
 #   17| exit m5
 
@@ -2369,79 +2369,170 @@ desugar.rb:
 #   18| 1
 #-----|  -> ... + ...
 
-#   21| X
-#-----|  -> $global_var
+#   21| enter m6
+#-----|  -> x
+
+#   21| m6
+#-----|  -> m7
+
+#   21| exit m6
+
+#   21| exit m6 (normal)
+#-----|  -> exit m6
 
 #   22| ... = ...
-#-----|  -> @x
+#-----|  -> exit m6 (normal)
 
-#   22| @x
+#   22| (..., ...)
 #-----|  -> 1
 
+#   22| x
+#-----|  -> y
+
+#   22| y
+#-----|  -> self
+
+#   22| call to bar
+#-----|  -> (..., ...)
+
+#   22| call to z
+#-----|  -> call to bar
+
+#   22| self
+#-----|  -> call to z
+
+#   22| [...]
+#-----|  -> ... = ...
+
 #   22| 1
+#-----|  -> 2
+
+#   22| 2
+#-----|  -> 3
+
+#   22| 3
+#-----|  -> 4
+
+#   22| 4
+#-----|  -> [...]
+
+#   25| enter m7
+#-----|  -> x
+
+#   25| m7
+#-----|  -> @x
+
+#   25| exit m7
+
+#   25| exit m7 (normal)
+#-----|  -> exit m7
+
+#   26| ... = ...
+#-----|  -> exit m7 (normal)
+
+#   26| (..., ...)
+#-----|  -> 1
+
+#   26| x
+#-----|  -> y
+
+#   26| (..., ...)
+#-----|  -> (..., ...)
+
+#   26| y
+#-----|  -> z
+
+#   26| z
+#-----|  -> (..., ...)
+
+#   26| [...]
 #-----|  -> ... = ...
 
-#   23| @x
+#   26| 1
+#-----|  -> 2
+
+#   26| [...]
+#-----|  -> [...]
+
+#   26| 2
+#-----|  -> 3
+
+#   26| 3
+#-----|  -> [...]
+
+#   29| X
+#-----|  -> $global_var
+
+#   30| ... = ...
+#-----|  -> @x
+
+#   30| @x
+#-----|  -> 1
+
+#   30| 1
+#-----|  -> ... = ...
+
+#   31| @x
 #-----|  -> @x
 
-#   23| ... = ...
+#   31| ... = ...
 #-----|  -> @@y
 
-#   23| @x
+#   31| @x
 #-----|  -> 2
 
-#   23| ... + ...
+#   31| ... + ...
 #-----|  -> ... = ...
 
-#   23| 2
+#   31| 2
 #-----|  -> ... + ...
 
-#   25| ... = ...
+#   33| ... = ...
 #-----|  -> @@y
 
-#   25| @@y
+#   33| @@y
 #-----|  -> 3
 
-#   25| 3
+#   33| 3
 #-----|  -> ... = ...
 
-#   26| @@y
+#   34| @@y
 #-----|  -> @@y
 
-#   26| ... = ...
+#   34| ... = ...
 #-----|  -> X
 
-#   26| @@y
+#   34| @@y
 #-----|  -> 4
 
-#   26| ... / ...
+#   34| ... / ...
 #-----|  -> ... = ...
 
-#   26| 4
+#   34| 4
 #-----|  -> ... / ...
 
-#   29| ... = ...
+#   37| ... = ...
 #-----|  -> $global_var
 
-#   29| $global_var
+#   37| $global_var
 #-----|  -> 5
 
-#   29| 5
+#   37| 5
 #-----|  -> ... = ...
 
-#   30| $global_var
+#   38| $global_var
 #-----|  -> $global_var
 
-#   30| ... = ...
+#   38| ... = ...
 #-----|  -> exit desugar.rb (normal)
 
-#   30| $global_var
+#   38| $global_var
 #-----|  -> 6
 
-#   30| ... * ...
+#   38| ... * ...
 #-----|  -> ... = ...
 
-#   30| 6
+#   38| 6
 #-----|  -> ... * ...
 
 exit.rb:

ql/test/library-tests/controlflow/graph/desugar.rb

@@ -18,6 +18,14 @@ def m5 x, y
   x.foo[0, y.bar, x.baz + 3] += 1
 end
 
+def m6
+  x, *y, z.bar = [1, 2, 3, 4]
+end
+
+def m7
+  x, (y, z) = [1, [2, 3]]
+end
+
 class X
   @x = 1
   @x += 2