aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGCC Administrator <gccadmin@gcc.gnu.org>2022-07-24 00:16:21 +0000
committerGCC Administrator <gccadmin@gcc.gnu.org>2022-07-24 00:16:21 +0000
commit0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8 (patch)
tree44016b1e04f91b22d6b5e632f851b8c3f75618f0
parentf8e6e2c046e1015697356ee7079fb39e0cb6add5 (diff)
downloadgcc-0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8.zip
gcc-0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8.tar.gz
gcc-0e6fa997306dd03bd1a019b4f4d837cb2ff8daf8.tar.bz2
Daily bump.
-rw-r--r--gcc/ChangeLog10
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/analyzer/ChangeLog15
-rw-r--r--gcc/c-family/ChangeLog6
-rw-r--r--gcc/testsuite/ChangeLog7
5 files changed, 39 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7c62d54..91ec02d 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 ef96081..a7decbb 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220723
+20220724
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 6f5132c..59642a6 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 ade553f..9e5f83c 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 0a2c3bd..e65e8e1 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