Fix profile update in tree_transform_and_unroll_loop

[thirdparty/gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / builtin-sprintf-warn-10.c

/* 78696 - -fprintf-return-value misoptimizes %.Ng where N is greater than 10
   Test to verify the correctness of ranges of output computed for floating
   point directives.
   { dg-do compile }
   { dg-require-effective-target double64plus }
   { dg-skip-if "not IEEE float layout" { "pdp11-*-*" } }
   { dg-options "-O2 -Wformat -Wformat-overflow -ftrack-macro-expansion=0" } */

typedef __builtin_va_list va_list;

char dst[1];

extern void sink (int, void*);

/* Macro to test either width or precision specified by the asterisk
   (but not both).  */
#define T1(fmt, a)    sink (__builtin_sprintf (dst + 1, fmt, a, x), dst)

/* Macro to test both width and precision specified by the asterisk.  */
#define T2(fmt, w, p) sink (__builtin_sprintf (dst + 1, fmt, w, p, x), dst)

/* Macro to test vsprintf with both width and precision specified by
   the asterisk.  */
#define T(fmt) sink (__builtin_vsprintf (dst + 1, fmt, va), dst)

/* Exercise %a.  */
void test_a (int w, int p, double x)
{
  T1 ("%.*a", 0);     /* { dg-warning "between 3 and 10 bytes" } */
  T1 ("%.*a", 1);     /* { dg-warning "between 3 and 12 bytes" } */
  T1 ("%.*a", 2);     /* { dg-warning "between 3 and 13 bytes" } */
  T1 ("%.*a", 99);    /* { dg-warning "between 3 and 110 bytes" } */
  T1 ("%.*a", 199);   /* { dg-warning "between 3 and 210 bytes" } */
  T1 ("%.*a", 1099);  /* { dg-warning "between 3 and 1110 bytes" } */

  T1 ("%*.a", 0);     /* { dg-warning "between 3 and 10 bytes" } */
  T1 ("%*.a", 1);     /* { dg-warning "between 3 and 10 bytes" } */
  T1 ("%*.a", 3);     /* { dg-warning "between 3 and 10 bytes" } */
  T1 ("%*.a", 6);     /* { dg-warning "between 6 and 10 bytes" } */
  T1 ("%*.a", 7);     /* { dg-warning "between 7 and 10 bytes" } */

  T1 ("%*.a", w);     /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T1 ("%*.0a", w);    /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T1 ("%*.1a", w);    /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T1 ("%*.2a", w);    /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */

  T1 ("%.*a",  p);    /* { dg-warning "writing between 3 and (2147483658|32778) bytes" } */
  T1 ("%1.*a", p);    /* { dg-warning "writing between 3 and (2147483658|32778) bytes" } */
  T1 ("%2.*a", p);    /* { dg-warning "writing between 3 and (2147483658|32778) bytes" } */
  T1 ("%3.*a", p);    /* { dg-warning "writing between 3 and (2147483658|32778) bytes" } */

  T2 ("%*.*a", w, p); /* { dg-warning "writing between 3 and (2147483658|32778) bytes" } */
}

/* Exercise %e.  */
void test_e (int w, int p, double x)
{
  T1 ("%.*e", 0);     /* { dg-warning "between 3 and 7 bytes" } */
  T1 ("%.*e", 1);     /* { dg-warning "between 3 and 9 bytes" } */
  T1 ("%.*e", 2);     /* { dg-warning "between 3 and 10 bytes" } */
  T1 ("%.*e", 99);    /* { dg-warning "between 3 and 107 bytes" } */
  T1 ("%.*e", 199);   /* { dg-warning "between 3 and 207 bytes" } */
  T1 ("%.*e", 1099);  /* { dg-warning "between 3 and 1107 bytes" } */

  T1 ("%*.e", 0);     /* { dg-warning "between 3 and 7 bytes" } */
  T1 ("%*.e", 1);     /* { dg-warning "between 3 and 7 bytes" } */
  T1 ("%*.e", 1);     /* { dg-warning "between 3 and 7 bytes" } */
  T1 ("%*.e", 3);     /* { dg-warning "between 3 and 7 bytes" } */
  T1 ("%*.e", 6);     /* { dg-warning "between 6 and 7 bytes" } */
  T1 ("%*.e", 7);     /* { dg-warning "writing 7 bytes" } */

  T1 ("%*.e", w);     /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T1 ("%*.0e", w);    /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T1 ("%*.1e", w);    /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T1 ("%*.2e", w);    /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */

  T1 ("%.*e",  p);    /* { dg-warning "writing between 3 and (2147483655|32775) bytes" } */
  T1 ("%1.*e", p);    /* { dg-warning "writing between 3 and (2147483655|32775) bytes" } */
  T1 ("%2.*e", p);    /* { dg-warning "writing between 3 and (2147483655|32775) bytes" } */
  T1 ("%3.*e", p);    /* { dg-warning "writing between 3 and (2147483655|32775) bytes" } */

  T2 ("%*.*e", w, p); /* { dg-warning "writing between 3 and (2147483655|32775) bytes" } */
}

/* Exercise %f.  */
void test_f (int w, int p, double x)
{
  T1 ("%.*f", 0);           /* { dg-warning "between 1 and 310 bytes" } */
  T1 ("%.*f", 1);           /* { dg-warning "between 3 and 312 bytes" } */
  T1 ("%.*f", 2);           /* { dg-warning "between 3 and 313 bytes" } */
  T1 ("%.*f", 99);          /* { dg-warning "between 3 and 410 bytes" } */
  T1 ("%.*f", 199);         /* { dg-warning "between 3 and 510 bytes" } */
  T1 ("%.*f", 1099);        /* { dg-warning "between 3 and 1410 bytes" } */

  T2 ("%*.*f", 0, 0);       /* { dg-warning "between 1 and 310 bytes" } */
  T2 ("%*.*f", 1, 0);       /* { dg-warning "between 1 and 310 bytes" } */
  T2 ("%*.*f", 2, 0);       /* { dg-warning "between 2 and 310 bytes" } */
  T2 ("%*.*f", 3, 0);       /* { dg-warning "between 3 and 310 bytes" } */
  T2 ("%*.*f", 310, 0);     /* { dg-warning "writing 310 bytes" } */
  T2 ("%*.*f", 311, 0);     /* { dg-warning "writing 311 bytes" } */
  T2 ("%*.*f", 312, 312);   /* { dg-warning "between 312 and 623 bytes" } */
  T2 ("%*.*f", 312, 313);   /* { dg-warning "between 312 and 624 bytes" } */

  T1 ("%*.f", w);           /* { dg-warning "writing between 1 and (2147483648|32768) bytes" } */
  T1 ("%*.0f", w);          /* { dg-warning "writing between 1 and (2147483648|32768) bytes" } */
  T1 ("%*.1f", w);          /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T1 ("%*.2f", w);          /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */

  T1 ("%.*f",  p);          /* { dg-warning "writing between 1 and (2147483958|33078) bytes" } */
  T1 ("%1.*f", p);          /* { dg-warning "writing between 1 and (2147483958|33078) bytes" } */
  T1 ("%2.*f", p);          /* { dg-warning "writing between 2 and (2147483958|33078) bytes" } */
  T1 ("%3.*f", p);          /* { dg-warning "writing between 3 and (2147483958|33078) bytes" } */

  T2 ("%*.*f", w, p);       /* { dg-warning "writing between 1 and (2147483958|33078) bytes" } */
}

/* Exercise %g.  The expected output is the lesser of %e and %f.  */
void test_g (double x)
{
  T1 ("%.*g", 0);           /* { dg-warning "between 1 and 7 bytes" } */
  T1 ("%.*g", 1);           /* { dg-warning "between 1 and 7 bytes" } */
  T1 ("%.*g", 2);           /* { dg-warning "between 1 and 9 bytes" } */
  T1 ("%.*g", 99);          /* { dg-warning "between 1 and 106 bytes" } */
  T1 ("%.*g", 199);         /* { dg-warning "between 1 and 206 bytes" } */
  T1 ("%.*g", 1099);        /* { dg-warning "between 1 and 310 bytes" } */

  T2 ("%*.*g", 0, 0);       /* { dg-warning "between 1 and 7 bytes" } */
  T2 ("%*.*g", 1, 0);       /* { dg-warning "between 1 and 7 bytes" } */
  T2 ("%*.*g", 2, 0);       /* { dg-warning "between 2 and 7 bytes" } */
  T2 ("%*.*g", 3, 0);       /* { dg-warning "between 3 and 7 bytes" } */
  T2 ("%*.*g", 7, 0);       /* { dg-warning "writing 7 bytes" } */
  T2 ("%*.*g", 310, 0);     /* { dg-warning "writing 310 bytes" } */
  T2 ("%*.*g", 311, 0);     /* { dg-warning "writing 311 bytes" } */
  T2 ("%*.*g", 312, 312);   /* { dg-warning "writing 312 bytes" } */
  T2 ("%*.*g", 312, 313);   /* { dg-warning "writing 312 bytes" } */
  T2 ("%*.*g", 333, 999);   /* { dg-warning "writing 333 bytes" } */
}

/* Exercise %a.  */
void test_a_va (va_list va)
{
  T ("%.0a");       /* { dg-warning "between 3 and 10 bytes" } */
  T ("%.1a");       /* { dg-warning "between 3 and 12 bytes" } */
  T ("%.2a");       /* { dg-warning "between 3 and 13 bytes" } */
  T ("%.99a");      /* { dg-warning "between 3 and 110 bytes" } */
  T ("%.199a");     /* { dg-warning "between 3 and 210 bytes" } */
  T ("%.1099a");    /* { dg-warning "between 3 and 1110 bytes" } */

  T ("%0.a");       /* { dg-warning "between 3 and 10 bytes" } */
  T ("%1.a");       /* { dg-warning "between 3 and 10 bytes" } */
  T ("%3.a");       /* { dg-warning "between 3 and 10 bytes" } */
  T ("%6.a");       /* { dg-warning "between 6 and 10 bytes" } */
  T ("%7.a");       /* { dg-warning "between 7 and 10 bytes" } */

  T ("%*.a");       /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T ("%*.0a");      /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T ("%*.1a");      /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */
  T ("%*.2a");      /* { dg-warning "writing between 3 and (2147483648|32768) bytes" } */

  T ("%.*a");       /* { dg-warning "writing between 3 and (2147483658|32778) bytes" } */
  T ("%1.*a");      /* { dg-warning "writing between 3 and (2147483658|32778) bytes" } */
  T ("%2.*a");      /* { dg-warning "writing between 3 and (2147483658|32778) bytes" } */
  T ("%6.*a");      /* { dg-warning "writing between 6 and (2147483658|32778) bytes" } */
  T ("%9.*a");      /* { dg-warning "writing between 9 and (2147483658|32778) bytes" } */

  T ("%*.*a");      /* { dg-warning "writing between 3 and (2147483658|32778) bytes" } */
}

/* Exercise %e.  */
void test_e_va (va_list va)
{
  T ("%e");         /* { dg-warning "between 3 and 14 bytes" } */
  T ("%+e");        /* { dg-warning "between 4 and 14 bytes" } */
  T ("% e");        /* { dg-warning "between 4 and 14 bytes" } */
  T ("%#e");        /* { dg-warning "between 3 and 14 bytes" } */
  T ("%#+e");       /* { dg-warning "between 4 and 14 bytes" } */
  T ("%# e");       /* { dg-warning "between 4 and 14 bytes" } */

  T ("%.e");        /* { dg-warning "between 3 and 7 bytes" } */
  T ("%.0e");       /* { dg-warning "between 3 and 7 bytes" } */
  T ("%.1e");       /* { dg-warning "between 3 and 9 bytes" } */
  T ("%.2e");       /* { dg-warning "between 3 and 10 bytes" } */
  T ("%.99e");      /* { dg-warning "between 3 and 107 bytes" } */
  T ("%.199e");     /* { dg-warning "between 3 and 207 bytes" } */
  T ("%.1099e");    /* { dg-warning "between 3 and 1107 bytes" } */

  T ("%0.e");       /* { dg-warning "between 3 and 7 bytes" } */
  T ("%1.e");       /* { dg-warning "between 3 and 7 bytes" } */
  T ("%1.e");       /* { dg-warning "between 3 and 7 bytes" } */
  T ("%3.e");       /* { dg-warning "between 3 and 7 bytes" } */
  T ("%6.e");       /* { dg-warning "between 6 and 7 bytes" } */
  T ("%7.e");       /* { dg-warning "writing 7 bytes" } */

  T ("%.*e");       /* { dg-warning "writing between 3 and (2147483655|32775) bytes" } */
  T ("%1.*e");      /* { dg-warning "writing between 3 and (2147483655|32775) bytes" } */
  T ("%6.*e");      /* { dg-warning "writing between 6 and (2147483655|32775) bytes" } */
  T ("%9.*e");      /* { dg-warning "writing between 9 and (2147483655|32775) bytes" } */

  T ("%*.*e");      /* { dg-warning "writing between 3 and (2147483655|32775) bytes" } */
}

/* Exercise %f.  */
void test_f_va (va_list va)
{
  T ("%f");         /* { dg-warning "between 3 and 317 bytes" } */
  T ("%+f");        /* { dg-warning "between 4 and 317 bytes" } */
  T ("% f");        /* { dg-warning "between 4 and 317 bytes" } */
  T ("%#f");        /* { dg-warning "between 3 and 317 bytes" } */
  T ("%+f");        /* { dg-warning "between 4 and 317 bytes" } */
  T ("% f");        /* { dg-warning "between 4 and 317 bytes" } */
  T ("%#+f");       /* { dg-warning "between 4 and 317 bytes" } */
  T ("%# f");       /* { dg-warning "between 4 and 317 bytes" } */

  T ("%.f");        /* { dg-warning "between 1 and 310 bytes" } */
  T ("%.0f");       /* { dg-warning "between 1 and 310 bytes" } */
  T ("%.1f");       /* { dg-warning "between 3 and 312 bytes" } */
  T ("%.2f");       /* { dg-warning "between 3 and 313 bytes" } */
  T ("%.99f");      /* { dg-warning "between 3 and 410 bytes" } */
  T ("%.199f");     /* { dg-warning "between 3 and 510 bytes" } */
  T ("%.1099f");    /* { dg-warning "between 3 and 1410 bytes" } */

  T ("%0.0f");      /* { dg-warning "between 1 and 310 bytes" } */
  T ("%1.0f");      /* { dg-warning "between 1 and 310 bytes" } */
  T ("%2.0f");      /* { dg-warning "between 2 and 310 bytes" } */
  T ("%3.0f");      /* { dg-warning "between 3 and 310 bytes" } */
  T ("%310.0f");    /* { dg-warning "writing 310 bytes" } */
  T ("%311.0f");    /* { dg-warning "writing 311 bytes" } */
  T ("%312.312f");  /* { dg-warning "between 312 and 623 bytes" } */
  T ("%312.313f");  /* { dg-warning "between 312 and 624 bytes" } */

  T ("%.*f");       /* { dg-warning "writing between 1 and (2147483958|33078) bytes" } */
  T ("%1.*f");      /* { dg-warning "writing between 1 and (2147483958|33078) bytes" } */
  T ("%3.*f");      /* { dg-warning "writing between 3 and (2147483958|33078) bytes" } */

  T ("%*.*f");      /* { dg-warning "writing between 1 and (2147483958|33078) bytes" } */
}

/* Exercise %g.  The expected output is the lesser of %e and %f.  */
void test_g_va (va_list va)
{
  T ("%g");         /* { dg-warning "between 1 and 13 bytes" } */
  T ("%+g");        /* { dg-warning "between 2 and 13 bytes" } */
  T ("% g");        /* { dg-warning "between 2 and 13 bytes" } */

  /* The pound flag means the radix character is always present.  */
  T ("%#g");        /* { dg-warning "between 2 and 13 bytes" } */
  T ("%#+g");       /* { dg-warning "between 3 and 13 bytes" } */
  T ("%# g");       /* { dg-warning "between 3 and 13 bytes" } */

  T ("%.g");        /* { dg-warning "between 1 and 7 bytes" } */
  T ("%.0g");       /* { dg-warning "between 1 and 7 bytes" } */
  T ("%.1g");       /* { dg-warning "between 1 and 7 bytes" } */
  T ("%.2g");       /* { dg-warning "between 1 and 9 bytes" } */
  T ("%.99g");      /* { dg-warning "between 1 and 106 bytes" } */
  T ("%.199g");     /* { dg-warning "between 1 and 206 bytes" } */
  T ("%.1099g");    /* { dg-warning "between 1 and 310 bytes" } */

  T ("%0.0g");      /* { dg-warning "between 1 and 7 bytes" } */
  T ("%1.0g");      /* { dg-warning "between 1 and 7 bytes" } */
  T ("%2.0g");      /* { dg-warning "between 2 and 7 bytes" } */
  T ("%3.0g");      /* { dg-warning "between 3 and 7 bytes" } */
  T ("%7.0g");      /* { dg-warning "writing 7 bytes" } */
  T ("%310.0g");    /* { dg-warning "writing 310 bytes" } */
  T ("%311.0g");    /* { dg-warning "writing 311 bytes" } */
  T ("%312.312g");  /* { dg-warning "writing 312 bytes" } */
  T ("%312.313g");  /* { dg-warning "writing 312 bytes" } */
  T ("%333.999g");  /* { dg-warning "writing 333 bytes" } */

  T ("%.*g");       /* { dg-warning "writing between 1 and 310 bytes" } */
  T ("%1.*g");      /* { dg-warning "writing between 1 and 310 bytes" } */
  T ("%4.*g");      /* { dg-warning "writing between 4 and 310 bytes" } */

  T ("%*.*g");      /* { dg-warning "writing between 1 and (2147483648|32768) bytes" } */
}