[splint.git] / test / tests2.5 / booltest.c

/*
** Boolean type checking
*/

typedef int bool;

bool f (int i, bool b) {
  if (i) { /* error with -boolint -predboolint */
    return i; /* error with -boolint */
  } else {
    return b; /* okay */
  }
}
Commit	Line	Data
cc78dedd	1	/*
	2	** Boolean type checking
	3	*/
	4
	5	typedef int bool;
	6
	7	bool f (int i, bool b) {
	8	if (i) { /* error with -boolint -predboolint */
	9	return i; /* error with -boolint */
	10	} else {
	11	return b; /* okay */
	12	}
	13	}
	14