view gcc/testsuite/c-c++-common/Wimplicit-fallthrough-10.c @ 144:8f4e72ab4e11

fix segmentation fault caused by nothing next cur_op to end
author Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 21:23:56 +0900
parents 04ced10e8804
children
line wrap: on
line source

/* PR c/7652 */
/* { dg-do compile } */
/* { dg-options "-Wimplicit-fallthrough" } */

extern void bar (int);

void
f (int i)
{
  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  break;
	}
      else if (i > 10)
	{
	  bar (1);
	  __attribute__((fallthrough));
	}
      else
	break;
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i) /* { dg-warning "statement may fall through" } */
	bar (2);
      else if (i > 10)
	{
	  bar (3);
	  __attribute__((fallthrough));
	}
      else
	break;
      case 2:
	bar (4);
    }

  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  break;
	}
      else if (i > 10) /* { dg-warning "statement may fall through" } */
	{
	  bar (1);
	}
      else
	break;
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  break;
	}
      else if (i > 10)
	{
	  bar (1);
	  break;
	}
      else
	break;
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  break;
	}
      else if (i > 10)
	{
	  bar (1);
	  break;
	}
      else
	bar (2); /* { dg-warning "statement may fall through" } */
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  __attribute__((fallthrough));
	}
      else if (i > 10)
	{
	  bar (1);
	  break;
	}
      else
	bar (2); /* { dg-warning "statement may fall through" } */
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  __attribute__((fallthrough));
	}
      else if (i > 10)
	{
	  bar (1);
	  __attribute__((fallthrough));
	}
      else
	break;
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  __attribute__((fallthrough));
	}
      else if (i > 10)
	{
	  bar (1);
	  __attribute__((fallthrough));
	}
      else
	bar (2); /* { dg-warning "statement may fall through" } */
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  __attribute__((fallthrough));
	}
      else if (i > 10) /* { dg-warning "statement may fall through" } */
	{
	  bar (1);
	  bar (2);
	}
      else
	__attribute__((fallthrough));
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i)  /* { dg-warning "statement may fall through" } */
	{
	  bar (0);
	}
      else if (i > 10)
	{
	  bar (1);
	}
      else
	{
	  bar (1);
	  __attribute__((fallthrough));
	}
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  __attribute__((fallthrough));
	}
      else if (i > 10)
	{
	  bar (1);
	  break;
	}
      else
	{
	  bar (1);
	  __attribute__((fallthrough));
	}
      case 2:
	bar (99);
    }

  switch (i)
    {
    case 1:
      if (i)
	{
	  bar (0);
	  break;
	}
      else if (i > 10) /* { dg-warning "statement may fall through" } */
	{
	  bar (1);
	}
      else
	{
	  bar (1);
	  __attribute__((fallthrough));
	}
      case 2:
	bar (99);
    }
}