re PR debug/66691 (ICE on valid code at -O3 with -g enabled in simplify_subreg, at...
[gcc.git] / gcc / ada / opt.ads
2015-05-27 Arnaud Charlet[multiple changes]
2015-05-22 Robert Dewardebug.adb: Update documentation.
2015-03-02 Robert Dewardebug.adb: Document new debug flag -gnatd.1.
2015-02-20 Robert Dewarg-allein.ads, [...]: Minor reformatting
2015-02-20 Arnaud Charlet[multiple changes]
2015-02-20 Arnaud Charlet[multiple changes]
2015-02-20 Arnaud Charlet[multiple changes]
2015-02-05 Yannick Moyopt.ads (Warn_On_Suspicious_Contract): Update comment...
2015-01-07 Arnaud Charlet[multiple changes]
2015-01-07 Hristian Kirtchev2015-01-07 Hristian Kirtchev <kirtchev@adacore.com>
2014-11-28 Arnaud CharletUpdate comments.
2014-11-20 Arnaud Charlet[multiple changes]
2014-10-30 Arnaud Charlet[multiple changes]
2014-10-20 Robert Dewargnat_rm.texi: Document No_Tagged_Streams pragma and...
2014-10-20 Arnaud Charlet[multiple changes]
2014-10-10 Robert Dewarexp_intr.adb (Write_Entity_Name): Moved to outer level
2014-08-04 Hristian Kirtchev2014-08-04 Hristian Kirtchev <kirtchev@adacore.com>
2014-08-01 Arnaud Charlet[multiple changes]
2014-08-01 Arnaud Charlet[multiple changes]
2014-08-01 Arnaud Charlet[multiple changes]
2014-08-01 Arnaud Charlet[multiple changes]
2014-08-01 Robert Dewara-numaux-vxworks.ads, [...]: Fix bad package header...
2014-08-01 Robert Dewarsnames.ads-tmpl, [...]: Remove VMS-specific code.
2014-08-01 Arnaud Charlet[multiple changes]
2014-08-01 Vincent Celierdebug.adb: Remove doc for gnatmake/gprbuild switch...
2014-07-31 Arnaud Charlet[multiple changes]
2014-07-30 Arnaud Charlet[multiple changes]
2014-07-30 Arnaud Charlet[multiple changes]
2014-07-30 Yannick Moygnat1drv.adb (Adjust_Global_Switches): Set Ineffective_...
2014-07-29 Arnaud Charlet[multiple changes]
2014-07-29 Arnaud Charlet[multiple changes]
2014-07-29 Robert Dewargnat_rm.texi: Document pragma Unevaluated_Use_Of_Old.
2014-07-18 Arnaud Charlet[multiple changes]
2014-07-16 Arnaud Charlet[multiple changes]
2014-06-13 Robert Dewarlib.ads, [...] (Is_Compiler_Unit): Removed.
2014-06-11 Arnaud Charlet[multiple changes]
2014-04-14 Eric Botcazouopt.ads (Suppress_Back_Annotation): Remove as unused.
2014-02-25 Arnaud Charlet[multiple changes]
2014-02-25 Arnaud Charlet[multiple changes]
2014-02-25 Robert Dewarbinde.adb: Change messages to mention -gnatel instead...
2014-02-06 Arnaud Charlet[multiple changes]
2014-02-04 Arnaud Charlet[multiple changes]
2014-01-31 Arnaud Charlet[multiple changes]
2014-01-27 Arnaud Charlet[multiple changes]
2014-01-27 Arnaud Charlet[multiple changes]
2014-01-24 Robert Dewarback_end.adb: Remove Short_Enums handling (handled...
2014-01-24 Arnaud Charlet[multiple changes]
2014-01-22 Arnaud Charlet[multiple changes]
2014-01-22 Yannick Moyerrout.adb (Initialize): Remove trick to add dummy...
2014-01-21 Arnaud Charlet[multiple changes]
2014-01-21 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Arnaud Charlet[multiple changes]
2014-01-20 Yannick Moyexp_spark.adb (Expand_SPARK_Call): Remove procedure.
2014-01-20 Yannick Moy2014-01-20 Yannick Moy <moy@adacore.com>
2013-10-17 Robert Dewargnat_ugn.texi: Document -gnatw.y/-gnatw.Y.
2013-10-14 Arnaud Charlet[multiple changes]
2013-10-14 Robert Dewargnat_ugn.texi: Document -gnateu switch.
2013-10-10 Arnaud Charlet[multiple changes]
2013-09-10 Arnaud Charlet[multiple changes]
2013-09-10 Arnaud Charlet[multiple changes]
2013-07-05 Hristian Kirtchevaspects.adb: Add an entry for SPARK_Mode in table Canon...
2013-07-05 Robert Dewarfreeze.adb (Freeze_Entity): Remove test of obsolete...
2013-04-25 Arnaud Charlet[multiple changes]
2013-04-24 Yannick Moyadabkend.adb, [...]: Everything with name 'Alfa' rename...
2013-04-23 Arnaud Charlet[multiple changes]
2013-04-22 Robert Dewarsem_prag.adb, [...]: Minor reformatting.
2013-04-22 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Arnaud Charlet[multiple changes]
2013-04-12 Robert Dewargnat1drv.adb (Gnat1drv): Test Target_Dependent_Info_Wri...
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-04-11 Arnaud Charlet[multiple changes]
2013-02-06 Arnaud Charlet[multiple changes]
2013-02-06 Arnaud Charlet[multiple changes]
2013-01-29 Javier Mirandaerrout.ads, errout.adb (Get_Ignore_Errors): New subprogram.
2013-01-29 Arnaud Charlet[multiple changes]
2013-01-04 Robert Dewarexp_prag.adb, [...]: Minor reformatting.
2013-01-03 Arnaud Charlet[multiple changes]
2013-01-03 Arnaud Charlet[multiple changes]
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Robert Dewarchecks.adb (Apply_Scalar_Range_Check): Implement Check_...
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Arnaud Charlet[multiple changes]
2013-01-02 Robert Dewarerrout.adb (Set_Msg_Insertion_Warning): Correct typo...
2013-01-02 Arnaud Charlet[multiple changes]
next