aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2015-05-23re PR fortran/44054 (Handle -Werror, -Werror=, -fdiagnostics-show-option, ↵Manuel López-Ibáñez15-363/+211
!GCC$ diagnostic (pragmas) and color) gcc/fortran/ChangeLog: 2015-05-24 Manuel López-Ibáñez <manu@gcc.gnu.org> PR fortran/44054 * gfortran.h (struct gfc_error_buf): Rename as gfc_error_buffer. Move closer to push, pop and free methods. Reimplement using an output_buffer. * error.c (errors, warnings, warning_buffer, cur_error_buffer): Delete everywhere in this file. (error_char): Delete all contents. (gfc_increment_error_count): Delete. (gfc_error_now): Update comment. Set error_buffer.flag. (gfc_warning_check): Do not handle warning_buffer. (gfc_error_1): Delete. (gfc_error_now_1): Delete. (gfc_error_check): Simplify. (gfc_move_error_buffer_from_to): Renamed from gfc_move_output_buffer_from_to. (gfc_push_error): Handle only gfc_error_buffer. (gfc_pop_error): Likewise. (gfc_free_error): Likewise. (gfc_get_errors): Remove warnings and errors. (gfc_diagnostics_init): Use static error_buffer. (gfc_error_1,gfc_error_now_1): Delete declarations. * symbol.c, decl.c, trans-common.c, data.c, expr.c, expr.c, frontend-passes.c, resolve.c, match.c, parse.c: Replace gfc_error_1 with gfc_error and gfc_error_now_1 with gfc_error_1 everywhere. * f95-lang.c (gfc_be_parse_file): Do not update errorcount and warningcount here. * primary.c (match_complex_constant): Replace gfc_error_buf and output_buffer with gfc_error_buffer. From-SVN: r223614
2015-05-23re PR c++/65936 (ICE: canonical types differ for identical types)Nathan Sidwell4-5/+43
cp/ PR c++/65936 * pt.c (lookup_template_class_1): Copy may_alias attribute too. testsuite/ PR c++/65936 * g++.dg/template/pr65936.C: New. From-SVN: r223613
2015-05-23genmatch.c (parser::parse_operation): Reject expanding operator-list inside ↵Prathamesh Kulkarni2-1/+10
'for'. 2015-05-20 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> * genmatch.c (parser::parse_operation): Reject expanding operator-list inside 'for'. From-SVN: r223612
2015-05-23Fix date in ChangeLog entry for r223610Prathamesh Kulkarni1-1/+1
From-SVN: r223611
2015-05-23genmatch.c (parser::parse_for): Reject iterator if used as operator-list.Prathamesh Kulkarni2-2/+11
2015-05-23 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> * genmatch.c (parser::parse_for): Reject iterator if used as operator-list. From-SVN: r223610
2015-05-23genmatch.c (parser::parse_operator_list): Check for CPP_CLOSE_PAREN after ↵Prathamesh Kulkarni2-0/+9
end of id-list. 2015-05-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org> * genmatch.c (parser::parse_operator_list): Check for CPP_CLOSE_PAREN after end of id-list. From-SVN: r223609
2015-05-23lto.c (hash_canonical_type): Be sure we hash only types that need alias set.Jan Hubicka5-1/+60
* lto.c (hash_canonical_type): Be sure we hash only types that need alias set. (gimple_register_canonical_type_1): Do not produce canonical types for types that do not need alias sets. * tree.c (gimple_canonical_types_compatible_p): Sanity check that we do not try to compute canonical type for type that does not need alias set. (verify_type): Drop FIXME for METHOD_TYPE, update FIXME for FUNCITON_TYPE. * tree.h (type_with_alias_set_p): New. From-SVN: r223608
2015-05-23* lto.c (hash_canonical_type): Drop hashing of METHOD_BASETYPE.Jan Hubicka2-4/+4
From-SVN: r223607
2015-05-23tree.c (gimple_canonical_types_compatible_p): Do not compare function ↵Jan Hubicka2-7/+9
attributes. * tree.c (gimple_canonical_types_compatible_p): Do not compare function attributes. (verify_type): Remove METHOD_TYPE FIXME; update FUNCTION_TYPE. From-SVN: r223606
2015-05-23Daily bump.GCC Administrator1-1/+1
From-SVN: r223603
2015-05-22Makefile.in (check_gcc_parallelize): Delete.Jim Wilson8-7/+24
gcc/ * Makefile.in (check_gcc_parallelize): Delete. (lang_checks_parallelized): Update comment. gcc/c * Make-lang.in (check_gcc_pallelize): Define. gcc/cp * Make-lang.in (check_g++_parallelize): Update comment. gcc/fortran * Make-lang.in (check_gfortran_parallelize): Update comment. From-SVN: r223597
2015-05-22re PR rtl-optimization/66237 (FAIL: gcc.dg/tree-prof/pr34999.c compilation, ↵Mikhail Maltsev2-3/+12
-fprofile-use -D_PROFILE_USE (internal compiler error)) PR rtl-optimization/66237 * bb-reorder.c (fix_crossing_conditional_branches): Fix wrong location of an "as_a" cast. From-SVN: r223596
2015-05-22pa.md (non-canonical shift-add insns): Remove.Jeff Law2-137/+36
* config/pa/pa.md (non-canonical shift-add insns): Remove. (peepholes with non-canonical RTL sources): Remove. (peepholes for indexed stores of FP regs in integer modes): Match and generate canonical RTL. From-SVN: r223592
2015-05-22re PR other/63387 (Optimize pairs of isnan() calls into a single isunordered())Marc Glisse5-3/+49
2015-05-22 Marc Glisse <marc.glisse@inria.fr> PR tree-optimization/63387 gcc/ * match.pd ((X /[ex] A) * A -> X): Remove unnecessary condition. ((x ord x) & (y ord y) -> (x ord y), (x ord x) & (x ord y) -> (x ord y)): New simplifications. * fold-const.c (tree_unary_nonnegative_warnv_p) <ABS_EXPR>: Handle vectors like scalars. gcc/testsuite/ * gcc.dg/pr63387-2.c: New testcase. From-SVN: r223591
2015-05-22convert.c (convert_to_integer, [...]): Include the types in the error message.Marc Glisse4-3/+16
2015-05-22 Marc Glisse <marc.glisse@inria.fr> gcc/ * convert.c (convert_to_integer, convert_to_vector): Include the types in the error message. gcc/testsuite/ * gcc.dg/simd-1.c: Update to the new message. From-SVN: r223590
2015-05-22match.pd ((x | y) & ~x -> y & ~x, (x & y) | ~x -> y | ~x): New simplifications.Marc Glisse4-4/+33
2015-05-22 Marc Glisse <marc.glisse@inria.fr> gcc/ * match.pd ((x | y) & ~x -> y & ~x, (x & y) | ~x -> y | ~x): New simplifications. gcc/testsuite/ * gcc.dg/nand.c: New testcase. From-SVN: r223587
2015-05-22pa.md (integer_indexed_store splitters): Use mem_shadd_operand.Jeff Law2-9/+25
* config/pa/pa.md (integer_indexed_store splitters): Use mem_shadd_operand. Use ASHIFT rather than MULT in the resulting insns -- adjusting the constant 2nd operand accordingly. From-SVN: r223586
2015-05-22combine.c (try_combine): Canonicalize (plus (mult X pow2) Y) into (plus ↵Jeff Law4-0/+60
(ashift X log2) Y) if... * combine.c (try_combine): Canonicalize (plus (mult X pow2) Y) into (plus (ashift X log2) Y) if it is a split point. * gcc.target/hppa/shadd-3.c: New test. From-SVN: r223583
2015-05-22advsimd-intrinsics.exp: Set dg-do-what-default to compile only on ARM ↵Sandra Loosemore2-4/+22
targets without arm_neon_hw... 2015-05-22 Sandra Loosemore <sandra@codesourcery.com> gcc/testsuite/ * gcc.target/aarch64/advsimd-intrinsics/advsimd-intrinsics.exp: Set dg-do-what-default to compile only on ARM targets without arm_neon_hw execution support. Remove redundant c-torture-execute in loop over test cases. From-SVN: r223580
2015-05-22pa.c (mem_shadd_or_shadd_rtx_p): New function factored out of ↵Jeff Law2-48/+98
hppa_legitimize_address to handle both forms of a... * pa.c (mem_shadd_or_shadd_rtx_p): New function factored out of hppa_legitimize_address to handle both forms of a multiply by 2, 4 or 8. (hppa_legitimize_address): Use mem_shadd_or_shadd_rtx_p. Always generate the ASHIFT variant as the result is not directly used in a MEM. Update comments and refactor slightly to improve readability. From-SVN: r223579
2015-05-22[AArch64] PR target/65491: Classify V1TF vectors as AAPCS64 short vectors ↵Kyrylo Tkachov6-21/+55
rather than composite types PR target/65491 * config/aarch64/aarch64.c (aarch64_short_vector_p): Move above aarch64_composite_type_p. Remove check for aarch64_composite_type_p. (aarch64_composite_type_p): Return false if given type and mode are for a short vector. PR target/65491 * gcc.target/aarch64/pr65491_1.c: New test. * gcc.target/aarch64/aapcs64/type-def.h (vlf1_t): New typedef. * gcc.target/aarch64/aapcs64/func-ret-1.c: Add test for vlf1_t. From-SVN: r223577
2015-05-22re PR c++/65598 (Fix column location for 'explicit')Paolo Carlini5-8/+35
/cp 2015-05-22 Paolo Carlini <paolo.carlini@oracle.com> PR c++/65598 * decl.c (grokdeclarator): Use the correct location in error messages about 'explicit'. /testsuite 2015-05-22 Paolo Carlini <paolo.carlini@oracle.com> PR c++/65598 * g++.dg/cpp0x/explicit9.C: New. * g++.dg/cpp0x/explicit8.C: Check the locations too. From-SVN: r223576
2015-05-22tree-vectorizer.h (struct _slp_oprnd_info): Add second_pattern member.Richard Biener4-32/+52
2015-05-22 Richard Biener <rguenther@suse.de> * tree-vectorizer.h (struct _slp_oprnd_info): Add second_pattern member. * tree-vect-loop.c (vect_analyze_loop_operations): Look at patterns when determining whether SLP is pure. (vect_is_slp_reduction): Remove check for pattern stmts. (vect_is_simple_reduction_1): Remove dead code. * tree-vect-slp.c (vect_create_oprnd_info): Initialize second_pattern. (vect_get_and_check_slp_defs): Pass in the stmt number. Allow the first def in a reduction to be not a pattern stmt when the rest of the stmts def are patterns. (vect_build_slp_tree_1): Allow tcc_expression codes like SAD_EXPR and DOT_PROD_EXPR. (vect_build_slp_tree): Adjust. (vect_analyze_slp): Refactor and move BB vect error message ... (vect_slp_analyze_bb_1): ... here. From-SVN: r223574
2015-05-22[multiple changes]Arnaud Charlet9-13/+31
2015-05-22 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Constrain_Concurrent): If the context is a type declaration, generate an Itype_Reference for the anonymous subtype, to force elaboration at this point in gigi. 2015-05-22 Gary Dismukes <dismukes@adacore.com> * layout.adb, einfo.ads, sem_ch12.adb, freeze.adb, sem_util.ads, exp_ch4.adb, sem_ch6.adb: Minor reformatting and typo fixes. From-SVN: r223573
2015-05-22tree-switch-conversion.c (build_one_array): Set DECL_IGNORED_P for CSWTCH ↵Aldy Hernandez2-0/+6
temporary. * tree-switch-conversion.c (build_one_array): Set DECL_IGNORED_P for CSWTCH temporary. From-SVN: r223572
2015-05-22fix to use rvalue where expectedNathan Sidwell1-2/+2
From-SVN: r223571
2015-05-22Minor reformatting.Arnaud Charlet2-10/+10
From-SVN: r223570
2015-05-22sem_res.adb (Resolve_Actuals): If the call is to an overridden operation...Ed Schonberg2-4/+49
2015-05-22 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve_Actuals): If the call is to an overridden operation, replace the names of the actuals in named associations with the names of the actuals of the subprogram that is eventually executed. The names of the formals and the defaults can differ between the two operations when they are operations of a formal derived type. From-SVN: r223569
2015-05-22[multiple changes]Arnaud Charlet4-48/+118
2015-05-22 Bob Duff <duff@adacore.com> * a-convec.ads, a-convec.adb (Append): Check for fast path. Split out slow path into separate procedure. Inline Append. Fast path now avoids calling Insert. (Finalize): Do the busy checking last, so the container gets emptied. (Insert, Insert_Space): Remove redundancy. 2015-05-22 Robert Dewar <dewar@adacore.com> * switch-c.adb (Scan_Front_End_Switches): Insist on -gnatc for -gnatd.V. From-SVN: r223567
2015-05-22gnatvsn.ads: Minor code reorg to remember more easily to update variables.Arnaud Charlet2-13/+18
* gnatvsn.ads: Minor code reorg to remember more easily to update variables. From-SVN: r223566
2015-05-22sem_ch10.adb (Analyze_With_Clause): In ASIS_Mode...Ed Schonberg5-9/+52
2015-05-22 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Analyze_With_Clause): In ASIS_Mode, a limited_with clause on a predefined unit is not transformed into a regular with_clause, to preserve the original tree structure. * sinfo.ads (N_With_Clause): Add comment on handling of Limited_With. * sem_ch10.adb: Minor reformatting. 2015-05-22 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Freeze_Profile): A limited view of a type in the profile of a subprogram renaming does not require freezing, because it is declared in a different unit. 2015-05-22 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb (Get_Constraint_Association): If type (of ancestor composite type) is private, go to full view. This was previously done only in an instance context, but is happen whenever a chain of private extensions includes one inherited discriminant. From-SVN: r223565
2015-05-22[multiple changes]Arnaud Charlet18-580/+1136
2015-05-22 Robert Dewar <dewar@adacore.com> * einfo.ads: Minor comment updates. * exp_unst.adb: Move Subps table to spec Don't remove old entries from table Add Last field to record last entry used. * exp_unst.ads: Move Subps table here from body So that Cprint can access saved values. 2015-05-22 Bob Duff <duff@adacore.com> * a-cdlili.adb, a-cdlili.ads, a-cohama.adb, a-cohama.ads, * a-cohase.adb, a-cohase.ads, a-convec.adb, a-convec.ads, * a-coorma.adb, a-coorma.ads, a-coorse.adb, a-coorse.ads: (Pseudo_Reference, Element_Access, Get_Element_Access): New declarations added for use by performance improvements in exp_ch5.adb. * snames.ads-tmpl: New names referenced by exp_ch5.adb. * exp_ch5.adb: Speed up "for ... of" loops for predefined containers. Instead of doing literally what the RM calls for, we do something equivalent that avoids expensive operations inside the loop. If the container package has appropriate Next, Pseudo_Reference, Element_Access, Get_Element_Access declarations, we invoke the optimization. * snames.ads-tmpl: Note speed improvement. From-SVN: r223563
2015-05-22einfo.ads (Is_Atomic_Or_VFA): Move to XEINFO INLINES section.Eric Botcazou3-7/+16
2015-05-22 Eric Botcazou <ebotcazou@adacore.com> * einfo.ads (Is_Atomic_Or_VFA): Move to XEINFO INLINES section. * xeinfo.adb: Replace a-einfo.h with einfo.h throughout. Add pattern to translate "or else" into "||". From-SVN: r223562
2015-05-22einfo.ads (Has_Volatile_Full_Access): Rename into...Eric Botcazou10-54/+75
2015-05-22 Eric Botcazou <ebotcazou@adacore.com> * einfo.ads (Has_Volatile_Full_Access): Rename into... (Is_Volatile_Full_Access): ...this. (Set_Has_Volatile_Full_Access): Rename into... (Set_Is_Volatile_Full_Access): ...this. * einfo.adb (Has_Volatile_Full_Access): Rename into... (Is_Volatile_Full_Access): ...this. (Set_Has_Volatile_Full_Access): Rename into... (Set_Is_Volatile_Full_Access): ...this. (Is_Atomic_Or_VFA): Adjust to above renaming. * errout.adb (Special_Msg_Delete): Likewise. * exp_pakd.adb (Install_PAT): Likewise. * freeze.adb (Freeze_Array_Type): Likewise. * sem_ch8.adb (Analyze_Object_Renaming): Likewise. * sem_ch13.adb (Inherit_Delayed_Rep_Aspects): Likewise. (Inherit_Aspects_At_Freeze_Point): Likewise. * sem_prag.adb (Set_Atomic_VFA): Likewise. (Process_Atomic_Independent_Shared_Volatile): Likewise. * sem_util.adb (Is_Atomic_Or_VFA_Object): Likewise. From-SVN: r223561
2015-05-22exp_ch5.adb, [...]: This is a general change that deals with the fact that ↵Robert Dewar15-66/+173
most of the special... 2015-05-22 Robert Dewar <dewar@adacore.com> * exp_ch5.adb, layout.adb, einfo.adb, einfo.ads, sem_prag.adb, freeze.adb, freeze.ads, sem_util.adb, sem_util.ads, exp_ch2.adb, exp_ch4.adb, errout.adb, exp_aggr.adb, sem_ch13.adb: This is a general change that deals with the fact that most of the special coding for Atomic should also apply to the case of Volatile_Full_Access. A new attribute Is_Atomic_Or_VFA is introduced, and many of the references to Is_Atomic now use this new attribute. From-SVN: r223560
2015-05-22exp_ch4.adb (Expand_N_Op_Eq): Introduce 'Machine for 'Result comparison.Robert Dewar2-0/+29
2015-05-22 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Op_Eq): Introduce 'Machine for 'Result comparison. From-SVN: r223559
2015-05-22[ARM] Handle UNSPEC_VOLATILE in rtx costs and don't recurse inside the unspecKyrylo Tkachov2-2/+10
* config/arm/arm.c (arm_new_rtx_costs): Handle UNSPEC_VOLATILE. (arm_unspec_cost): Allow UNSPEC_VOLATILE. Do not recurse inside unknown unspecs. From-SVN: r223558
2015-05-22[multiple changes]Arnaud Charlet7-77/+200
2015-05-22 Eric Botcazou <ebotcazou@adacore.com> * sprint.adb (Source_Dump): When generating debug files, deal with the case of a stand-alone package instantiation by dumping together the spec and the body in the common debug file. 2015-05-22 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Minimum_Size): Size is zero for null range discrete subtype. 2015-05-22 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb (Anonymous_Master): This attribute now applies to package and subprogram bodies. (Set_Anonymous_Master): This attribute now applies to package and subprogram bodies. (Write_Field36_Name): Add output for package and subprogram bodies. * einfo.ads Update the documentation on attribute Anonymous_Master along with occurrences in entities. * exp_ch4.adb (Create_Anonymous_Master): Reimplemented to handle spec and body anonymous masters of the same unit. (Current_Anonymous_Master): Reimplemented. Handle a package instantiation that acts as a compilation unit. (Insert_And_Analyze): Reimplemented. 2015-05-22 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Analyze_With_Clause): A limited_with_clause on a predefined unit is treated as a regular with_clause. From-SVN: r223557
2015-05-22Minor reformatting.Arnaud Charlet1-2/+0
From-SVN: r223556
2015-05-22[multiple changes]Arnaud Charlet11-29/+159
2015-05-22 Robert Dewar <dewar@adacore.com> * sem_ch12.adb, prj.ads, makeutl.ads, sem_ch6.adb, prj-nmsc.adb, prj-conf.adb, sem_disp.adb: Minor reformatting. 2015-05-22 Vincent Celier <celier@adacore.com> * clean.adb (Parse_Cmd_Line): For native gnatclean, check for switch -P and, if found and gprclean is available, invoke silently gprclean. * make.adb (Initialize): For native gnatmake, check for switch -P and, if found and gprbuild is available, invoke silently gprbuild. 2015-05-22 Eric Botcazou <ebotcazou@adacore.com> * sem_ch13.adb (Validate_Unchecked_Conversions): Also issue specific warning for discrete types when the source is larger than the target. From-SVN: r223555
2015-05-22[multiple changes]Arnaud Charlet10-30/+241
2015-05-22 Ed Schonberg <schonberg@adacore.com> * einfo.ads, einfo.adb (Incomplete_Actuals): New attribute of package instantiations. Holds the list of actuals in the instance that are incomplete types, to determine where the corresponding instance body must be placed. * sem_ch6.adb (Conforming_Types): An incomplete type used as an actual in an instance matches an incomplete formal. * sem_disp.adb (Check_Dispatching_Call): Handle missing case of explicit dereference. (Inherited_Subprograms): In the presence of a limited view there are no subprograms to inherit. * sem_ch12.adb (Preanalyze_Actuals): Build list of incomplete actuals of instance, for later placement of instance body and freeze nodes for actuals. (Install_Body): In the presence of actuals that incomplete types from a limited view, the instance body cannot be placed after the declaration because full views have not been seen yet. Any use of the non-limited views in the instance body requires the presence of a regular with_clause in the enclosing unit, and will fail if this with_clause is missing. We place the instance body at the beginning of the enclosing body, which is the unit being compiled, and ensure that freeze nodes for the full views of the incomplete types appear before the instance. 2015-05-22 Pascal Obry <obry@adacore.com> * makeutl.ads, prj-conf.adb, prj-nmsc.adb, prj.ads (In_Place_Option): Removed. (Relocate_Build_Tree_Option): New constant. (Root_Dir_Option): New constant. (Obj_Root_Dir): Removed. (Build_Tree_Dir): New variable. (Root_Src_Tree): Removed. (Root_Dir): New variable. * prj-conf.adb (Get_Or_Create_Configuration_File): Add check for improper relocation. * prj-nmsc.adb (Locate_Directory): Add check for improper relocation. From-SVN: r223553
2015-05-22re PR middle-end/66251 (ICE in vect_get_vec_def_for_operand, at ↵Richard Biener4-7/+23
tree-vect-stmts.c:1484) 2015-05-22 Richard Biener <rguenther@suse.de> PR tree-optimization/66251 * tree-vect-stmts.c (vectorizable_conversion): Properly set STMT_VINFO_VEC_STMT even for the SLP case. * gfortran.fortran-torture/compile/pr66251.f90: New testcase. From-SVN: r223552
2015-05-22einfo.adb (Default_Init_Cond_Procedure): Code cleanup.Hristian Kirtchev3-26/+42
2015-05-22 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb (Default_Init_Cond_Procedure): Code cleanup. The attribute now applies to the base type. (Has_Default_Init_Cond): Now applies to the base type. (Has_Inherited_Default_Init_Cond): Now applies to the base type. (Set_Default_Init_Cond_Procedure): Code cleanup. The attribute now applies to the base type. (Set_Has_Default_Init_Cond): Now applies to the base type. (Set_Has_Inherited_Default_Init_Cond): Now applies to the base type. * exp_ch3.adb (Expand_N_Object_Declaration): No need to use the base type when adding a call to the Default_Initial_Condition. From-SVN: r223551
2015-05-222015-05-22 Hristian Kirtchev <kirtchev@adacore.com>Hristian Kirtchev4-158/+170
* einfo.adb Node36 is now used as Anonymous_Master. Flag253 is now unused. (Anonymous_Master): New routine. (Has_Anonymous_Master): Removed. (Set_Anonymous_Master): New routine. (Set_Has_Anonymous_Master): Removed. (Write_Entity_Flags): Remove the output for Has_Anonymous_Maser. (Write_Field36_Name): Add output for Anonymous_Master. * einfo.ads Add new attribute Anonymous_Master along with occurrences in nodes. Remove attribute Has_Anonymous_Master along with occurrences in nodes. (Anonymous_Master): New routine along with pragma Inline. (Has_Anonymous_Master): Removed along with pragma Inline. (Set_Anonymous_Master): New routine along with pragma Inline. (Set_Has_Anonymous_Master): Removed along with pragma Inline. * exp_ch4.adb (Create_Anonymous_Master): New routine. (Current_Anonymous_Master): Reimplemented. From-SVN: r223550
2015-05-22freeze.adb (Freeze_Profile): Suppress warning if imported subprogram is not ↵Bob Duff2-2/+18
at library level. 2015-05-22 Bob Duff <duff@adacore.com> * freeze.adb (Freeze_Profile): Suppress warning if imported subprogram is not at library level. From-SVN: r223549
2015-05-22[multiple changes]Arnaud Charlet30-107/+327
2015-05-22 Robert Dewar <dewar@adacore.com> * sem_ch8.adb (Analyze_Object_Renaming): Check for renaming component of an object to which Volatile_Full_Access applies. 2015-05-22 Jerome Guitton <guitton@adacore.com> * exp_dbug.ads: Add note about non bit-packed arrays. 2015-05-22 Eric Botcazou <ebotcazou@adacore.com> * sem_prag.adb: Fix typo. * einfo.ads: Grammar fixes in comments. 2015-05-22 Bob Duff <duff@adacore.com> * a-cborma.ads, a-cidlli.ads, a-cimutr.ads, a-ciormu.ads, * a-cihase.ads, a-cohama.ads, a-coorse.ads, a-cbhama.ads, * a-cborse.ads, a-comutr.ads, a-ciorma.ads, a-cobove.ads, * a-coormu.ads, a-convec.ads, a-cohase.ads, a-coinho.ads, * a-cbdlli.ads, a-cbmutr.ads, a-cbhase.ads, a-cdlili.ads, * a-cihama.ads, a-coinve.ads, a-ciorse.ads, a-coorma.ads, * a-coinho-shared.ads (Constant_Reference_Type, Reference_Type): Add an initialization expression "raise Program_Error". See, for example, RM-A.18.2(148.4). From-SVN: r223548
2015-05-22fix some dates in ChangeLogsTrevor Saunders2-9/+9
From-SVN: r223547
2015-05-22debug.adb: Update documentation.Robert Dewar14-44/+133
2015-05-22 Robert Dewar <dewar@adacore.com> * debug.adb: Update documentation. * einfo.ads, einfo.adb (Needs_Typedef): New flag * exp_unst.adb (Unnest_Subprogram): Mark AREC types as needing typedef's in C. * frontend.adb: Update comments. * gnat1drv.adb (Adjust_Global_Switches): Set all needed flags for -gnatd.V * opt.ads (Generate_C_Code): New switch. * osint-c.adb (Write_C_File_Info): Removed, not used (Write_H_File_Info): Removed, not used * osint-c.ads (Write_C_File_Info): Removed, not used (Write_H_File_Info): Removed, not used * osint.ads (Write_Info): Minor comment updates. (Output_FD): Moved from private part to public part of spec. * sem.adb (Semantics): Force expansion on if in Generate_C_Code mode. * atree.ads: minor typo in comment. * sem_prag.adb (Process_Atomic_Independent_Shared_Volatile): Do not allow VFA on composite object with aliased component. From-SVN: r223546
2015-05-22[multiple changes]Arnaud Charlet4-8/+14
2015-05-22 Arnaud Charlet <charlet@adacore.com> * osint-c.adb, osint-c.ads (Set_File_Name): Move back to spec. 2015-05-22 Pascal Obry <obry@adacore.com> * prj-util.adb: Minor comment editing. From-SVN: r223545
2015-05-22Minor reformatting.Arnaud Charlet2-5/+9
From-SVN: r223544