[FIR] add compiler crash tests for KT-29222

Result of binaryOpStackOverflow.kt test depends on JVM settings and OS.
JetBrains · Dec 9, 2024 · f02141e · f02141e
1 parent 3615f09
commit f02141e
Show file tree

Hide file tree

Showing 14 changed files with 385 additions and 0 deletions.
diff --git a/...s/kotlin/analysis/api/standalone/base/declarations/KotlinStandaloneDeclarationProvider.kt b/...s/kotlin/analysis/api/standalone/base/declarations/KotlinStandaloneDeclarationProvider.kt
@@ -46,6 +46,7 @@ import org.jetbrains.kotlin.name.*
 import org.jetbrains.kotlin.psi.*
 import org.jetbrains.kotlin.psi.psiUtil.getImportedSimpleNameByImportAlias
 import org.jetbrains.kotlin.psi.psiUtil.getSuperNames
+import org.jetbrains.kotlin.psi.psiUtil.visitBinaryExpressionUsingStack
 import org.jetbrains.kotlin.psi.stubs.KotlinClassOrObjectStub
 import org.jetbrains.kotlin.psi.stubs.KotlinFileStub
 import org.jetbrains.kotlin.psi.stubs.elements.KtStubElementTypes
@@ -230,6 +231,9 @@ class KotlinStandaloneDeclarationProviderFactory(
     ) : SingleRootFileViewProvider(psiManager, virtualFile, true, KotlinLanguage.INSTANCE)
 
     private inner class KtDeclarationRecorder : KtVisitorVoid() {
+        override fun visitBinaryExpression(expression: KtBinaryExpression) {
+            visitBinaryExpressionUsingStack(expression)
+        }
 
         override fun visitElement(element: PsiElement) {
             element.acceptChildren(this)

diff --git a/...vel/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFirTestdataTestGenerated.java b/...vel/api/fir/diagnostic/compiler/based/DiagnosticCompilerTestFirTestdataTestGenerated.java
diff --git a/...ic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFirTestDataTestGenerated.java b/...ic/compiler/based/LLFirPreresolvedReversedDiagnosticCompilerFirTestDataTestGenerated.java
diff --git a/.../analysis-tests/testData/resolve/expresssions/operators/binaryOpIntStackOverflow.fir.fail b/.../analysis-tests/testData/resolve/expresssions/operators/binaryOpIntStackOverflow.fir.fail
@@ -0,0 +1,14 @@
+java.lang.StackOverflowError
+	at com.intellij.lang.impl.PsiBuilderImpl$StartMarker.toString(PsiBuilderImpl.java:430)
+	at org.jetbrains.kotlin.fir.lightTree.converter.AbstractLightTreeRawFirBuilder.getAsText(AbstractLightTreeRawFirBuilder.kt:43)
+	at org.jetbrains.kotlin.fir.lightTree.converter.AbstractLightTreeRawFirBuilder.getAsText(AbstractLightTreeRawFirBuilder.kt:26)
+	at org.jetbrains.kotlin.fir.builder.AbstractRawFirBuilder.generateConstantExpressionByLiteral(AbstractRawFirBuilder.kt:393)
+	at org.jetbrains.kotlin.fir.lightTree.converter.LightTreeRawFirExpressionBuilder.convertConstantExpression(LightTreeRawFirExpressionBuilder.kt:760)
+	at org.jetbrains.kotlin.fir.lightTree.converter.LightTreeRawFirExpressionBuilder.convertExpression(LightTreeRawFirExpressionBuilder.kt:123)
+	at org.jetbrains.kotlin.fir.lightTree.converter.LightTreeRawFirExpressionBuilder.convertBinaryExpression(LightTreeRawFirExpressionBuilder.kt:1682)
+	at org.jetbrains.kotlin.fir.lightTree.converter.LightTreeRawFirExpressionBuilder.convertExpression(LightTreeRawFirExpressionBuilder.kt:105)
+	at org.jetbrains.kotlin.fir.lightTree.converter.LightTreeRawFirExpressionBuilder.convertBinaryExpression(LightTreeRawFirExpressionBuilder.kt:1708)
+	at org.jetbrains.kotlin.fir.lightTree.converter.LightTreeRawFirExpressionBuilder.convertExpression(LightTreeRawFirExpressionBuilder.kt:105)
+	at org.jetbrains.kotlin.fir.lightTree.converter.LightTreeRawFirExpressionBuilder.convertBinaryExpression(LightTreeRawFirExpressionBuilder.kt:1708)
+	at org.jetbrains.kotlin.fir.lightTree.converter.LightTreeRawFirExpressionBuilder.convertExpression(LightTreeRawFirExpressionBuilder.kt:105)
+	at org.jetbrains.kotlin.fir.lightTree.converter.LightTreeRawFirExpressionBuilder.convertBinaryExpression(LightTreeRawFirExpressionBuilder.kt:1708)
diff --git a/...r/analysis-tests/testData/resolve/expresssions/operators/binaryOpIntStackOverflow.fir.txt b/...r/analysis-tests/testData/resolve/expresssions/operators/binaryOpIntStackOverflow.fir.txt
@@ -0,0 +1,2 @@
+cFILE: binaryOpIntStackOverflow.kt
+    public final fun stackOverflow(): R|kotlin/Unit| { LAZY_BLOCK }
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		cFILE: binaryOpIntStackOverflow.kt
		public final fun stackOverflow(): R\|kotlin/Unit\| { LAZY_BLOCK }