1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7int f(int x)
8{
9  _Bool b = (x < 10);
10  return (b == 0);
11}
12
13int g(_Bool b2)
14{
15  return b2 > 3;
16}
17
18_Bool h(_Bool b3)
19{
20  return !b3;
21}
22
23/* pointers convert to bool, being 1 if non-null, 0 otherwise */
24_Bool ptrconversion(char *ptr)
25{
26  return ptr;
27}
28