projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8ec278) | patch
[Ada] Move SPARK borrow-checker to gnat2why codebase
authorYannick Moy <moy@adacore.com>
Thu, 19 Sep 2019 08:13:43 +0000 (08:13 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 19 Sep 2019 08:13:43 +0000 (08:13 +0000)
commitf5766e3b541a9fb2d4365281f5c9da4f80e9622c
tree0aaba9f2889d98fbd1d3597ff8aa0501c13723cctree | snapshot
parentd8ec2787e0ba7b508c968c330b04575d2cbf97d7commit | diff
[Ada] Move SPARK borrow-checker to gnat2why codebase

Unit sem_spark was implementing the borrow-checker for the support of
ownership pointers in SPARK. It has been moved to gnat2why codebase to
facilitate its evolution and allow the more powerful flow analysis to
provide its results for better analysis on pointers.

2019-09-19  Yannick Moy  <moy@adacore.com>

gcc/ada/

* gcc-interface/Make-lang.in: Remove references to sem_spark.
* sem_spark.adb, sem_spark.ads: Remove unit.

From-SVN: r275944
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gcc-interface/Make-lang.in diff | blob | history
gcc/ada/sem_spark.adb [deleted file] blob | history
gcc/ada/sem_spark.ads [deleted file] blob | history
Domain: System / Toolchain;