1# Copyright (c) 2021-2024 Huawei Device Co., Ltd. 2# Licensed under the Apache License, Version 2.0 (the "License"); 3# you may not use this file except in compliance with the License. 4# You may obtain a copy of the License at 5# 6# http://www.apache.org/licenses/LICENSE-2.0 7# 8# Unless required by applicable law or agreed to in writing, software 9# distributed under the License is distributed on an "AS IS" BASIS, 10# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 11# See the License for the specific language governing permissions and 12# limitations under the License. 13 14# Check VerifyError 15.record panda.String <external> 16.record panda.VerifyError <external> 17 18.function panda.String panda.VerifyError.getMessage(panda.VerifyError a0) <external> 19 20.record A <final> {} 21.record B <extends=A> {} 22 23.function i32 main() { 24try_begin: 25 newobj v0, B 26 ldai 3 27try_end: 28 return 29catch_block1_begin: 30 sta.obj v0 31 call.virt panda.VerifyError.getMessage, v0 32 jeqz.obj return_error 33 ldai 0 34 return 35 36catch_block2_begin: 37 ldai 1 38 return 39 40return_error: 41 ldai 2 42 return 43 44.catch panda.VerifyError, try_begin, try_end, catch_block1_begin 45.catchall try_begin, try_end, catch_block2_begin 46} 47