| 2021-05-14 Release Manager |
| |
| * GCC 8.5.0 released. |
| |
| 2021-03-10 Mikael Pettersson <mikpelinux@gmail.com> |
| |
| PR bootstrap/94918 |
| * raise-gcc.c: On Cygwin include mingw32.h to prevent |
| windows.h from including x86intrin.h or emmintrin.h. |
| |
| 2020-12-10 Ed Schonberg <schonberg@adacore.com> |
| |
| PR ada/98230 |
| * exp_attr.adb (Expand_N_Attribute_Reference, case Mod): Use base |
| type of argument to obtain static bound and required size. |
| |
| 2020-06-23 Eric Botcazou <ebotcazou@gcc.gnu.org> |
| |
| * gcc-interface/trans.c (gnat_to_gnu) <N_Allocator>: Minor tweaks. |
| Call Has_Constrained_Partial_View on base type of designated type. |
| |
| 2020-05-04 Mikael Pettersson <mikpelinux@gmail.com> |
| |
| PR bootstrap/94918 |
| * mingw32.h: Prevent windows.h from including emmintrin.h on Cygwin64. |
| |
| 2020-03-04 Release Manager |
| |
| * GCC 8.4.0 released. |
| |
| 2019-11-25 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/92575 |
| * expect.c (__gnat_expect_poll [VMS, HPUX]): Fix typo. |
| |
| 2019-10-12 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/91995 |
| * sem_ch8.adb (Chain_Use_Clause): Remove second argument in calls |
| to Defining_Entity. |
| * sem_elab.adb (Find_Unit_Entity): Likewise. Deal with N_Subunit |
| here in lieu of in Defining_Entity. |
| * sem_spark.adb (Check_Callable_Body): Likewise. |
| (Check_Package_Body): Likewise. |
| * sem_util.ads (Defining_Entity): Remove 2nd and 3th parameters. |
| * sem_util.adb (Defining_Entity): Remove 2nd and 3th parameters, |
| and adjust accordingly. Deal with N_Compilation_Unit. |
| |
| 2019-10-11 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Really test the |
| sign of the value when deciding to build a NEGATE_EXPR. |
| <PLUS_EXPR>: Remove redundant line. |
| <BIT_AND_EXPR>: Do the negation here. |
| |
| 2019-09-23 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Attribute_to_gnu): Test Can_Use_Internal_Rep |
| on the underlying type of the node. |
| (Call_to_gnu): Likewise with the type of the prefix. |
| |
| 2019-09-01 Iain Sandoe <iain@sandoe.co.uk> |
| |
| Backport from mainline. |
| 2019-07-02 Iain Sandoe <iain@sandoe.co.uk> |
| |
| * libgnat/system-darwin-ppc.ads: Set Stack_Check_Probes True for |
| PPC Darwin. |
| |
| 2019-08-05 Iain Sandoe <iain@sandoe.co.uk> |
| |
| Backport from mainline. |
| 2019-06-30 Iain Sandoe <iain@sandoe.co.uk> |
| |
| * gnatlink.adb (Link_Step): Push -shared-libgcc explicitly, when it |
| is the target default (unless overidden by the static flag). |
| When the user has put an instance of shared/static-libgcc do not push |
| a duplicate of this. |
| |
| 2019-06-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity): Beep up comment on SAVED, |
| and tweak comment on the assertion about the scopes of Itypes. Do not |
| skip the regular processing for Itypes that are E_Record_Subtype with |
| a Cloned_Subtype. Get the Cloned_Subtype for every E_Record_Subtype |
| if the type is dummy and hasn't got its own freeze node. |
| <E_Record_Subtype>: Save again the DECL of the Cloned_Subtype, if any. |
| <E_Access_Subtype>: Save again the DECL of the equivalent type. |
| (Gigi_Equivalent_Type) <E_Access_Subtype>: New case. |
| |
| 2019-06-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED on |
| the main variant of a type, if any. |
| |
| 2019-06-29 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (set_nonaliased_component_on_array_type): Add |
| missing guard for the presence of TYPE_CANONICAL. |
| (set_reverse_storage_order_on_array_type): Likewise. |
| |
| 2019-06-17 Arnaud Charlet <charlet@adacore.com> |
| |
| PR ada/80590 |
| * exp_ch9.adb (Expand_N_Delay_Relative_Statement): Swap the two |
| conditions to avoid a unnecessary exception propagation in the default |
| case. |
| |
| 2019-05-28 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (walk_nesting_tree): New static function. |
| (finalize_nrv): Use it to walk the entire nesting tree. |
| |
| 2019-05-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/utils.c (maybe_pad_type): Issue the warning for the |
| specific case of component types preferably. |
| |
| 2019-05-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Call_to_gnu): Use the unpadded type when |
| putting back an intermediate conversion the type of the actuals. |
| |
| 2019-05-07 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> |
| |
| * gcc-interface/Makefile.in (install-gcc-specs): Use foreach. |
| Honor DESTDIR. |
| |
| 2019-02-23 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/89349 |
| Backport from mainline |
| 2018-05-25 Arnaud Charlet <charlet@adacore.com> |
| |
| * osint.ads (Unknown_Attributes): No longer pretend this is a constant. |
| (No_File_Info_Cache): Initialize separately. |
| * osint.adb (No_File_Info_Cache): Update initializer. |
| |
| 2019-02-22 Release Manager |
| |
| * GCC 8.3.0 released. |
| |
| 2019-02-08 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/utils.c (max_size) <tcc_unary>: Be prepared for an |
| operand with VOID_TYPE. |
| |
| 2019-02-08 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Loop_Statement_to_gnu): Replace tests on |
| individual flag_unswitch_loops and flag_tree_loop_vectorize switches |
| with test on global optimize switch. |
| (Raise_Error_to_gnu): Likewise. |
| |
| 2019-02-07 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * libgnarl/s-linux__sparc.ads (ETIMEDOUT): Set to correct value. |
| |
| 2019-01-27 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (array_type_has_nonaliased_component): Return |
| the same value for every dimension of a multidimensional array type. |
| |
| 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (gnat_to_gnu) <N_Assignment_Statement>: Use |
| DECL_SIZE_UNIT instead of TYPE_SIZE_UNIT for the size to be assigned |
| by a call to memset if the LHS is a DECL. |
| |
| 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (struct loop_info_d): Remove artificial field. |
| (Loop_Statement_to_gnu): Do not set it. |
| |
| 2019-01-26 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (annotate_value) <INTEGER_CST>: Use test on |
| the sign bit instead of on the sign of the value. |
| <PLUS_EXPR>: Turn addition of negative constant into subtraction. |
| <MULT_EXPR>: Add test for degenerate case. |
| <BIT_AND_EXPR>: Simplify. |
| |
| 2018-12-23 Iain Sandoe <iain@sandoe.co.uk> |
| |
| * adaint.c [__APPLE__] (__gnat_lwp_self): Ensure that the system |
| interface used is available on the target. |
| |
| 2018-11-15 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/misc.c (gnat_init_gcc_eh): Do not override the switch |
| -fnon-call-exceptions passed on the command line in -gnatp mode. |
| |
| 2018-11-13 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions |
| for the runtime on platforms where System.Machine_Overflow is true. |
| |
| 2018-11-08 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * fe.h (Suppress_Checks): Declare. |
| * gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions |
| only if checks are not suppressed and -faggressive-loop-optimizations |
| only if they are. |
| * gcc-interface/trans.c (struct loop_info_d): Remove has_checks and |
| warned_aggressive_loop_optimizations fields. |
| (gigi): Do not clear warn_aggressive_loop_optimizations here. |
| (Raise_Error_to_gnu): Do not set has_checks. |
| (gnat_to_gnu) <N_Indexed_Component>: Remove support for aggressive |
| loop optimizations. |
| |
| 2018-10-22 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/utils.c (unchecked_convert): Use local variables for |
| the biased and reverse SSO attributes of both types. |
| Further extend the processing of integral types in the presence of |
| reverse SSO to all scalar types. |
| |
| 2018-10-22 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Pragma_to_gnu) <Pragma_Inspection_Point>: Use |
| a simple memory constraint in all cases. |
| |
| 2018-09-13 Eric Botcazou <ebotcazou@adacore.com> |
| |
| Backport from mainline |
| 2018-07-31 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * libgnarl/s-osinte__solaris.ads (upad64_t): New private type. |
| (mutex_t): Use it for 'lock' and 'data' components. |
| (cond_t): Likewise for 'data' and use single 'flags' component. |
| |
| 2018-07-26 Release Manager |
| |
| * GCC 8.2.0 released. |
| |
| 2018-07-17 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (choices_to_gnu): Rename parameters. Deal with |
| an operand of Character type. Factor out range generation to the end. |
| Check that the bounds are literals and convert them to the type of the |
| operand before building the ranges. |
| * gcc-interface/utils.c (make_dummy_type): Minor tweak. |
| (make_packable_type): Propagate TYPE_DEBUG_TYPE. |
| (maybe_pad_type): Likewise. |
| |
| 2018-07-17 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Variable>: Deal with |
| more rvalues in the expression of a renaming. |
| |
| 2018-07-06 Sebastian Huber <sebastian.huber@embedded-brains.de> |
| |
| * libgnat/system-rtems.ads (Frontend_Exceptions): Set to False. |
| (ZCX_By_Default): Set to True. |
| |
| 2018-06-12 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/ada-tree.h (TYPE_RETURN_BY_DIRECT_REF_P): Change from |
| using TYPE_LANG_FLAG_4 to using TYPE_LANG_FLAG_0. |
| (TYPE_ALIGN_OK): Move around. |
| (TYPE_PADDING_FOR_COMPONENT): Remove superfluous parentheses. |
| * gcc-interface/decl.c (change_qualified_type): Move to... |
| (gnat_to_gnu_entity): Adjust comment. |
| * gcc-interface/gigi.h (change_qualified_type): ...here; make inline. |
| (ceil_pow2): Use ceil_log2. |
| * gcc-interface/utils.c (finish_subprog_decl): Add couple of comments |
| and do not set TREE_SIDE_EFFECTS. |
| (handle_noreturn_attribute): Use change_qualified_type. |
| |
| 2018-06-12 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Do not get |
| the expression of a dispatch table that is not being defined. |
| <E_Record_Subtype>: Remove obsolete kludge. |
| |
| 2018-06-12 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (warn_on_field_placement): Use specific wording |
| for discriminants. |
| (warn_on_list_placement): New static function. |
| (components_to_record): Use it to warn on multiple fields in list. |
| |
| 2018-06-12 Eric Botcazou <ebotcazou@adacore.com> |
| |
| Backport from mainline |
| 2018-06-11 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Type>: Reuse the |
| existing fields of a dummy fat pointer type, if any. Clear the |
| TYPE_DECL_SUPPRESS_DEBUG on the fat pointer type after completing it. |
| |
| 2018-06-02 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: If this is |
| not a definition, retrieve the expression only if it's a compile-time |
| known value if we are just annotating types. |
| |
| * gcc-interface/utils.c (convert): Do not try to upcast properly for a |
| conversion between tagged types in type_annotate_only mode. |
| |
| 2018-06-02 Eric Botcazou <ebotcazou@adacore.com> |
| |
| Backport from mainline |
| 2018-05-31 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Call_to_gnu): In the by-reference case, if |
| the type of the parameter is an unconstrained array type, convert |
| to the type of the actual before the type of the formal only if the |
| conversion was suppressed earlier. Use in_param and gnu_actual_type |
| local variables throughout, and uniform spelling for In Out or Out. |
| Also remove dead code in the component-by-reference case. |
| |
| 2018-06-02 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/ada-tree.h (TYPE_PADDING_FOR_COMPONENT): New macro. |
| * gcc-interface/decl.c (gnat_to_gnu_component_type): Cache the padding |
| type built for an aliased component with variable size. |
| |
| 2018-06-02 Eric Botcazou <ebotcazou@adacore.com> |
| |
| Backport from mainline |
| 2018-05-31 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (Call_to_gnu): If this is a function call and |
| there is no target, also create a temporary for the return value for |
| an allocator if the type is an unconstrained record type with default |
| discriminant. |
| |
| 2018-05-04 John Marino <gnugcc@marino.st> |
| |
| PR ada/85635 |
| * link.c (BSD platforms): Add missing backslash. |
| |
| 2018-05-04 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/85540 |
| * init.c (__gnat_handle_vms_condition): Add missing parentheses. |
| |
| 2018-05-02 Release Manager |
| |
| * GCC 8.1.0 released. |
| |
| 2018-04-25 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/85007 |
| * gnat_ugn.texi: Regenerate. |
| |
| 2018-03-23 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/85007 |
| * gnatlink.adb (Gnatlink): Remove handling of -b switch. |
| * doc/gnat_ugn/building_executable_programs_with_gnat.rst (gnatlink): |
| Remove documentation of -b switch. |
| |
| 2018-03-23 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/85036 |
| * gnatlink.adb (Process_Args): Drop existing link switches if multiple |
| switches are passed for --LINK. |
| |
| 2018-03-12 Eric Botcazou <ebotcazou@adacore.com> |
| |
| PR ada/82813 |
| * gcc-interface/misc.c (gnat_post_options): Disable string overflow |
| warnings. |
| |
| 2018-03-10 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (node_has_volatile_full_access) <N_Identifier>: |
| Consider only entities for objects. |
| |
| 2018-03-07 Sebastian Huber <sebastian.huber@embedded-brains.de> |
| |
| * gcc-interface/Makefile.in (OSCONS_CPP): Remove redundant |
| $(GNATLIBCFLAGS). |
| (OSCONS_EXTRACT): Add $(GNATLIBCFLAGS_FOR_C). |
| |
| 2018-03-06 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/trans.c (convert_with_check): Fix typo in the condition |
| guarding the overflow check emitted for the upper bound of a floating- |
| point conversion. |
| |
| 2018-03-06 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/utils.c (def_builtin_1): Bail out on error_mark_node. |
| |
| 2018-02-28 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * libgnat/i-cexten.ads (Float_128): New type. |
| |
| 2018-02-02 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (array_type_has_nonaliased_component): Return |
| false if the component type is a pointer. |
| |
| 2018-01-11 Gary Dismukes <dismukes@adacore.com> |
| |
| * exp_ch3.adb (Default_Initialize_Object): Call New_Copy_Tree on the |
| result of Get_Simple_Init_Value and pass the source location of the |
| object declaration's object_definition. |
| |
| 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
| |
| * exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Handle |
| properly object declarations with initializations that are |
| build-in-place function calls, when there is an address specification, |
| either as an aspect specification or an explicit attribute |
| specification clause, for the initialized object. |
| * freeze.adb (Check_Address_Clause): Do not remove side-effects from |
| initial expressions in the case of a build-in-place call. |
| |
| 2018-01-11 Piotr Trojanek <trojanek@adacore.com> |
| |
| * sem_eval.adb (Is_Null_Range): Retrieve the full view when called on a |
| private (sub)type; refactor to avoid early return statement. |
| (Not_Null_Range): Same as above. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * freeze.adb (Freeze_Entity): Ensure that a Ghost type is not |
| concurrent, nor effectively volatile. |
| * ghost.adb (Check_Ghost_Type): New routine. |
| * ghost.ads (Check_Ghost_Type): New routine. |
| * sem_util.adb (Is_Declaration): Reimplemented. The routine can now |
| consider specific subsets of declarations. |
| (Is_Declaration_Other_Than_Renaming): Removed. Its functionality is |
| replicated by Is_Declaration. |
| * sem_util.ads (Is_Declaration): New parameter profile. Update the |
| comment on usage. |
| (Is_Declaration_Other_Than_Renaming): Removed. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * sem_ch5.adb (Analyze_Assignment): Assignments to variables that act |
| as Part_Of consituents of single protected types are illegal when they |
| take place inside a protected function. |
| (Diagnose_Non_Variable_Lhs): Use Within_Function to check for an |
| enclosing function. |
| (Is_Protected_Part_Of_Constituent): New routine. |
| (Within_Function): New routine. |
| |
| 2018-01-11 Arnaud Charlet <charlet@adacore.com> |
| |
| Bump copyright notices to 2018. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * binde.adb, par-ch6.adb, par-ch9.adb, sem_ch12.adb, sem_ch13.adb: |
| Minor reformatting. |
| |
| 2018-01-11 Justin Squirek <squirek@adacore.com> |
| |
| * par-ch6.adb (Scan_Body_Or_Expression_Function): Add additional check |
| to make sure a given expression function is properly parenthesized. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Check the |
| categorization of a subprogram body which does not complete a previous |
| declaration. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * sem_ch10.adb (Check_Private_Child_Unit): Ensure that the enclosing |
| scope of package Ada is Standard. |
| |
| 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
| |
| * sem_ch13.adb (Replace_Type_Ref): Handle properly reference to a |
| subcomponent of the current entity when building the body for a dynamic |
| predicate function for a record with composite subcomponents. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * exp_aggr.adb (Convert_Aggr_In_Object_Decl): Update the call to |
| Establish_Transient_Scope. |
| (Convert_To_Assignments): Update the call to Establish_Transient_Scope. |
| (Expand_Array_Aggregate): Update the call to Establish_Transient_Scope. |
| * exp_ch6.adb (Expand_Call_Helper): Update the call to |
| Establish_Transient_Scope. |
| (Make_Build_In_Place_Call_In_Object_Declaration): Update the call to |
| Establish_Transient_Scope. |
| * exp_ch7.adb (Establish_Transient_Scope): Restructured. Delegate the |
| management of the secondary stack to an enclosing scope if there is no |
| suitable construct to wrap, and the transient scope was intended to |
| manage the secondary stack. |
| (Find_Node_To_Be_Wrapped): Restructured. A case_statement_alternative |
| is a valid boundary for a transient expression which comes from the |
| statements of the alternative, otherwise alternatives cannot be |
| wrapped. Assignments of controlled objects which have controlled |
| actions suppressed now stop the traversal as there is no point in |
| looking for an enclosing construct. Add several N_xxx_Body choices to |
| the termination conditions for completeness. |
| * exp_ch7.ads (Establish_Transient_Scope): Update the parameter profile |
| and the associated comment on usage. |
| * exp_smem.adb (Add_Shared_Var_Lock_Procs): Update the call to |
| Establish_Transient_Scope. |
| (Add_Write_After): Update the call to Establish_Transient_Scope. |
| * sem_res.adb (Check_Initialization_Call): Removed. |
| (Resolve_Actuals): Account for additional cases where finalization |
| actions are required by utilizing predicate Needs_Finalization rather |
| than Is_Controlled. |
| (Resolve_Call): Type initialization procedures can now utilize |
| transient scopes to manage the secondary stack, thus preventing leaks |
| during initialization. Remove the previous kludgy algorithm which |
| attempts to manage the secondary stack at the object creation site. |
| |
| 2018-01-11 Jerome Lambourg <lambourg@adacore.com> |
| |
| * libgnat/g-soliop__qnx.ads: New. |
| * adaint.c, adaint.h, cstreams.c, s-oscons-tmplt.c, sysdep.c: Update |
| for QNX. |
| |
| 2018-01-11 Bob Duff <duff@adacore.com> |
| |
| * par-ch9.adb (P_Protected_Operation_Declaration_Opt): Give an error if |
| a null procedure occurs in a protected definition. |
| |
| 2018-01-11 Bob Duff <duff@adacore.com> |
| |
| * binderr.ads, namet.ads: Minor reformatting. |
| |
| 2018-01-11 Bob Duff <duff@adacore.com> |
| |
| * doc/gnat_ugn/gnat_utility_programs.rst: Improve documentation of |
| xml2gnat. |
| |
| 2018-01-11 Bob Duff <duff@adacore.com> |
| |
| * binde.adb (Force_Elab_Order): Give an error if there are duplicate |
| unit names. |
| |
| 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
| |
| * sem_ch6.adb (Freeze_Expr_Types): If an access value is the |
| controlling argument of a dispatching call. freeze the corresponding |
| designated type. |
| |
| 2018-01-11 Ben Brosgol <brosgol@adacore.com> |
| |
| * doc/Makefile: Add Sphinx option -W to treat warnings as errors. |
| |
| 2018-01-11 Ben Brosgol <brosgol@adacore.com> |
| |
| * doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording |
| corrections. |
| * gnat_rm.texi: Regenerate. |
| |
| 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
| |
| * sem_ch12.adb (Check_Fixed_Point_Type): Do not apply check if the |
| formsl type corresponding to the actual fixed point type is private, |
| because in this case there can be no suspicious arithmetic operations |
| in the generic unless they reference a formal subprogram. Clarify |
| warning. |
| |
| 2018-01-11 Javier Miranda <miranda@adacore.com> |
| |
| * exp_util.adb (Remove_Side_Effects): No action done for functions |
| returning class-wide types since it requires generating code using |
| 'reference and the CCG target has no secondary stack. |
| * gnat1drv.adb: Disable building static dispatch tables when generating |
| C code. |
| |
| 2018-01-11 Piotr Trojanek <trojanek@adacore.com> |
| |
| * libgnat/a-direio.ads, libgnat/a-sequio.ads, libgnat/a-ststio.ads, |
| libgnat/a-textio.ads, libgnat/a-witeio.ads, libgnat/a-ztexio.ads |
| (File_Type): Add Default_Initial_Condition aspect. |
| |
| 2018-01-11 Pascal Obry <obry@adacore.com> |
| |
| * libgnat/s-os_lib.adb (Normalize_Pathname): New implementation. |
| |
| 2018-01-11 Bob Duff <duff@adacore.com> |
| |
| * doc/gnat_ugn/gnat_utility_programs.rst: Rewrite gnatpp documentation |
| to match what the Libadalang-based version does. |
| * doc/gnat_ugn/about_this_guide.rst: Update reference. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * sem_res.adb (Uses_SS): A controlled type requires the secondary stack |
| if it contains at least one component declaration employing a function |
| call returning on the secondary stack. |
| |
| 2018-01-11 Yannick Moy <moy@adacore.com> |
| |
| * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: |
| Update description of restriction SPARK_05 with SPARK 2014. |
| * gnat_rm.texi: Regenerate. |
| |
| 2018-01-11 Vasiliy Fofanov <fofanov@adacore.com> |
| |
| * doc/gnat_ugn/gnat_utility_programs.rst: Fix layout. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * exp_aggr.adb, exp_ch9.adb, exp_util.adb, sem_aggr.adb, sem_ch3.adb, |
| sem_res.adb, sem_util.adb: Minor reformatting. |
| |
| 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
| |
| * sem_prag.adb (Analyze_Pragma, case Predicate): Indicate that the type |
| has a delayed aspect which must be processed at the point the type is |
| frozen. This mimics what is done when the predicate is provided by a |
| source aspect. |
| |
| 2018-01-11 Doug Rupp <rupp@adacore.com> |
| |
| * init.c (vxworks): Add macro checks for __aarch64__. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * exp_util.adb (Add_Failure_Expression): New routine. |
| (Make_Predicate_Check): Reimplement the handling of Predicate_Failure. |
| * sem_util.adb (Is_Current_Instance): Code cleanup. |
| |
| 2018-01-11 Patrick Bernardi <bernardi@adacore.com> |
| |
| * libgnat/s-parame*.adb, libgnat/s-parame*.ads: Remove unneeded |
| Default_Sec_Stack_Size. |
| * libgnat/s-secsta.adb (SS_Allocate): Handle the fixed secondary stack |
| limit check so that the integer index does not overflow. Check the |
| dynamic stack allocation does not cause the secondary stack pointer to |
| overflow. |
| (SS_Info): Align colons. |
| (SS_Init): Cover the case when bootstraping with an old compiler that |
| does not set Default_SS_Size. |
| |
| 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
| |
| * sem_ch3.adb (Add_Internal_Interface_Entities): When checking the |
| legality of an inherited operation that may require overriding, ignore |
| primitive_wrappers that correspond to explicit operations that override |
| an interface primitive. |
| * exp_util.adb (Build_Class_Wide_Expression, Replace_Entity): If the |
| operation to which the class-wide expression applies is a protected op. |
| with a primitive_wrapper, verify that the updated inherited expression |
| does not contain an internal call to a protected function. This |
| completes the implementation of AI12-0166. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * ali.adb: Document the remaining letters available for ALI lines. |
| (Scan_ALI): A with clause is internal when it is encoded on a 'Z' line. |
| * ali.ads: Update type With_Record. Field |
| Implicit_With_From_Instantiation is no longer in use. Add field |
| Implicit_With. |
| * csinfo.adb (CSinfo): Remove the setup for attribute |
| Implicit_With_From_Instantiation. |
| * lib-writ.adb (Collect_Withs): Correct the logic which marks a unit as |
| either implicitly or explicitly withed. |
| (Is_Implicit_With_Clause): New routine. |
| (Write_ALI): Rename array Implicit_With to Has_Implicit_With to avoid |
| confusion with the with clause attribute by the same name. |
| (Write_With_Lines): Update the emission of 'W', 'Y', and 'Z' headers. |
| * rtsfind.adb (Maybe_Add_With): Code cleanup. |
| * sem_ch8.adb (Present_System_Aux): Code cleanup. |
| * sem_ch10.adb (Expand_With_Clause): Mark the with clause as generated |
| for a parent unit. |
| (Implicit_With_On_Parent): Mark the with clause as generated for a |
| parent unit. |
| * sem_ch12.adb (Inherit_Context): With clauses inherited by an |
| instantiation are no longer marked as Implicit_With_From_Instantiation |
| because they are already marked as implicit. |
| * sem_elab.adb (Ensure_Prior_Elaboration_Static): Remove the kludge |
| which marks implicit with clauses as related to an instantiation. |
| * sinfo.adb (Implicit_With_From_Instantiation): Removed. |
| (Parent_With): New routine. |
| (Set_Implicit_With_From_Instantiation): Removed. |
| (Set_Parent_With): New routine. |
| * sinfo.ads: Update the documentation of attribute Implicit_With. |
| Remove attribute Implicit_With_From_Instantiation along with |
| occurrences in nodes. Add attribute Parent_With along with occurrences |
| in nodes. |
| (Implicit_With_From_Instantiation): Removed along with pragma Inline. |
| (Parent_With): New routine along with pragma Inline. |
| (Set_Implicit_With_From_Instantiation): Removed along with pragma Inline. |
| (Set_Parent_With): New routine along with pragma Inline. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * sem_util.adb (Find_Enclosing_Scope): Return the unique defining |
| entity when the enclosing construct is a body. |
| |
| 2018-01-11 Patrick Bernardi <bernardi@adacore.com> |
| |
| * exp_ch9.adb (Expand_N_Task_Type_Declaration): Simplified |
| Secondary_Stack_Size handling as a pragma is now generated for the |
| corresponding aspect instead of an attribute. Pragma expression is |
| relocated instead of evaluated. Discriminant of the corresponding |
| record type is referenced rather than the type discriminant. |
| (Create_Secondary_Stack_For_Task, Make_Task_Create_Call): Update |
| Secondary_Stack_Size rep item checks to only look for the pragma rep. |
| * sem_ch13.adb (Analyze_One_Aspect): Transform |
| Aspect_Secondary_Stack_Size into a pragma instead of an attribute |
| because the attribute does not have visibility on a task type's |
| discriminants when the type's definition is expanded. |
| (Analyze_Attribute_Definition_Clause): Remove handling of |
| Attribute_Secondary_Stack_Size. |
| * snames.adb-tmpl, snames.ads-tmpl: Remove |
| Attribute_Secondary_Stack_Size, no longer used. |
| |
| 2018-01-11 Justin Squirek <squirek@adacore.com> |
| |
| * sem_ch8.adb: Minor comment fix. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * exp_ch4.adb (Process_Action): Do not abandon the inspection of an |
| individual action because the action may denote a complex expression, |
| such as a case statement, which in turn may contain additional |
| transient objects. |
| |
| 2018-01-11 Ed Schonberg <schonberg@adacore.com> |
| |
| * sem_aggr.adb (Resolve_Iterated_Component_Association): Perform |
| analysis on a copy of the expression with a copy of the index variable, |
| because full expansion will rewrite construct into a loop with the |
| original loop variable. |
| * exp_aggr.adb (Gen_Assign): Defer analysis and resolution if the |
| expression is an iterated component association. Full analysis takes |
| place when construct is rewritten as a loop. |
| (In_Place_Assign_OK, Safe_Component): An iterated_component_association |
| is not safe for in-place assignment. |
| * sem_util.adb (Remove_Entity): Handle properly the case of an isolated |
| entity with no homonym and no other entity in the scope. |
| |
| 2018-01-11 Justin Squirek <squirek@adacore.com> |
| |
| * sem_prag.adb (Analyze_Pragma:Pragma_Loop_Variant): Modify error |
| message to be printed on the pragma argument identifier. |
| |
| 2018-01-11 Hristian Kirtchev <kirtchev@adacore.com> |
| |
| * exp_util.adb (Build_Invariant_Procedure_Declaration): Set the last |
| entity of the generated invariant procedure in order to construct a |
| proper entity chain. |
| |
| 2018-01-11 Piotr Trojanek <trojanek@adacore.com> |
| |
| * sem_ch13.adb (Build_Predicate_Functions): Fix minor issues in |
| comment. |
| |
| 2018-01-11 Arnaud Charlet <charlet@adacore.com> |
| |
| * einfo.ads, einfo.adb (Activation_Record_Component, |
| Set_Activation_Record_Component, Set_Is_Uplevel_Referenced_Entity): |
| Allow E_Discriminant. |
| |
| 2018-01-10 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gcc-interface/decl.c (gnat_to_gnu_component_type): Apply the check |
| for atomic access once the component size is taken into account and |
| also do it if the component type is Atomic or Volatile_Full_Access. |
| |
| 2018-01-04 Eric Botcazou <ebotcazou@adacore.com> |
| |
| * gnatvsn.ads: Bump copyright year. |
| |
| 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
| Alan Hayward <alan.hayward@arm.com> |
| David Sherwood <david.sherwood@arm.com> |
| |
| * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_BITSIZE |
| as polynomial. |
| |
| 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
| Alan Hayward <alan.hayward@arm.com> |
| David Sherwood <david.sherwood@arm.com> |
| |
| * gcc-interface/misc.c (enumerate_modes): Treat GET_MODE_PRECISION |
| as polynomial. |
| |
| 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
| Alan Hayward <alan.hayward@arm.com> |
| David Sherwood <david.sherwood@arm.com> |
| |
| * gcc-interface/utils.c (gnat_types_compatible_p): Handle |
| polynomial TYPE_VECTOR_SUBPARTS. |
| |
| 2018-01-03 Richard Sandiford <richard.sandiford@linaro.org> |
| Alan Hayward <alan.hayward@arm.com> |
| David Sherwood <david.sherwood@arm.com> |
| |
| * gcc-interface/misc.c (enumerate_modes): Handle polynomial |
| GET_MODE_NUNITS. |
| |
| 2018-01-03 Jakub Jelinek <jakub@redhat.com> |
| |
| Update copyright years. |
| |
| * gnat_ugn.texi: Bump @copying's copyright year. |
| * gnat_rm.texi: Likewise. |
| |
| Copyright (C) 2018 Free Software Foundation, Inc. |
| |
| Copying and distribution of this file, with or without modification, |
| are permitted in any medium without royalty provided the copyright |
| notice and this notice are preserved. |