[splint.git] / test / tests2.2a / boolcomp.c

# include "../bool.h"

int f (bool a, bool b)
{
  if (a == b) /* 1. */
    {
      return 3;
    }
  else if ((a == b) /* 2. */
	   == 
	   (a != b)) /* 3. */
    {
      return 5;
    }
  else if ((a == FALSE) == 
	   (b == TRUE)) /* 4. */
    {
      return 7;
    }
}
Commit	Line	Data
885824d3	1	# include "../bool.h"
	2
	3	int f (bool a, bool b)
	4	{
	5	if (a == b) /* 1. */
	6	{
	7	return 3;
	8	}
	9	else if ((a == b) /* 2. */
	10	==
	11	(a != b)) /* 3. */
	12	{
	13	return 5;
	14	}
	15	else if ((a == FALSE) ==
	16	(b == TRUE)) /* 4. */
	17	{
	18	return 7;
	19	}
	20	}