diff options
| author | Martin Sebor <msebor@redhat.com> | 2021-09-01 13:46:19 -0600 |
|---|---|---|
| committer | Martin Sebor <msebor@redhat.com> | 2021-09-01 13:46:19 -0600 |
| commit | ece28da924ddda8b379c94c9df7cd01168f75fbb (patch) | |
| tree | 439ad27f308cff8d6f4133e4cabf184815d73675 /gcc/pointer-query.h | |
| parent | ac6e77aacfb6581f5e84e4430628152b9b98da2e (diff) | |
| download | gcc-ece28da924ddda8b379c94c9df7cd01168f75fbb.zip gcc-ece28da924ddda8b379c94c9df7cd01168f75fbb.tar.gz gcc-ece28da924ddda8b379c94c9df7cd01168f75fbb.tar.bz2 | |
Enable ranger and caching in pass_waccess.
gcc/ChangeLog:
* gimple-ssa-warn-access.cc (get_size_range): Add argument.
(check_access): Pass additional argument.
(check_memop_access): Remove template and make a member function.
(maybe_check_dealloc_call): Make a pass_waccess member function.
(class pass_waccess): Add, rename, and remove members.
(pass_waccess::pass_waccess): Adjust to name change.
(pass_waccess::~pass_waccess): Same.
(check_alloca): Make a member function.
(check_alloc_size_call): Same.
(check_strcat): Same.
(check_strncat): Same.
(check_stxcpy): Same.
(check_stxncpy): Same.
(check_strncmp): Same.
(maybe_warn_rdwr_sizes): Rename...
(pass_waccess::maybe_check_access_sizes): ...to this.
(pass_waccess::check_call): Adjust to name changes.
(pass_waccess::maybe_check_dealloc_call): Make a pass_waccess member
function.
(pass_waccess::execute): Adjust to name changes.
* gimple-ssa-warn-access.h (check_memop_access): Remove.
* pointer-query.cc (access_ref::phi): Handle null pointer.
(access_ref::inform_access): Same.
(pointer_query::put_ref): Modify a cached value, not a copy of it.
(pointer_query::dump): New function.
(compute_objsize_r): Avoid overwriting access_ref::bndrng. Cache
more results.
* pointer-query.h (pointer_query::dump): Declare.
* tree-ssa-strlen.c (get_range): Simplify. Use function query.
(dump_strlen_info): Use function query.
(printf_strlen_execute): Factor code out into pointer_query::put_ref.
gcc/testsuite/ChangeLog:
* gcc.dg/Wstringop-overflow-11.c: Remove xfails.
* gcc.dg/Wstringop-overflow-12.c: Same.
* gcc.dg/Wstringop-overflow-43.c: Add xfails.
* gcc.dg/Wstringop-overflow-73.c: New test.
Diffstat (limited to 'gcc/pointer-query.h')
| -rw-r--r-- | gcc/pointer-query.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/pointer-query.h b/gcc/pointer-query.h index eb7e90d..3c8172c 100644 --- a/gcc/pointer-query.h +++ b/gcc/pointer-query.h @@ -186,6 +186,9 @@ public: /* Flush the cache. */ void flush_cache (); + /* Dump statistics and optionally cache contents to DUMP_FILE. */ + void dump (FILE *, bool = false); + /* A Ranger instance. May be null to use global ranges. */ range_query *rvals; /* Cache of SSA_NAMEs. May be null to disable caching. */ |