Add more test cases for &. operator

Author: aibaars

ruby/ql/test/library-tests/ast/Ast.expected

@@ -748,6 +748,15 @@ calls/calls.rb:
 #  363|   getStmt: [MethodCall] call to empty?
 #  363|     getReceiver: [MethodCall] call to list
 #  363|       getReceiver: [SelfVariableAccess] self
+#  364|   getStmt: [MethodCall] call to bar
+#  364|     getReceiver: [MethodCall] call to foo
+#  364|       getReceiver: [SelfVariableAccess] self
+#  364|     getArgument: [IntegerLiteral] 1
+#  364|     getArgument: [IntegerLiteral] 2
+#  364|     getBlock: [BraceBlock] { ... }
+#  364|       getParameter: [SimpleParameter] x
+#  364|         getDefiningAccess: [LocalVariableAccess] x
+#  364|       getStmt: [LocalVariableAccess] x
 control/cases.rb:
 #    1| [Toplevel] cases.rb
 #    2|   getStmt: [AssignExpr] ... = ...

ruby/ql/test/library-tests/ast/AstDesugar.expected

@@ -292,6 +292,25 @@ calls/calls.rb:
 #  362|       getCondition: [MethodCall] call to ==
 #  362|         getArgument: [LocalVariableAccess] __synth__0__1
 #  362|         getReceiver: [NilLiteral] nil
+#  364| [MethodCall] call to bar
+#  364|   getDesugared: [StmtSequence] ...
+#  364|     getStmt: [AssignExpr] ... = ...
+#  364|       getAnOperand/getRightOperand: [MethodCall] call to foo
+#  364|         getReceiver: [SelfVariableAccess] self
+#  364|       getAnOperand/getLeftOperand: [LocalVariableAccess] __synth__0__1
+#  364|     getStmt: [IfExpr] if ...
+#  364|       getBranch/getElse: [MethodCall] call to bar
+#  364|         getReceiver: [LocalVariableAccess] __synth__0__1
+#  364|         getArgument: [IntegerLiteral] 1
+#  364|         getArgument: [IntegerLiteral] 2
+#  364|         getBlock: [BraceBlock] { ... }
+#  364|           getParameter: [SimpleParameter] x
+#  364|             getDefiningAccess: [LocalVariableAccess] x
+#  364|           getStmt: [LocalVariableAccess] x
+#  364|       getBranch/getThen: [NilLiteral] nil
+#  364|       getCondition: [MethodCall] call to ==
+#  364|         getArgument: [LocalVariableAccess] __synth__0__1
+#  364|         getReceiver: [NilLiteral] nil
 control/cases.rb:
 #   90| [ArrayLiteral] %w(...)
 #   90|   getDesugared: [MethodCall] call to []

ruby/ql/test/library-tests/ast/TreeSitter.expected

@@ -1281,6 +1281,24 @@ calls/calls.rb:
 #  363|     0: [Identifier] list
 #  363|     1: [ReservedWord] ::
 #  363|     2: [Identifier] empty?
+#  364|   120: [Call] Call
+#  364|     0: [Identifier] foo
+#  364|     1: [ReservedWord] &.
+#  364|     2: [Identifier] bar
+#  364|     3: [ArgumentList] ArgumentList
+#  364|       0: [ReservedWord] (
+#  364|       1: [Integer] 1
+#  364|       2: [ReservedWord] ,
+#  364|       3: [Integer] 2
+#  364|       4: [ReservedWord] )
+#  364|     4: [Block] Block
+#  364|       0: [ReservedWord] {
+#  364|       1: [BlockParameters] BlockParameters
+#  364|         0: [ReservedWord] |
+#  364|         1: [Identifier] x
+#  364|         2: [ReservedWord] |
+#  364|       2: [Identifier] x
+#  364|       3: [ReservedWord] }
 #    1| [Comment] # call with no receiver, arguments, or block
 #    4| [Comment] # call whose name is a scope resolution
 #    7| [Comment] # call whose name is a global scope resolution

ruby/ql/test/library-tests/ast/ValueText.expected

@@ -76,6 +76,10 @@ exprValue
 | calls/calls.rb:350:5:350:5 | 1 | 1 | int |
 | calls/calls.rb:362:1:362:4 | nil | nil | nil |
 | calls/calls.rb:362:5:362:6 | nil | nil | nil |
