[Ada] Move SPARK borrow-checker to gnat2why codebase

Programming / Compilers / GCC - pmderodat [138bc75d-0d04-0410-961f-82ee72b054a4] - 19 September 2019 08:13 EDT

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

gcc/ada/

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

389755f4fac [Ada] Move SPARK borrow-checker to gnat2why codebase
gcc/ada/ChangeLog | 5 +
gcc/ada/gcc-interface/Make-lang.in | 1 -
gcc/ada/sem_spark.adb | 6179 ------------------------------------
gcc/ada/sem_spark.ads | 177 --
4 files changed, 5 insertions(+), 6357 deletions(-)

Upstream: gcc.gnu.org


  • Share