[multiple changes]
[gcc.git] / gcc / ada / sem_ch6.adb
2011-10-06 Arnaud Charlet[multiple changes]
2011-09-26 Eric Botcazousem_ch6.adb (Set_Formal_Mode): Set Can_Never_Be_Null...
2011-09-19 Arnaud Charlet[multiple changes]
2011-09-19 Arnaud Charlet[multiple changes]
2011-09-15 Arnaud Charlet[multiple changes]
2011-09-15 Arnaud Charlet[multiple changes]
2011-09-06 Arnaud Charlet[multiple changes]
2011-09-06 Steve Bairdeinfo.ads (Extra_Accessibility_Of_Result): New function...
2011-09-05 Arnaud Charlet[multiple changes]
2011-09-05 Arnaud Charlet[multiple changes]
2011-09-05 Arnaud Charlet[multiple changes]
2011-09-05 Arnaud Charlet[multiple changes]
2011-09-05 Arnaud Charlet[multiple changes]
2011-09-05 Arnaud Charlet[multiple changes]
2011-09-02 Arnaud Charlet[multiple changes]
2011-09-02 Arnaud Charlet[multiple changes]
2011-09-02 Robert Dewarsem_prag.adb, [...]: Minor reformatting.
2011-09-02 Arnaud Charlet[multiple changes]
2011-09-02 Yannick Moyusage.adb, [...]: Disable by default warnings on suspic...
2011-09-02 Robert Dewarexp_util.adb, [...]: Minor reformatting.
2011-09-02 Arnaud Charlet[multiple changes]
2011-09-01 Arnaud Charlet[multiple changes]
2011-09-01 Arnaud Charlet[multiple changes]
2011-09-01 Arnaud Charlet[multiple changes]
2011-08-31 Arnaud Charlet[multiple changes]
2011-08-31 Arnaud Charlet[multiple changes]
2011-08-31 Arnaud Charlet[multiple changes]
2011-08-31 Arnaud Charlet[multiple changes]
2011-08-30 Arnaud Charlet[multiple changes]
2011-08-30 Arnaud Charlet[multiple changes]
2011-08-30 Arnaud Charlet[multiple changes]
2011-08-30 Javier Mirandasem_ch3.adb (Check_Abstract_Overriding): Code cleanup...
2011-08-30 Arnaud Charlet[multiple changes]
2011-08-30 Gary Dismukessem_ch6.adb (Check_Return_Subtype_Indication): Issue...
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-29 Arnaud Charlet[multiple changes]
2011-08-05 Robert Dewarexp_ch7.ads, [...]: Minor reformatting.
2011-08-05 Arnaud Charlet[multiple changes]
2011-08-04 Arnaud Charlet[multiple changes]
2011-08-04 Yannick Moygnat_rm.texi: Document new pragma and aspect.
2011-08-04 Arnaud Charlet[multiple changes]
2011-08-04 Arnaud Charlet[multiple changes]
2011-08-04 Arnaud Charlet[multiple changes]
2011-08-04 Arnaud Charlet[multiple changes]
2011-08-04 Arnaud Charlet[multiple changes]
2011-08-04 Arnaud Charlet[multiple changes]
2011-08-04 Arnaud Charlet[multiple changes]
2011-08-04 Arnaud Charlet[multiple changes]
2011-08-03 Yannick Moysem_ch11.adb (Analyze_Raise_xxx_Error): do not mark...
2011-08-03 Arnaud Charlet[multiple changes]
2011-08-03 Hristian Kirtcheva-except.adb, [...] (Raise_From_Controlled_Operation...
2011-08-03 Arnaud Charlet[multiple changes]
2011-08-03 Robert Dewarsem_aggr.adb, [...]: Minor reformatting
2011-08-03 Arnaud Charlet[multiple changes]
2011-08-03 Arnaud Charlet[multiple changes]
2011-08-02 Arnaud Charlet[multiple changes]
2011-08-02 Yannick Moysem_ch3.adb, [...]: Protect call to Current_Subprogram...
2011-08-02 Yannick Moyeinfo.adb, einfo.ads (Body_Is_In_ALFA, [...]): get...
2011-08-02 Arnaud Charlet[multiple changes]
2011-08-02 Yannick Moysem_aggr.adb, [...]: cleanup of SPARK mode
2011-08-02 Yannick Moycstand.adb (Create_Standard): sets Is_In_ALFA component...
2011-08-02 Ed Schonbergsem_ch6 (Analyze_Expression_Function): treat the functi...
2011-08-02 Arnaud Charlet[multiple changes]
2011-08-02 Arnaud Charlet[multiple changes]
2011-08-02 Arnaud Charlet[multiple changes]
2011-08-02 Arnaud Charlet[multiple changes]
2011-08-02 Ed Schonbergsem_ch6.adb (New_Overloaded_Entity, [...]): Do not...
2011-08-02 Yannick Moypar-ch6.adb: Correct obsolete name in comments
2011-08-02 Arnaud CharletMinor reformatting.
2011-08-02 Yannick Moyerrout.adb, errout.ads (Check_Formal_Restriction):...
2011-08-02 Robert Dewarsem_ch12.adb, [...]: New calling sequence for Analyze_A...
2011-08-02 Arnaud Charlet[multiple changes]
2011-08-02 Arnaud Charlet[multiple changes]
2011-08-02 Arnaud Charlet[multiple changes]
2011-08-01 Robert Dewarsem_util.ads, [...] (Last_Source_Statement): Replaces...
2011-08-01 Arnaud Charlet[multiple changes]
2011-08-01 Arnaud Charlet[multiple changes]
2011-08-01 Yannick Moyerr_vars.ads (Error_Msg_Lang, [...]): new variables...
2011-08-01 Robert Dewarsem_ch3.adb, [...]: Minor reformatting
2011-08-01 Arnaud Charlet[multiple changes]
2011-08-01 Arnaud Charlet[multiple changes]
2011-08-01 Yannick Moypar-endh.adb (Check_End): issue a syntax error in SPARK...
2011-08-01 Arnaud Charlet[multiple changes]
2011-08-01 Arnaud Charlet[multiple changes]
2011-08-01 Arnaud Charlet[multiple changes]
2011-08-01 Arnaud Charlet[multiple changes]
2011-08-01 Arnaud Charlet[multiple changes]
2011-08-01 Arnaud Charlet[multiple changes]
2010-12-20 Ralf WildenhuesFix typos in gcc/ada.
2010-10-26 Arnaud Charlet[multiple changes]
next