azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[IR] Report backend error if annotation's arg can't be evaluated

Browse Source 
Just a safety measure to ensure that we will not produce the wrong code.
This commit is contained in:
Ivan Kylchik
2023-11-15 15:43:13 +01:00
committed by Space Team
parent 5d60c52e30
commit 2c38685486
1 changed files with 11 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/ir/ir.interpreter/src/org/jetbrains/kotlin/ir/interpreter/transformer/IrConstAnnotationTransformer.kt
+11 -6
View File
@@ -17,8 +17,10 @@ import org.jetbrains.kotlin.ir.interpreter.IrInterpreter
import org.jetbrains.kotlin.ir.interpreter.checker.EvaluationMode import org.jetbrains.kotlin.ir.interpreter.checker.EvaluationMode
import org.jetbrains.kotlin.ir.interpreter.checker.IrInterpreterChecker import org.jetbrains.kotlin.ir.interpreter.checker.IrInterpreterChecker
import org.jetbrains.kotlin.ir.interpreter.isPrimitiveArray import org.jetbrains.kotlin.ir.interpreter.isPrimitiveArray
import org.jetbrains.kotlin.ir.util.toIrConst
import org.jetbrains.kotlin.ir.types.* import org.jetbrains.kotlin.ir.types.*
import org.jetbrains.kotlin.ir.util.dump
import org.jetbrains.kotlin.ir.util.isAnnotation
import org.jetbrains.kotlin.ir.util.toIrConst
internal abstract class IrConstAnnotationTransformer( internal abstract class IrConstAnnotationTransformer(
interpreter: IrInterpreter, interpreter: IrInterpreter,
@@ -67,12 +69,15 @@ internal abstract class IrConstAnnotationTransformer(
} }
private fun IrExpression.transformSingleArg(expectedType: IrType): IrExpression { private fun IrExpression.transformSingleArg(expectedType: IrType): IrExpression {
if (this.canBeInterpreted()) { return when {
return this.interpret(failAsError = true).convertToConstIfPossible(expectedType) this is IrGetEnumValue || this is IrClassReference -> this
} else if (this is IrConstructorCall) { this is IrConstructorCall && this.type.isAnnotation() -> {
transformAnnotation(this) transformAnnotation(this)
this
}
this.canBeInterpreted() -> this.interpret(failAsError = true).convertToConstIfPossible(expectedType)
else -> error("Cannot evaluate IR expression in annotation:\n ${this.dump()}")
} }
return this
} }
private fun IrExpression.convertToConstIfPossible(type: IrType): IrExpression { private fun IrExpression.convertToConstIfPossible(type: IrType): IrExpression {