Google Git
Sign in
gnu / gcc / 920e43ee2143c2dbe71d0117243ef53363396ee1
commit920e43ee2143c2dbe71d0117243ef53363396ee1[log] [tgz]
authorPiotr Trojanek <trojanek@adacore.com>Thu Jul 22 15:33:16 2021 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>Wed Sep 22 15:01:47 2021 +0000
tree121191ea7281051ca8e3c336af9167a456e3ca51
parentf4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa [diff]
[Ada] Add Package_Body helper routine to be used in GNATprove

gcc/ada/

	* sem_aux.adb, sem_aux.ads (Package_Body): Moved from GNATprove.
	* sem_elab.adb (Spec_And_Body_From_Entity): Refine type of parameter.
3 files changed
tree: 121191ea7281051ca8e3c336af9167a456e3ca51
  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