summaryrefslogtreecommitdiff
path: root/gcc/testsuite/c-c++-common/attr-nonstring-6.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/c-c++-common/attr-nonstring-6.c')
-rw-r--r--gcc/testsuite/c-c++-common/attr-nonstring-6.c82
1 files changed, 41 insertions, 41 deletions
diff --git a/gcc/testsuite/c-c++-common/attr-nonstring-6.c b/gcc/testsuite/c-c++-common/attr-nonstring-6.c
index 19ceaacf39c..4b804b3f107 100644
--- a/gcc/testsuite/c-c++-common/attr-nonstring-6.c
+++ b/gcc/testsuite/c-c++-common/attr-nonstring-6.c
@@ -1,7 +1,7 @@
/* PR 85623 - strncmp() warns about attribute 'nonstring' incorrectly
in -Wstringop-overflow
{ dg-do compile }
- { dg-options "-O2 -Wstringop-overflow -ftrack-macro-expansion=0" } */
+ { dg-options "-O2 -Wstringop-overread -ftrack-macro-expansion=0" } */
#include "../gcc.dg/range.h"
@@ -41,15 +41,15 @@ void test_strcmp_cst (void)
T (strcmp (S (1), a3));
T (strcmp (S (2), a3));
/* The following reads a3[3]. */
- T (strcmp (S (3), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strcmp (S (3), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
/* The following also reads past the end of a3. */
- T (strcmp (S (9), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strcmp (S (9), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
T (strcmp (a3, S (0)));
T (strcmp (a3, S (1)));
T (strcmp (a3, S (2)));
- T (strcmp (a3, S (3))); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strcmp (a3, S (9))); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strcmp (a3, S (3))); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strcmp (a3, S (9))); /* { dg-warning "\\\[-Wstringop-overread" } */
}
@@ -62,16 +62,16 @@ void test_strcmp_range (const char *s)
T (strcmp (a3, s));
s = signed_value () < 0 ? S (0) : S (3);
- T (strcmp (a3, s)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strcmp (a3, s)); /* { dg-warning "\\\[-Wstringop-overread" } */
s = signed_value () < 0 ? S (1) : S (2);
T (strcmp (a3, s));
s = signed_value () < 0 ? S (1) : S (3);
- T (strcmp (a3, s)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strcmp (a3, s)); /* { dg-warning "\\\[-Wstringop-overread" } */
s = signed_value () < 0 ? S (3) : S (4);
- T (strcmp (a3, s)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strcmp (a3, s)); /* { dg-warning "\\\[-Wstringop-overread" } */
}
@@ -81,21 +81,21 @@ void test_strncmp_cst (void)
T (strncmp (S (1), a3, 2));
T (strncmp (S (2), a3, 3));
T (strncmp (S (3), a3, 3));
- T (strncmp (S (3), a3, 4)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncmp (S (3), a3, 4)); /* { dg-warning "\\\[-Wstringop-overread" } */
T (strncmp (S (9), a3, 3));
- T (strncmp (S (9), a3, 4)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strncmp (S (9), a3, 5)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncmp (S (9), a3, 4)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strncmp (S (9), a3, 5)); /* { dg-warning "\\\[-Wstringop-overread" } */
T (strncmp (a3, S (0), 1));
T (strncmp (a3, S (1), 2));
T (strncmp (a3, S (2), 3));
T (strncmp (a3, S (3), 3));
- T (strncmp (a3, S (3), 4)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncmp (a3, S (3), 4)); /* { dg-warning "\\\[-Wstringop-overread" } */
T (strncmp (a3, S (9), 3));
- T (strncmp (a3, S (9), 4)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strncmp (a3, S (9), 5)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncmp (a3, S (9), 4)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strncmp (a3, S (9), 5)); /* { dg-warning "\\\[-Wstringop-overread" } */
}
void test_strncmp_range (const char *s)
@@ -110,8 +110,8 @@ void test_strncmp_range (const char *s)
T (strncmp (a3, S (5), UR (1, 4)));
T (strncmp (a3, S (5), UR (2, 5)));
T (strncmp (a3, S (5), UR (3, 6)));
- T (strncmp (a3, S (5), UR (4, 7))); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strncmp (a3, S (5), UR (7, 9))); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncmp (a3, S (5), UR (4, 7))); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strncmp (a3, S (5), UR (7, 9))); /* { dg-warning "\\\[-Wstringop-overread" } */
s = signed_value () < 0 ? S (0) : S (1);
T (strncmp (a3, s, UR (1, 3)));
@@ -124,7 +124,7 @@ void test_strncmp_range (const char *s)
T (strncmp (a3, s, UR (1, 4)));
T (strncmp (a3, s, UR (2, 5)));
T (strncmp (a3, s, UR (3, 6)));
- T (strncmp (a3, s, UR (4, 7))); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncmp (a3, s, UR (4, 7))); /* { dg-warning "\\\[-Wstringop-overread" } */
}
void test_strncasecmp (void)
@@ -133,21 +133,21 @@ void test_strncasecmp (void)
T (strncasecmp (S (1), a3, 2));
T (strncasecmp (S (2), a3, 3));
T (strncasecmp (S (3), a3, 3));
- T (strncasecmp (S (3), a3, 4)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncasecmp (S (3), a3, 4)); /* { dg-warning "\\\[-Wstringop-overread" } */
T (strncasecmp (S (9), a3, 3));
- T (strncasecmp (S (9), a3, 4)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strncasecmp (S (9), a3, 5)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncasecmp (S (9), a3, 4)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strncasecmp (S (9), a3, 5)); /* { dg-warning "\\\[-Wstringop-overread" } */
T (strncasecmp (a3, S (0), 1));
T (strncasecmp (a3, S (1), 2));
T (strncasecmp (a3, S (2), 3));
T (strncasecmp (a3, S (3), 3));
- T (strncasecmp (a3, S (3), 4)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncasecmp (a3, S (3), 4)); /* { dg-warning "\\\[-Wstringop-overread" } */
T (strncasecmp (a3, S (9), 3));
- T (strncasecmp (a3, S (9), 4)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strncasecmp (a3, S (9), 5)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strncasecmp (a3, S (9), 4)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strncasecmp (a3, S (9), 5)); /* { dg-warning "\\\[-Wstringop-overread" } */
}
void test_strspn (void)
@@ -155,31 +155,31 @@ void test_strspn (void)
/* strspn must traverse all characters in the second argument except
when the first string is empty. */
T (strspn (S (0), a3));
- T (strspn (S (1), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strspn (S (2), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strspn (S (3), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strspn (S (9), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strspn (S (1), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strspn (S (2), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strspn (S (3), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strspn (S (9), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
/* Similarly, strspn must traverse all characters in the first argument
except when the second string is empty. */
T (strspn (a3, S (0)));
- T (strspn (a3, S (1))); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strspn (a3, S (2))); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strspn (a3, S (3))); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strspn (a3, S (9))); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strspn (a3, S (1))); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strspn (a3, S (2))); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strspn (a3, S (3))); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strspn (a3, S (9))); /* { dg-warning "\\\[-Wstringop-overread" } */
}
void test_strcspn (void)
{
T (strcspn (S (0), a3));
- T (strcspn (S (1), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strcspn (S (2), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strcspn (S (3), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strcspn (S (9), a3)); /* { dg-warning "\\\[-Wstringop-overflow" } */
-
- T (strcspn (a3, S (0))); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strcspn (a3, S (1))); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strcspn (a3, S (2))); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strcspn (a3, S (3))); /* { dg-warning "\\\[-Wstringop-overflow" } */
- T (strcspn (a3, S (9))); /* { dg-warning "\\\[-Wstringop-overflow" } */
+ T (strcspn (S (1), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strcspn (S (2), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strcspn (S (3), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strcspn (S (9), a3)); /* { dg-warning "\\\[-Wstringop-overread" } */
+
+ T (strcspn (a3, S (0))); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strcspn (a3, S (1))); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strcspn (a3, S (2))); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strcspn (a3, S (3))); /* { dg-warning "\\\[-Wstringop-overread" } */
+ T (strcspn (a3, S (9))); /* { dg-warning "\\\[-Wstringop-overread" } */
}
generated by cgit v1.2.3 (git 2.39.1) at 2025-07-04 17:20:22 +0000