1 /* PR debug/59418 */
2 /* Reported by Ryan Mansfield <rmansfield@qnx.com> */
3 
4 /* { dg-do compile } */
5 /* { dg-options "-Os -g" } */
6 /* { dg-options "-march=armv7-a -mfloat-abi=hard -Os -g" { target { arm*-*-* && { ! arm_thumb1 } } } } */
7 
8 extern int printf (const char *__format, ...);
9 
10 void
foo(const char * pptr,int caplen)11 foo (const char *pptr, int caplen)
12 {
13   int type;
14   const char *tptr;
15   if (caplen < 4)
16     {
17       (void) printf ("foo");
18       return;
19     }
20   while (tptr < pptr)
21     {
22       switch (type)
23 	{
24 	case 0x01:
25 	  printf ("");
26 	case 0x0b:
27 	  printf ("");
28 	case 0x0e:
29 	  printf ("");
30 	case 0x10:
31 	  printf ("%1.2fW", bar (tptr, caplen) / 1000.0);
32 	}
33     }
34   printf ("foo");
35 }
36