The following code failed to verifier.
function main(): void {
let i: Int|undefined|null = 5;
let ii: Int|undefined|null = null;
assert (0 ? ii : i)!;
}
Expected verification passed, and verifier has no output.
test.ets
function main(): void {
let i: Int|undefined|null = 5;
let ii: Int|undefined|null = null;
assert (0 ? ii : i)!;
}
Use following command:
runtime_core/static_core/build/bin/es2panda --arktsconfig=runtime_core/static_core/build/tools/es2panda/generated/arktsconfig.json --gen-stdlib=false --extension=ets --opt-level=0 test.ets
runtime_core/static_core/build/bin/verifier --boot-panda-files=runtime_core/static_core/build/plugins/ets/etsstdlib.abc --load-runtimes=ets --config-file=runtime_core/static_core/tests/tests-u-runner/runner/plugins/ets/ets-verifier.config test.abc
Verifier reports an error, as following:
[TID 05c969] E/verifier: Verifier error 31: Bad call incompatible parameter
[TID 05c969] E/verifier: Error: method void ETSGLOBAL::main() failed to verify
感谢提交Issue!关于Issue的交互操作,请访问OpenHarmony社区支持命令清单。如果有问题,请联系 @godmiaozi @peijiajun @Ishin Pavel @Vyacheslav Cherkashin 。如果需要调整订阅PR、Issue的变更状态,请访问链接。
Thanks for submitting the issue. For more commands, please visit OpenHarmony Command List. If you have any questions, please refer to committer @godmiaozi @peijiajun @Ishin Pavel @Vyacheslav Cherkashin for help. If you need to change the subscription of a Pull Request or Issue, please visit the link.
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。
登录 后才可以发表评论