/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-10.c

https://gitlab.com/4144/gcc · C · 274 lines · 209 code · 44 blank · 21 comment · 0 complexity · d0e4c342e2ad48131871ec279be2f9c3 MD5 · raw file 

    

  1. /* 78696 - -fprintf-return-value misoptimizes %.Ng where N is greater than 10
    2. 

  2.    Test to verify the correctness of ranges of output computed for floating
    3. 

  3.    point directives.
    4. 

  4.    { dg-do compile }
    5. 

  5.    { dg-require-effective-target double64plus }
    6. 

  6.    { dg-skip-if "not IEEE float layout" { "pdp11-*-*" } }
    7. 

  7.    { dg-options "-O2 -Wformat -Wformat-overflow -ftrack-macro-expansion=0" } */
    8. 

  8. 

  9. typedef __builtin_va_list va_list;
    10. 

  10. 

  11. char dst[1];
    12. 

  12. 

  13. extern void sink (int, void*);
    14. 

  14. 

  15. /* Macro to test either width or precision specified by the asterisk
    16. 

  16.    (but not both).  */
    17. 

  17. #define T1(fmt, a)    sink (__builtin_sprintf (dst + 1, fmt, a, x), dst)
    18. 

  18. 

  19. /* Macro to test both width and precision specified by the asterisk.  */
    20. 

  20. #define T2(fmt, w, p) sink (__builtin_sprintf (dst + 1, fmt, w, p, x), dst)
    21. 

  21. 

  22. /* Macro to test vsprintf with both width and precision specified by
    23. 

  23.    the asterisk.  */
    24. 

  24. #define T(fmt) sink (__builtin_vsprintf (dst + 1, fmt, va), dst)
    25. 

  25. 

  26. /* Exercise %a.  */
    27. 

  27. void test_a (int w, int p, double x)
    28. 

  28. {
    29. 

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

  30.   T1 ("%.*a", 1);     /* { dg-warning "between 3 and 12 bytes" } */
    31. 

  31.   T1 ("%.*a", 2);     /* { dg-warning "between 3 and 13 bytes" } */
    32. 

  32.   T1 ("%.*a", 99);    /* { dg-warning "between 3 and 110 bytes" } */
    33. 

  33.   T1 ("%.*a", 199);   /* { dg-warning "between 3 and 210 bytes" } */
    34. 

  34.   T1 ("%.*a", 1099);  /* { dg-warning "between 3 and 1110 bytes" } */
    35. 

  35. 

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

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

  38.   T1 ("%*.a", 3);     /* { dg-warning "between 3 and 10 bytes" } */
    39. 

  39.   T1 ("%*.a", 6);     /* { dg-warning "between 6 and 10 bytes" } */
    40. 

  40.   T1 ("%*.a", 7);     /* { dg-warning "between 7 and 10 bytes" } */
    41. 

  41. 

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

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

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

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

  46. 

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

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

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

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

  51. 

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

  53. }
    54. 

  54. 

  55. /* Exercise %e.  */
    56. 

  56. void test_e (int w, int p, double x)
    57. 

  57. {
    58. 

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

  59.   T1 ("%.*e", 1);     /* { dg-warning "between 3 and 9 bytes" } */
    60. 

  60.   T1 ("%.*e", 2);     /* { dg-warning "between 3 and 10 bytes" } */
    61. 

  61.   T1 ("%.*e", 99);    /* { dg-warning "between 3 and 107 bytes" } */
    62. 

  62.   T1 ("%.*e", 199);   /* { dg-warning "between 3 and 207 bytes" } */
    63. 

  63.   T1 ("%.*e", 1099);  /* { dg-warning "between 3 and 1107 bytes" } */
    64. 

  64. 

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

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

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

  68.   T1 ("%*.e", 3);     /* { dg-warning "between 3 and 7 bytes" } */
    69. 

  69.   T1 ("%*.e", 6);     /* { dg-warning "between 6 and 7 bytes" } */
    70. 

  70.   T1 ("%*.e", 7);     /* { dg-warning "writing 7 bytes" } */
    71. 

  71. 

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

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

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

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

  76. 

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

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

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

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

  81. 

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

  83. }
    84. 

  84. 

  85. /* Exercise %f.  */
    86. 

  86. void test_f (int w, int p, double x)
    87. 

  87. {
    88. 

  88.   T1 ("%.*f", 0);           /* { dg-warning "between 1 and 310 bytes" } */
    89. 

  89.   T1 ("%.*f", 1);           /* { dg-warning "between 3 and 312 bytes" } */
    90. 

  90.   T1 ("%.*f", 2);           /* { dg-warning "between 3 and 313 bytes" } */
    91. 

  91.   T1 ("%.*f", 99);          /* { dg-warning "between 3 and 410 bytes" } */
    92. 

  92.   T1 ("%.*f", 199);         /* { dg-warning "between 3 and 510 bytes" } */
    93. 

  93.   T1 ("%.*f", 1099);        /* { dg-warning "between 3 and 1410 bytes" } */
    94. 

  94. 

  95.   T2 ("%*.*f", 0, 0);       /* { dg-warning "between 1 and 310 bytes" } */
    96. 

  96.   T2 ("%*.*f", 1, 0);       /* { dg-warning "between 1 and 310 bytes" } */
    97. 

  97.   T2 ("%*.*f", 2, 0);       /* { dg-warning "between 2 and 310 bytes" } */
    98. 

  98.   T2 ("%*.*f", 3, 0);       /* { dg-warning "between 3 and 310 bytes" } */
    99. 

  99.   T2 ("%*.*f", 310, 0);     /* { dg-warning "writing 310 bytes" } */
    100. 

  100.   T2 ("%*.*f", 311, 0);     /* { dg-warning "writing 311 bytes" } */
    101. 

  101.   T2 ("%*.*f", 312, 312);   /* { dg-warning "between 312 and 623 bytes" } */
    102. 

  102.   T2 ("%*.*f", 312, 313);   /* { dg-warning "between 312 and 624 bytes" } */
    103. 

  103. 

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

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

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

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

  108. 

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

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

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

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

  113. 

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

  115. }
    116. 

  116. 

  117. /* Exercise %g.  The expected output is the lesser of %e and %f.  */
    118. 

  118. void test_g (double x)
    119. 

  119. {
    120. 

  120.   T1 ("%.*g", 0);           /* { dg-warning "between 1 and 7 bytes" } */
    121. 

  121.   T1 ("%.*g", 1);           /* { dg-warning "between 1 and 7 bytes" } */
    122. 

  122.   T1 ("%.*g", 2);           /* { dg-warning "between 1 and 9 bytes" } */
    123. 

  123.   T1 ("%.*g", 99);          /* { dg-warning "between 1 and 106 bytes" } */
    124. 

  124.   T1 ("%.*g", 199);         /* { dg-warning "between 1 and 206 bytes" } */
    125. 

  125.   T1 ("%.*g", 1099);        /* { dg-warning "between 1 and 310 bytes" } */
    126. 

  126. 

  127.   T2 ("%*.*g", 0, 0);       /* { dg-warning "between 1 and 7 bytes" } */
    128. 

  128.   T2 ("%*.*g", 1, 0);       /* { dg-warning "between 1 and 7 bytes" } */
    129. 

  129.   T2 ("%*.*g", 2, 0);       /* { dg-warning "between 2 and 7 bytes" } */
    130. 

  130.   T2 ("%*.*g", 3, 0);       /* { dg-warning "between 3 and 7 bytes" } */
    131. 

  131.   T2 ("%*.*g", 7, 0);       /* { dg-warning "writing 7 bytes" } */
    132. 

  132.   T2 ("%*.*g", 310, 0);     /* { dg-warning "writing 310 bytes" } */
    133. 

  133.   T2 ("%*.*g", 311, 0);     /* { dg-warning "writing 311 bytes" } */
    134. 

  134.   T2 ("%*.*g", 312, 312);   /* { dg-warning "writing 312 bytes" } */
    135. 

  135.   T2 ("%*.*g", 312, 313);   /* { dg-warning "writing 312 bytes" } */
    136. 

  136.   T2 ("%*.*g", 333, 999);   /* { dg-warning "writing 333 bytes" } */
    137. 

  137. }
    138. 

  138. 

  139. /* Exercise %a.  */
    140. 

  140. void test_a_va (va_list va)
    141. 

  141. {
    142. 

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

  143.   T ("%.1a");       /* { dg-warning "between 3 and 12 bytes" } */
    144. 

  144.   T ("%.2a");       /* { dg-warning "between 3 and 13 bytes" } */
    145. 

  145.   T ("%.99a");      /* { dg-warning "between 3 and 110 bytes" } */
    146. 

  146.   T ("%.199a");     /* { dg-warning "between 3 and 210 bytes" } */
    147. 

  147.   T ("%.1099a");    /* { dg-warning "between 3 and 1110 bytes" } */
    148. 

  148. 

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

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

  151.   T ("%3.a");       /* { dg-warning "between 3 and 10 bytes" } */
    152. 

  152.   T ("%6.a");       /* { dg-warning "between 6 and 10 bytes" } */
    153. 

  153.   T ("%7.a");       /* { dg-warning "between 7 and 10 bytes" } */
    154. 

  154. 

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

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

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

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

  159. 

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

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

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

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

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

  165. 

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

  167. }
    168. 

  168. 

  169. /* Exercise %e.  */
    170. 

  170. void test_e_va (va_list va)
    171. 

  171. {
    172. 

  172.   T ("%e");         /* { dg-warning "between 3 and 14 bytes" } */
    173. 

  173.   T ("%+e");        /* { dg-warning "between 4 and 14 bytes" } */
    174. 

  174.   T ("% e");        /* { dg-warning "between 4 and 14 bytes" } */
    175. 

  175.   T ("%#e");        /* { dg-warning "between 3 and 14 bytes" } */
    176. 

  176.   T ("%#+e");       /* { dg-warning "between 4 and 14 bytes" } */
    177. 

  177.   T ("%# e");       /* { dg-warning "between 4 and 14 bytes" } */
    178. 

  178. 

  179.   T ("%.e");        /* { dg-warning "between 3 and 7 bytes" } */
    180. 

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

  181.   T ("%.1e");       /* { dg-warning "between 3 and 9 bytes" } */
    182. 

  182.   T ("%.2e");       /* { dg-warning "between 3 and 10 bytes" } */
    183. 

  183.   T ("%.99e");      /* { dg-warning "between 3 and 107 bytes" } */
    184. 

  184.   T ("%.199e");     /* { dg-warning "between 3 and 207 bytes" } */
    185. 

  185.   T ("%.1099e");    /* { dg-warning "between 3 and 1107 bytes" } */
    186. 

  186. 

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

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

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

  190.   T ("%3.e");       /* { dg-warning "between 3 and 7 bytes" } */
    191. 

  191.   T ("%6.e");       /* { dg-warning "between 6 and 7 bytes" } */
    192. 

  192.   T ("%7.e");       /* { dg-warning "writing 7 bytes" } */
    193. 

  193. 

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

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

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

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

  198. 

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

  200. }
    201. 

  201. 

  202. /* Exercise %f.  */
    203. 

  203. void test_f_va (va_list va)
    204. 

  204. {
    205. 

  205.   T ("%f");         /* { dg-warning "between 3 and 317 bytes" } */
    206. 

  206.   T ("%+f");        /* { dg-warning "between 4 and 317 bytes" } */
    207. 

  207.   T ("% f");        /* { dg-warning "between 4 and 317 bytes" } */
    208. 

  208.   T ("%#f");        /* { dg-warning "between 3 and 317 bytes" } */
    209. 

  209.   T ("%+f");        /* { dg-warning "between 4 and 317 bytes" } */
    210. 

  210.   T ("% f");        /* { dg-warning "between 4 and 317 bytes" } */
    211. 

  211.   T ("%#+f");       /* { dg-warning "between 4 and 317 bytes" } */
    212. 

  212.   T ("%# f");       /* { dg-warning "between 4 and 317 bytes" } */
    213. 

  213. 

  214.   T ("%.f");        /* { dg-warning "between 1 and 310 bytes" } */
    215. 

  215.   T ("%.0f");       /* { dg-warning "between 1 and 310 bytes" } */
    216. 

  216.   T ("%.1f");       /* { dg-warning "between 3 and 312 bytes" } */
    217. 

  217.   T ("%.2f");       /* { dg-warning "between 3 and 313 bytes" } */
    218. 

  218.   T ("%.99f");      /* { dg-warning "between 3 and 410 bytes" } */
    219. 

  219.   T ("%.199f");     /* { dg-warning "between 3 and 510 bytes" } */
    220. 

  220.   T ("%.1099f");    /* { dg-warning "between 3 and 1410 bytes" } */
    221. 

  221. 

  222.   T ("%0.0f");      /* { dg-warning "between 1 and 310 bytes" } */
    223. 

  223.   T ("%1.0f");      /* { dg-warning "between 1 and 310 bytes" } */
    224. 

  224.   T ("%2.0f");      /* { dg-warning "between 2 and 310 bytes" } */
    225. 

  225.   T ("%3.0f");      /* { dg-warning "between 3 and 310 bytes" } */
    226. 

  226.   T ("%310.0f");    /* { dg-warning "writing 310 bytes" } */
    227. 

  227.   T ("%311.0f");    /* { dg-warning "writing 311 bytes" } */
    228. 

  228.   T ("%312.312f");  /* { dg-warning "between 312 and 623 bytes" } */
    229. 

  229.   T ("%312.313f");  /* { dg-warning "between 312 and 624 bytes" } */
    230. 

  230. 

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

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

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

  234. 

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

  236. }
    237. 

  237. 

  238. /* Exercise %g.  The expected output is the lesser of %e and %f.  */
    239. 

  239. void test_g_va (va_list va)
    240. 

  240. {
    241. 

  241.   T ("%g");         /* { dg-warning "between 1 and 13 bytes" } */
    242. 

  242.   T ("%+g");        /* { dg-warning "between 2 and 13 bytes" } */
    243. 

  243.   T ("% g");        /* { dg-warning "between 2 and 13 bytes" } */
    244. 

  244. 

  245.   /* The pound flag means the radix character is always present.  */
    246. 

  246.   T ("%#g");        /* { dg-warning "between 2 and 13 bytes" } */
    247. 

  247.   T ("%#+g");       /* { dg-warning "between 3 and 13 bytes" } */
    248. 

  248.   T ("%# g");       /* { dg-warning "between 3 and 13 bytes" } */
    249. 

  249. 

  250.   T ("%.g");        /* { dg-warning "between 1 and 7 bytes" } */
    251. 

  251.   T ("%.0g");       /* { dg-warning "between 1 and 7 bytes" } */
    252. 

  252.   T ("%.1g");       /* { dg-warning "between 1 and 7 bytes" } */
    253. 

  253.   T ("%.2g");       /* { dg-warning "between 1 and 9 bytes" } */
    254. 

  254.   T ("%.99g");      /* { dg-warning "between 1 and 106 bytes" } */
    255. 

  255.   T ("%.199g");     /* { dg-warning "between 1 and 206 bytes" } */
    256. 

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

  257. 

  258.   T ("%0.0g");      /* { dg-warning "between 1 and 7 bytes" } */
    259. 

  259.   T ("%1.0g");      /* { dg-warning "between 1 and 7 bytes" } */
    260. 

  260.   T ("%2.0g");      /* { dg-warning "between 2 and 7 bytes" } */
    261. 

  261.   T ("%3.0g");      /* { dg-warning "between 3 and 7 bytes" } */
    262. 

  262.   T ("%7.0g");      /* { dg-warning "writing 7 bytes" } */
    263. 

  263.   T ("%310.0g");    /* { dg-warning "writing 310 bytes" } */
    264. 

  264.   T ("%311.0g");    /* { dg-warning "writing 311 bytes" } */
    265. 

  265.   T ("%312.312g");  /* { dg-warning "writing 312 bytes" } */
    266. 

  266.   T ("%312.313g");  /* { dg-warning "writing 312 bytes" } */
    267. 

  267.   T ("%333.999g");  /* { dg-warning "writing 333 bytes" } */
    268. 

  268. 

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

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

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

  272. 

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

  274. }
    275.