diff options
| author | Martin Sebor <msebor@redhat.com> | 2019-12-05 01:28:11 +0000 |
|---|---|---|
| committer | Martin Sebor <msebor@gcc.gnu.org> | 2019-12-04 18:28:11 -0700 |
| commit | 268209f3a0dc07fcf13534610447ab732742eb2f (patch) | |
| tree | 19c70c9ade74615720a40b206b35dcfc02c63f53 /gcc/gimple-ssa-warn-restrict.c | |
| parent | a59c50bd14f5bcb467a21ceb55f6b082510efc2f (diff) | |
| download | gcc-268209f3a0dc07fcf13534610447ab732742eb2f.zip gcc-268209f3a0dc07fcf13534610447ab732742eb2f.tar.gz gcc-268209f3a0dc07fcf13534610447ab732742eb2f.tar.bz2 | |
PR middle-end/91582 - missing heap overflow detection for strcpy
gcc/ChangeLog:
PR middle-end/91582
* builtins.c (gimple_call_alloc_size): New function.
(compute_objsize): Add argument. Call gimple_call_alloc_size.
Handle variable offsets and indices.
* builtins.h (gimple_call_alloc_size): Declare.
(compute_objsize): Add argument.
* gcc/gimple-ssa-warn-restrict.c: Remove assertions.
* tree-ssa-strlen.c (handle_store): Handle calls to allocated objects.
gcc/testsuite/ChangeLog:
PR middle-end/91582
* c-c++-common/Wstringop-truncation.c: Remove xfails.
* g++.dg/warn/Wstringop-overflow-4.C: New test.
* g++.dg/ext/attr-alloc_size.C: Suppress -Warray-bounds.
* gcc.dg/Warray-bounds-56.c: New test.
* gcc.dg/Wstringop-overflow-22.c: New test.
* gcc.dg/attr-alloc_size.c: Suppress -Warray-bounds.
* gcc.dg/attr-copy-2.c: Same.
* gcc.dg/builtin-stringop-chk-5.c: Remove xfails.
* gcc.dg/builtin-stringop-chk-8.c: Same. Correct the text of expected
warnings.
* gcc.target/i386/pr82002-2a.c: Prune expected warning.
* gcc.target/i386/pr82002-2b.c: Same.
From-SVN: r278983
Diffstat (limited to 'gcc/gimple-ssa-warn-restrict.c')
| -rw-r--r-- | gcc/gimple-ssa-warn-restrict.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/gimple-ssa-warn-restrict.c b/gcc/gimple-ssa-warn-restrict.c index 2cf84b7..9b5d1d7 100644 --- a/gcc/gimple-ssa-warn-restrict.c +++ b/gcc/gimple-ssa-warn-restrict.c @@ -966,7 +966,6 @@ builtin_access::generic_overlap () const offset_int maxobjsize = acs.dstref->maxobjsize; offset_int maxsize = dstref->basesize < 0 ? maxobjsize : dstref->basesize; - gcc_assert (maxsize <= maxobjsize); /* Adjust the larger bounds of the offsets (which may be the first element if the lower bound is larger than the upper bound) to @@ -1193,7 +1192,6 @@ builtin_access::strcat_overlap () acs.dstsiz[1] = 1; offset_int maxsize = dstref->basesize < 0 ? maxobjsize : dstref->basesize; - gcc_assert (maxsize <= maxobjsize); /* For references to the same base object, determine if there's a pair of valid offsets into the two references such that access between |