diff options
author | Jakub Jelinek <jakub@redhat.com> | 2021-11-16 10:18:25 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@redhat.com> | 2021-11-16 10:18:25 +0100 |
commit | eacdfaf7ca07367ede1a0c50aa997953958dabae (patch) | |
tree | ddb70ff6527184ae6dcc08258433b1f05d7cd08d /gcc/omp-expand.c | |
parent | 473b5e87346edf9885abc28b7de68e3cd7059746 (diff) | |
download | gcc-eacdfaf7ca07367ede1a0c50aa997953958dabae.zip gcc-eacdfaf7ca07367ede1a0c50aa997953958dabae.tar.gz gcc-eacdfaf7ca07367ede1a0c50aa997953958dabae.tar.bz2 |
waccess: Fix up pass_waccess::check_alloc_size_call [PR102009]
This function punts if the builtins have no arguments, but as can be seen
on the testcase, even if it has some arguments but alloc_size attribute's
arguments point to arguments that aren't passed, we get a warning earlier
from the FE but should punt rather than ICE on it.
Other users of alloc_size attribute e.g. in
tree-object-size.c (alloc_object_size) punt similarly and similarly
even in the same TU maybe_warn_nonstring_arg correctly verifies calls have
enough arguments.
2021-11-16 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/102009
* gimple-ssa-warn-access.cc (pass_waccess::check_alloc_size_call):
Punt if any of alloc_size arguments is out of bounds vs. number of
call arguments.
* gcc.dg/pr102009.c: New test.
Diffstat (limited to 'gcc/omp-expand.c')
0 files changed, 0 insertions, 0 deletions