Google Git
Sign in
gnu/gcc/6dd2d491e1fb4e7a969c0bbd98b638d7563bc9fb
commit
6dd2d491e1fb4e7a969c0bbd98b638d7563bc9fb
[log]
author
Joffrey Huguet <huguet@adacore.com>
Mon Jun 15 17:40:04 2026 +0200
committer
Marc Poulhiès <dkm@gcc.gnu.org>
Mon Jun 29 13:17:11 2026 +0200
tree
70a2c8be53bafdfbaf41ccf8c4c619f6a577852b
parent
492263d2a4b453229d7396aa1b58cbbf9c72c7e3 [diff]
ada: Fix contracts in Ada.Text_IO

This patch adds Data_Error in Exceptional_Cases contracts for Get
procedures in Ada.Text_IO.

gcc/ada/ChangeLog:

	* libgnat/a-textio.ads (Get): Add Data_Error in Exceptional_Cases contract.
	(Look_Ahead): Likewise.
	(Get_Immediate): Likewise.
	(Get_Line): Likewise.
1 file changed
tree: 70a2c8be53bafdfbaf41ccf8c4c619f6a577852b
  1. .forgejo/
  2. .github/
  3. c++tools/
  4. config/
  5. contrib/
  6. fixincludes/
  7. gcc/
  8. gnattools/
  9. gotools/
  10. include/
  11. INSTALL/
  12. libada/
  13. libatomic/
  14. libbacktrace/
  15. libcc1/
  16. libcody/
  17. libcpp/
  18. libdecnumber/
  19. libffi/
  20. libga68/
  21. libgcc/
  22. libgcobol/
  23. libgfortran/
  24. libgm2/
  25. libgo/
  26. libgomp/
  27. libgrust/
  28. libiberty/
  29. libitm/
  30. libobjc/
  31. libphobos/
  32. libquadmath/
  33. libsanitizer/
  34. libssp/
  35. libstdc++-v3/
  36. libvtv/
  37. lto-plugin/
  38. maintainer-scripts/
  39. zlib/
  40. .b4-config
  41. .dir-locals.el
  42. .editorconfig
  43. .gitattributes
  44. .gitignore
  45. ABOUT-NLS
  46. ar-lib
  47. ChangeLog
  48. ChangeLog.jit
  49. ChangeLog.tree-ssa
  50. compile
  51. config-ml.in
  52. config.guess
  53. config.rpath
  54. config.sub
  55. configure
  56. configure.ac
  57. COPYING
  58. COPYING.LIB
  59. COPYING.RUNTIME
  60. COPYING3
  61. COPYING3.LIB
  62. depcomp
  63. install-sh
  64. libtool-ldflags
  65. libtool.m4
  66. ltgcc.m4
  67. ltmain.sh
  68. ltoptions.m4
  69. ltsugar.m4
  70. ltversion.m4
  71. lt~obsolete.m4
  72. MAINTAINERS
  73. Makefile.def
  74. Makefile.in
  75. Makefile.tpl
  76. missing
  77. mkdep
  78. mkinstalldirs
  79. move-if-change
  80. multilib.am
  81. README
  82. SECURITY.txt
  83. symlink-tree
  84. test-driver
  85. ylwrap