From f5766e3b541a9fb2d4365281f5c9da4f80e9622c Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Thu, 19 Sep 2019 08:13:43 +0000 Subject: [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 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/gcc-interface/Make-lang.in | 1 - 1 file changed, 1 deletion(-) (limited to 'gcc/ada/gcc-interface/Make-lang.in') 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 \ -- cgit v1.1