[splint.git] / test / preds.c

# include "bool.h"

int f (bool b1, bool b2, char c, int *p)
{
  if (!p)
    {
      return 3;
    }

  if (*p)
    {
      return 4;
    }

  if (!(*p))
    {
      return 4;
    }

  if (b1 = b2)
    {
      return 5;
    }
  
  if ((c = 'a'))
    {
      return 5;
    }  

  if (b1 == b2)
    {
      return 5;
    }
  
  if (c)
    {
      return 2;
    }

  return 12;
}
Commit	Line	Data
885824d3	1	# include "bool.h"
	2
	3	int f (bool b1, bool b2, char c, int *p)
	4	{
	5	if (!p)
	6	{
	7	return 3;
	8	}
	9
	10	if (*p)
	11	{
	12	return 4;
	13	}
	14
	15	if (!(*p))
	16	{
	17	return 4;
	18	}
	19
	20	if (b1 = b2)
	21	{
	22	return 5;
	23	}
	24
	25	if ((c = 'a'))
	26	{
	27	return 5;
	28	}
	29
	30	if (b1 == b2)
	31	{
	32	return 5;
	33	}
	34
	35	if (c)
	36	{
	37	return 2;
	38	}
	39
	40	return 12;
	41	}
	42
	43
	44
	45
	46
	47
	48
	49