This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r178448 - in /trunk/gcc/ada: ChangeLog lib-xref...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 02 Sep 2011 09:22:16 -0000
- Subject: r178448 - in /trunk/gcc/ada: ChangeLog lib-xref...
Author: charlet
Date: Fri Sep 2 09:22:16 2011
New Revision: 178448
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178448
Log:
2011-09-02 Robert Dewar <dewar@adacore.com>
* prj-dect.adb, prj-env.adb, prj-nmsc.adb, prj-proc.adb, prj-tree.adb,
prj.adb, prj.ads, sem_ch5.adb: Minor reformatting.
2011-09-02 Thomas Quinot <quinot@adacore.com>
* sem_attr.adb (Analyze_Attribute, case Unrestriced_Access):
Guard against a prefix that is an N_Has_Entity but has no
associated entity.
2011-09-02 Yannick Moy <moy@adacore.com>
* lib-xref-alfa.adb (Is_Alfa_Reference): Ignore IN parameters in Alfa
references.
2011-09-02 Yannick Moy <moy@adacore.com>
* opt.ads (Warn_On_Suspicious_Contract): New warning flag.
* sem_ch3.adb (Analyze_Declarations): Call checker for suspicious
contracts.
* sem_ch6.adb, sem_ch6.ads (Check_Subprogram_Contract): New
procedure looking for suspicious postconditions.
* usage.adb (Usage): New options -gnatw.t and -gnatw.T.
* warnsw.adb (Set_Dot_Warning_Switch): Take into account new
options -gnatw.t and -gnatw.T.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/lib-xref-alfa.adb
trunk/gcc/ada/opt.ads
trunk/gcc/ada/prj-dect.adb
trunk/gcc/ada/prj-env.adb
trunk/gcc/ada/prj-nmsc.adb
trunk/gcc/ada/prj-proc.adb
trunk/gcc/ada/prj-tree.adb
trunk/gcc/ada/prj.adb
trunk/gcc/ada/prj.ads
trunk/gcc/ada/sem_attr.adb
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_ch5.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_ch6.ads
trunk/gcc/ada/usage.adb
trunk/gcc/ada/warnsw.adb