Google Git
Sign in
gnu / gcc / 37a3df0d9a849c912735124ec0b156c229fb308a
commit37a3df0d9a849c912735124ec0b156c229fb308a[log] [tgz]
authorPiotr Trojanek <trojanek@adacore.com>Wed Jul 28 14:13:58 2021 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>Thu Sep 23 13:06:13 2021 +0000
treeccaee11f037ecbe099100a17da2b45e1a751e986
parent62e66ee5bfe93de637f9ea9849a73807894936e0 [diff]
[Ada] Remove global parameter in Global contracts of Ada.Strings.Bounded

gcc/ada/

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