+| calls/calls.rb:364:1:364:3 | nil | nil | nil |
+| calls/calls.rb:364:4:364:5 | nil | nil | nil |
+| calls/calls.rb:364:10:364:10 | 1 | 1 | int |
+| calls/calls.rb:364:12:364:12 | 2 | 2 | int |
 | constants/constants.rb:3:19:3:27 | "const_a" | const_a | string |
 | constants/constants.rb:6:15:6:23 | "const_b" | const_b | string |
 | constants/constants.rb:17:12:17:18 | "Hello" | Hello | string |
@@ -967,6 +971,10 @@ exprCfgNodeValue
 | calls/calls.rb:350:5:350:5 | 1 | 1 | int |
 | calls/calls.rb:362:1:362:4 | nil | nil | nil |
 | calls/calls.rb:362:5:362:6 | nil | nil | nil |
+| calls/calls.rb:364:1:364:3 | nil | nil | nil |
+| calls/calls.rb:364:4:364:5 | nil | nil | nil |
+| calls/calls.rb:364:10:364:10 | 1 | 1 | int |
+| calls/calls.rb:364:12:364:12 | 2 | 2 | int |
 | constants/constants.rb:3:19:3:27 | "const_a" | const_a | string |
 | constants/constants.rb:6:15:6:23 | "const_b" | const_b | string |
 | constants/constants.rb:17:12:17:18 | "Hello" | Hello | string |

ruby/ql/test/library-tests/ast/calls/calls.expected

@@ -115,6 +115,11 @@ callsWithArguments
 | calls.rb:347:1:347:7 | call to foo | foo | 0 | calls.rb:347:5:347:6 | Pair |
 | calls.rb:352:13:352:17 | call to foo | foo | 0 | calls.rb:352:17:352:17 | x |
 | calls.rb:362:5:362:6 | call to == | == | 0 | calls.rb:362:1:362:4 | __synth__0__1 |
+| calls.rb:364:1:364:23 | call to bar | bar | 0 | calls.rb:364:10:364:10 | 1 |
+| calls.rb:364:1:364:23 | call to bar | bar | 0 | calls.rb:364:10:364:10 | 1 |
+| calls.rb:364:1:364:23 | call to bar | bar | 1 | calls.rb:364:12:364:12 | 2 |
+| calls.rb:364:1:364:23 | call to bar | bar | 1 | calls.rb:364:12:364:12 | 2 |
+| calls.rb:364:4:364:5 | call to == | == | 0 | calls.rb:364:1:364:3 | __synth__0__1 |
 callsWithReceiver
 | calls.rb:2:1:2:5 | call to foo | calls.rb:2:1:2:5 | self |
 | calls.rb:5:1:5:10 | call to bar | calls.rb:5:1:5:3 | Foo |
@@ -381,6 +386,10 @@ callsWithReceiver
 | calls.rb:362:5:362:6 | call to == | calls.rb:362:5:362:6 | nil |
 | calls.rb:363:1:363:4 | call to list | calls.rb:363:1:363:4 | self |
 | calls.rb:363:1:363:12 | call to empty? | calls.rb:363:1:363:4 | call to list |
+| calls.rb:364:1:364:3 | call to foo | calls.rb:364:1:364:3 | self |
+| calls.rb:364:1:364:23 | call to bar | calls.rb:364:1:364:3 | __synth__0__1 |
+| calls.rb:364:1:364:23 | call to bar | calls.rb:364:1:364:3 | call to foo |
+| calls.rb:364:4:364:5 | call to == | calls.rb:364:4:364:5 | nil |
 callsWithBlock
 | calls.rb:17:1:17:17 | call to foo | calls.rb:17:5:17:17 | { ... } |
 | calls.rb:20:1:22:3 | call to foo | calls.rb:20:5:22:3 | do ... end |
@@ -394,6 +403,8 @@ callsWithBlock
 | calls.rb:292:5:292:30 | call to super | calls.rb:292:16:292:30 | { ... } |
 | calls.rb:293:5:293:33 | call to super | calls.rb:293:16:293:33 | do ... end |
 | calls.rb:340:1:342:3 | call to each | calls.rb:340:1:342:3 | { ... } |
+| calls.rb:364:1:364:23 | call to bar | calls.rb:364:15:364:23 | { ... } |
+| calls.rb:364:1:364:23 | call to bar | calls.rb:364:15:364:23 | { ... } |
 yieldCalls
 | calls.rb:31:3:31:7 | yield ... |
 | calls.rb:36:3:36:16 | yield ... |
@@ -435,3 +446,4 @@ setterCalls
 | calls.rb:320:1:320:32 | call to []= |
 callsWithSafeNavigationOperator
 | calls.rb:362:1:362:12 | call to empty? |
