14514f5e3Sopenharmony_ci/*
24514f5e3Sopenharmony_ci * Copyright (c) 2024 Huawei Device Co., Ltd.
34514f5e3Sopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License");
44514f5e3Sopenharmony_ci * you may not use this file except in compliance with the License.
54514f5e3Sopenharmony_ci * You may obtain a copy of the License at
64514f5e3Sopenharmony_ci *
74514f5e3Sopenharmony_ci *     http://www.apache.org/licenses/LICENSE-2.0
84514f5e3Sopenharmony_ci *
94514f5e3Sopenharmony_ci * Unless required by applicable law or agreed to in writing, software
104514f5e3Sopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS,
114514f5e3Sopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
124514f5e3Sopenharmony_ci * See the License for the specific language governing permissions and
134514f5e3Sopenharmony_ci * limitations under the License.
144514f5e3Sopenharmony_ci */
154514f5e3Sopenharmony_ci
164514f5e3Sopenharmony_cideclare function print(arg:any):string;
174514f5e3Sopenharmony_cifunction changeToDic() {
184514f5e3Sopenharmony_ci    let z = [1,2,3]
194514f5e3Sopenharmony_ci    z.length = 10000
204514f5e3Sopenharmony_ci    z[9999] = 9999
214514f5e3Sopenharmony_ci    print(z.pop())
224514f5e3Sopenharmony_ci}
234514f5e3Sopenharmony_ci//aot: [trace] aot inline function name: #*#changeToDic@builtinArrayPopProtoChange caller function name: func_main_0@builtinArrayPopProtoChange
244514f5e3Sopenharmony_ci//aot: [trace] Check Type: BuiltinInstanceHClassMismatch
254514f5e3Sopenharmony_cichangeToDic() //: 9999
264514f5e3Sopenharmony_cifunction prototypeChange(){
274514f5e3Sopenharmony_ci  Array.prototype[1] = 1
284514f5e3Sopenharmony_ci  var x = [0]
294514f5e3Sopenharmony_ci  x.length = 2
304514f5e3Sopenharmony_ci  var pop = x.pop()
314514f5e3Sopenharmony_ci  //aot: [trace] Check Type: NotStableArray1
324514f5e3Sopenharmony_ci  print(pop) //: 1
334514f5e3Sopenharmony_ci  Object.prototype.length =  2
344514f5e3Sopenharmony_ci}
354514f5e3Sopenharmony_ciprototypeChange()