Google Git
Sign in
gnu / gcc / ccf0dee109ba0c71ca2b6e093a874daf1671ecf0
commitccf0dee109ba0c71ca2b6e093a874daf1671ecf0[log] [tgz]
authorPiotr Trojanek <trojanek@adacore.com>Wed Mar 03 21:19:39 2021 +0100
committerPierre-Marie de Rodat <derodat@adacore.com>Wed Jun 16 04:43:05 2021 -0400
tree422566c190c5f5def4f68f8e4eadf5b5414fa51c
parent1a9ff8d39c1f5a63755f2a8bb0a982c7af4ee817 [diff]
[Ada] Fix Is_Volatile_Function for functions declared in protected bodies

gcc/ada/

	* sem_util.adb (Is_Volatile_Function): Follow the exact wording
	of SPARK (regarding volatile functions) and Ada (regarding
	protected functions).
1 file changed
tree: 422566c190c5f5def4f68f8e4eadf5b5414fa51c
  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