Is_Count_Attribute to identify an expansion of the 'Count
attribute.
-2017-01-19 Pierre-Marie de Rodat <derodat@adacore.com>
-
- * exp_dbug.adb (Debug_Renaming_Declaration): Process underlying types.
- Emit GNAT encodings for object renamings involving record components
- whose normalized bit offset is not null.
- * uintp.h (UI_No_Uint): Declare.
-
2017-01-19 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Loop_Statement): In GNATprove mode the
* lib-xref-spark_specific.adb: Minor reformatting.
* exp_ch7.adb (Add_Parent_Invariants): Do not process array types.
-2017-01-19 Tristan Gingold <gingold@adacore.com>
-
- * fe.h (Constant_Value): Export.
-
2017-01-19 Javier Miranda <miranda@adacore.com>
* exp_aggr.adb (Pass_Aggregate_To_Back_End): Renamed as