[splint.git] / test / manual / switch.c

typedef enum {
  YES, NO, DEFINITELY,
  PROBABLY, MAYBE } ynm;

void decide (ynm y)
{
  switch (y)
    {
    case PROBABLY:
    case NO: printf ("No!");
    case MAYBE: printf ("Maybe");    
         /*@fallthrough@*/
    case YES: printf ("Yes!");
    }
}
Commit	Line	Data
77970e15	1	typedef enum {
	2	YES, NO, DEFINITELY,
	3	PROBABLY, MAYBE } ynm;
	4
	5	void decide (ynm y)
	6	{
	7	switch (y)
	8	{
	9	case PROBABLY:
	10	case NO: printf ("No!");
	11	case MAYBE: printf ("Maybe");
	12	/@fallthrough@/
	13	case YES: printf ("Yes!");
	14	}
	15	}