+| calls.rb:364:1:364:23 | call to bar |

ruby/ql/test/library-tests/ast/calls/calls.rb

@@ -361,3 +361,4 @@ def foo(a, b, ...)
 list.empty?
 list&.empty?
 list::empty?
+foo&.bar(1,2) { |x| x }

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

@@ -3593,7 +3593,8 @@ cfg.rb:
 #-----|  -> do ... end
 
 #  202| call to times
-#-----|  -> exit cfg.rb (normal)
+#-----|  -> self
+#-----|  -> __synth__0__1
 
 #  202| do ... end
 #-----|  -> call to times
@@ -3621,6 +3622,71 @@ cfg.rb:
 #  202| c
 #-----|  -> call to puts
 
+#  205| ... = ...
+#-----|  -> nil
+
+#  205| __synth__0__1
+#-----|  -> self
+
+#  205| __synth__0__1
+#-----|  -> call to ==
+
+#  205| __synth__0__1
+#-----|  -> 1
+
+#  205| call to foo
+#-----|  -> ... = ...
+#-----|  -> 1
+
+#  205| nil
+#-----|  -> if ...
+
+#  205| self
+#-----|  -> call to foo
+
+#  205| ...
+#-----|  -> exit cfg.rb (normal)
+
+#  205| call to bar
+#-----|  -> exit cfg.rb (normal)
+
+#  205| call to bar
+#-----|  -> if ...
+
+#  205| call to ==
+#-----| false -> __synth__0__1
+#-----| true -> nil
+
+#  205| if ...
+#-----|  -> ...
+
+#  205| nil
+#-----|  -> __synth__0__1
+
+#  205| 1
+#-----|  -> 2
+
+#  205| 2
+#-----|  -> { ... }
+
+#  205| enter { ... }
+#-----|  -> x
+
+#  205| exit { ... }
+
+#  205| exit { ... } (normal)
+#-----|  -> exit { ... }
+
+#  205| { ... }
+#-----|  -> call to bar
+#-----|  -> call to bar
+
+#  205| x
+#-----|  -> x
+
+#  205| x
+#-----|  -> exit { ... } (normal)
+
 desugar.rb:
 #    1| enter m1
 #-----|  -> x

ruby/ql/test/library-tests/controlflow/graph/Nodes.expected

@@ -41,6 +41,7 @@ callsWithNoArguments
 | cfg.rb:194:1:194:23 | call to run_block |
 | cfg.rb:200:1:200:32 | call to times |
 | cfg.rb:202:1:202:35 | call to times |
+| cfg.rb:205:1:205:3 | call to foo |
 | desugar.rb:6:3:6:7 | call to foo |
 | desugar.rb:10:3:10:7 | call to foo |
 | desugar.rb:14:3:14:7 | call to foo |
@@ -203,6 +204,11 @@ positionalArguments
 | cfg.rb:197:3:197:13 | call to bar | cfg.rb:197:10:197:12 | ... |
 | cfg.rb:200:18:200:30 | call to puts | cfg.rb:200:30:200:30 | a |
 | cfg.rb:202:19:202:31 | call to puts | cfg.rb:202:31:202:31 | c |
+| cfg.rb:205:1:205:23 | call to bar | cfg.rb:205:10:205:10 | 1 |
+| cfg.rb:205:1:205:23 | call to bar | cfg.rb:205:10:205:10 | 1 |
+| cfg.rb:205:1:205:23 | call to bar | cfg.rb:205:12:205:12 | 2 |
+| cfg.rb:205:1:205:23 | call to bar | cfg.rb:205:12:205:12 | 2 |
+| cfg.rb:205:4:205:5 | call to == | cfg.rb:205:1:205:3 | __synth__0__1 |
 | desugar.rb:2:5:2:6 | ... + ... | desugar.rb:2:8:2:8 | 1 |
 | desugar.rb:6:3:6:13 | call to count= | desugar.rb:6:17:6:17 | ... = ... |
 | desugar.rb:10:3:10:10 | call to []= | desugar.rb:10:9:10:9 | 0 |

ruby/ql/test/library-tests/controlflow/graph/cfg.rb

@@ -201,6 +201,9 @@ def forward_param(a, b, ...)
 
 2.times do |c; d| Kernel.puts c end
 
+# A call with a safe navigation operator
+foo&.bar(1,2) { |x| x }
+
 __END__
 
 Some ignored nonsense