diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 10:03:49 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 10:03:49 +0000 |
| commit | 211a13f156825160b9e273d08c93caf7941cda78 (patch) | |
| tree | 839aeecfdf5bb0318d6cec13a66c77b3430e4ce1 /maintainer-scripts/ChangeLog | |
| parent | fd3e6972952a6ee4de6ea5efe6d53b1a8f7ac999 (diff) | |
| download | gcc-211a13f156825160b9e273d08c93caf7941cda78.tar.gz | |
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
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177353 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/ChangeLog')
0 files changed, 0 insertions, 0 deletions