From faf69395159dddcc7f8064113f47637cb56ef26c Mon Sep 17 00:00:00 2001
From: Jinseong Jeon <jsjeon@google.com>
Date: Wed, 20 Apr 2022 22:30:16 -0700
Subject: [PATCH] AA: showcase strange const evaluation for -1

---
 ...uleCompileTimeConstantEvaluatorTestGenerated.java | 12 ++++++++++++
 ...uleCompileTimeConstantEvaluatorTestGenerated.java | 12 ++++++++++++
 ...uleCompileTimeConstantEvaluatorTestGenerated.java | 12 ++++++++++++
 ...uleCompileTimeConstantEvaluatorTestGenerated.java | 12 ++++++++++++
 .../evaluate/integerLiteral_minusOne_entire.kt       |  4 ++++
 .../evaluate/integerLiteral_minusOne_entire.txt      |  9 +++++++++
 .../integerLiteral_minusOne_justOne.descriptors.txt  |  9 +++++++++
 .../evaluate/integerLiteral_minusOne_justOne.kt      |  4 ++++
 .../evaluate/integerLiteral_minusOne_justOne.txt     |  9 +++++++++
 9 files changed, 83 insertions(+)
 create mode 100644 analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.kt
 create mode 100644 analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.txt
 create mode 100644 analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.descriptors.txt
 create mode 100644 analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.kt
 create mode 100644 analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.txt

diff --git a/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/compileTimeConstantProvider/Fe10IdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java b/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/compileTimeConstantProvider/Fe10IdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
index c3f3396c61e..c30afc27280 100644
--- a/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/compileTimeConstantProvider/Fe10IdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
+++ b/analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/compileTimeConstantProvider/Fe10IdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
@@ -52,6 +52,18 @@ public class Fe10IdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGe
         runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/binaryExpressionWithString.kt");
     }
 
+    @Test
+    @TestMetadata("integerLiteral_minusOne_entire.kt")
+    public void testIntegerLiteral_minusOne_entire() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.kt");
+    }
+
+    @Test
+    @TestMetadata("integerLiteral_minusOne_justOne.kt")
+    public void testIntegerLiteral_minusOne_justOne() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.kt");
+    }
+
     @Test
     @TestMetadata("namedReference_const.kt")
     public void testNamedReference_const() throws Exception {
diff --git a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirIdeDependentAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirIdeDependentAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
index 3a662ad76b6..b0cd22324ba 100644
--- a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirIdeDependentAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
+++ b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirIdeDependentAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
@@ -52,6 +52,18 @@ public class FirIdeDependentAnalysisSourceModuleCompileTimeConstantEvaluatorTest
         runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/binaryExpressionWithString.kt");
     }
 
+    @Test
+    @TestMetadata("integerLiteral_minusOne_entire.kt")
+    public void testIntegerLiteral_minusOne_entire() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.kt");
+    }
+
+    @Test
+    @TestMetadata("integerLiteral_minusOne_justOne.kt")
+    public void testIntegerLiteral_minusOne_justOne() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.kt");
+    }
+
     @Test
     @TestMetadata("namedReference_const.kt")
     public void testNamedReference_const() throws Exception {
diff --git a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirIdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirIdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
index 6e2b1bf646b..f36546f4047 100644
--- a/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirIdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
+++ b/analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirIdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
@@ -52,6 +52,18 @@ public class FirIdeNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGen
         runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/binaryExpressionWithString.kt");
     }
 
+    @Test
+    @TestMetadata("integerLiteral_minusOne_entire.kt")
+    public void testIntegerLiteral_minusOne_entire() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.kt");
+    }
+
+    @Test
+    @TestMetadata("integerLiteral_minusOne_justOne.kt")
+    public void testIntegerLiteral_minusOne_justOne() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.kt");
+    }
+
     @Test
     @TestMetadata("namedReference_const.kt")
     public void testNamedReference_const() throws Exception {
diff --git a/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirStandaloneNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java b/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirStandaloneNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
index e7dad6edd20..8276d88c7ed 100644
--- a/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirStandaloneNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
+++ b/analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/compileTimeConstantProvider/FirStandaloneNormalAnalysisSourceModuleCompileTimeConstantEvaluatorTestGenerated.java
@@ -52,6 +52,18 @@ public class FirStandaloneNormalAnalysisSourceModuleCompileTimeConstantEvaluator
         runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/binaryExpressionWithString.kt");
     }
 
+    @Test
+    @TestMetadata("integerLiteral_minusOne_entire.kt")
+    public void testIntegerLiteral_minusOne_entire() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.kt");
+    }
+
+    @Test
+    @TestMetadata("integerLiteral_minusOne_justOne.kt")
+    public void testIntegerLiteral_minusOne_justOne() throws Exception {
+        runTest("analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.kt");
+    }
+
     @Test
     @TestMetadata("namedReference_const.kt")
     public void testNamedReference_const() throws Exception {
diff --git a/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.kt b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.kt
new file mode 100644
index 00000000000..d1d7959d582
--- /dev/null
+++ b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.kt
@@ -0,0 +1,4 @@
+annotation class Annotation(vararg val values: Int)
+
+@Annotation(<expr>-1</expr>)
+class C
diff --git a/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.txt b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.txt
new file mode 100644
index 00000000000..92765c81be3
--- /dev/null
+++ b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_entire.txt
@@ -0,0 +1,9 @@
+expression: -1
+
+CONSTANT_EXPRESSION_EVALUATION
+constant: -1
+constantValueKind: Int
+
+CONSTANT_LIKE_EXPRESSION_EVALUATION
+constantLike: -1
+constantLikeValueKind: Int
diff --git a/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.descriptors.txt b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.descriptors.txt
new file mode 100644
index 00000000000..ef2899c8865
--- /dev/null
+++ b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.descriptors.txt
@@ -0,0 +1,9 @@
+expression: 1
+
+CONSTANT_EXPRESSION_EVALUATION
+constant: 1
+constantValueKind: Int
+
+CONSTANT_LIKE_EXPRESSION_EVALUATION
+constantLike: 1
+constantLikeValueKind: Int
diff --git a/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.kt b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.kt
new file mode 100644
index 00000000000..b28d5340d83
--- /dev/null
+++ b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.kt
@@ -0,0 +1,4 @@
+annotation class Annotation(vararg val values: Int)
+
+@Annotation(-<expr>1</expr>)
+class C
diff --git a/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.txt b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.txt
new file mode 100644
index 00000000000..03ae6018d67
--- /dev/null
+++ b/analysis/analysis-api/testData/components/compileTimeConstantProvider/evaluate/integerLiteral_minusOne_justOne.txt
@@ -0,0 +1,9 @@
+expression: 1
+
+CONSTANT_EXPRESSION_EVALUATION
+constant: -1
+constantValueKind: Int
+
+CONSTANT_LIKE_EXPRESSION_EVALUATION
+constantLike: -1
+constantLikeValueKind: Int