[IR] update testdata: unify representation for error nodes

This commit is contained in:
Zalim Bashorov
2020-11-23 20:45:10 +03:00
committed by teamcityserver
parent ef9a901635
commit 7df6575a18
14 changed files with 73 additions and 62 deletions
@@ -1,5 +1,5 @@
fun f(f1: Function0<String> = local fun <anonymous>(): ErrorType /* ERROR */ { fun f(f1: Function0<String> = local fun <anonymous>(): ErrorType {
return error("") /* ERROR CALL */ return error("") /* ErrorCallExpression */
} }
, f2: Function0<String> = local fun <anonymous>(): String { , f2: Function0<String> = local fun <anonymous>(): String {
return "FAIL" return "FAIL"
@@ -23,3 +23,4 @@ fun box(): String {
} }
)) ))
} }
@@ -1,15 +1,16 @@
val test1: ErrorType /* ERROR */ val test1: ErrorType
field = error("") /* ERROR CALL */ field = error("") /* ErrorCallExpression */
get get
val test2: ErrorType /* ERROR */ val test2: ErrorType
field = error("") /* ERROR CALL */ field = error("") /* ErrorCallExpression */
get get
val test3: ErrorType /* ERROR */ val test3: ErrorType
field = error("") /* ERROR CALL */56; field = error("") /* ErrorCallExpression */56;
get get
val test4: ErrorType /* ERROR */ val test4: ErrorType
field = error("") /* ERROR CALL */error("") /* ERROR EXPRESSION */; field = error("") /* ErrorCallExpression */error("") /* ErrorExpression */;
get get
@@ -1,16 +1,16 @@
val test1: ErrorType /* ERROR */ val test1: ErrorType
field = error("") /* ERROR CALL */ field = error("") /* ErrorCallExpression */
get get
val test2: ErrorType /* ERROR */ val test2: ErrorType
field = error("") /* ERROR CALL */ field = error("") /* ErrorCallExpression */
get get
val test3: ErrorType /* ERROR */ val test3: ErrorType
field = error("") /* ERROR CALL */42; 56; field = error("") /* ErrorCallExpression */42; 56;
get get
val test4: ErrorType /* ERROR */ val test4: ErrorType
field = error("") /* ERROR EXPRESSION */ field = error("") /* ErrorExpression */
get get
@@ -1,12 +1,12 @@
fun test1() { fun test1() {
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
} }
fun test2() { fun test2() {
L1@ while (true) { // BLOCK L1@ while (true) { // BLOCK
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
} }
} }
@@ -21,8 +21,9 @@ fun test3() {
} }
fun test4() { fun test4() {
while (error("") /* ERROR EXPRESSION */) { // BLOCK while (error("") /* ErrorExpression */) { // BLOCK
} }
while (error("") /* ERROR EXPRESSION */) { // BLOCK while (error("") /* ErrorExpression */) { // BLOCK
} }
} }
@@ -1,29 +1,29 @@
fun test1() { fun test1() {
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
} }
fun test2() { fun test2() {
L1@ while (true) { // BLOCK L1@ while (true) { // BLOCK
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
} }
} }
fun test3() { fun test3() {
L1@ while (true) { // BLOCK L1@ while (true) { // BLOCK
val lambda: Function0<Nothing> = local fun <anonymous>(): Nothing { val lambda: Function0<Nothing> = local fun <anonymous>(): Nothing {
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
error("") /* ERROR EXPRESSION */ error("") /* ErrorExpression */
} }
} }
} }
fun test4() { fun test4() {
while (error("") /* ERROR EXPRESSION */) { // BLOCK while (error("") /* ErrorExpression */) { // BLOCK
} }
while (error("") /* ERROR EXPRESSION */) { // BLOCK while (error("") /* ErrorExpression */) { // BLOCK
} }
} }
@@ -47,7 +47,7 @@ fun test1() {
{ // BLOCK { // BLOCK
val <<array>>: A = A val <<array>>: A = A
val <<index_0>>: KFunction1<IntArray, Int> = ::withVararg val <<index_0>>: KFunction1<IntArray, Int> = ::withVararg
error("") /* ERROR CALL */<<index_0>>; error("") /* ERROR CALL */<<index_0>>; .plus(other = 1); error("") /* ErrorCallExpression */<<index_0>>; error("") /* ErrorCallExpression */<<index_0>>; .plus(other = 1);
} }
} }
@@ -55,7 +55,7 @@ fun test2() {
{ // BLOCK { // BLOCK
val <<array>>: B = B val <<array>>: B = B
val <<index_0>>: KFunction1<IntArray, Int> = ::withVararg val <<index_0>>: KFunction1<IntArray, Int> = ::withVararg
error("") /* ERROR CALL */<<index_0>>; error("") /* ERROR CALL */<<index_0>>; .plus(other = 1); error("") /* ErrorCallExpression */<<index_0>>; error("") /* ErrorCallExpression */<<index_0>>; .plus(other = 1);
} }
} }
@@ -95,3 +95,4 @@ fun test6(a: Any) {
<<array>>.set(i = <<index_0>>, newValue = <<array>>.get(i = <<index_0>>).plus(other = 1)) <<array>>.set(i = <<index_0>>, newValue = <<array>>.get(i = <<index_0>>).plus(other = 1))
} }
} }
+2 -1
View File
@@ -10,7 +10,7 @@ fun run(x: Boolean, y: Boolean): String {
greater(arg0 = z, arg1 = 100) -> return "NOT_OK" greater(arg0 = z, arg1 = 100) -> return "NOT_OK"
} }
when { when {
x -> error("") /* ERROR EXPRESSION */ x -> error("") /* ErrorExpression */
} }
when { when {
y -> continue@l2 y -> continue@l2
@@ -22,3 +22,4 @@ fun run(x: Boolean, y: Boolean): String {
fun box(): String { fun box(): String {
return run(x = true, y = true) return run(x = true, y = true)
} }
+1 -1
View File
@@ -1,7 +1,7 @@
fun foo() { fun foo() {
} }
fun test(): ErrorType /* ERROR */ { fun test(): ErrorType {
return CHECK_NOT_NULL<KFunction0<Unit>>(arg0 = ::foo) return CHECK_NOT_NULL<KFunction0<Unit>>(arg0 = ::foo)
} }
@@ -16,7 +16,7 @@ fun test1(a: Any) {
} }
fun test2(a: Any) { fun test2(a: Any) {
error("") /* ERROR CALL */ error("") /* ErrorCallExpression */
} }
fun test3(a: Any) { fun test3(a: Any) {
@@ -29,3 +29,4 @@ fun test3(a: Any) {
<array>.set(index = <index0>, value = <unary>.inc()) <array>.set(index = <index0>, value = <unary>.inc())
<unary> /*~> Unit */ <unary> /*~> Unit */
} }
@@ -1,5 +1,5 @@
fun test(fn: Function0<Unit>, r: Runnable, arr: Array<String>) { fun test(fn: Function0<Unit>, r: Runnable, arr: Array<String>) {
error("") /* ERROR CALL */local fun <anonymous>() { error("") /* ErrorCallExpression */local fun <anonymous>() {
return Unit return Unit
} }
; arr; ; arr;
@@ -7,13 +7,13 @@ fun test(fn: Function0<Unit>, r: Runnable, arr: Array<String>) {
return Unit return Unit
} }
/*-> Runnable? */, strs = [*arr]) /*~> Unit */ /*-> Runnable? */, strs = [*arr]) /*~> Unit */
error("") /* ERROR CALL */fn; arr; error("") /* ErrorCallExpression */fn; arr;
foo1(r = fn /*-> Runnable? */, strs = [*arr]) /*~> Unit */ foo1(r = fn /*-> Runnable? */, strs = [*arr]) /*~> Unit */
foo1(r = r, strs = [""]) /*~> Unit */ foo1(r = r, strs = [""]) /*~> Unit */
error("") /* ERROR CALL */fn; arr; error("") /* ErrorCallExpression */fn; arr;
foo1(r = fn /*-> Runnable? */, strs = [*arr]) /*~> Unit */ foo1(r = fn /*-> Runnable? */, strs = [*arr]) /*~> Unit */
foo1(r = r, strs = [*arr]) /*~> Unit */ foo1(r = r, strs = [*arr]) /*~> Unit */
val i1: ErrorType /* ERROR */ = error("") /* ERROR CALL */local fun <anonymous>() { val i1: ErrorType = error("") /* ErrorCallExpression */local fun <anonymous>() {
return Unit return Unit
} }
; arr; ; arr;
@@ -21,7 +21,7 @@ fun test(fn: Function0<Unit>, r: Runnable, arr: Array<String>) {
return Unit return Unit
} }
/*-> Runnable? */, strs = [*arr]) /*-> Runnable? */, strs = [*arr])
val i3: ErrorType /* ERROR */ = error("") /* ERROR CALL */local fun <anonymous>() { val i3: ErrorType = error("") /* ErrorCallExpression */local fun <anonymous>() {
return Unit return Unit
} }
; local fun <anonymous>() { ; local fun <anonymous>() {
@@ -43,26 +43,27 @@ fun test(fn: Function0<Unit>, r: Runnable, arr: Array<String>) {
return Unit return Unit
} }
/*-> Runnable? */, strs = [*arr]) /*-> Runnable? */, strs = [*arr])
error("") /* ERROR CALL */local fun <anonymous>() { error("") /* ErrorCallExpression */local fun <anonymous>() {
return Unit return Unit
} }
; local fun <anonymous>() { ; local fun <anonymous>() {
return Unit return Unit
} }
; arr; ; arr;
error("") /* ERROR CALL */r; local fun <anonymous>() { error("") /* ErrorCallExpression */r; local fun <anonymous>() {
return Unit return Unit
} }
; ""; ; "";
error("") /* ERROR CALL */local fun <anonymous>() { error("") /* ErrorCallExpression */local fun <anonymous>() {
return Unit return Unit
} }
; local fun <anonymous>() { ; local fun <anonymous>() {
return Unit return Unit
} }
; arr; ; arr;
error("") /* ERROR CALL */r; local fun <anonymous>() { error("") /* ErrorCallExpression */r; local fun <anonymous>() {
return Unit return Unit
} }
; arr; ; arr;
} }
@@ -44,13 +44,14 @@ fun test6(a: Any) {
fun test7(a: Function1<Int, Int>) { fun test7(a: Function1<Int, Int>) {
a as Function0<Unit> /*~> Unit */ a as Function0<Unit> /*~> Unit */
error("") /* ERROR CALL */a /*as Function0<Unit> */; error("") /* ErrorCallExpression */a /*as Function0<Unit> */;
} }
fun test8(a: Function0<Unit>) { fun test8(a: Function0<Unit>) {
error("") /* ERROR CALL */id<Function0<Unit>?>(x = a); error("") /* ErrorCallExpression */id<Function0<Unit>?>(x = a);
} }
fun test9() { fun test9() {
J().run1(r = ::test9 /*-> Runnable? */) J().run1(r = ::test9 /*-> Runnable? */)
} }
@@ -47,11 +47,12 @@ fun takeLong(@ImplicitIntegerCoercion l: Long) {
} }
fun test() { fun test() {
error("") /* ERROR CALL */255; error("") /* ErrorCallExpression */255;
error("") /* ERROR CALL */255; error("") /* ErrorCallExpression */255;
error("") /* ERROR CALL */255; error("") /* ErrorCallExpression */255;
error("") /* ERROR CALL */256; error("") /* ErrorCallExpression */256;
error("") /* ERROR CALL */255; error("") /* ErrorCallExpression */255;
error("") /* ERROR CALL */255; error("") /* ErrorCallExpression */255;
error("") /* ERROR CALL */255; 255; 42; error("") /* ErrorCallExpression */255; 255; 42;
} }
@@ -9,9 +9,10 @@ fun test(): Int {
EQEQ(arg0 = y, arg1 = 42) -> 1 EQEQ(arg0 = y, arg1 = 42) -> 1
y is String -> y /*as String */.<get-length>() y is String -> y /*as String */.<get-length>()
y !is Int -> 2 y !is Int -> 2
error("") /* ERROR CALL */y; -> 3 error("") /* ErrorCallExpression */y; -> 3
error("") /* ERROR CALL */y; .not() -> 4 error("") /* ErrorCallExpression */y; .not() -> 4
else -> -1 else -> -1
} }
} }
} }
@@ -1,7 +1,7 @@
@OptIn(markerClass = [ExperimentalTypeInference::class]) @OptIn(markerClass = [ExperimentalTypeInference::class])
fun <R : Any?> scopedFlow(@BuilderInference block: @ExtensionFunctionType @ExtensionFunctionType SuspendFunction2<CoroutineScope, FlowCollector<R>, Unit>): Flow<R> { fun <R : Any?> scopedFlow(@BuilderInference block: @ExtensionFunctionType @ExtensionFunctionType SuspendFunction2<CoroutineScope, FlowCollector<R>, Unit>): Flow<R> {
return flow<R>(block = local suspend fun FlowCollector<R>.<anonymous>() { return flow<R>(block = local suspend fun FlowCollector<R>.<anonymous>() {
val collector: FlowCollector<ErrorType /* ERROR */> = <this> val collector: FlowCollector<ErrorType> = <this>
flowScope<Unit>(block = local suspend fun CoroutineScope.<anonymous>() { flowScope<Unit>(block = local suspend fun CoroutineScope.<anonymous>() {
block.invoke(p1 = <this>, p2 = collector) block.invoke(p1 = <this>, p2 = collector)
} }
@@ -12,7 +12,7 @@ fun <R : Any?> scopedFlow(@BuilderInference block: @ExtensionFunctionType @Exten
fun <T : Any?> Flow<T>.onCompletion(action: @ExtensionFunctionType @ExtensionFunctionType SuspendFunction2<FlowCollector<T>, Throwable?, Unit>): Flow<T> { fun <T : Any?> Flow<T>.onCompletion(action: @ExtensionFunctionType @ExtensionFunctionType SuspendFunction2<FlowCollector<T>, Throwable?, Unit>): Flow<T> {
return unsafeFlow<T>(block = local suspend fun FlowCollector<T>.<anonymous>() { return unsafeFlow<T>(block = local suspend fun FlowCollector<T>.<anonymous>() {
val safeCollector: SafeCollector<ErrorType /* ERROR */> = SafeCollector<ErrorType /* ERROR */>(collector = <this>) val safeCollector: SafeCollector<ErrorType> = SafeCollector<ErrorType>(collector = <this>)
safeCollector.invokeSafely<T>(action = action) safeCollector.invokeSafely<T>(action = action)
} }
) )
@@ -27,9 +27,9 @@ inline fun <T : Any?> unsafeFlow(@BuilderInference crossinline block: @Extension
} }
@Deprecated(message = "binary compatibility with a version w/o FlowCollector receiver", level = DeprecationLevel.HIDDEN) @Deprecated(message = "binary compatibility with a version w/o FlowCollector receiver", level = DeprecationLevel.HIDDEN)
fun <T : Any?> Flow<T>.onCompletion(action: SuspendFunction1<Throwable?, Unit>): ErrorType /* ERROR */ { fun <T : Any?> Flow<T>.onCompletion(action: SuspendFunction1<Throwable?, Unit>): ErrorType {
return error("") /* ERROR CALL */local fun <anonymous>() { return error("") /* ErrorCallExpression */local fun <anonymous>() {
action.invoke(p1 = error("") /* ERROR CALL */) action.invoke(p1 = error("") /* ErrorCallExpression */)
} }
; ;
} }
@@ -141,3 +141,4 @@ interface SendChannel<in E : Any?> {
abstract suspend fun send(e: E) abstract suspend fun send(e: E)
} }