[Ada] Remove External aspect from predefined abstract states
[gcc.git] / gcc / ada / ChangeLog
2018-05-21 Piotr Trojanek[Ada] Remove External aspect from predefined abstract...
2018-05-21 Yannick Moy[Ada] Spurious error in inlining for GNATprove on prefi...
2018-05-21 Hristian Kirtchev[Ada] Spurious error on synchronous refinement
2018-05-21 Yannick Moy[Ada] Crash on incorrect frontend inlining in GNATprove...
2018-05-21 Olivier Hainque[Ada] Tighten Object_Reader.Get_Memory_Bounds
2018-05-21 Olivier Hainque[Ada] Robustify traceback symbolization from dwarf...
2018-05-21 Olivier Hainque[Ada] Rename Load_Slide internal runtime component...
2018-05-21 Olivier Hainque[Ada] Propagate load addresses for traceback cache...
2018-05-21 Piotr Trojanek[Ada] Only allow Has_Discriminants on type entities
2018-05-21 Arnaud Charlet[Ada] Unnest all subprograms relevant for code generation
2018-05-21 Piotr Trojanek[Ada] Typo in lib.ads comment
2018-05-21 Ed Schonberg[Ada] Extend legality of Scalar_Storage_Order to formal...
2018-05-21 Hristian Kirtchev[Ada] Premature secondary stack reclamation
2018-05-21 Piotr Trojanek[Ada] Fix inconstent subprogram body headers
2018-05-04 John Marinore PR ada/85635 (typo in link.c for BSD platforms)
2018-04-27 Eric Botcazoure PR ada/85540 (gcc/ada/init.c:1282: suspicious expres...
2018-04-25 Eric Botcazoure PR ada/85007 (-b flag to gnatlink not recognized)
2018-03-23 Eric Botcazoure PR ada/85007 (-b flag to gnatlink not recognized)
2018-03-23 Eric Botcazoure PR ada/85036 (--disable-bootstrap --enable-languages...
2018-03-12 Eric Botcazoure PR ada/82813 (warning: '.builtin_memcpy' writing...
2018-03-10 Eric Botcazoutrans.c (node_has_volatile_full_access): Consider only...
2018-03-07 Sebastian HuberAda: Fix s-oscons.ads generation
2018-03-06 Eric Botcazoutrans.c (convert_with_check): Fix typo in the condition...
2018-03-06 Eric Botcazou* gcc-interface/utils.c (def_builtin_1): Bail out on...
2018-02-28 Eric Botcazoui-cexten.ads (Float_128): New type.
2018-02-02 Eric Botcazoudecl.c (array_type_has_nonaliased_component): Return...
2018-01-11 Gary Dismukes[Ada] Warning on out-of-range value for default-initial...
2018-01-11 Ed Schonberg[Ada] Crash on build-in-place call with address specifi...
2018-01-11 Piotr Trojanek[Ada] Allow uses of range utility routines on private...
2018-01-11 Hristian Kirtchev[Ada] Prohibit concurrent types in Ghost regions
2018-01-11 Hristian Kirtchev[Ada] Detection of illegal constituent assignments
2018-01-11 Arnaud Charlet[Ada] Bump copyright notices to 2018
2018-01-11 Hristian Kirtchev[Ada] Minor reformatting
2018-01-11 Justin Squirek[Ada] No error on missing enclosing parentheses in...
2018-01-11 Hristian Kirtchev[Ada] Missing diagnostic of categorization dependency
2018-01-11 Hristian Kirtchev[Ada] Incorrect diagnostic on illegal with clause
2018-01-11 Ed Schonberg[Ada] Spurious error on referene to subcoponrnt in...
2018-01-11 Hristian Kirtchev[Ada] Secondary stack leaks during object initialization
2018-01-11 Jerome Lambourg[Ada] QNX: various runtime fixes for file I/O, timers...
2018-01-11 Bob Duff[Ada] Null procedures not allowed in protected definitions
2018-01-11 Bob Duff[Ada] Minor reformatting
2018-01-11 Bob Duff[Ada] Improve documentation of xml2gnat
2018-01-11 Bob Duff[Ada] gnatbind -f switch gives an error for duplicates
2018-01-11 Ed Schonberg[Ada] Crash on expression function as completion, with...
2018-01-11 Ben Brosgol[Ada] Add Sphinx option -W to treat warnings as errors
2018-01-11 Ben Brosgol[Ada] Minor type/wording corrections
2018-01-11 Ed Schonberg[Ada] Warning on use of predefined operations on an...
2018-01-11 Javier Mirandaexp_util.adb (Remove_Side_Effects): No action done...
2018-01-11 Piotr Trojanek[Ada] Annotate standard File_Type with Default_Initial_...
2018-01-11 Pascal Obry[Ada] New implementation for Normalize_Pathname
2018-01-11 Bob Duff[Ada] Update gnatpp documentation after engine change
2018-01-11 Hristian Kirtchev[Ada] Secondary stack leak due to controlled component
2018-01-11 Yannick Moy[Ada] Update description of restriction SPARK_05 with...
2018-01-11 Vasiliy Fofanov[Ada] Minor layout fix in documentation sources
2018-01-11 Hristian Kirtchev[Ada] Minor reformatting
2018-01-11 Ed Schonberg[Ada] Handling of pragma Predicate
2018-01-11 Doug Rupp[Ada] Enable sigtramp for aarch64-vx7
2018-01-11 Hristian Kirtchev[Ada] Different runtime behavior of Predicate_Failure
2018-01-11 Patrick Bernardi[Ada] Integer overflow in SS_Allocate
2018-01-11 Ed Schonberg[Ada] Illegal protected calls in inherited pre/postcond...
2018-01-11 Hristian Kirtchev[Ada] Encoding of with clauses in ALI files
2018-01-11 Hristian Kirtchev[Ada] Finding proper scope when inside entry body
2018-01-11 Patrick Bernardi[Ada] Aspect/pragma Secondary_Stack_Size can evaluate...
2018-01-11 Justin Squirek[Ada] Minor reformatting
2018-01-11 Hristian Kirtchev[Ada] Missing finalization in case expression
2018-01-11 Ed Schonberg[Ada] Crash on iterated_component_association in expres...
2018-01-11 Justin Squirek[Ada] Wrong column in sloc of "expect name" error for...
2018-01-11 Hristian Kirtchev[Ada] Inconsistent scope chain due to quantified expression
2018-01-11 Piotr Trojanek[Ada] Fix minor comment issues
2018-01-11 Arnaud Charleteinfo.ads, einfo.adb (Activation_Record_Component,...
2018-01-10 Eric Botcazoudecl.c (gnat_to_gnu_component_type): Apply the check...
2018-01-04 Eric Botcazou* gnatvsn.ads: Bump copyright year.
2018-01-03 Richard Sandifordpoly_int: GET_MODE_BITSIZE
2018-01-03 Richard Sandifordpoly_int: GET_MODE_PRECISION
2018-01-03 Richard Sandifordpoly_int: TYPE_VECTOR_SUBPARTS
2018-01-03 Richard Sandifordpoly_int: GET_MODE_NUNITS
2018-01-03 Jakub JelinekUpdate copyright years.
2018-01-03 Jakub Jelinekgcc.c (process_command): Update copyright notice dates.
2017-12-21 Eric BotcazouAdd missing PR number
2017-12-21 Eric Botcazoudecl.c (gnat_to_gnu_entity): Always take into account...
2017-12-21 Richard Sandifordpoly_int: get_inner_reference & co.
2017-12-20 Eric Botcazoutrans.c (Loop_Statement_to_gnu): Use IN_RANGE macro.
2017-12-19 Jakub Jelinekread-rtl.c (parse_reg_note_name): Replace Yoda conditio...
2017-12-19 Arnaud Charletre PR ada/66205 (gnatbind generates invalid code when...
2017-12-15 Jakub Jelinektree-core.h (struct attribute_spec): Swap affects_type_...
2017-12-15 Pierre-Marie de... exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use...
2017-12-15 Pierre-Marie de... [multiple changes]
2017-12-15 Pierre-Marie de... einfo.ads: Comment fix.
2017-12-15 Pierre-Marie de... [multiple changes]
2017-12-15 Pierre-Marie de... gnat_and_program_execution.rst: Update section "Dynamic...
2017-12-15 Pierre-Marie de... gcc/ada/ChangeLog: add entries missing from previous...
2017-12-15 Pierre-Marie de... [multiple changes]
2017-12-15 Bob Dufftypes.ads, [...]: Partly revert r255414, committed...
2017-12-14 Eric Botcazou* gcc-interface/Makefile.in: Generalize support for...
2017-12-14 Eric Botcazou* gcc-interface/misc.c (default_pass_by_ref): Minor...
2017-12-14 Eric Botcazoutrans.c (Call_to_gnu): Set DECL_DISREGARD_INLINE_LIMITS...
2017-12-14 Eric Botcazoudecl.c (gnat_to_gnu_field): Do not set the alignment...
2017-12-14 Eric Botcazougigi.h (pad_type_has_rm_size): Declare.
2017-12-13 Eric Botcazou* gcc-interface/trans.c (Subprogram_Body_to_gnu): Initi...
2017-12-13 Eric Botcazoutrans.c (process_freeze_entity): Be prepared for a...
next