From 3f7879b3ac857ece5514a5002fff40b23ac07df6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E9=92=9F=E6=9F=A0?= <zhongning5@huawei.com>
Date: Tue, 24 Jun 2025 14:50:09 +0800
Subject: [PATCH] fix issue for arkts-runtime-array-check
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Issue: https://gitee.com/openharmony/arkcompiler_ets_frontend/issues/ICHC90

Test scenarios: arkts-runtime-array-check

Signed-off-by: 钟柠 <zhongning5@huawei.com>
---
 ets2panda/linter/src/lib/TypeScriptLinter.ts  | 32 +++++++++++++++++++
 .../linter/test/main/runtime_array_bound.ets  |  5 +++
 .../main/runtime_array_bound.ets.arkts2.json  | 30 +++++++++++++++++
 .../main/runtime_array_bound.ets.migrate.ets  |  5 +++
 4 files changed, 72 insertions(+)

diff --git a/ets2panda/linter/src/lib/TypeScriptLinter.ts b/ets2panda/linter/src/lib/TypeScriptLinter.ts
index 1ba26f68a6..28711f7441 100644
--- a/ets2panda/linter/src/lib/TypeScriptLinter.ts
+++ b/ets2panda/linter/src/lib/TypeScriptLinter.ts
@@ -9676,6 +9676,11 @@ export class TypeScriptLinter extends BaseTypeScriptLinter {
       return;
     }
 
+    const arrayDecl = TypeScriptLinter.findArrayDeclaration(arraySym);
+    if (arrayDecl && TypeScriptLinter.isArrayCreatedWithOtherArrayLength(arrayDecl)) {
+      return;
+    }
+
     const indexExpr = accessExpr.argumentExpression;
     const loopVarName = ts.isIdentifier(indexExpr) ? indexExpr.text : undefined;
 
@@ -10041,4 +10046,31 @@ export class TypeScriptLinter extends BaseTypeScriptLinter {
 
     return false;
   }
+
+  static isArrayCreatedWithOtherArrayLength(decl: ts.VariableDeclaration): boolean {
+    if (!decl.initializer || !ts.isNewExpression(decl.initializer)) {
+      return false;
+    }
+
+    const newExpr = decl.initializer;
+    return (
+      newExpr.arguments?.some((arg) => {
+        return ts.isPropertyAccessExpression(arg) && arg.name.text === 'length';
+      }) ?? false
+    );
+  }
+
+  static findArrayDeclaration(sym: ts.Symbol): ts.VariableDeclaration | undefined {
+    const decls = sym.getDeclarations();
+    if (!decls) {
+      return undefined;
+    }
+
+    for (const decl of decls) {
+      if (ts.isVariableDeclaration(decl)) {
+        return decl;
+      }
+    }
+    return undefined;
+  }
 }
diff --git a/ets2panda/linter/test/main/runtime_array_bound.ets b/ets2panda/linter/test/main/runtime_array_bound.ets
index 5540265166..093c957d7b 100644
--- a/ets2panda/linter/test/main/runtime_array_bound.ets
+++ b/ets2panda/linter/test/main/runtime_array_bound.ets
@@ -165,3 +165,8 @@ enum TE{
 }
 arr1[TE.AA] = 12;
 
+let a: string[] = [];
+let b: Array<string> = new Array(a.length);
+for (let i = 0; i < a.length; i++) {
+  b[i];
+}
\ No newline at end of file
diff --git a/ets2panda/linter/test/main/runtime_array_bound.ets.arkts2.json b/ets2panda/linter/test/main/runtime_array_bound.ets.arkts2.json
index fb3f014d24..a42550c138 100644
--- a/ets2panda/linter/test/main/runtime_array_bound.ets.arkts2.json
+++ b/ets2panda/linter/test/main/runtime_array_bound.ets.arkts2.json
@@ -1853,6 +1853,36 @@
             "suggest": "",
             "rule": "Numeric semantics is different for integer values (arkts-numeric-semantic)",
             "severity": "ERROR"
+        },
+        {
+            "line": 169,
+            "column": 24,
+            "endLine": 169,
+            "endColumn": 43,
+            "problem": "GenericCallNoTypeArgs",
+            "suggest": "",
+            "rule": "Type inference in case of generic function calls is limited (arkts-no-inferred-generic-params)",
+            "severity": "ERROR"
+        },
+        {
+            "line": 170,
+            "column": 10,
+            "endLine": 170,
+            "endColumn": 15,
+            "problem": "NumericSemantics",
+            "suggest": "",
+            "rule": "Numeric semantics is different for integer values (arkts-numeric-semantic)",
+            "severity": "ERROR"
+        },
+        {
+            "line": 170,
+            "column": 14,
+            "endLine": 170,
+            "endColumn": 15,
+            "problem": "NumericSemantics",
+            "suggest": "",
+            "rule": "Numeric semantics is different for integer values (arkts-numeric-semantic)",
+            "severity": "ERROR"
         }
     ]
 }
\ No newline at end of file
diff --git a/ets2panda/linter/test/main/runtime_array_bound.ets.migrate.ets b/ets2panda/linter/test/main/runtime_array_bound.ets.migrate.ets
index 2d4beff418..b3691dd0dd 100644
--- a/ets2panda/linter/test/main/runtime_array_bound.ets.migrate.ets
+++ b/ets2panda/linter/test/main/runtime_array_bound.ets.migrate.ets
@@ -165,3 +165,8 @@ enum TE{
 }
 arr1[TE.AA] = 12.0;
 
+let a: string[] = [];
+let b: Array<string> = new Array<string>(a.length);
+for (let i: number = 0.0; i < a.length; i++) {
+  b[i as int];
+}
\ No newline at end of file
-- 
Gitee