diff options
| author | Martin Sebor <msebor@redhat.com> | 2017-01-10 22:35:22 +0000 |
|---|---|---|
| committer | Martin Sebor <msebor@gcc.gnu.org> | 2017-01-10 15:35:22 -0700 |
| commit | fefd30867d3fa33ff7cff3fcb4d2c361d1b1d51b (patch) | |
| tree | 32ac144c9cd8822e9064b3e6fd3d59b0a1821cac /gcc | |
| parent | 8cef58751ad6ddd0d84545cb509395c7b5216445 (diff) | |
| download | gcc-fefd30867d3fa33ff7cff3fcb4d2c361d1b1d51b.zip gcc-fefd30867d3fa33ff7cff3fcb4d2c361d1b1d51b.tar.gz gcc-fefd30867d3fa33ff7cff3fcb4d2c361d1b1d51b.tar.bz2 | |
PR middle-end/78138 - missing warnings on buffer overflow with non-constant source length
gcc/testsuite/ChangeLog:
PR middle-end/78138
* gcc.dg/pr78138.c: New test.
From-SVN: r244297
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr78138.c | 22 |
2 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6fdfcac..8f5f8df 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-01-10 Martin Sebor <msebor@redhat.com> + + PR middle-end/78138 + * gcc.dg/pr78138.c: New test. + 2017-01-10 David Malcolm <dmalcolm@redhat.com> PR c++/77949 diff --git a/gcc/testsuite/gcc.dg/pr78138.c b/gcc/testsuite/gcc.dg/pr78138.c new file mode 100644 index 0000000..ecc9ee6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr78138.c @@ -0,0 +1,22 @@ +/* PR middle-end/78138 - missing warnings on buffer overflow with non-constant + source length + { dg-do compile } + { dg-options "-O2 -Wformat-length" } */ + +char d [5]; + +void* memcpy (void*, const void*, unsigned long); +extern char* strcpy (char*, const char*); + +void f (int i, int j) +{ + strcpy (d, j ? "12345" : "123456"); /* { dg-warning ".strcpy. writing 6 bytes into a region of size 5" } */ +} + +void g (void *p) +{ + extern unsigned n; + if (n < 17 || 32 < n) n = 7; + + memcpy (d, p, n); /* { dg-warning ".memcpy.: writing between 7 and 32 bytes into a region of size 5" } */ +}; |