This is the 3rd ping for the 6th version of the patches.
Now, GCC14 is open. Is it ready to commit these patches to GCC14?
Kees has tested this version of the patch with Linux kernel, and everything is
good, and relsolved many false
positives for bounds checking.
Note for the review history of these patches (2 patches)
1. The patch 1/2: Handle component_ref to a structre/union field including
flexible array member [PR101832]
The C front-end part has been approved by Joseph.
For the middle-end, most of the change has been reviewed by Richard (and
modified based on his comments
and suggestions), except the change in
tree-object-size.cc<http://tree-object-size.cc>, which need Jakub’s review and
approval.
Jakub, could you review the middle end of change to see whether it’s ready
for trunk?
3. The patch 2/2: Update documentation to clarify a GCC extension
This is basically a C FE and documentation change, I have updated it based
on previous comments and suggestions.
Joseph, could you review it to see whether this version is ready to go?
Thanks a lot.
Qing
Begin forwarded message:
From: Qing Zhao <qing.z...@oracle.com<mailto:qing.z...@oracle.com>>
Subject: [V6][PATCH 0/2] Handle component_ref to a structure/union field
including FAM for builtin_object_size
Date: March 28, 2023 at 11:49:42 AM EDT
To: ja...@redhat.com<mailto:ja...@redhat.com>,
jos...@codesourcery.com<mailto:jos...@codesourcery.com>
Cc: richard.guent...@gmail.com<mailto:richard.guent...@gmail.com>,
keesc...@chromium.org<mailto:keesc...@chromium.org>,
siddh...@gotplt.org<mailto:siddh...@gotplt.org>,
gcc-patches@gcc.gnu.org<mailto:gcc-patches@gcc.gnu.org>, Qing Zhao
<qing.z...@oracle.com<mailto:qing.z...@oracle.com>>
Hi, Joseph and Jakub,
this is the 6th version of the patch.
compared to the 5th version, the major changes are:
1. Update the documentation Per Joseph's comments;
2. Change the name of the new warning option per Jakub's suggestions.
3. Update testing case per the above change.
these changes are all in the 2th patch (2/2 Update documentation to
clarify a GCC extension).
The first patch (1/2 Handle component_ref to a structre/union field
including flexible array member [PR101832]) is not changed
For the first patch, As a record, Joseph has approved the C front-end change,
I only need a review from Jakub for the Middle-end.
bootstrapped and regression tested on aarch64 and x86.
Okay for commit?
thanks.
Qing
=========
Qing Zhao (2):
Handle component_ref to a structre/union field including flexible
array member [PR101832]
Update documentation to clarify a GCC extension
gcc/c-family/c.opt | 5 +
gcc/c/c-decl.cc<http://c-decl.cc> | 20 +++
gcc/doc/extend.texi | 45 +++++-
gcc/lto/lto-common.cc<http://lto-common.cc> | 5 +-
gcc/print-tree.cc<http://print-tree.cc> | 5 +
.../gcc.dg/builtin-object-size-pr101832.c | 134 ++++++++++++++++++
.../gcc.dg/variable-sized-type-flex-array.c | 31 ++++
gcc/tree-core.h | 2 +
gcc/tree-object-size.cc<http://tree-object-size.cc> | 23
++-
gcc/tree-streamer-in.cc<http://tree-streamer-in.cc> | 5
+-
gcc/tree-streamer-out.cc<http://tree-streamer-out.cc> |
5 +-
gcc/tree.h | 7 +-
12 files changed, 281 insertions(+), 6 deletions(-)
create mode 100644 gcc/testsuite/gcc.dg/builtin-object-size-pr101832.c
create mode 100644 gcc/testsuite/gcc.dg/variable-sized-type-flex-array.c
--
2.31.1
