[splint.git] / test / tests2.2 / boolops.c

/*@-booltype Kzam@*/
typedef int Kzam;

enum { TRUE, FALSE } ;

int main() {
  Kzam b = TRUE;
  Kzam b1 = b;

  b = TRUE;
  b = b1;
  b = 12; /* Assignment of int to Kzam: b = 12 */

  b = TRUE && FALSE;
  b = b && FALSE;
  b = FALSE && b;

  if ((b && FALSE) == 0)
    return(0);
  return(0);
}
Commit	Line	Data
885824d3	1	/@-booltype Kzam@/
	2	typedef int Kzam;
	3
	4	enum { TRUE, FALSE } ;
	5
	6	int main() {
	7	Kzam b = TRUE;
	8	Kzam b1 = b;
	9
	10	b = TRUE;
	11	b = b1;
	12	b = 12; /* Assignment of int to Kzam: b = 12 */
	13
	14	b = TRUE && FALSE;
	15	b = b && FALSE;
	16	b = FALSE && b;
	17
	18	if ((b && FALSE) == 0)
	19	return(0);
	20	return(0);
	21	}