diff options
| author | Yannick Moy <moy@adacore.com> | 2019-09-19 08:13:43 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-19 08:13:43 +0000 |
| commit | f5766e3b541a9fb2d4365281f5c9da4f80e9622c (patch) | |
| tree | 0aaba9f2889d98fbd1d3597ff8aa0501c13723cc /gcc/ada/gcc-interface/Make-lang.in | |
| parent | d8ec2787e0ba7b508c968c330b04575d2cbf97d7 (diff) | |
| download | gcc-f5766e3b541a9fb2d4365281f5c9da4f80e9622c.zip gcc-f5766e3b541a9fb2d4365281f5c9da4f80e9622c.tar.gz gcc-f5766e3b541a9fb2d4365281f5c9da4f80e9622c.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
| -rw-r--r-- | gcc/ada/gcc-interface/Make-lang.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/gcc-interface/Make-lang.in b/gcc/ada/gcc-interface/Make-lang.in index df5f0b3..276c41c 100644 --- a/gcc/ada/gcc-interface/Make-lang.in +++ b/gcc/ada/gcc-interface/Make-lang.in @@ -450,7 +450,6 @@ GNAT_ADA_OBJS = \ ada/sem_res.o \ ada/sem_scil.o \ ada/sem_smem.o \ - ada/sem_spark.o \ ada/sem_type.o \ ada/sem_util.o \ ada/sem_warn.o \ |