1/* SPDX-License-Identifier: LGPL-2.1-or-later */
2@@
3statement s;
4@@
5- while (true)
6+ for (;;)
7s
8@@
9statement s;
10@@
11- while (1)
12+ for (;;)
13s
14