Google Git
Sign in
gnu / gcc / 0b7ddfb9f13b3bfb7f4fc9ac23f6adf4f36e7098
commit0b7ddfb9f13b3bfb7f4fc9ac23f6adf4f36e7098[log] [tgz]
authorYannick Moy <moy@adacore.com>Fri Jul 16 16:35:19 2021 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>Wed Sep 22 15:01:46 2021 +0000
tree41b9ff3f97e4a0ff66d2fddd82bc6d6baeb4da31
parent4b54d9393e2af43393cce9b76798617b3c3452f1 [diff]
[Ada] More precise analysis of function renamings in GNATprove

gcc/ada/

	* freeze.adb (Build_Renamed_Body): Special case for GNATprove.
	* sem_ch6.adb (Analyze_Expression_Function): Remove useless test
	for a node to come from source, which becomes harmful otherwise.
2 files changed
tree: 41b9ff3f97e4a0ff66d2fddd82bc6d6baeb4da31
  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