mirror of
https://github.com/github/codeql.git
synced 2026-04-28 02:05:14 +02:00
Ruby: Update expected test output
This commit is contained in:
Tom Hvitved
@@ -1,11 +1,3 @@
|
||||
#-----| [LocalVariableAccess] __synth__0__1
|
||||
#-----| [LocalVariableAccess] __synth__0__1
|
||||
#-----| [LocalVariableAccess] __synth__0__1
|
||||
#-----| [LocalVariableAccess] __synth__0__1
|
||||
#-----| [LocalVariableAccess] __synth__0__1
|
||||
#-----| [LocalVariableAccess] __synth__0__1
|
||||
#-----| [LocalVariableAccess] __synth__0__1
|
||||
#-----| [LocalVariableAccess] __synth__0__1
|
||||
gems/Gemfile:
|
||||
# 1| [Toplevel] Gemfile
|
||||
# 1| getStmt: [MethodCall] call to source
|
||||
|
||||
@@ -25,8 +25,9 @@ calls/calls.rb:
|
||||
# 67| getReceiver: [ConstantReadAccess] X
|
||||
# 226| [ForExpr] for ... in ...
|
||||
# 226| getDesugared: [MethodCall] call to each
|
||||
# 226| getBlock: [SynthBlock] { ... }
|
||||
# 226| getBlock: [BraceBlock] { ... }
|
||||
# 226| getParameter: [SimpleParameter] __synth__0__1
|
||||
# 226| getDefiningAccess: [LocalVariableAccess] __synth__0__1
|
||||
# 226| getStmt: [AssignExpr] ... = ...
|
||||
# 226| getAnOperand/getRightOperand: [LocalVariableAccess] __synth__0__1
|
||||
# 226| getAnOperand/getLeftOperand: [LocalVariableAccess] x
|
||||
@@ -37,8 +38,9 @@ calls/calls.rb:
|
||||
# 226| getReceiver: [Self, SelfVariableAccess] self
|
||||
# 229| [ForExpr] for ... in ...
|
||||
# 229| getDesugared: [MethodCall] call to each
|
||||
# 229| getBlock: [SynthBlock] { ... }
|
||||
# 229| getBlock: [BraceBlock] { ... }
|
||||
# 229| getParameter: [SimpleParameter] __synth__0__1
|
||||
# 229| getDefiningAccess: [LocalVariableAccess] __synth__0__1
|
||||
# 229| getStmt: [AssignExpr] ... = ...
|
||||
# 229| getAnOperand/getRightOperand: [LocalVariableAccess] __synth__0__1
|
||||
# 229| getAnOperand/getLeftOperand: [LocalVariableAccess] x
|
||||
@@ -221,8 +223,9 @@ calls/calls.rb:
|
||||
# 320| getStmt: [LocalVariableAccess] __synth__4
|
||||
# 340| [ForExpr] for ... in ...
|
||||
# 340| getDesugared: [MethodCall] call to each
|
||||
# 340| getBlock: [SynthBlock] { ... }
|
||||
# 340| getBlock: [BraceBlock] { ... }
|
||||
# 340| getParameter: [SimpleParameter] __synth__0__1
|
||||
# 340| getDefiningAccess: [LocalVariableAccess] __synth__0__1
|
||||
# 340| getStmt: [AssignExpr] ... = ...
|
||||
# 340| getDesugared: [StmtSequence] ...
|
||||
# 340| getStmt: [AssignExpr] ... = ...
|
||||
@@ -400,8 +403,9 @@ literals/literals.rb:
|
||||
control/loops.rb:
|
||||
# 9| [ForExpr] for ... in ...
|
||||
# 9| getDesugared: [MethodCall] call to each
|
||||
# 9| getBlock: [SynthBlock] { ... }
|
||||
# 9| getBlock: [BraceBlock] { ... }
|
||||
# 9| getParameter: [SimpleParameter] __synth__0__1
|
||||
# 9| getDefiningAccess: [LocalVariableAccess] __synth__0__1
|
||||
# 9| getStmt: [AssignExpr] ... = ...
|
||||
# 9| getAnOperand/getRightOperand: [LocalVariableAccess] __synth__0__1
|
||||
# 9| getAnOperand/getLeftOperand: [LocalVariableAccess] n
|
||||
@@ -420,8 +424,9 @@ control/loops.rb:
|
||||
# 9| getEnd: [IntegerLiteral] 10
|
||||
# 16| [ForExpr] for ... in ...
|
||||
# 16| getDesugared: [MethodCall] call to each
|
||||
# 16| getBlock: [SynthBlock] { ... }
|
||||
# 16| getBlock: [BraceBlock] { ... }
|
||||
# 16| getParameter: [SimpleParameter] __synth__0__1
|
||||
# 16| getDefiningAccess: [LocalVariableAccess] __synth__0__1
|
||||
# 16| getStmt: [AssignExpr] ... = ...
|
||||
# 16| getAnOperand/getRightOperand: [LocalVariableAccess] __synth__0__1
|
||||
# 16| getAnOperand/getLeftOperand: [LocalVariableAccess] n
|
||||
@@ -443,8 +448,9 @@ control/loops.rb:
|
||||
# 16| getEnd: [IntegerLiteral] 10
|
||||
# 22| [ForExpr] for ... in ...
|
||||
# 22| getDesugared: [MethodCall] call to each
|
||||
# 22| getBlock: [SynthBlock] { ... }
|
||||
# 22| getBlock: [BraceBlock] { ... }
|
||||
# 22| getParameter: [SimpleParameter] __synth__0__1
|
||||
# 22| getDefiningAccess: [LocalVariableAccess] __synth__0__1
|
||||
# 22| getStmt: [AssignExpr] ... = ...
|
||||
# 22| getDesugared: [StmtSequence] ...
|
||||
# 22| getStmt: [AssignExpr] ... = ...
|
||||
@@ -484,8 +490,9 @@ control/loops.rb:
|
||||
# 22| getValue: [IntegerLiteral] 1
|
||||
# 28| [ForExpr] for ... in ...
|
||||
# 28| getDesugared: [MethodCall] call to each
|
||||
# 28| getBlock: [SynthBlock] { ... }
|
||||
# 28| getBlock: [BraceBlock] { ... }
|
||||
# 28| getParameter: [SimpleParameter] __synth__0__1
|
||||
# 28| getDefiningAccess: [LocalVariableAccess] __synth__0__1
|
||||
# 28| getStmt: [AssignExpr] ... = ...
|
||||
# 28| getDesugared: [StmtSequence] ...
|
||||
# 28| getStmt: [AssignExpr] ... = ...
|
||||
@@ -692,8 +699,9 @@ params/params.rb:
|
||||
erb/template.html.erb:
|
||||
# 27| [ForExpr] for ... in ...
|
||||
# 27| getDesugared: [MethodCall] call to each
|
||||
# 27| getBlock: [SynthBlock] { ... }
|
||||
# 27| getBlock: [BraceBlock] { ... }
|
||||
# 27| getParameter: [SimpleParameter] __synth__0__1
|
||||
# 27| getDefiningAccess: [LocalVariableAccess] __synth__0__1
|
||||
# 27| getStmt: [AssignExpr] ... = ...
|
||||
# 27| getAnOperand/getRightOperand: [LocalVariableAccess] __synth__0__1
|
||||
# 27| getAnOperand/getLeftOperand: [LocalVariableAccess] x
|
||||
|
||||
@@ -157,7 +157,6 @@
|
||||
| control/loops.rb:6:5:6:5 | 0 | 0 |
|
||||
| control/loops.rb:9:10:9:10 | 1 | 1 |
|
||||
| control/loops.rb:9:13:9:14 | 10 | 10 |
|
||||
| control/loops.rb:10:5:10:7 | sum | 0 |
|
||||
| control/loops.rb:16:10:16:10 | 1 | 1 |
|
||||
| control/loops.rb:16:13:16:14 | 10 | 10 |
|
||||
| control/loops.rb:22:5:22:7 | 0 | 0 |
|
||||
@@ -172,23 +171,28 @@
|
||||
| control/loops.rb:28:27:28:27 | 0 | 0 |
|
||||
| control/loops.rb:28:30:28:32 | :bar | bar |
|
||||
| control/loops.rb:28:35:28:35 | 1 | 1 |
|
||||
| control/loops.rb:35:11:35:11 | y | 0 |
|
||||
| control/loops.rb:36:8:36:8 | 1 | 1 |
|
||||
| control/loops.rb:37:8:37:8 | 1 | 1 |
|
||||
| control/loops.rb:42:11:42:11 | y | 0 |
|
||||
| control/loops.rb:43:8:43:8 | 1 | 1 |
|
||||
| control/loops.rb:44:8:44:8 | 2 | 2 |
|
||||
| control/loops.rb:48:6:48:6 | 1 | 1 |
|
||||
| control/loops.rb:48:14:48:14 | y | 0 |
|
||||
| control/loops.rb:51:12:51:12 | y | 0 |
|
||||
| control/loops.rb:52:8:52:8 | 1 | 1 |
|
||||
| control/loops.rb:53:8:53:8 | 1 | 1 |
|
||||
| control/loops.rb:57:11:57:11 | y | 0 |
|
||||
| control/loops.rb:58:8:58:8 | 1 | 1 |
|
||||
| control/loops.rb:59:8:59:8 | 4 | 4 |
|
||||
| control/loops.rb:63:6:63:6 | 1 | 1 |
|
||||
| control/loops.rb:63:19:63:19 | 0 | 0 |
|
||||
| control/loops.rb:66:11:66:11 | y | 0 |
|
||||
| erb/template.html.erb:19:5:19:17 | "hello world" | hello world |
|
||||
| erb/template.html.erb:25:9:25:10 | "" | |
|
||||
| erb/template.html.erb:27:16:27:20 | "foo" | foo |
|
||||
| erb/template.html.erb:27:23:27:27 | "bar" | bar |
|
||||
| erb/template.html.erb:27:30:27:34 | "baz" | baz |
|
||||
| erb/template.html.erb:28:11:28:12 | xs | |
|
||||
| gems/Gemfile:1:8:1:29 | "https://rubygems.org" | https://rubygems.org |
|
||||
| gems/Gemfile:3:5:3:13 | "foo_gem" | foo_gem |
|
||||
| gems/Gemfile:3:16:3:23 | "~> 2.0" | ~> 2.0 |
|
||||
|
||||
@@ -24,6 +24,9 @@ break_ensure.rb:
|
||||
# 1| elements
|
||||
#-----| -> elements
|
||||
|
||||
# 2| enter { ... }
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 2| call to each
|
||||
#-----| -> elements
|
||||
#-----| raise -> [ensure: raise] elements
|
||||
@@ -34,17 +37,28 @@ break_ensure.rb:
|
||||
# 2| ... = ...
|
||||
#-----| -> element
|
||||
|
||||
# 2| __synth__0__1
|
||||
#-----| -> element
|
||||
|
||||
# 2| __synth__0__1
|
||||
#-----| -> ... = ...
|
||||
|
||||
# 2| exit { ... }
|
||||
|
||||
# 2| exit { ... } (abnormal)
|
||||
#-----| -> exit { ... }
|
||||
|
||||
# 2| exit { ... } (normal)
|
||||
#-----| -> exit { ... }
|
||||
|
||||
# 2| element
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 2| elements
|
||||
#-----| -> element
|
||||
#-----| -> { ... }
|
||||
|
||||
# 2| do ...
|
||||
#-----| -> { ... }
|
||||
#-----| -> exit { ... } (normal)
|
||||
|
||||
# 3| if ...
|
||||
#-----| -> do ...
|
||||
@@ -53,7 +67,7 @@ break_ensure.rb:
|
||||
#-----| true -> break
|
||||
#-----| raise -> for ... in ...
|
||||
#-----| false -> if ...
|
||||
#-----| raise -> [ensure: raise] elements
|
||||
#-----| raise -> exit { ... } (abnormal)
|
||||
|
||||
# 3| element
|
||||
#-----| -> 0
|
||||
@@ -62,23 +76,17 @@ break_ensure.rb:
|
||||
#-----| -> ... > ...
|
||||
|
||||
# 4| break
|
||||
#-----| break -> [ensure: break] elements
|
||||
#-----| break -> exit { ... } (normal)
|
||||
|
||||
# 7| ensure ...
|
||||
#-----| -> exit m1 (normal)
|
||||
|
||||
# 7| [ensure: break] ensure ...
|
||||
#-----| break -> exit m1 (normal)
|
||||
|
||||
# 7| [ensure: raise] ensure ...
|
||||
#-----| raise -> exit m1 (abnormal)
|
||||
|
||||
# 8| if ...
|
||||
#-----| -> ensure ...
|
||||
|
||||
# 8| [ensure: break] if ...
|
||||
#-----| -> [ensure: break] ensure ...
|
||||
|
||||
# 8| [ensure: raise] if ...
|
||||
#-----| -> [ensure: raise] ensure ...
|
||||
|
||||
@@ -86,10 +94,6 @@ break_ensure.rb:
|
||||
#-----| false -> if ...
|
||||
#-----| true -> self
|
||||
|
||||
# 8| [ensure: break] call to nil?
|
||||
#-----| false -> [ensure: break] if ...
|
||||
#-----| true -> [ensure: break] self
|
||||
|
||||
# 8| [ensure: raise] call to nil?
|
||||
#-----| false -> [ensure: raise] if ...
|
||||
#-----| true -> [ensure: raise] self
|
||||
@@ -97,45 +101,30 @@ break_ensure.rb:
|
||||
# 8| elements
|
||||
#-----| -> call to nil?
|
||||
|
||||
# 8| [ensure: break] elements
|
||||
#-----| -> [ensure: break] call to nil?
|
||||
|
||||
# 8| [ensure: raise] elements
|
||||
#-----| -> [ensure: raise] call to nil?
|
||||
|
||||
# 8| then ...
|
||||
#-----| -> if ...
|
||||
|
||||
# 8| [ensure: break] then ...
|
||||
#-----| -> [ensure: break] if ...
|
||||
|
||||
# 8| [ensure: raise] then ...
|
||||
#-----| -> [ensure: raise] if ...
|
||||
|
||||
# 9| call to puts
|
||||
#-----| -> then ...
|
||||
|
||||
# 9| [ensure: break] call to puts
|
||||
#-----| -> [ensure: break] then ...
|
||||
|
||||
# 9| [ensure: raise] call to puts
|
||||
#-----| -> [ensure: raise] then ...
|
||||
|
||||
# 9| self
|
||||
#-----| -> "elements nil"
|
||||
|
||||
# 9| [ensure: break] self
|
||||
#-----| -> [ensure: break] "elements nil"
|
||||
|
||||
# 9| [ensure: raise] self
|
||||
#-----| -> [ensure: raise] "elements nil"
|
||||
|
||||
# 9| "elements nil"
|
||||
#-----| -> call to puts
|
||||
|
||||
# 9| [ensure: break] "elements nil"
|
||||
#-----| -> [ensure: break] call to puts
|
||||
|
||||
# 9| [ensure: raise] "elements nil"
|
||||
#-----| -> [ensure: raise] call to puts
|
||||
|
||||
@@ -147,15 +136,15 @@ break_ensure.rb:
|
||||
|
||||
# 13| exit m2
|
||||
|
||||
# 13| exit m2 (abnormal)
|
||||
#-----| -> exit m2
|
||||
|
||||
# 13| exit m2 (normal)
|
||||
#-----| -> exit m2
|
||||
|
||||
# 13| elements
|
||||
#-----| -> elements
|
||||
|
||||
# 14| enter { ... }
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 14| call to each
|
||||
#-----| -> exit m2 (normal)
|
||||
|
||||
@@ -165,17 +154,28 @@ break_ensure.rb:
|
||||
# 14| ... = ...
|
||||
#-----| -> element
|
||||
|
||||
# 14| __synth__0__1
|
||||
#-----| -> element
|
||||
|
||||
# 14| __synth__0__1
|
||||
#-----| -> ... = ...
|
||||
|
||||
# 14| exit { ... }
|
||||
|
||||
# 14| exit { ... } (abnormal)
|
||||
#-----| -> exit { ... }
|
||||
|
||||
# 14| exit { ... } (normal)
|
||||
#-----| -> exit { ... }
|
||||
|
||||
# 14| element
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 14| elements
|
||||
#-----| -> element
|
||||
#-----| -> { ... }
|
||||
|
||||
# 14| do ...
|
||||
#-----| -> { ... }
|
||||
#-----| -> exit { ... } (normal)
|
||||
|
||||
# 16| if ...
|
||||
#-----| -> elements
|
||||
@@ -198,10 +198,10 @@ break_ensure.rb:
|
||||
#-----| -> do ...
|
||||
|
||||
# 19| [ensure: break] ensure ...
|
||||
#-----| break -> exit m2 (normal)
|
||||
#-----| break -> exit { ... } (normal)
|
||||
|
||||
# 19| [ensure: raise] ensure ...
|
||||
#-----| raise -> exit m2 (abnormal)
|
||||
#-----| raise -> exit { ... } (abnormal)
|
||||
|
||||
# 20| if ...
|
||||
#-----| -> ensure ...
|
||||
@@ -309,6 +309,9 @@ break_ensure.rb:
|
||||
# 32| [ensure: return] ensure ...
|
||||
#-----| return -> exit m3 (normal)
|
||||
|
||||
# 33| enter { ... }
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 33| call to each
|
||||
#-----| -> ensure ...
|
||||
|
||||
@@ -330,104 +333,50 @@ break_ensure.rb:
|
||||
# 33| ... = ...
|
||||
#-----| -> self
|
||||
|
||||
# 33| [ensure: raise] ... = ...
|
||||
#-----| -> [ensure: raise] self
|
||||
|
||||
# 33| [ensure: return] ... = ...
|
||||
#-----| -> [ensure: return] self
|
||||
# 33| __synth__0__1
|
||||
#-----| -> element
|
||||
|
||||
# 33| __synth__0__1
|
||||
#-----| -> ... = ...
|
||||
|
||||
# 33| [ensure: raise] __synth__0__1
|
||||
#-----| -> [ensure: raise] ... = ...
|
||||
# 33| exit { ... }
|
||||
|
||||
# 33| [ensure: return] __synth__0__1
|
||||
#-----| -> [ensure: return] ... = ...
|
||||
# 33| exit { ... } (normal)
|
||||
#-----| -> exit { ... }
|
||||
|
||||
# 33| element
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 33| [ensure: raise] element
|
||||
#-----| -> [ensure: raise] __synth__0__1
|
||||
|
||||
# 33| [ensure: return] element
|
||||
#-----| -> [ensure: return] __synth__0__1
|
||||
|
||||
# 33| elements
|
||||
#-----| -> element
|
||||
|
||||
# 33| [ensure: raise] elements
|
||||
#-----| -> [ensure: raise] element
|
||||
|
||||
# 33| [ensure: return] elements
|
||||
#-----| -> [ensure: return] element
|
||||
|
||||
# 33| do ...
|
||||
#-----| -> { ... }
|
||||
|
||||
# 33| [ensure: raise] do ...
|
||||
# 33| [ensure: raise] elements
|
||||
#-----| -> [ensure: raise] { ... }
|
||||
|
||||
# 33| [ensure: return] do ...
|
||||
# 33| [ensure: return] elements
|
||||
#-----| -> [ensure: return] { ... }
|
||||
|
||||
# 33| do ...
|
||||
#-----| -> exit { ... } (normal)
|
||||
|
||||
# 35| if ...
|
||||
#-----| -> do ...
|
||||
|
||||
# 35| [ensure: raise] if ...
|
||||
#-----| -> [ensure: raise] do ...
|
||||
|
||||
# 35| [ensure: return] if ...
|
||||
#-----| -> [ensure: return] do ...
|
||||
|
||||
# 35| ... > ...
|
||||
#-----| true -> break
|
||||
#-----| false -> if ...
|
||||
|
||||
# 35| [ensure: raise] ... > ...
|
||||
#-----| true -> [ensure: raise] break
|
||||
#-----| false -> [ensure: raise] if ...
|
||||
|
||||
# 35| [ensure: return] ... > ...
|
||||
#-----| true -> [ensure: return] break
|
||||
#-----| false -> [ensure: return] if ...
|
||||
|
||||
# 35| call to x
|
||||
#-----| -> 0
|
||||
|
||||
# 35| [ensure: raise] call to x
|
||||
#-----| -> [ensure: raise] 0
|
||||
|
||||
# 35| [ensure: return] call to x
|
||||
#-----| -> [ensure: return] 0
|
||||
|
||||
# 35| self
|
||||
#-----| -> call to x
|
||||
|
||||
# 35| [ensure: raise] self
|
||||
#-----| -> [ensure: raise] call to x
|
||||
|
||||
# 35| [ensure: return] self
|
||||
#-----| -> [ensure: return] call to x
|
||||
|
||||
# 35| 0
|
||||
#-----| -> ... > ...
|
||||
|
||||
# 35| [ensure: raise] 0
|
||||
#-----| -> [ensure: raise] ... > ...
|
||||
|
||||
# 35| [ensure: return] 0
|
||||
#-----| -> [ensure: return] ... > ...
|
||||
|
||||
# 36| break
|
||||
#-----| break -> exit m3 (normal)
|
||||
|
||||
# 36| [ensure: raise] break
|
||||
#-----| break -> exit m3 (normal)
|
||||
|
||||
# 36| [ensure: return] break
|
||||
#-----| break -> exit m3 (normal)
|
||||
#-----| break -> exit { ... } (normal)
|
||||
|
||||
# 41| call to puts
|
||||
#-----| -> exit m3 (normal)
|
||||
@@ -446,15 +395,15 @@ break_ensure.rb:
|
||||
|
||||
# 44| exit m4
|
||||
|
||||
# 44| exit m4 (abnormal)
|
||||
#-----| -> exit m4
|
||||
|
||||
# 44| exit m4 (normal)
|
||||
#-----| -> exit m4
|
||||
|
||||
# 44| elements
|
||||
#-----| -> elements
|
||||
|
||||
# 45| enter { ... }
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 45| call to each
|
||||
#-----| -> exit m4 (normal)
|
||||
|
||||
@@ -464,17 +413,28 @@ break_ensure.rb:
|
||||
# 45| ... = ...
|
||||
#-----| -> element
|
||||
|
||||
# 45| __synth__0__1
|
||||
#-----| -> element
|
||||
|
||||
# 45| __synth__0__1
|
||||
#-----| -> ... = ...
|
||||
|
||||
# 45| exit { ... }
|
||||
|
||||
# 45| exit { ... } (abnormal)
|
||||
#-----| -> exit { ... }
|
||||
|
||||
# 45| exit { ... } (normal)
|
||||
#-----| -> exit { ... }
|
||||
|
||||
# 45| element
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 45| elements
|
||||
#-----| -> element
|
||||
#-----| -> { ... }
|
||||
|
||||
# 45| do ...
|
||||
#-----| -> { ... }
|
||||
#-----| -> exit { ... } (normal)
|
||||
|
||||
# 47| if ...
|
||||
#-----| -> element
|
||||
@@ -503,7 +463,7 @@ break_ensure.rb:
|
||||
#-----| -> do ...
|
||||
|
||||
# 50| [ensure: raise] ensure ...
|
||||
#-----| raise -> exit m4 (abnormal)
|
||||
#-----| raise -> exit { ... } (abnormal)
|
||||
|
||||
# 51| if ...
|
||||
#-----| -> ensure ...
|
||||
@@ -532,10 +492,10 @@ break_ensure.rb:
|
||||
#-----| -> [ensure: raise] ... > ...
|
||||
|
||||
# 52| break
|
||||
#-----| break -> exit m4 (normal)
|
||||
#-----| break -> exit { ... } (normal)
|
||||
|
||||
# 52| [ensure: raise] break
|
||||
#-----| break -> exit m4 (normal)
|
||||
#-----| break -> exit { ... } (normal)
|
||||
|
||||
# 52| 10
|
||||
#-----| -> break
|
||||
@@ -1478,6 +1438,9 @@ cfg.rb:
|
||||
# 88| x
|
||||
#-----| -> #{...}
|
||||
|
||||
# 90| enter { ... }
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 90| call to each
|
||||
#-----| -> $global
|
||||
|
||||
@@ -1487,14 +1450,22 @@ cfg.rb:
|
||||
# 90| ... = ...
|
||||
#-----| -> x
|
||||
|
||||
# 90| __synth__0__1
|
||||
#-----| -> x
|
||||
|
||||
# 90| __synth__0__1
|
||||
#-----| -> ... = ...
|
||||
|
||||
# 90| exit { ... }
|
||||
|
||||
# 90| exit { ... } (normal)
|
||||
#-----| -> exit { ... }
|
||||
|
||||
# 90| x
|
||||
#-----| -> __synth__0__1
|
||||
|
||||
# 90| call to []
|
||||
#-----| -> x
|
||||
#-----| -> { ... }
|
||||
|
||||
# 90| Array
|
||||
#-----| -> 1.4
|
||||
@@ -1509,7 +1480,7 @@ cfg.rb:
|
||||
#-----| -> call to []
|
||||
|
||||
# 90| do ...
|
||||
#-----| -> { ... }
|
||||
#-----| -> exit { ... } (normal)
|
||||
|
||||
# 91| if ...
|
||||
#-----| -> self
|
||||
@@ -1525,7 +1496,7 @@ cfg.rb:
|
||||
#-----| -> ... > ...
|
||||
|
||||
# 91| next
|
||||
#-----| next -> exit cfg.rb (normal)
|
||||
#-----| next -> exit { ... } (normal)
|
||||
|
||||
# 92| call to puts
|
||||
#-----| -> do ...
|
||||
|
||||
@@ -1,5 +1,5 @@
|
||||
| local_dataflow.rb:1:1:7:3 | self (foo) | local_dataflow.rb:3:8:3:10 | self |
|
||||
| local_dataflow.rb:1:1:7:3 | self (local_dataflow.rb) | local_dataflow.rb:11:1:11:2 | self |
|
||||
| local_dataflow.rb:1:1:7:3 | self (local_dataflow.rb) | local_dataflow.rb:49:1:53:3 | self |
|
||||
| local_dataflow.rb:1:1:7:3 | self in foo | local_dataflow.rb:3:8:3:10 | self |
|
||||
| local_dataflow.rb:1:9:1:9 | a | local_dataflow.rb:1:9:1:9 | a |
|
||||
| local_dataflow.rb:1:9:1:9 | a | local_dataflow.rb:2:7:2:7 | a |
|
||||
@@ -26,17 +26,38 @@
|
||||
| local_dataflow.rb:9:9:9:15 | call to [] | local_dataflow.rb:9:1:9:15 | ... = ... |
|
||||
| local_dataflow.rb:9:9:9:15 | call to [] | local_dataflow.rb:9:1:9:15 | ... = ... |
|
||||
| local_dataflow.rb:10:5:13:3 | ... = ... | local_dataflow.rb:12:5:12:5 | x |
|
||||
| local_dataflow.rb:10:5:13:3 | <captured> | local_dataflow.rb:11:1:11:2 | self |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | ... = ... |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | ... = ... |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | __synth__0__1 |
|
||||
| local_dataflow.rb:10:5:13:3 | __synth__0__1 | local_dataflow.rb:10:5:13:3 | __synth__0__1 |
|
||||
| local_dataflow.rb:10:5:13:3 | call to each | local_dataflow.rb:10:1:13:3 | ... = ... |
|
||||
| local_dataflow.rb:10:14:10:18 | [post] array | local_dataflow.rb:15:10:15:14 | array |
|
||||
| local_dataflow.rb:10:14:10:18 | array | local_dataflow.rb:15:10:15:14 | array |
|
||||
| local_dataflow.rb:10:19:13:3 | do ... | local_dataflow.rb:10:5:13:3 | { ... } |
|
||||
| local_dataflow.rb:11:1:11:2 | [post] self | local_dataflow.rb:12:3:12:5 | self |
|
||||
| local_dataflow.rb:11:1:11:2 | self | local_dataflow.rb:12:3:12:5 | self |
|
||||
| local_dataflow.rb:12:3:12:5 | call to p | local_dataflow.rb:10:19:13:3 | do ... |
|
||||
| local_dataflow.rb:15:1:17:3 | __synth__0__1 | local_dataflow.rb:15:1:17:3 | ... = ... |
|
||||
| local_dataflow.rb:15:1:17:3 | __synth__0__1 | local_dataflow.rb:15:1:17:3 | ... = ... |
|
||||
| local_dataflow.rb:15:1:17:3 | __synth__0__1 | local_dataflow.rb:15:1:17:3 | __synth__0__1 |
|
||||
| local_dataflow.rb:15:1:17:3 | __synth__0__1 | local_dataflow.rb:15:1:17:3 | __synth__0__1 |
|
||||
| local_dataflow.rb:15:10:15:14 | [post] array | local_dataflow.rb:19:10:19:14 | array |
|
||||
| local_dataflow.rb:15:10:15:14 | array | local_dataflow.rb:19:10:19:14 | array |
|
||||
| local_dataflow.rb:16:9:16:10 | 10 | local_dataflow.rb:16:3:16:10 | break |
|
||||
| local_dataflow.rb:19:1:21:3 | ... = ... | local_dataflow.rb:20:6:20:6 | x |
|
||||
| local_dataflow.rb:19:1:21:3 | __synth__0__1 | local_dataflow.rb:19:1:21:3 | ... = ... |
|
||||
| local_dataflow.rb:19:1:21:3 | __synth__0__1 | local_dataflow.rb:19:1:21:3 | ... = ... |
|
||||
| local_dataflow.rb:19:1:21:3 | __synth__0__1 | local_dataflow.rb:19:1:21:3 | __synth__0__1 |
|
||||
| local_dataflow.rb:19:1:21:3 | __synth__0__1 | local_dataflow.rb:19:1:21:3 | __synth__0__1 |
|
||||
| local_dataflow.rb:20:3:20:25 | if ... | local_dataflow.rb:19:16:21:3 | do ... |
|
||||
| local_dataflow.rb:24:2:24:8 | break | local_dataflow.rb:23:1:25:3 | while ... |
|
||||
| local_dataflow.rb:24:8:24:8 | 5 | local_dataflow.rb:24:2:24:8 | break |
|
||||
| local_dataflow.rb:28:5:28:26 | M | local_dataflow.rb:28:1:28:26 | ... = ... |
|
||||
| local_dataflow.rb:28:15:28:22 | "module" | local_dataflow.rb:28:5:28:26 | M |
|
||||
| local_dataflow.rb:30:5:30:24 | C | local_dataflow.rb:30:1:30:24 | ... = ... |
|
||||
| local_dataflow.rb:30:14:30:20 | "class" | local_dataflow.rb:30:5:30:24 | C |
|
||||
| local_dataflow.rb:32:5:32:25 | bar | local_dataflow.rb:32:1:32:25 | ... = ... |
|
||||
| local_dataflow.rb:32:5:32:25 | bar | local_dataflow.rb:32:1:32:25 | ... = ... |
|
||||
| local_dataflow.rb:34:7:34:7 | x | local_dataflow.rb:34:7:34:7 | x |
|
||||
| local_dataflow.rb:34:7:34:7 | x | local_dataflow.rb:35:6:35:6 | x |
|
||||
| local_dataflow.rb:36:13:36:13 | 7 | local_dataflow.rb:36:6:36:13 | return |
|
||||
@@ -44,6 +65,8 @@
|
||||
| local_dataflow.rb:41:7:41:7 | x | local_dataflow.rb:42:6:42:6 | x |
|
||||
| local_dataflow.rb:43:13:43:13 | 7 | local_dataflow.rb:43:6:43:13 | return |
|
||||
| local_dataflow.rb:45:10:45:10 | 6 | local_dataflow.rb:45:3:45:10 | return |
|
||||
| local_dataflow.rb:49:1:53:3 | [post] self | local_dataflow.rb:55:1:55:14 | self |
|
||||
| local_dataflow.rb:49:1:53:3 | self | local_dataflow.rb:55:1:55:14 | self |
|
||||
| local_dataflow.rb:49:3:53:3 | <captured> | local_dataflow.rb:50:18:50:18 | x |
|
||||
| local_dataflow.rb:50:8:50:13 | "next" | local_dataflow.rb:50:3:50:13 | next |
|
||||
| local_dataflow.rb:50:18:50:18 | [post] x | local_dataflow.rb:51:20:51:20 | x |
|
||||
|
||||
@@ -1,5 +1,9 @@
|
||||
ret
|
||||
| local_dataflow.rb:6:3:6:14 | ... = ... |
|
||||
| local_dataflow.rb:10:19:13:3 | do ... |
|
||||
| local_dataflow.rb:16:3:16:10 | break |
|
||||
| local_dataflow.rb:19:16:21:3 | do ... |
|
||||
| local_dataflow.rb:20:17:20:21 | break |
|
||||
| local_dataflow.rb:32:14:32:21 | "method" |
|
||||
| local_dataflow.rb:36:6:36:13 | return |
|
||||
| local_dataflow.rb:38:3:38:13 | "reachable" |
|
||||
@@ -22,11 +26,25 @@ arg
|
||||
| local_dataflow.rb:11:1:11:2 | self | local_dataflow.rb:11:1:11:2 | call to do | -1 |
|
||||
| local_dataflow.rb:12:3:12:5 | self | local_dataflow.rb:12:3:12:5 | call to p | -1 |
|
||||
| local_dataflow.rb:12:5:12:5 | x | local_dataflow.rb:12:3:12:5 | call to p | 0 |
|
||||
| local_dataflow.rb:15:1:17:3 | { ... } | local_dataflow.rb:15:1:17:3 | call to each | -2 |
|
||||
| local_dataflow.rb:15:10:15:14 | array | local_dataflow.rb:15:1:17:3 | call to each | -1 |
|
||||
| local_dataflow.rb:19:1:21:3 | { ... } | local_dataflow.rb:19:1:21:3 | call to each | -2 |
|
||||
| local_dataflow.rb:19:10:19:14 | array | local_dataflow.rb:19:1:21:3 | call to each | -1 |
|
||||
| local_dataflow.rb:20:6:20:6 | x | local_dataflow.rb:20:6:20:10 | ... > ... | -1 |
|
||||
| local_dataflow.rb:20:10:20:10 | 1 | local_dataflow.rb:20:6:20:10 | ... > ... | 0 |
|
||||
| local_dataflow.rb:35:6:35:6 | x | local_dataflow.rb:35:6:35:11 | ... == ... | -1 |
|
||||
| local_dataflow.rb:35:11:35:11 | 4 | local_dataflow.rb:35:6:35:11 | ... == ... | 0 |
|
||||
| local_dataflow.rb:42:6:42:6 | x | local_dataflow.rb:42:6:42:11 | ... == ... | -1 |
|
||||
| local_dataflow.rb:42:11:42:11 | 4 | local_dataflow.rb:42:6:42:11 | ... == ... | 0 |
|
||||
| local_dataflow.rb:49:1:53:3 | self | local_dataflow.rb:49:1:53:3 | call to m | -1 |
|
||||
| local_dataflow.rb:49:3:53:3 | do ... end | local_dataflow.rb:49:1:53:3 | call to m | -2 |
|
||||
| local_dataflow.rb:50:18:50:18 | x | local_dataflow.rb:50:18:50:22 | ... < ... | -1 |
|
||||
| local_dataflow.rb:50:22:50:22 | 4 | local_dataflow.rb:50:18:50:22 | ... < ... | 0 |
|
||||
| local_dataflow.rb:51:20:51:20 | x | local_dataflow.rb:51:20:51:24 | ... < ... | -1 |
|
||||
| local_dataflow.rb:51:24:51:24 | 9 | local_dataflow.rb:51:20:51:24 | ... < ... | 0 |
|
||||
| local_dataflow.rb:55:1:55:14 | self | local_dataflow.rb:55:1:55:14 | call to foo | -1 |
|
||||
| local_dataflow.rb:55:5:55:13 | Array | local_dataflow.rb:55:5:55:13 | call to [] | -1 |
|
||||
| local_dataflow.rb:55:5:55:13 | call to [] | local_dataflow.rb:55:1:55:14 | call to foo | 0 |
|
||||
| local_dataflow.rb:55:6:55:6 | 1 | local_dataflow.rb:55:5:55:13 | call to [] | 0 |
|
||||
| local_dataflow.rb:55:9:55:9 | 2 | local_dataflow.rb:55:5:55:13 | call to [] | 1 |
|
||||
| local_dataflow.rb:55:12:55:12 | 3 | local_dataflow.rb:55:5:55:13 | call to [] | 2 |
|
||||
|
||||
@@ -82,8 +82,12 @@ definition
|
||||
| scopes.rb:13:14:13:14 | ... = ... | scopes.rb:13:14:13:14 | d |
|
||||
| scopes.rb:13:19:13:32 | ... = ... | scopes.rb:13:4:13:32 | __synth__0 |
|
||||
| scopes.rb:27:1:27:5 | ... = ... | scopes.rb:27:1:27:1 | x |
|
||||
| scopes.rb:29:3:29:7 | ... = ... | scopes.rb:29:3:29:3 | x |
|
||||
| scopes.rb:32:3:32:7 | ... = ... | scopes.rb:32:3:32:3 | x |
|
||||
| scopes.rb:35:3:35:7 | ... = ... | scopes.rb:35:3:35:3 | x |
|
||||
| scopes.rb:41:1:49:3 | self (M) | scopes.rb:41:1:49:3 | self |
|
||||
| scopes.rb:42:2:42:9 | ... = ... | scopes.rb:42:2:42:4 | var |
|
||||
| scopes.rb:43:2:43:13 | ... = ... | scopes.rb:43:2:43:4 | foo |
|
||||
| scopes.rb:46:5:46:13 | ... = ... | scopes.rb:46:5:46:8 | var2 |
|
||||
| ssa.rb:1:1:16:3 | self (m) | ssa.rb:1:1:16:3 | self |
|
||||
| ssa.rb:1:7:1:7 | b | ssa.rb:1:7:1:7 | b |
|
||||
@@ -95,9 +99,13 @@ definition
|
||||
| ssa.rb:18:8:18:8 | x | ssa.rb:18:8:18:8 | x |
|
||||
| ssa.rb:19:9:19:9 | phi | ssa.rb:18:8:18:8 | x |
|
||||
| ssa.rb:21:5:21:10 | ... = ... | ssa.rb:18:8:18:8 | x |
|
||||
| ssa.rb:25:1:30:3 | <uninitialized> | ssa.rb:26:7:26:10 | elem |
|
||||
| ssa.rb:25:1:30:3 | self (m2) | ssa.rb:25:1:30:3 | self |
|
||||
| ssa.rb:25:8:25:15 | elements | ssa.rb:25:8:25:15 | elements |
|
||||
| ssa.rb:26:3:28:5 | ... = ... | ssa.rb:26:7:26:10 | elem |
|
||||
| ssa.rb:26:3:28:5 | <captured> | ssa.rb:25:1:30:3 | self |
|
||||
| ssa.rb:26:3:28:5 | __synth__0__1 | ssa.rb:26:3:28:5 | __synth__0__1 |
|
||||
| ssa.rb:26:3:28:5 | call to each | ssa.rb:26:7:26:10 | elem |
|
||||
| ssa.rb:33:16:35:5 | <captured> | ssa.rb:32:1:36:3 | self |
|
||||
| ssa.rb:33:20:33:20 | x | ssa.rb:33:20:33:20 | x |
|
||||
| ssa.rb:38:1:42:3 | self (m4) | ssa.rb:38:1:42:3 | self |
|
||||
@@ -262,11 +270,12 @@ read
|
||||
| ssa.rb:19:9:19:9 | phi | ssa.rb:18:8:18:8 | x | ssa.rb:19:9:19:9 | x |
|
||||
| ssa.rb:19:9:19:9 | phi | ssa.rb:18:8:18:8 | x | ssa.rb:20:10:20:10 | x |
|
||||
| ssa.rb:19:9:19:9 | phi | ssa.rb:18:8:18:8 | x | ssa.rb:21:5:21:5 | x |
|
||||
| ssa.rb:25:1:30:3 | self (m2) | ssa.rb:25:1:30:3 | self | ssa.rb:27:5:27:13 | self |
|
||||
| ssa.rb:25:1:30:3 | self (m2) | ssa.rb:25:1:30:3 | self | ssa.rb:29:3:29:11 | self |
|
||||
| ssa.rb:25:8:25:15 | elements | ssa.rb:25:8:25:15 | elements | ssa.rb:26:15:26:22 | elements |
|
||||
| ssa.rb:26:3:28:5 | ... = ... | ssa.rb:26:7:26:10 | elem | ssa.rb:27:10:27:13 | elem |
|
||||
| ssa.rb:26:3:28:5 | ... = ... | ssa.rb:26:7:26:10 | elem | ssa.rb:29:8:29:11 | elem |
|
||||
| ssa.rb:26:3:28:5 | <captured> | ssa.rb:25:1:30:3 | self | ssa.rb:27:5:27:13 | self |
|
||||
| ssa.rb:26:3:28:5 | __synth__0__1 | ssa.rb:26:3:28:5 | __synth__0__1 | ssa.rb:26:3:28:5 | __synth__0__1 |
|
||||
| ssa.rb:26:3:28:5 | call to each | ssa.rb:26:7:26:10 | elem | ssa.rb:29:8:29:11 | elem |
|
||||
| ssa.rb:33:16:35:5 | <captured> | ssa.rb:32:1:36:3 | self | ssa.rb:34:5:34:10 | self |
|
||||
| ssa.rb:33:20:33:20 | x | ssa.rb:33:20:33:20 | x | ssa.rb:34:10:34:10 | x |
|
||||
| ssa.rb:38:1:42:3 | self (m4) | ssa.rb:38:1:42:3 | self | ssa.rb:39:3:39:9 | self |
|
||||
@@ -390,9 +399,12 @@ firstRead
|
||||
| ssa.rb:10:5:10:9 | ... = ... | ssa.rb:2:3:2:3 | i | ssa.rb:11:10:11:10 | i |
|
||||
| ssa.rb:18:1:23:3 | self (m1) | ssa.rb:18:1:23:3 | self | ssa.rb:20:5:20:10 | self |
|
||||
| ssa.rb:19:9:19:9 | phi | ssa.rb:18:8:18:8 | x | ssa.rb:19:9:19:9 | x |
|
||||
| ssa.rb:25:1:30:3 | self (m2) | ssa.rb:25:1:30:3 | self | ssa.rb:27:5:27:13 | self |
|
||||
| ssa.rb:25:1:30:3 | self (m2) | ssa.rb:25:1:30:3 | self | ssa.rb:29:3:29:11 | self |
|
||||
| ssa.rb:25:8:25:15 | elements | ssa.rb:25:8:25:15 | elements | ssa.rb:26:15:26:22 | elements |
|
||||
| ssa.rb:26:3:28:5 | ... = ... | ssa.rb:26:7:26:10 | elem | ssa.rb:27:10:27:13 | elem |
|
||||
| ssa.rb:26:3:28:5 | <captured> | ssa.rb:25:1:30:3 | self | ssa.rb:27:5:27:13 | self |
|
||||
| ssa.rb:26:3:28:5 | __synth__0__1 | ssa.rb:26:3:28:5 | __synth__0__1 | ssa.rb:26:3:28:5 | __synth__0__1 |
|
||||
| ssa.rb:26:3:28:5 | call to each | ssa.rb:26:7:26:10 | elem | ssa.rb:29:8:29:11 | elem |
|
||||
| ssa.rb:33:16:35:5 | <captured> | ssa.rb:32:1:36:3 | self | ssa.rb:34:5:34:10 | self |
|
||||
| ssa.rb:33:20:33:20 | x | ssa.rb:33:20:33:20 | x | ssa.rb:34:10:34:10 | x |
|
||||
| ssa.rb:38:1:42:3 | self (m4) | ssa.rb:38:1:42:3 | self | ssa.rb:39:3:39:9 | self |
|
||||
@@ -515,7 +527,10 @@ lastRead
|
||||
| ssa.rb:19:9:19:9 | phi | ssa.rb:18:8:18:8 | x | ssa.rb:21:5:21:5 | x |
|
||||
| ssa.rb:25:1:30:3 | self (m2) | ssa.rb:25:1:30:3 | self | ssa.rb:29:3:29:11 | self |
|
||||
| ssa.rb:25:8:25:15 | elements | ssa.rb:25:8:25:15 | elements | ssa.rb:26:15:26:22 | elements |
|
||||
| ssa.rb:26:3:28:5 | ... = ... | ssa.rb:26:7:26:10 | elem | ssa.rb:29:8:29:11 | elem |
|
||||
| ssa.rb:26:3:28:5 | ... = ... | ssa.rb:26:7:26:10 | elem | ssa.rb:27:10:27:13 | elem |
|
||||
| ssa.rb:26:3:28:5 | <captured> | ssa.rb:25:1:30:3 | self | ssa.rb:27:5:27:13 | self |
|
||||
| ssa.rb:26:3:28:5 | __synth__0__1 | ssa.rb:26:3:28:5 | __synth__0__1 | ssa.rb:26:3:28:5 | __synth__0__1 |
|
||||
| ssa.rb:26:3:28:5 | call to each | ssa.rb:26:7:26:10 | elem | ssa.rb:29:8:29:11 | elem |
|
||||
| ssa.rb:33:16:35:5 | <captured> | ssa.rb:32:1:36:3 | self | ssa.rb:34:5:34:10 | self |
|
||||
| ssa.rb:33:20:33:20 | x | ssa.rb:33:20:33:20 | x | ssa.rb:34:10:34:10 | x |
|
||||
| ssa.rb:38:1:42:3 | self (m4) | ssa.rb:38:1:42:3 | self | ssa.rb:41:3:41:13 | self |
|
||||
@@ -586,8 +601,6 @@ adjacentReads
|
||||
| ssa.rb:18:1:23:3 | self (m1) | ssa.rb:18:1:23:3 | self | ssa.rb:20:5:20:10 | self | ssa.rb:20:5:20:10 | self |
|
||||
| ssa.rb:19:9:19:9 | phi | ssa.rb:18:8:18:8 | x | ssa.rb:19:9:19:9 | x | ssa.rb:20:10:20:10 | x |
|
||||
| ssa.rb:19:9:19:9 | phi | ssa.rb:18:8:18:8 | x | ssa.rb:20:10:20:10 | x | ssa.rb:21:5:21:5 | x |
|
||||
| ssa.rb:25:1:30:3 | self (m2) | ssa.rb:25:1:30:3 | self | ssa.rb:27:5:27:13 | self | ssa.rb:29:3:29:11 | self |
|
||||
| ssa.rb:26:3:28:5 | ... = ... | ssa.rb:26:7:26:10 | elem | ssa.rb:27:10:27:13 | elem | ssa.rb:29:8:29:11 | elem |
|
||||
| ssa.rb:38:1:42:3 | self (m4) | ssa.rb:38:1:42:3 | self | ssa.rb:39:3:39:9 | self | ssa.rb:39:8:39:9 | self |
|
||||
| ssa.rb:38:1:42:3 | self (m4) | ssa.rb:38:1:42:3 | self | ssa.rb:39:8:39:9 | self | ssa.rb:41:3:41:13 | self |
|
||||
| ssa.rb:66:11:70:5 | <captured> | ssa.rb:64:1:72:3 | self | ssa.rb:67:5:67:10 | self | ssa.rb:68:5:68:17 | self |
|
||||
|
||||
@@ -359,6 +359,7 @@ implicitWrite
|
||||
| ssa.rb:1:7:1:7 | b |
|
||||
| ssa.rb:18:8:18:8 | x |
|
||||
| ssa.rb:25:8:25:15 | elements |
|
||||
| ssa.rb:26:3:28:5 | __synth__0__1 |
|
||||
| ssa.rb:26:7:26:10 | elem |
|
||||
| ssa.rb:33:20:33:20 | x |
|
||||
| ssa.rb:44:8:44:8 | b |
|
||||
@@ -379,7 +380,6 @@ readAccess
|
||||
| class_variables.rb:27:3:27:11 | self |
|
||||
| class_variables.rb:28:3:28:7 | self |
|
||||
| class_variables.rb:28:5:28:7 | @@x |
|
||||
| file://:0:0:0:0 | __synth__0__1 |
|
||||
| instance_variables.rb:8:3:8:11 | self |
|
||||
| instance_variables.rb:8:8:8:11 | @foo |
|
||||
| instance_variables.rb:11:1:11:9 | self |
|
||||
|
||||
Reference in New Issue
Block a user