document effective target fileio

check_effective_target_fileio was added to
gcc/testsuite/lib/target-supports.exp the other day, without
documentation.

This patch adds the corresponding documentation.

for  gcc/ChangeLog

	* doc/sourcebuild.texi (Effective-Target Keywords): Document
	the newly-introduced fileio effective target.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index cb0b632f2aa95c752cc3fb97f70f54731968be17..4c2ef0d4a1a32835adf53146276ee2fc9ab7fdbd 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2020-04-30  Alexandre Oliva <oliva@adacore.com>
+
+       * doc/sourcebuild.texi (Effective-Target Keywords): Document
+       the newly-introduced fileio effective target.
+
 2020-04-30  Richard Sandiford  <richard.sandiford@arm.com>
 
        PR rtl-optimization/94740

diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi
index 66f3576cb1100c99e5de97f9882ebce2431fe560..240d6e4b08e2ed1a3742c4e82b98d284b9774216 100644 (file)
--- a/gcc/doc/sourcebuild.texi
+++ b/gcc/doc/sourcebuild.texi
@@ -2244,6 +2244,12 @@ Target provides @file{fenv.h} include file.
 Target supports @file{fenv.h} with all the standard IEEE exceptions
 and floating-point exceptions are raised by arithmetic operations.
 
+@item fileio
+Target offers such file I/O library functions as @code{fopen},
+@code{fclose}, @code{tmpnam}, and @code{remove}.  This is a link-time
+requirement for the presence of the functions in the library; even if
+they fail at runtime, the requirement is still regarded as satisfied.
+
 @item freestanding
 Target is @samp{freestanding} as defined in section 4 of the C99 standard.
 Effectively, it is a target which supports no extra headers or libraries