/gcc/testsuite/gcc.dg/Wstringop-overflow-11.c

https://gitlab.com/adotout/gcc · C · 321 lines · 243 code · 63 blank · 15 comment · 4 complexity · d4ebbcbb33a270d753f43e4012923260 MD5 · raw file 

    

  1. /* PR tree-optimization/89350 - Wrong -Wstringop-overflow warning
    2. 

  2.    on a variable offset from the end of an array
    3. 

  3.    Test exercising -Wstringop-truncation with -Wall.
    4. 

  4.    -Wstringop-truncation is disabled to avoid warnings for strncpy
    5. 

  5.    calls whose bound matches the size of the destination getting
    6. 

  6.    in the way of -Wstringop-overflow.
    7. 

  7.    { dg-do compile }
    8. 

  8.    { dg-options "-O2 -Wall -Wno-stringop-truncation -ftrack-macro-expansion=0" }  */
    9. 

  9. 

  10. #include "range.h"
    11. 

  11. 

  12. extern void* memcpy (void*, const void*, size_t);
    13. 

  13. extern void* memset (void*, int, size_t);
    14. 

  14. extern char* strcpy (char*, const char*);
    15. 

  15. extern char* strncpy (char*, const char*, size_t);
    16. 

  16. 

  17. void sink (void*);
    18. 

  18. 

  19. #define CAT(pfx, line) pfx ## line
    20. 

  20. #define CONCAT(pfx, line) CAT (pfx, line)
    21. 

  21. #define UNIQ_NAME(pfx) CONCAT (pfx, __LINE__)
    22. 

  22. 

  23. /* Exercise a call to memset with a distinct destination object each
    24. 

  24.    time to prevent GCC from reusing the destination pointer in later
    25. 

  25.    tests.  */
    26. 

  26. #define T(off1, off2, n)			\
    27. 

  27.   do {						\
    28. 

  28.     extern char UNIQ_NAME (ga)[7];		\
    29. 

  29.     char *d = UNIQ_NAME (ga) + off1;		\
    30. 

  30.     d += off2;					\
    31. 

  31.     memset (d, 0, n);				\
    32. 

  32.     sink (d);					\
    33. 

  33.   } while (0)
    34. 

  34. 

  35. 

  36. /* Exercise calls to memset with a destination pointer pointing to
    37. 

  37.    an array plus constant offset plus variable offset, in that order.  */
    38. 

  38. 

  39. void test_memset_array_cst_range_off (void)
    40. 

  40. {
    41. 

  41.   T (1, SR (-7, 7), 7);
    42. 

  42.   T (1, SR (-1, 1), 7);
    43. 

  43.   T (1, SR (-1, 1), 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    44. 

  44.   T (1, SR ( 1, 2), 1);
    45. 

  45.   T (1, SR ( 1, 2), 5);
    46. 

  46. 

  47.   T (1, SR ( 0, 1), 6);
    48. 

  48.   T (1, UR ( 1, 2), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    49. 

  49. 

  50.   T (2, SR (-7, 7), 7);
    51. 

  51.   T (2, SR (-2, 7), 7);
    52. 

  52.   T (2, SR (-1, 1), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    53. 

  53.   T (2, SR (-1, 1), 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    54. 

  54.   T (2, SR ( 1, 2), 1);
    55. 

  55.   T (2, SR ( 1, 2), 3);
    56. 

  56.   T (2, SR ( 1, 2), 4);
    57. 

  57.   T (2, SR ( 1, 2), 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    58. 

  58. 

  59.   T (2, SR ( 0, 1), 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" "pr89428" } */
    60. 

  60.   T (2, UR ( 1, 2), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    61. 

  61.   T (7, UR (-7, 0), 7);
    62. 

  62.   T (7, UR (-7, 0), 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    63. 

  63.   T (7, UR (-3, 2), 3);
    64. 

  64.   T (7, UR (-2, 2), 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    65. 

  65. }
    66. 

  66. 

  67. 

  68. /* Exercise calls to memset with a destination pointer pointing to
    69. 

  69.    an array plus variable offset plus constant offset.  */
    70. 

  70. 

  71. void test_memset_array_range_cst_off (void)
    72. 

  72. {
    73. 

  73.   T (SR (-7, 7), 1, 7);
    74. 

  74.   T (SR (-1, 1), 1, 7);
    75. 

  75.   T (SR (-1, 1), 1, 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" "pr89428" } */
    76. 

  76.   T (SR ( 1, 2), 1, 1);
    77. 

  77.   T (SR ( 1, 2), 1, 5);
    78. 

  78. 

  79.   T (SR ( 0, 1), 1, 6);
    80. 

  80.   T (UR ( 1, 2), 1, 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    81. 

  81. 

  82.   T (SR (-7, 7), 2, 7);
    83. 

  83.   T (SR (-1, 1), 2, 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    84. 

  84.   T (SR (-1, 1), 2, 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    85. 

  85.   T (SR ( 1, 2), 2, 1);
    86. 

  86.   T (SR ( 1, 2), 2, 3);
    87. 

  87.   T (SR ( 1, 2), 2, 4);
    88. 

  88.   T (SR ( 1, 2), 2, 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    89. 

  89. 

  90.   T (SR ( 0, 1), 2, 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    91. 

  91. 

  92.   T (UR ( 1, 2), 2, 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    93. 

  93. }
    94. 

  94. 

  95. 

  96. void test_memset_array_range_range_off (void)
    97. 

  97. {
    98. 

  98.   T (UR (0, 1), UR (0, 1), 7);
    99. 

  99.   T (UR (3, 5), UR (2, 7), 1);
    100. 

  100.   T (UR (3, 7), UR (2, 9), 2);
    101. 

  101.   T (UR (3, 9), UR (2, 9), 3);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    102. 

  102.   T (UR (0, 1), UR (1, 2), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    103. 

  103. }
    104. 

  104. 

  105. 

  106. #undef T
    107. 

  107. #define T(off1, off2, n)			\
    108. 

  108.   do {						\
    109. 

  109.     extern char UNIQ_NAME (ga)[7];		\
    110. 

  110.     char *d = UNIQ_NAME (ga) + off1;		\
    111. 

  111.     d += off2;					\
    112. 

  112.     memcpy (d, s, n);				\
    113. 

  113.     sink (d);					\
    114. 

  114.   } while (0)
    115. 

  115. 

  116. 

  117. void test_memcpy_array_cst_range_off (const void *s)
    118. 

  118. {
    119. 

  119.   T (1, SR (-7, 7), 7);
    120. 

  120.   T (1, SR (-1, 1), 7);
    121. 

  121.   T (1, SR (-1, 1), 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    122. 

  122.   T (1, SR ( 1, 2), 1);
    123. 

  123.   T (1, SR ( 1, 2), 5);
    124. 

  124. 

  125.   T (1, SR ( 0, 1), 6);
    126. 

  126.   T (1, UR ( 1, 2), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    127. 

  127. 

  128.   T (2, SR (-7, 7), 7);
    129. 

  129.   T (2, SR (-2, 7), 7);
    130. 

  130.   T (2, SR (-1, 1), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    131. 

  131.   T (2, SR (-1, 1), 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    132. 

  132.   T (2, SR ( 1, 2), 1);
    133. 

  133.   T (2, SR ( 1, 2), 3);
    134. 

  134.   T (2, SR ( 1, 2), 4);
    135. 

  135.   T (2, SR ( 1, 2), 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    136. 

  136. 

  137.   T (2, SR ( 0, 1), 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" "pr89428" } */
    138. 

  138.   T (2, UR ( 1, 2), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    139. 

  139.   T (7, UR (-7, 0), 7);
    140. 

  140.   T (7, UR (-7, 0), 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    141. 

  141.   T (7, UR (-3, 2), 3);
    142. 

  142.   T (7, UR (-2, 2), 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    143. 

  143. }
    144. 

  144. 

  145. 

  146. void test_memcpy_array_range_cst_off (const void *s)
    147. 

  147. {
    148. 

  148.   T (SR (-7, 7), 1, 7);
    149. 

  149.   T (SR (-1, 1), 1, 7);
    150. 

  150.   T (SR (-1, 1), 1, 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" "pr89428" } */
    151. 

  151.   T (SR ( 1, 2), 1, 1);
    152. 

  152.   T (SR ( 1, 2), 1, 5);
    153. 

  153. 

  154.   T (SR ( 0, 1), 1, 6);
    155. 

  155.   T (UR ( 1, 2), 1, 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    156. 

  156. 

  157.   T (SR (-7, 7), 2, 7);
    158. 

  158.   T (SR (-1, 1), 2, 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    159. 

  159.   T (SR (-1, 1), 2, 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    160. 

  160.   T (SR ( 1, 2), 2, 1);
    161. 

  161.   T (SR ( 1, 2), 2, 3);
    162. 

  162.   T (SR ( 1, 2), 2, 4);
    163. 

  163.   T (SR ( 1, 2), 2, 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    164. 

  164. 

  165.   T (SR ( 0, 1), 2, 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    166. 

  166. 

  167.   T (UR ( 1, 2), 2, 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    168. 

  168. }
    169. 

  169. 

  170. 

  171. void test_memcpy_array_range_range_off (const void *s)
    172. 

  172. {
    173. 

  173.   T (UR (0, 1), UR (0, 1), 7);
    174. 

  174.   T (UR (3, 5), UR (2, 7), 1);
    175. 

  175.   T (UR (3, 7), UR (2, 9), 2);
    176. 

  176.   T (UR (3, 9), UR (2, 9), 3);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    177. 

  177.   T (UR (0, 1), UR (1, 2), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    178. 

  178. }
    179. 

  179. 

  180. 

  181. #undef T
    182. 

  182. #define T(off1, off2, n)			\
    183. 

  183.   do {						\
    184. 

  184.     extern char UNIQ_NAME (ga)[7];		\
    185. 

  185.     char *d = UNIQ_NAME (ga) + off1;		\
    186. 

  186.     d += off2;					\
    187. 

  187.     const char str[] = "0123456789";		\
    188. 

  188.     const char *s = str + sizeof str - 1 - n;   \
    189. 

  189.     strcpy (d, s);				\
    190. 

  190.     sink (d);					\
    191. 

  191.   } while (0)
    192. 

  192. 

  193. 

  194. void test_strcpy_array_cst_range_off (void)
    195. 

  195. {
    196. 

  196.   T (1, SR (-7, 7), 6);
    197. 

  197.   T (1, SR (-1, 1), 6);
    198. 

  198.   T (1, SR (-1, 1), 8);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    199. 

  199.   T (1, SR ( 1, 2), 0);
    200. 

  200.   T (1, SR ( 1, 2), 4);
    201. 

  201. 

  202.   T (1, SR ( 0, 1), 5);
    203. 

  203.   T (1, UR ( 1, 2), 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    204. 

  204. 

  205.   T (2, SR (-7, 7), 6);
    206. 

  206.   T (2, SR (-2, 7), 6);
    207. 

  207.   T (2, SR (-1, 1), 6);      /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    208. 

  208.   T (2, SR (-1, 1), 8);      /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    209. 

  209.   T (2, SR ( 1, 2), 0);
    210. 

  210.   T (2, SR ( 1, 2), 2);
    211. 

  211.   T (2, SR ( 1, 2), 3);
    212. 

  212.   T (2, SR ( 1, 2), 4);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    213. 

  213. 

  214.   T (2, SR ( 0, 1), 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" "pr89428" } */
    215. 

  215.   T (2, UR ( 1, 2), 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    216. 

  216.   T (7, UR (-7, 0), 6);
    217. 

  217.   T (7, UR (-7, 0), 8);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    218. 

  218.   T (7, UR (-3, 2), 2);
    219. 

  219.   T (7, UR (-2, 2), 4);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    220. 

  220. }
    221. 

  221. 

  222. 

  223. void test_strcpy_array_range_cst_off (const char *s)
    224. 

  224. {
    225. 

  225.   T (SR (-7, 7), 1, 6);
    226. 

  226.   T (SR (-1, 1), 1, 6);
    227. 

  227.   T (SR (-1, 1), 1, 8);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" "pr89428" } */
    228. 

  228.   T (SR ( 1, 2), 1, 0);
    229. 

  229.   T (SR ( 1, 2), 1, 1);
    230. 

  230.   T (SR ( 1, 2), 1, 4);
    231. 

  231. 

  232.   T (SR ( 0, 1), 1, 5);
    233. 

  233.   T (UR ( 1, 2), 1, 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    234. 

  234. 

  235.   T (SR (-7, 7), 2, 6);
    236. 

  236.   T (SR (-1, 1), 2, 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    237. 

  237.   T (SR (-1, 1), 2, 8);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    238. 

  238.   T (SR ( 1, 2), 2, 0);
    239. 

  239.   T (SR ( 1, 2), 2, 1);
    240. 

  240.   T (SR ( 1, 2), 2, 2);
    241. 

  241.   T (SR ( 1, 2), 2, 3);
    242. 

  242.   T (SR ( 1, 2), 2, 4);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    243. 

  243. 

  244.   T (SR ( 0, 1), 2, 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    245. 

  245. 

  246.   T (UR ( 1, 2), 2, 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    247. 

  247. }
    248. 

  248. 

  249. 

  250. #undef T
    251. 

  251. #define T(off1, off2, n)			\
    252. 

  252.   do {						\
    253. 

  253.     extern char UNIQ_NAME (ga)[7];		\
    254. 

  254.     char *d = UNIQ_NAME (ga) + off1;		\
    255. 

  255.     d += off2;					\
    256. 

  256.     strncpy (d, s, n);				\
    257. 

  257.     sink (d);					\
    258. 

  258.   } while (0)
    259. 

  259. 

  260. 

  261. void test_strncpy_array_cst_range_off (const char *s)
    262. 

  262. {
    263. 

  263.   T (1, SR (-7, 7), 7);
    264. 

  264.   T (1, SR (-1, 1), 7);
    265. 

  265.   T (1, SR (-1, 1), 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    266. 

  266.   T (1, SR ( 1, 2), 1);
    267. 

  267.   T (1, SR ( 1, 2), 5);
    268. 

  268. 

  269.   T (1, SR ( 0, 1), 6);
    270. 

  270.   T (1, UR ( 1, 2), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    271. 

  271. 

  272.   T (2, SR ( -7, 7), 7);
    273. 

  273.   T (2, SR ( -1, 1), 7);      /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    274. 

  274.   T (2, SR ( -1, 1), 9);      /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    275. 

  275.   T (2, SR ( 1, 2), 1);
    276. 

  276.   T (2, SR ( 1, 2), 3);
    277. 

  277.   T (2, SR ( 1, 2), 4);
    278. 

  278.   T (2, SR ( 1, 2), 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    279. 

  279. 

  280.   T (2, SR ( 0, 1), 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" "pr89428" } */
    281. 

  281.   T (2, UR ( 1, 2), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    282. 

  282.   T (7, UR (-7, 0), 7);
    283. 

  283.   T (7, UR (-7, 0), 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    284. 

  284.   T (7, UR (-3, 2), 3);
    285. 

  285.   T (7, UR (-2, 2), 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    286. 

  286. }
    287. 

  287. 

  288. 

  289. void test_strncpy_array_range_cst_off (const char *s)
    290. 

  290. {
    291. 

  291.   T (SR (-7, 7), 1, 7);
    292. 

  292.   T (SR (-1, 1), 1, 7);
    293. 

  293.   T (SR (-1, 1), 1, 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" "pr89428" } */
    294. 

  294.   T (SR ( 1, 2), 1, 1);
    295. 

  295.   T (SR ( 1, 2), 1, 5);
    296. 

  296. 

  297.   T (SR ( 0, 1), 1, 6);
    298. 

  298.   T (UR ( 1, 2), 1, 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    299. 

  299. 

  300.   T (SR (-7, 7), 2, 7);
    301. 

  301.   T (SR (-1, 1), 2, 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    302. 

  302.   T (SR (-1, 1), 2, 9);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    303. 

  303.   T (SR ( 1, 2), 2, 1);
    304. 

  304.   T (SR ( 1, 2), 2, 3);
    305. 

  305.   T (SR ( 1, 2), 2, 4);
    306. 

  306.   T (SR ( 1, 2), 2, 5);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    307. 

  307. 

  308.   T (SR ( 0, 1), 2, 6);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    309. 

  309. 

  310.   T (UR ( 1, 2), 2, 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    311. 

  311. }
    312. 

  312. 

  313. 

  314. void test_strncpy_array_range_range_off (const char *s)
    315. 

  315. {
    316. 

  316.   T (UR (0, 1), UR (0, 1), 7);
    317. 

  317.   T (UR (3, 5), UR (2, 7), 1);
    318. 

  318.   T (UR (3, 7), UR (2, 9), 2);
    319. 

  319.   T (UR (3, 9), UR (2, 9), 3);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    320. 

  320.   T (UR (0, 1), UR (1, 2), 7);       /* { dg-warning "\\\[-Warray-bounds|-Wstringop-overflow" } */
    321. 

  321. }
    322.