]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Detect sharing of external file in inconsistent read-write modes
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 24 Oct 2024 08:47:09 +0000 (10:47 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 12 Nov 2024 13:00:49 +0000 (14:00 +0100)
commit5f230267d241a199a6826c9c61f4e9b0a389c29b
tree7cf6fb71767abe7a417b36698bf9c67f31141bfa
parent9bba882f922e69abc72fa71520be649258cfd856
ada: Detect sharing of external file in inconsistent read-write modes

When opening files with "shared=yes", as described in GNAT RM 11.10,
Sharing Files, we now prevent sharing a single file in inconsistent
read-write modes.

gcc/ada/ChangeLog:

* doc/gnat_rm/the_implementation_of_standard_i_o.rst
(Shared Files): Add trailing period.
* libgnat/s-ficobl.ads (AFCB): Reflect new behavior in comment.
* libgnat/s-fileio.adb (Open): Detect inconsistent sharing,
just like we do in System.File_IO.Reset.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_rm/the_implementation_of_standard_i_o.rst
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi
gcc/ada/libgnat/s-ficobl.ads
gcc/ada/libgnat/s-fileio.adb