Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7c62d546ddf8c0cb3e5bf3c8540f271cab1d91a3..91ec02df4214ce59900f14589be1252beeacb5ea 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,13 @@
+2022-07-23  Immad Mir  <mirimmad@outlook.com>
+
+       * 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  <jjsuwa_sys3175@yahoo.co.jp>
 
        * config/xtensa/xtensa.md (*masktrue_const_bitcmpl):

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index ef960813d5eb1140d900e0665b5efae12e36b1e8..a7decbb2bdb8fcaa97f60285127c1039b577a41a 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220723
+20220724

diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 6f5132cc1104ca63ff57e9ce593b94dec6107606..59642a69a61b623c373c417450caa1f3a963cca0 100644 (file)
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,18 @@
+2022-07-23  Immad Mir  <mirimmad@outlook.com>
+
+       * 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  <dmalcolm@redhat.com>
 
        PR analyzer/106413

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index ade553f42faa18aedf65c9385c9584e1510c0f77..9e5f83c70323f1dd53a2c1f5a8aa2b9f51c6c74d 100644 (file)
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,9 @@
+2022-07-23  Immad Mir  <mirimmad@outlook.com>
+
+       * 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  <polacek@redhat.com>
 
        PR c++/104477

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 0a2c3bd04187bcc8c71dc7029b1f283f0684c34f..e65e8e1d4e9fb9799e64a85040a63815e84786cf 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2022-07-23  Immad Mir  <mirimmad@outlook.com>
+
+       * 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  <dmalcolm@redhat.com>
 
        PR analyzer/106413