关联的Issue

https://gitcode.com/openharmony/arkcompiler_ets_frontend/issues/11941

提交类型

• 需求
• bugfix

需求背景/Description

问题现象&&分析/Reason

interface Conv02006i {
  i1: int;
}
class Conv02006a {
  a1: int = 1;
}
class Conv02006 extends Conv02006a implements Conv02006i {
  i1: int = 1;
}
function run(): int {
  let c0: Conv02006 = new Conv02006();
  let c1: Conv02006i = c0 as Conv02006i;
  let c2: Conv02006a;
  try {
    if(c1 instanceof Conv02006a){
        c2 = c1 as Conv02006a;
    }
  } catch (e) {
    return 2
  }
  return 0;
}
arktest.assertEQ(run(), 0);     // error: 2 === 0

In ArkTS-Sta, the checker performs smart-cast (type narrowing) inside the true branch of if (x instanceof T). When the static type of x is an interface and T is an unrelated class (or vice versa), the checker incorrectly narrowed x to never. The codegen then emitted failedTypeCastInclUndefinedStub + throw inside the if-body, so when instanceof correctly returned true at runtime, the unconditional throw was triggered and caught by a surrounding try/catch, making the program take the wrong branch.

reason

Two bugs in the ETS checker, both from the same misconception: when two types have no direct supertype relationship, the checker assumed instanceof can never succeed — ignoring that an interface-typed variable can hold an object whose concrete class extends the tested type.

1. CheckTestObjectCondition (helpers.cpp) — In the fallthrough case (neither type is a supertype of the other), it unconditionally returned {never, actualType} for the true/false branches. This is only valid for non-interface classes (single inheritance); for interfaces, instanceof can still succeed. The never type then caused EmitFailedTypeCastException → failedTypeCastInclUndefinedStub + throw.
2. ReportIfInstanceofTrivialKnown (arithmetic.cpp) — The "always false" warning (W1001506) used || instead of &&, emitting a spurious warning whenever either side (instead of neither side) was not an interface.

修改方案/Scheme

1. helpers.cpp: Before the {never, actualType} fallthrough, added a guard — if at least one type is an interface, return {testedType, actualType}, narrowing to the tested type instead of never.
2. arithmetic.cpp: Changed || to && so the warning fires only when neither side has an interface constituent.
   After the fix, codegen produces a normal checkcast.nonnull instead of failedTypeCastInclUndefinedStub + throw, and the runtime check succeeds as expected.

测试结果（测试截图直接贴在对应测试项，主干已知问题需明确引入pr/责任人）

功能测试（除仅涉及文本外必测项）wiki

1. es2abc测试用例（Debug模式）

• 已通过
• 不涉及，无需验证

2. Verifier测试

• 已通过
• 不涉及，无需验证

3. 64位RK编译

• 已通过
• 不涉及，无需验证

4. 编译mac平台sdk

• 已通过
• 不涉及，无需验证

混淆测试（涉及arkguard改动时必测项）wiki

1. 单元测试

   • 已通过
   • 不涉及，无需验证

2. Compiler测试套

   • 已通过
   • 不涉及，无需验证

3. TSC extra测试套

   • 已通过
   • 不涉及，无需验证

4. Test262测试套

   • 已通过
   • 不涉及，无需验证

5. Benchmark测试

   • 已通过
   • 不涉及，无需验证

6. 应用自动化测试套

   • 已通过
   • 不涉及，无需验证

7. 是否创建全局变量，若创建全局变量，是否有清空操作

   • 创建了全局变量，且已清空
   • 创建了全局变量，未清空
   • 未创建全局变量

兼容性测试（指令生成、文件格式修改时）

1. 小版本兼容性测试

   • 已增加版本号
   • 已通过
   • 不涉及，无需验证

2. 大版本兼容性测试

   • 已通过
   • 不涉及，无需验证

3. es2abc版本兼容性测试
   说明：如PR涉及版本控制用例的变更，需同步检查修改对其他分支的影响，并确认是否要同步受影响的分支

   • 涉及，变更影响 API/字节码 版本， 需同步修改到其他分支
   • 涉及，变更影响 API/字节码 版本， 无需同步到其他分支
   • 不涉及，变更不涉及 API/字节码 版本

4. 是否涉及词法环境修改
   说明：如PR涉及词法环境修改，需验证对应热重载场景是否兼容

   • 涉及，影响热重载场景，需排查影响
   • 涉及，不影响热重载场景
   • 不涉及

性能测试 (新增语法检查等场景)

• 已通过
• 不涉及，无需验证

指令/abc格式修改自检，需联系下方邮箱，同步至相关领域

重要：涉及runtime_core仓abc2program、libpandafile、isa目录下的修改，必须提供一个编译helloworld项目的hap包给对应领域，并联系下方邮箱

• 涉及，已同步
• 不涉及

Email: wutao185@huawei.com

是否已执行L0用例

• 已验证
• 不涉及。如不涉及，请写明理由

是否已执行L0用例

• 已验证
• 不涉及。如不涉及，请写明理由

Change-Id: Ib53fd18cbf4dd1efa983818d9810e59fd6a3f01e