diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 12:03:49 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 12:03:49 +0200 |
| commit | ad05f2e9b874e19cd3d66a3971c1c385959d466a (patch) | |
| tree | 839aeecfdf5bb0318d6cec13a66c77b3430e4ce1 /gcc/ada/gcc-interface/Make-lang.in | |
| parent | 756ef2a03df27c1998266ecae0ce335668fc2f8a (diff) | |
| download | gcc-ad05f2e9b874e19cd3d66a3971c1c385959d466a.zip gcc-ad05f2e9b874e19cd3d66a3971c1c385959d466a.tar.gz gcc-ad05f2e9b874e19cd3d66a3971c1c385959d466a.tar.bz2 | |
[multiple changes]
2011-08-04 Yannick Moy <moy@adacore.com>
* alfa.adb, alfa.ads (Get_Entity_For_Decl): remove function, partial
duplicate of Defining_Entity
(Get_Unique_Entity_For_Decl): rename function into
Unique_Defining_Entity
* einfo.adb, einfo.ads (Is_In_ALFA, Body_Is_In_ALFA): remove flags
(Formal_Proof_On): remove synthesized flag
* cstand.adb, sem_ch11.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb,
sem_ch5.adb, sem_ch6.adb, sem_ch9.adb, sem_res.adb, sem_util.adb,
sem_util.ads, stand.ads: Remove treatment associated to entities in ALFA
* sem_prag.adb (Analyze_Pragma): remove special treatment for pragma
Annotate (Formal_Proof)
2011-08-04 Emmanuel Briot <briot@adacore.com>
* prj-env.adb (Create_Config_Pragmas_File): fix handling of multi-unit
source files with non-standard naming schemes, in imported projects
From-SVN: r177353
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
0 files changed, 0 insertions, 0 deletions