1425bb815Sopenharmony_ci// Copyright JS Foundation and other contributors, http://js.foundation
2425bb815Sopenharmony_ci//
3425bb815Sopenharmony_ci// Licensed under the Apache License, Version 2.0 (the "License");
4425bb815Sopenharmony_ci// you may not use this file except in compliance with the License.
5425bb815Sopenharmony_ci// You may obtain a copy of the License at
6425bb815Sopenharmony_ci//
7425bb815Sopenharmony_ci//     http://www.apache.org/licenses/LICENSE-2.0
8425bb815Sopenharmony_ci//
9425bb815Sopenharmony_ci// Unless required by applicable law or agreed to in writing, software
10425bb815Sopenharmony_ci// distributed under the License is distributed on an "AS IS" BASIS
11425bb815Sopenharmony_ci// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12425bb815Sopenharmony_ci// See the License for the specific language governing permissions and
13425bb815Sopenharmony_ci// limitations under the License.
14425bb815Sopenharmony_ci
15425bb815Sopenharmony_cifunction f1()
16425bb815Sopenharmony_ci{
17425bb815Sopenharmony_ci  function f2()
18425bb815Sopenharmony_ci    {
19425bb815Sopenharmony_ci      assert(k > 0);
20425bb815Sopenharmony_ci      assert(i < 10000);
21425bb815Sopenharmony_ci
22425bb815Sopenharmony_ci      if(--k == 0)
23425bb815Sopenharmony_ci        {
24425bb815Sopenharmony_ci          return;
25425bb815Sopenharmony_ci        }
26425bb815Sopenharmony_ci
27425bb815Sopenharmony_ci      f2();
28425bb815Sopenharmony_ci    }
29425bb815Sopenharmony_ci
30425bb815Sopenharmony_ci  k = 17;
31425bb815Sopenharmony_ci
32425bb815Sopenharmony_ci  f2();
33425bb815Sopenharmony_ci}
34425bb815Sopenharmony_ci
35425bb815Sopenharmony_civar k;
36425bb815Sopenharmony_civar i;
37425bb815Sopenharmony_ci
38425bb815Sopenharmony_cifor(i = 0; i < 100; i++)
39425bb815Sopenharmony_ci{
40425bb815Sopenharmony_ci  f1();
41425bb815Sopenharmony_ci}
42