ada: Correct the contract of Ada.Text_IO.Get_Line
commitcba529bc70be52bbc7796faea212fb694d2d25a4
authorClaire Dross <dross@adacore.com>
Wed, 14 Jun 2023 11:05:12 +0000 (14 13:05 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 27 Jun 2023 12:05:51 +0000 (27 14:05 +0200)
tree3bc309abb329b255299988ddc420c862d3b3fa4f
parentfb36f0187808d8486b9eb7442aacf13e7e2d3ed9
ada: Correct the contract of Ada.Text_IO.Get_Line

Item might not be entirely initialized after a call to Get_Line.

gcc/ada/

* libgnat/a-textio.ads (Get_Line): Use Relaxed_Initialization on
the Item parameter of Get_Line.
gcc/ada/libgnat/a-textio.ads