Track anonymous function parameters in inbound data flow analysis as well
This commit is contained in:
@@ -1,4 +1,4 @@
|
||||
8 val x = foo(fun(<bold>n: Int</bold>) = n)
|
||||
4 return f(<bold>1</bold>)
|
||||
8 val <bold>x = foo(fun(n: Int) = n)</bold>
|
||||
8 val x = <bold>foo(fun(n: Int) = n)</bold>
|
||||
3 fun <bold>foo(f: (Int) -> Int): Int {</bold>
|
||||
@@ -9,4 +9,7 @@
|
||||
8 val x = foo(<bold>fun(n: Int) = n</bold>)
|
||||
8 val x = foo(fun(n: Int) = <bold>n</bold>)
|
||||
8 val x = foo(fun(<bold>n: Int</bold>) = n)
|
||||
8 [LAMBDA CALLS] val x = foo(<bold>fun(n: Int) = n</bold>)
|
||||
3 [LAMBDA CALLS] fun foo(<bold>f: (Int) -> Int</bold>): Int {
|
||||
4 return f(<bold>1</bold>)
|
||||
|
||||
|
||||
@@ -8,3 +8,6 @@
|
||||
8 val x = foo(<bold>fun(n: Int) = n</bold>)
|
||||
8 val x = foo(fun(n: Int) = <bold>n</bold>)
|
||||
8 val x = foo(fun(<bold>n: Int</bold>) = n)
|
||||
8 [LAMBDA CALLS] val x = foo(<bold>fun(n: Int) = n</bold>)
|
||||
3 [LAMBDA CALLS] fun foo(<bold>f: (Int) -> Int</bold>): Int {
|
||||
4 return f(<bold>1</bold>)
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
8 val x = foo(fun(<bold>n: Int</bold>): Int { return n })
|
||||
4 return f(<bold>1</bold>)
|
||||
8 val <bold>x = foo(fun(n: Int): Int { return n })</bold>
|
||||
8 val x = <bold>foo(fun(n: Int): Int { return n })</bold>
|
||||
3 fun <bold>foo(f: (Int) -> Int): Int {</bold>
|
||||
@@ -9,4 +9,7 @@
|
||||
8 val x = foo(<bold>fun(n: Int): Int { return n }</bold>)
|
||||
8 val x = foo(fun(n: Int): Int { return <bold>n</bold> })
|
||||
8 val x = foo(fun(<bold>n: Int</bold>): Int { return n })
|
||||
8 [LAMBDA CALLS] val x = foo(<bold>fun(n: Int): Int { return n }</bold>)
|
||||
3 [LAMBDA CALLS] fun foo(<bold>f: (Int) -> Int</bold>): Int {
|
||||
4 return f(<bold>1</bold>)
|
||||
|
||||
|
||||
@@ -8,3 +8,6 @@
|
||||
8 val x = foo(<bold>fun(n: Int): Int { return n }</bold>)
|
||||
8 val x = foo(fun(n: Int): Int { return <bold>n</bold> })
|
||||
8 val x = foo(fun(<bold>n: Int</bold>): Int { return n })
|
||||
8 [LAMBDA CALLS] val x = foo(<bold>fun(n: Int): Int { return n }</bold>)
|
||||
3 [LAMBDA CALLS] fun foo(<bold>f: (Int) -> Int</bold>): Int {
|
||||
4 return f(<bold>1</bold>)
|
||||
|
||||
@@ -0,0 +1,11 @@
|
||||
// FLOW: IN
|
||||
|
||||
fun foo(f: (Int) -> Unit) {
|
||||
f(1)
|
||||
}
|
||||
|
||||
fun test() {
|
||||
foo(fun(value: Int) {
|
||||
val <caret>v = value
|
||||
})
|
||||
}
|
||||
@@ -0,0 +1,8 @@
|
||||
4 f(<bold>1</bold>)
|
||||
9 val <bold>v = value</bold>
|
||||
9 val v = <bold>value</bold>
|
||||
8 foo(fun(<bold>value: Int</bold>) {
|
||||
8 [LAMBDA CALLS] foo(<bold>fun(value: Int) {</bold>
|
||||
3 [LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>) {
|
||||
4 f(<bold>1</bold>)
|
||||
|
||||
@@ -0,0 +1,3 @@
|
||||
[NotNull Values]
|
||||
9 val <bold>v = value</bold>
|
||||
9 val <bold>v = value</bold>
|
||||
@@ -0,0 +1,6 @@
|
||||
9 val <bold>v = value</bold>
|
||||
9 val v = <bold>value</bold>
|
||||
8 foo(fun(<bold>value: Int</bold>) {
|
||||
8 [LAMBDA CALLS] foo(<bold>fun(value: Int) {</bold>
|
||||
3 [LAMBDA CALLS] fun foo(<bold>f: (Int) -> Unit</bold>) {
|
||||
4 f(<bold>1</bold>)
|
||||
Reference in New Issue
Block a user