[gcc r13-1810] Daily bump.

[GCC Administrator <gccadmin@gcc.gnu.org>]

https://gcc.gnu.org/g:0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8

commit r13-1810-g0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8
Author: GCC Administrator <gccadmin@gcc.gnu.org>
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  <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 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  <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 ade553f42fa..9e5f83c7032 100644
--- 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 0a2c3bd0418..e65e8e1d4e9 100644
--- 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