From: GCC Administrator Date: Sun, 24 Jul 2022 00:16:21 +0000 (+0000) Subject: Daily bump. X-Git-Tag: basepoints/gcc-14~5397 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8;p=thirdparty%2Fgcc.git Daily bump. --- 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