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, 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 > 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: jakub@redhat.com, joseph@codesourcery.com Cc: richard.guenther@gmail.com, keescook@chromium.org, siddhesh@gotplt.org, gcc-patches@gcc.gnu.org, Qing Zhao > 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 | 20 +++ gcc/doc/extend.texi | 45 +++++- gcc/lto/lto-common.cc | 5 +- gcc/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 | 23 ++- gcc/tree-streamer-in.cc | 5 +- gcc/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