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