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

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

enum { true, false } ; /* changed to be consistent with ISO 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
0bd4c301	4	enum { true, false } ; /* changed to be consistent with ISO true/false */
885824d3	5
885824d3	6	int main() {
0bd4c301	7	Kzam b = true;
885824d3	8	Kzam b1 = b;
885824d3	9
0bd4c301	10	b = true;
885824d3	11	b = b1;
	12	b = 12; /* Assignment of int to Kzam: b = 12 */
	13
0bd4c301	14	b = true && false;
	15	b = b && false;
	16	b = false && b;
885824d3	17
0bd4c301	18	if ((b && false) == 0)
885824d3	19	return(0);
	20	return(0);
	21	}