From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 680D43858C39; Sun, 24 Jul 2022 00:16:54 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 680D43858C39 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-1810] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: f8e6e2c046e1015697356ee7079fb39e0cb6add5 X-Git-Newrev: 0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8 Message-Id: <20220724001654.680D43858C39@sourceware.org> Date: Sun, 24 Jul 2022 00:16:54 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 24 Jul 2022 00:16:54 -0000 https://gcc.gnu.org/g:0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8 commit r13-1810-g0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8 Author: GCC Administrator Date: Sun Jul 24 00:16:21 2022 +0000 Daily bump. Diff: --- gcc/ChangeLog | 10 ++++++++++ gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 15 +++++++++++++++ gcc/c-family/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 7 +++++++ 5 files changed, 39 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7c62d546ddf..91ec02df421 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,13 @@ +2022-07-23 Immad Mir + + * doc/extend.texi: Add fd_arg, fd_arg_read and fd_arg_write under + "Common Function Attributes" section. + * doc/invoke.texi: Add docs to -Wanalyzer-fd-access-mode-mismatch, + -Wanalyzer-use-after-close, -Wanalyzer-fd-use-without-check that these + warnings may be emitted through usage of three function attributes used + for static analysis of file descriptors namely fd_arg, fd_arg_read and + fd_arg_write. + 2022-07-22 Takayuki 'January June' Suwa * config/xtensa/xtensa.md (*masktrue_const_bitcmpl): diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index ef960813d5e..a7decbb2bdb 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220723 +20220724 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 6f5132cc110..59642a69a61 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,18 @@ +2022-07-23 Immad Mir + + * sm-fd.cc (fd_param_diagnostic): New diagnostic class. + (fd_access_mode_mismatch): Change inheritance from fd_diagnostic + to fd_param_diagnostic. Add new overloaded constructor. + (fd_use_after_close): Likewise. + (unchecked_use_of_fd): Likewise and also change name to fd_use_without_check. + (double_close): Change name to fd_double_close. + (enum access_directions): New. + (fd_state_machine::on_stmt): Handle calls to function with the + new three function attributes. + (fd_state_machine::check_for_fd_attrs): New. + (fd_state_machine::on_open): Use the new overloaded constructors + of diagnostic classes. + 2022-07-22 David Malcolm PR analyzer/106413 diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index ade553f42fa..9e5f83c7032 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,9 @@ +2022-07-23 Immad Mir + + * c-attribs.cc: (c_common_attribute_table): add three new attributes + namely: fd_arg, fd_arg_read and fd_arg_write. + (handle_fd_arg_attribute): New. + 2022-07-15 Marek Polacek PR c++/104477 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 0a2c3bd0418..e65e8e1d4e9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2022-07-23 Immad Mir + + * gcc.dg/analyzer/fd-5.c: New test. + * gcc.dg/analyzer/fd-4.c: Remove quotes around 'read-only' and + 'write-only'. + * c-c++-common/attr-fd.c: New test. + 2022-07-22 David Malcolm PR analyzer/106413