diff options
| author | Martin Sebor <msebor@redhat.com> | 2019-08-28 16:43:56 +0000 |
|---|---|---|
| committer | Martin Sebor <msebor@gcc.gnu.org> | 2019-08-28 10:43:56 -0600 |
| commit | 464969eb9b47eb2f24403c74c16769a58dbaa638 (patch) | |
| tree | 821481a2cfc3a3c99c5d25b19c08cd56afef8e58 /gcc/builtins.h | |
| parent | e2eee239811d4335f28ccdf7c2d9c490fcf6612d (diff) | |
| download | gcc-464969eb9b47eb2f24403c74c16769a58dbaa638.zip gcc-464969eb9b47eb2f24403c74c16769a58dbaa638.tar.gz gcc-464969eb9b47eb2f24403c74c16769a58dbaa638.tar.bz2 | |
PR tree-optimization/91457 - inconsistent warning for writing past the end of an array member
gcc/ChangeLog:
PR tree-optimization/91457
* builtins.c (component_size): New function.
(compute_objsize): Add argument. Handle ARRAY_REF and COMPONENT_REF.
* builtins.h (compute_objsize): Add argument.
* tree-ssa-strlen.c (handle_store): Handle no-warning bit.
* tree-vrp.c (vrp_prop::check_array_ref): Return warning result.
(vrp_prop::check_mem_ref): Same.
(vrp_prop::search_for_addr_array): Set no-warning bit.
(check_array_bounds): Same.
gcc/testsuite/ChangeLog:
PR tree-optimization/91457
* c-c++-common/Wstringop-overflow-2.c: New test.
* g++.dg/warn/Warray-bounds-8.C: New test.
* g++.dg/warn/Wstringop-overflow-3.C: New test.
* gcc.dg/Wstringop-overflow-15.c: New test.
From-SVN: r274997
Diffstat (limited to 'gcc/builtins.h')
| -rw-r--r-- | gcc/builtins.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/builtins.h b/gcc/builtins.h index 66c9295..1ad82e8 100644 --- a/gcc/builtins.h +++ b/gcc/builtins.h @@ -134,7 +134,7 @@ extern tree fold_call_stmt (gcall *, bool); extern void set_builtin_user_assembler_name (tree decl, const char *asmspec); extern bool is_simple_builtin (tree); extern bool is_inexpensive_builtin (tree); -extern tree compute_objsize (tree, int); +extern tree compute_objsize (tree, int, tree * = NULL); extern bool readonly_data_expr (tree exp); extern bool init_target_chars (void); |