Georg-Johann Lay [Wed, 10 Jul 2013 12:32:05 +0000 (12:32 +0000)]
re PR target/57506 ([avr] Some devices are present twice in avr-mcus.def)
PR target/57506
* config/avr/avr-mcus.def (atmega16hva, atmega16hva2, atmega16hvb)
(atmega16m1, atmega16u4, atmega32a, atmega32c1, atmega32hvb)
(atmega32m1, atmega32u4, atmega32u6, atmega64c1, atmega64m1):
Remove duplicate devices.
* config/avr/gen-avr-mmcu-texi.c (print_mcus): Fail on duplicate MCUs.
* config/avr/t-multilib: Regenerate.
* config/avr/avr-tables.opt: Regenerate.
* doc/avr-mmcu.texi: Regenerate.
From-SVN: r200870
Georg-Johann Lay [Wed, 10 Jul 2013 11:21:41 +0000 (11:21 +0000)]
re PR target/56987 (gcc/config/avr/avr.opt:80: "change" -> "changed"?)
PR target/56987
* config/avr/avr.opt (Waddr-space-convert): Fix typo.
From-SVN: r200869
Graham Stott [Wed, 10 Jul 2013 09:26:13 +0000 (09:26 +0000)]
mips.c (mips_rtx_costs): Very slightly increase the cost of MULT when optimizing for size.
* config/mips/mips.c (mips_rtx_costs): Very slightly increase
the cost of MULT when optimizing for size.
* gcc.target/mips/mulsize-1.c: New.
* gcc.target/mips/mulsize-2.c: New.
* gcc.target/mips/mulsize-3.c: New.
* gcc.target/mips/mulsize-4.c: New.
From-SVN: r200867
Jan-Benedict Glaw [Wed, 10 Jul 2013 08:08:07 +0000 (08:08 +0000)]
cr16-protos.h: Don't include target.h.
2013-07-10 Jan-Benedict Glaw <jbglaw@lug-owl.de>
gcc/
* config/cr16/cr16-protos.h: Don't include target.h.
From-SVN: r200865
Jason Merrill [Wed, 10 Jul 2013 00:37:49 +0000 (20:37 -0400)]
re PR c++/57402 (ICE: in make_decl_rtl, at varasm.c:1147 when initializing variable-sized array)
PR c++/57402
* init.c (build_vec_init): Don't take shortcuts when initializing
a VLA.
From-SVN: r200860
GCC Administrator [Wed, 10 Jul 2013 00:16:39 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r200859
Joseph Myers [Tue, 9 Jul 2013 22:35:46 +0000 (23:35 +0100)]
rs6000.c (rs6000_init_hard_regno_mode_ok): Only adjust register size for TDmode and TFmode for VSX registers.
* config/rs6000/rs6000.c (rs6000_init_hard_regno_mode_ok): Only
adjust register size for TDmode and TFmode for VSX registers.
From-SVN: r200853
Jason Merrill [Tue, 9 Jul 2013 21:52:40 +0000 (17:52 -0400)]
re PR c++/57471 (Bizarre error for template parameter pack)
PR c++/57471
* parser.c (cp_parser_sizeof_pack): Clear parser scopes.
From-SVN: r200852
Janis Johnson [Tue, 9 Jul 2013 21:31:09 +0000 (21:31 +0000)]
* config.host (powerpc-*-eabispe*): Add t-fdpbit to tmake_file.
From-SVN: r200846
Jason Merrill [Tue, 9 Jul 2013 18:50:28 +0000 (14:50 -0400)]
re PR c++/57658 (ICE in tsubst_copy, at cp/pt.c:12213)
PR c++/57658
* semantics.c (finish_id_expression): Return the id for an
unevaluated outer variable.
From-SVN: r200845
Jason Merrill [Tue, 9 Jul 2013 17:56:43 +0000 (13:56 -0400)]
re PR c++/57526 (use of X before deduction of auto error for seemingly good code)
PR c++/57526
* semantics.c (lambda_capture_field_type): Build a DECLTYPE_TYPE
if the variable type uses 'auto'.
From-SVN: r200844
Jason Merrill [Tue, 9 Jul 2013 17:56:32 +0000 (13:56 -0400)]
re PR c++/57437 (C++11: mutable lambdas)
PR c++/57437
* typeck.c (check_return_expr): Lambda proxies aren't eligible
for nrv or return by move.
From-SVN: r200843
Jason Merrill [Tue, 9 Jul 2013 17:56:14 +0000 (13:56 -0400)]
re PR c++/57532 (operator& broken when used on rvalues)
PR c++/57532
* parser.c (cp_parser_ref_qualifier_opt): Don't tentatively parse
a ref-qualifier in C++98 mode.
From-SVN: r200842
Jason Merrill [Tue, 9 Jul 2013 17:56:03 +0000 (13:56 -0400)]
re PR c++/57545 (Generation of debug symbols leads to internal compiler error)
PR c++/57545
* pt.c (convert_nontype_argument) [INTEGER_CST]: Force the
argument to have the exact type of the parameter.
From-SVN: r200841
Jason Merrill [Tue, 9 Jul 2013 17:55:43 +0000 (13:55 -0400)]
re PR regression/57551 (g++.dg/ext/visibility/anon6.C scan-assembler 1BIiE1cE)
PR c++/57551
* semantics.c (cxx_eval_indirect_ref): Don't try to look through
a POINTER_PLUS_EXPR for type punning diagnostic.
From-SVN: r200840
Jason Merrill [Tue, 9 Jul 2013 17:55:24 +0000 (13:55 -0400)]
re PR c++/57831 (pointer to member function inaccessible through using statement (or ICE))
PR c++/57831
* pt.c (tsubst_copy): Handle USING_DECL.
From-SVN: r200839
Marc Glisse [Tue, 9 Jul 2013 15:58:36 +0000 (17:58 +0200)]
re PR c++/53094 (constexpr vector subscripting)
2013-07-09 Marc Glisse <marc.glisse@inria.fr>
PR c++/53094
gcc/cp/
* semantics.c (cxx_eval_bit_field_ref): Handle VECTOR_CST.
gcc/testsuite/
* g++.dg/cpp0x/constexpr-53094-1.C: Adjust.
* g++.dg/ext/vector24.C: New testcase.
From-SVN: r200822
Marc Glisse [Tue, 9 Jul 2013 15:55:49 +0000 (17:55 +0200)]
re PR c++/53000 (Conditional operator does not behave as standardized)
2013-07-09 Marc Glisse <marc.glisse@inria.fr>
PR c++/53000
gcc/cp/
* call.c (build_conditional_expr_1): Preserve xvalues.
gcc/testsuite/
* g++.dg/cpp0x/decltype17.C: Adjust.
From-SVN: r200821
Tim Shen [Tue, 9 Jul 2013 13:41:10 +0000 (13:41 +0000)]
Implement class regex_traits.
2013-07-09 Tim Shen <timshen91@gmail.com>
Implement class regex_traits.
* include/bits/regex.h: Implement lookup_classname and
lookup_collatename; modify isctype; partially implement
transform_primary.
* testsuite/28_regex/traits/char/isctype.cc: Add more test cases.
* testsuite/28_regex/traits/char/lookup_classname.cc: Likewise.
* testsuite/28_regex/traits/char/lookup_collatename.cc: Likewise.
* testsuite/28_regex/traits/char/transform_primary.cc: Likewise.
* testsuite/28_regex/traits/wchar_t/isctype.cc: New.
* testsuite/28_regex/traits/wchar_t/lookup_classname.cc: New.
* testsuite/28_regex/traits/wchar_t/lookup_collatename.cc: New.
* testsuite/28_regex/traits/wchar_t/transform_primary.cc: New.
From-SVN: r200818
Simon Baldwin [Tue, 9 Jul 2013 10:24:39 +0000 (10:24 +0000)]
configure.ac: Add AC_CONFIG_AUX_DIR.
* configure.ac: Add AC_CONFIG_AUX_DIR.
* configure: Regenerated.
From-SVN: r200814
Paolo Carlini [Tue, 9 Jul 2013 09:28:09 +0000 (09:28 +0000)]
re PR c++/51786 ([c++0x] Invalid declaration with decltype accepted)
/cp
2013-07-09 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/51786
* parser.c (cp_parser_simple_declaration): Before calling shadow_tag
also check declares_class_or_enum.
/testsuite
2013-07-09 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/51786
* g++.dg/cpp0x/pr51786.C: New.
From-SVN: r200813
Tristan Gingold [Tue, 9 Jul 2013 07:43:35 +0000 (07:43 +0000)]
makefile.vms (OBJS): Add dwarfnames.obj
2013-07-09 Tristan Gingold <gingold@adacore.com>
* makefile.vms (OBJS): Add dwarfnames.obj
From-SVN: r200812
Jason Merrill [Tue, 9 Jul 2013 03:19:36 +0000 (23:19 -0400)]
re PR c++/57550 (bogus "error ... is private")
PR c++/57550
* pt.c (fn_type_unification): Only defer during substitution.
(type_unification_real): Defer during defarg substitution,
add checks parm to pass back deferred checks.
(unify, do_auto_deduction): Adjust.
* semantics.c (reopen_deferring_access_checks): New.
* cp-tree.h: Declare it.
From-SVN: r200808
GCC Administrator [Tue, 9 Jul 2013 00:16:22 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r200806
Janis Johnson [Mon, 8 Jul 2013 20:19:35 +0000 (20:19 +0000)]
* gcc.target/powerpc/tfmode_off.c: Skip for EABI targets.
From-SVN: r200802
Janis Johnson [Mon, 8 Jul 2013 19:34:39 +0000 (19:34 +0000)]
* gcc.target/powerpc/ppc-spe64-1.c: Update expected error message.
From-SVN: r200799
Janis Johnson [Mon, 8 Jul 2013 19:33:52 +0000 (19:33 +0000)]
* gcc.target/powerpc/pr47197.c: Require powerpc_altivec_ok.
From-SVN: r200798
Janis Johnson [Mon, 8 Jul 2013 19:33:10 +0000 (19:33 +0000)]
sd-vsx.c: Require dfp.
* gcc.target/powerpc/sd-vsx.c: Require dfp.
* gcc.target/powerpc/sd-pwr6.c: Likewise.
From-SVN: r200797
Tobias Burnus [Mon, 8 Jul 2013 19:05:16 +0000 (21:05 +0200)]
re PR fortran/57834 (C_F_POINTER (only with -std=): accepts only explicit- and assumed-size arrays for FPTR when SHAPE is present)
2013-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/57834
* check.c (is_c_interoperable): Add special case for
* c_f_pointer.
(explicit-size, gfc_check_c_f_pointer, gfc_check_c_loc): Update
call.
2013-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/57834
* gfortran.dg/c_f_pointer_tests_8.f90: New.
From-SVN: r200794
Kai Tietz [Mon, 8 Jul 2013 17:54:55 +0000 (19:54 +0200)]
re PR c++/56892 (dllexport prevents inline inside dll)
PR target/56892
* config/i386/i386.c (TARGET_FUNCTION_ATTRIBUTE_INLINABLE_P): Define as
hook_bool_const_tree_true.
From-SVN: r200792
Tobias Burnus [Mon, 8 Jul 2013 16:13:57 +0000 (18:13 +0200)]
re PR fortran/50554 (INQUIRE cannot redefine DO index (r178939))
2013-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/50554
* io.c (match_inquire_element): Add missing do-var check.
2013-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/50554
* gfortran.dg/do_check_9.f90: New.
From-SVN: r200790
Andreas Krebbel [Mon, 8 Jul 2013 14:20:33 +0000 (14:20 +0000)]
s390.c: Replace F*_REGNUM with FPR*_REGNUM.
2013-07-08 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* config/s390/s390.c: Replace F*_REGNUM with FPR*_REGNUM.
* config/s390/s390.h: Remove F*_REGNUM macro definitions.
* config/s390/s390.md: Define FPR*_REGNUM constants.
Fix FPR2_REGNUM constant (18 -> 17).
("*trunc<BFP:mode><DFP_ALL:mode>2")
("*trunc<DFP_ALL:mode><BFP:mode>2")
("trunc<BFP:mode><DFP_ALL:mode>2")
("trunc<DFP_ALL:mode><BFP:mode>2")
("*extend<BFP:mode><DFP_ALL:mode>2")
("*extend<DFP_ALL:mode><BFP:mode>2")
("extend<BFP:mode><DFP_ALL:mode>2")
("extend<DFP_ALL:mode><BFP:mode>2"): Replace FPR2_REGNUM with
FPR4_REGNUM.
From-SVN: r200787
Tobias Burnus [Mon, 8 Jul 2013 13:48:19 +0000 (15:48 +0200)]
re PR fortran/57785 (DOT_PRODUCT error with constant complex array)
2013-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/57785
* simplify.c (compute_dot_product): Complex conjugate for
dot_product.
(gfc_simplify_dot_product, gfc_simplify_matmul): Update call.
2013-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/57785
* gfortran.dg/dot_product_2.f90: New.
From-SVN: r200786
Tobias Burnus [Mon, 8 Jul 2013 12:15:11 +0000 (14:15 +0200)]
re PR fortran/57469 (Erroneous warning for unused dummy arguments used in namelist)
2013-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/57469
* trans-decl.c (generate_local_decl): Don't warn that
a dummy is unused, when it is in a namelist.
2013-07-08 Tobias Burnus <burnus@net-b.de>
PR fortran/57469
* gfortran.dg/warn_unused_dummy_argument_4.f90: New.
From-SVN: r200785
Manfred Schwarb [Mon, 8 Jul 2013 12:09:13 +0000 (14:09 +0200)]
defined_assignment_7.f90: Fix dg-do.
2013-07-08 Manfred Schwarb <manfred99@gmx.ch>
* gfortran.dg/defined_assignment_7.f90: Fix dg-do.
* gfortran.dg/finalize_10.f90: Fix dg-final.
From-SVN: r200784
Graham Stott [Mon, 8 Jul 2013 11:14:02 +0000 (11:14 +0000)]
* Makefile.in: (c-family-warn): Define to $(STRICT_WARN)
From-SVN: r200783
Graham Stott [Mon, 8 Jul 2013 10:41:13 +0000 (10:41 +0000)]
array-notation-common.c (length_mismatch_in_expr_p): Delete unused variables l_length and l_node.
* c-family/array-notation-common.c (length_mismatch_in_expr_p): Delete
unused variables l_length and l_node.
From-SVN: r200781
Andreas Krebbel [Mon, 8 Jul 2013 09:18:50 +0000 (09:18 +0000)]
s390.c: Rename cfun_set_fpr_bit to cfun_set_fpr_save and cfun_fpr_bit_p to cfun_fpr_save_p.
2013-07-08 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* config/s390/s390.c: Rename cfun_set_fpr_bit to cfun_set_fpr_save
and cfun_fpr_bit_p to cfun_fpr_save_p.
(s390_frame_area, s390_register_info, s390_frame_info)
(s390_emit_prologue, s390_emit_epilogue)
(s390_conditional_register_usage): Use the *_REGNUM macros for FPR
register numbers.
* config/s390/s390.h: Define *_REGNUM macros for floating point
register numbers.
From-SVN: r200780
Eric Botcazou [Mon, 8 Jul 2013 09:13:54 +0000 (09:13 +0000)]
* Makefile.in (tree-ssa-reassoc.o): Add dependency on $(PARAMS_H).
From-SVN: r200777
Po-Chun Chang [Mon, 8 Jul 2013 09:05:38 +0000 (09:05 +0000)]
re PR rtl-optimization/57786 (wasted work in distribute_notes)
PR rtl-optimization/57786
* combine.c (distribute_notes) <case REG_DEAD>: Change all_used to bool
and break out of the loop when it is set to false.
From-SVN: r200776
Jakub Jelinek [Mon, 8 Jul 2013 08:48:40 +0000 (10:48 +0200)]
re PR target/57819 (Suboptimal shift patterns)
PR target/57819
* simplify-rtx.c (simplify_unary_operation_1) <case ZERO_EXTEND>:
Simplify (zero_extend:SI (subreg:QI (and:SI (reg:SI)
(const_int 63)) 0)).
* combine.c (make_extraction): Create ZERO_EXTEND or SIGN_EXTEND
using simplify_gen_unary instead of gen_rtx_*_EXTEND.
* config/i386/i386.md (*jcc_bt<mode>_1): New define_insn_and_split.
* gcc.target/i386/pr57819.c: New test.
From-SVN: r200775
Hristian Kirtchev [Mon, 8 Jul 2013 08:19:20 +0000 (08:19 +0000)]
einfo.adb (Get_Pragma): Handle the retrieval of delayed pragmas stored in N_Contract nodes.
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (Get_Pragma): Handle the retrieval of delayed
pragmas stored in N_Contract nodes.
* einfo.ads (Get_Pragma): Update the comment on usage.
* sem_prag.adb (Check_Precondition_Postcondition): Retain a copy
of the pragma when it applies to a body that acts as a spec. The
copy is preanalyzed and chained on the contract of the body.
From-SVN: r200774
Arnaud Charlet [Mon, 8 Jul 2013 08:17:14 +0000 (10:17 +0200)]
[multiple changes]
2013-07-08 Robert Dewar <dewar@adacore.com>
* rtsfind.adb: Minor comment fix.
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch4.adb (Check_Ghost_Subprogram_Call): Do not check the placement
of a Ghost function call when the enclosing context is being
preanalyzed.
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Expand_Inlined_Call, Process_Formals): If the
expression in a return statement is a numeric literal, qualify
it with the return type for proper resolution.
From-SVN: r200772
Arnaud Charlet [Mon, 8 Jul 2013 08:15:25 +0000 (10:15 +0200)]
[multiple changes]
2013-07-08 Robert Dewar <dewar@adacore.com>
* sem.ads: Minor comment updates.
* s-restri.ads, exp_ch6.adb, lib-load.ads, exp_ch3.adb, sem_ch10.adb:
Minor reformatting.
2013-07-08 Robert Dewar <dewar@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference): Add dummy entry
for Restriction_Set.
* gnat_rm.texi: Add missing menu entry for Attribute Ref Add
documentation for attribute Restriction_Set.
* lib-writ.adb (Write_With_Lines): Generate special W lines
for Restriction_Set.
* lib-writ.ads: Document special use of W lines for
Restriction_Set.
* lib.ads (Restriction_Set_Dependences): New table.
* par-ch4.adb (Is_Parameterless_Attribute): Add Loop_Entry to
list (Scan_Name_Extension_Apostrophe): Remove kludge test for
Loop_Entry (Scan_Name_Extension_Apostrophe): Handle No_Dependence
for Restricton_Set.
* restrict.adb (Check_SPARK_Restriction): Put in Alfa order
(OK_No_Dependence_Unit_Name): New function.
* restrict.ads (OK_No_Dependence_Unit_Name): New function.
* rtsfind.adb: Minor reformatting Minor code reorganization.
* sem_attr.adb (Analyze_Attribute): Add processing for
Restriction_Set.
* sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
Remove Check_Unit_Name and use new function
OK_No_Dependence_Unit_Name instead.
* sinfo.ads: Minor comment updates.
* snames.ads-tmpl: Add entry for Restriction_Set attribute.
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Apply_Accessibility_Check): Remove local constant
Pool_Id and local variable Free_Stmt. Do not deallocate the faulty
object as "free" is not available on all targets/profiles.
2013-07-08 Robert Dewar <dewar@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Handle
Storage_Size aspect for task type in case discriminant is
referenced.
(Analyze_Attribute_Definition_Clause): Do not flag Storage_Size
attribute definition clause as obsolescent if from aspect.
From-SVN: r200771
Arnaud Charlet [Mon, 8 Jul 2013 08:11:50 +0000 (10:11 +0200)]
[multiple changes]
2013-07-08 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Add documentation for Img returning a function.
* par-prag.adb: Minor reformatting.
* restrict.adb: Minor reformatting and code reorganization.
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb: add guard to ASIS transform.
From-SVN: r200769
Jakub Jelinek [Mon, 8 Jul 2013 08:11:08 +0000 (10:11 +0200)]
re PR rtl-optimization/57829 (Wrong constant folding)
PR rtl-optimization/57829
* simplify-rtx.c (simplify_binary_operation_1) <case IOR>: Ensure that
mask bits outside of mode are just sign-extension from mode to HWI.
* gcc.c-torture/execute/pr57829.c: New test.
From-SVN: r200768
Arnaud Charlet [Mon, 8 Jul 2013 08:10:20 +0000 (10:10 +0200)]
[multiple changes]
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* exp_ch9.adb (Expand_N_Asynchronous_Select): If the trigger
of the asynchronous select is a dispatching call, transform the
abortable part into a procedure, to avoid duplication of local
loop variables that may appear within.
2013-07-08 Vincent Celier <celier@adacore.com>
* projects.texi: Update the documentation of suffixes in package
Naming.
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Conforming_Types): Anonymous_access_to_subprograsm
types are type conformant if the designated type of one is
protected and the other is not. Convention only matters when
checking subtype conformance.
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* sem_res.adb (Make_Call_Into_Operator): In ASIS mode, propagate
back the fully resolved operands to the original function call
so that all semantic information remains available to ASIS.
From-SVN: r200767
Arnaud Charlet [Mon, 8 Jul 2013 08:08:00 +0000 (10:08 +0200)]
[multiple changes]
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb: minor reformatting (remove obsolete comment).
* sem_ch9.adb: improve error message on illegal trigger.
2013-07-08 Robert Dewar <dewar@adacore.com>
* sem_prag.adb: Minor reformatting.
From-SVN: r200766
Arnaud Charlet [Mon, 8 Jul 2013 08:05:45 +0000 (10:05 +0200)]
[multiple changes]
2013-07-08 Robert Dewar <dewar@adacore.com>
* gnatcmd.adb: Minor reformatting.
2013-07-08 Robert Dewar <dewar@adacore.com>
* targparm.adb (Get_Target_Parameters): Recognize pragma
Partition_Elaboration_Policy.
2013-07-08 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Minor update to mention partition elaboration policy.
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Comple_Object_Operation): Revert previous change.
(Analyze_Indexed_Component_Form): In ASIS mode, if node has been
transformed but not rewritten as a function call (as is the case
in a generic), analyze it as such.
2013-07-08 Thomas Quinot <quinot@adacore.com>
* gnat_rm.texi: Minor rewording: add missing word "operators"
in documentation for restriction No_Direct_Boolean_Operator.
2013-07-08 Robert Dewar <dewar@adacore.com>
* errout.adb (Set_Msg_Txt): No longer sets Is_Style_Msg,
Is_Warning_Msg, or Is_Unconditional_Msg (all are set elsewhere
now).
* errout.ads: Insertions ! and !! no longer have to be at the
end of the message, they can be anywhere in the message.
* erroutc.adb (Test_Style_Warning_Serious_Unconditional_Msg):
Replaces Test_Style_Warning_Serious_Msg
* erroutc.ads (Has_Double_Exclam): New flag New comments for
existing flags (Test_Style_Warning_Serious_Unconditional_Msg):
Replaces Test_Style_Warning_Serious_Msg
* errutil.adb (Test_Style_Warning_Serious_Unconditional_Msg):
Replaces Test_Style_Warning_Serious_Msg
From-SVN: r200765
Arnaud Charlet [Mon, 8 Jul 2013 08:03:04 +0000 (10:03 +0200)]
[multiple changes]
2013-07-08 Robert Dewar <dewar@adacore.com>
* par-prag.adb (Process_Restrictions_Or_Restriction_Warnings):
Recognize SPARK_05 as synonym for SPARK in restrictions pragma.
* restrict.ads, restrict.adb (SPARK_Hides): Table moved to body, only
referenced there.
* scng.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch8.adb,
sem_res.adb, sem_util.adb: Use restriction SPARK_05 instead of SPARK.
* snames.ads-tmpl (Name_No_Obsolescent_Features): New entry.
2013-07-08 Vincent Celier <celier@adacore.com>
* gnatcmd.adb (Check_Files): Use a response file for gnatls
when possible.
From-SVN: r200764
Arnaud Charlet [Mon, 8 Jul 2013 07:59:55 +0000 (09:59 +0200)]
[multiple changes]
2013-07-08 Gary Dismukes <dismukes@adacore.com>
* freeze.adb: Minor typo fixes.
2013-07-08 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document SPARK_05 (replaces SPARK) Document
obsolete recognition of SPARK Document all other obsolete synonyms
for old restrictions.
* restrict.adb (Check_SPARK_Restriction): SPARK_05 replaces
SPARK (Process_Restriction_Synonyms): Handle SPARK as synonym
for SPARK_05.
* restrict.ads: Restriction SPARK_05 replaces SPARK.
* s-rident.ads: Replace restriction SPARK by SPARK_05 Add SPARK
as synonym for SPARK_05.
* sem_prag.adb: Minor reformatting.
* snames.ads-tmpl: Add entries for Name_SPARK and Name_SPARK_05.
From-SVN: r200763
Robert Dewar [Mon, 8 Jul 2013 07:57:16 +0000 (07:57 +0000)]
sem_dim.adb: Minor error message change.
2013-07-08 Robert Dewar <dewar@adacore.com>
* sem_dim.adb: Minor error message change.
* freeze.adb (Freeze_Entity, array type case): Extend handling
of Implicit_Packing to handle multi-dimensional array case.
* gnat_rm.texi: Update doc on Implicit_Packing.
From-SVN: r200762
Arnaud Charlet [Mon, 8 Jul 2013 07:55:24 +0000 (09:55 +0200)]
[multiple changes]
2013-07-08 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor reformatting.
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Complete_Object_Operation): In ASIS mode, if
the parent node is a selected component and the analysis as a
call is successful, set the type of the selector in the parent
node for subsequent checks, because the rewriting of the node
does not take place during pre-analysis.
From-SVN: r200761
Arnaud Charlet [Mon, 8 Jul 2013 07:54:29 +0000 (09:54 +0200)]
[multiple changes]
2013-07-08 Robert Dewar <dewar@adacore.com>
* sem_ch8.adb, exp_ch3.adb: Minor reformatting.
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Expand_N_Op_Eq): When comparing two
Bounded_Strings, use the predefined equality function of the
root Super_String type.
From-SVN: r200760
Arnaud Charlet [Mon, 8 Jul 2013 07:52:49 +0000 (09:52 +0200)]
[multiple changes]
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Create_Alternative): Removed.
(Expand_N_If_Expression): Remove constant
In_Case_Or_If_Expression. Add local variable
Ptr_Typ. Inspect the "then" and "else" action lists
for transient controlled objects and generate code to
finalize them. (Is_Controlled_Function_Call): Removed.
(Process_Action): Update the comment on usage. Update the call
to Process_Transient_Object. There is no need to continue the
traversal of the object itself.
(Process_Actions): New routine.
(Process_Transient_Object): Moved to the top level of Exp_Ch4. Add
a new formal and update the related comment on usage.
* exp_util.adb (Within_Case_Or_If_Expression): Start the search
from the parent of the node.
2013-07-08 Robert Dewar <dewar@adacore.com>
* a-cusyqu.ads, a-cbprqu.ads, s-interr.ads, a-cuprqu.ads,
a-cbsyqu.ads: Minor reformatting (proper formatting of overriding).
From-SVN: r200759
Arnaud Charlet [Mon, 8 Jul 2013 07:50:46 +0000 (09:50 +0200)]
[multiple changes]
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Attribute_Renaming): Treat 'Img as an attribute
that can be renamed as a function.
2013-07-08 Thomas Quinot <quinot@adacore.com>
* g-socket.ads: Document target dependency: FIONBIO may or may not
be inherited from listening socket by accepted socket.
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Apply_Accessibility_Check): Do not deallocate the object
on targets that can't deallocate.
From-SVN: r200758
Arnaud Charlet [Mon, 8 Jul 2013 07:48:51 +0000 (09:48 +0200)]
[multiple changes]
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch3.adb (Freeze_Type): Generate a
subpools-related accessibility check only on profiles that
include the corresponding library unit.
2013-07-08 Gary Dismukes <dismukes@adacore.com>
* sem_ch8.adb: Minor typo fixes.
From-SVN: r200757
Arnaud Charlet [Mon, 8 Jul 2013 07:47:39 +0000 (09:47 +0200)]
[multiple changes]
2013-07-08 Javier Miranda <miranda@adacore.com>
* sem_ch8.adb (Save_Scope_Stack): Adding documentation.
(Restore_Scope_Stack): Remove the elements of the list when the
visibility of each entity is restored.
2013-07-08 Robert Dewar <dewar@adacore.com>
* exp_ch9.adb, sem.ads, sem_util.adb: Minor reformatting.
From-SVN: r200756
Robert Dewar [Mon, 8 Jul 2013 07:46:22 +0000 (07:46 +0000)]
sem_ch8.adb, [...]: Minor reformatting.
2013-07-08 Robert Dewar <dewar@adacore.com>
* sem_ch8.adb, sem_ch8.ads: Minor reformatting.
From-SVN: r200755
Arnaud Charlet [Mon, 8 Jul 2013 07:44:01 +0000 (09:44 +0200)]
[multiple changes]
2013-07-08 Gary Dismukes <dismukes@adacore.com>
* gnat_rm.texi: Minor reformatting and rewording for consistency.
2013-07-08 Bob Duff <duff@adacore.com>
* exp_ch3.adb (Build_Master): If Desig_Type is an incomplete
view coming from a limited-with'ed package, use the nonlimited
view in case it has tasks.
2013-07-08 Javier Miranda <miranda@adacore.com>
* sem_ch8.ad[sb] (Save_Scope_Stack): Modified to return the list
of entities which have been temporarily removed from immediate
visibility.
(Restore_Scope_Stack): Modified to receive an
additional parameter with the list of entities whose immediate
visibility must be restored.
* sem.adb (Do_Analyze): Use new version of
Save_Scope_Stack/Restore_Scope_Stack
* sem_ch12.adb (Inline_Instance_Body): Use new version of
Save_Scope_Stack and Restore_Scope_Stack
From-SVN: r200754
Arnaud Charlet [Mon, 8 Jul 2013 07:41:19 +0000 (09:41 +0200)]
[multiple changes]
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Remove
variable Unit_Prag. Remove the check on duplicate mode for the
configuration form of the pragma.
(Redefinition_Error): Removed.
2013-07-08 Robert Dewar <dewar@adacore.com>
* lib.ads, gnat_rm.texi, einfo.ads, sem_ch13.adb: Minor reformatting
and editing.
From-SVN: r200753
Ed Schonberg [Mon, 8 Jul 2013 07:39:55 +0000 (07:39 +0000)]
sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...
2013-07-08 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode,
pre-analyze only the original expression attached to the source
aspect, not the relocated expression of the pragma, to prevent
malformed trees in ASIS mode.
* sem_ch13.adb (Analyze_Aspect_Specifications): Revert previous
patch: the expression in the aspect for pre/post must be relocated
to the pragma for proper analysis.
From-SVN: r200752
Michael Zolotukhin [Mon, 8 Jul 2013 06:48:15 +0000 (06:48 +0000)]
i386-opts.h (enum stringop_alg): Add vector_loop.
ChangeLog:
* config/i386/i386-opts.h (enum stringop_alg): Add vector_loop.
* config/i386/i386.c (expand_set_or_movmem_via_loop): Use
adjust_address instead of change_address to keep info about alignment.
(emit_strmov): Remove.
(emit_memmov): New function.
(expand_movmem_epilogue): Refactor to properly handle bigger sizes.
(expand_movmem_epilogue): Likewise and return updated rtx for
destination.
(expand_constant_movmem_prologue): Likewise and return updated rtx for
destination and source.
(decide_alignment): Refactor, handle vector_loop.
(ix86_expand_movmem): Likewise.
(ix86_expand_setmem): Likewise.
* config/i386/i386.opt (Enum): Add vector_loop to option stringop_alg.
testsuite/ChangeLog:
* gcc.target/i386/memcpy-vector_loop-1.c: New.
* gcc.target/i386/memcpy-vector_loop-2.c: New.
From-SVN: r200751
Edward Smith-Rowland [Mon, 8 Jul 2013 02:13:30 +0000 (02:13 +0000)]
Add links to the C++14 library implementation status page.
From-SVN: r200749
Edward Smith-Rowland [Mon, 8 Jul 2013 02:06:45 +0000 (02:06 +0000)]
Add links to the C++14 librarry implementation status page.
From-SVN: r200748
GCC Administrator [Mon, 8 Jul 2013 00:16:27 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r200747
Uros Bizjak [Sun, 7 Jul 2013 19:06:45 +0000 (21:06 +0200)]
driver-i386.c (host_detect_local_cpu): Do not check signature_TM2_ebx, it interferes with signature_INTEL_ebx.
* config/i386/driver-i386.c (host_detect_local_cpu): Do not check
signature_TM2_ebx, it interferes with signature_INTEL_ebx.
From-SVN: r200744
Bruce Korb [Sun, 7 Jul 2013 13:57:21 +0000 (13:57 +0000)]
Remove sample result for CDEF_CPLUSPLUS hack
From-SVN: r200743
GCC Administrator [Sun, 7 Jul 2013 00:16:35 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r200742
Bruce Korb [Sat, 6 Jul 2013 17:43:46 +0000 (17:43 +0000)]
Remove cdef_cplusplus hack.
Add comments in front of fixes.
Trim lines over 90 characters to less than 80.
From-SVN: r200738
Uros Bizjak [Sat, 6 Jul 2013 11:53:28 +0000 (13:53 +0200)]
re PR target/57807 (Compile failure with __builtin_ia32_unpcklpd with -masm=intel)
2013-07-06 Uros Bizjak <ubizjak@gmail.com>
* config/i386/sse.md (sse_movlhps): Change alternative 3
of operand 2 to "m".
2013-07-06 Uros Bizjak <ubizjak@gmail.com>
PR target/57807
* config/i386/sse.md (iptr): New mode attribute.
(sse2_movq128): Add pointer size overrides for Intel asm dialect.
(<sse>_vm<plusminus_insn><mode>3): Ditto.
(<sse>_vmmul<mode>3): Ditto.
(<sse>_vmdiv<mode>3): Ditto.
(sse_vmrcpv4sf2): Ditto.
(<sse>_vmsqrt<mode>2): Ditto.
(sse_vmrsqrtv4sf2): Ditto.
(<sse>_vm<code><mode>3): Ditto.
(avx_vmcmp<mode>3): Ditto.
(<sse>_vmmaskcmp<mode>3): Ditto.
(<sse>_comi): Ditto.
(<sse>_ucomi): Ditto.
(*xop_vmfrcz_<mode>): Ditto.
(*fmai_fmadd_<mode>): Ditto.
(*fmai_fmsub_<mode>): Ditto.
(*fmai_fnmadd_<mode>): Ditto.
(*fmai_fnmsub_<mode>): Ditto.
(*fma4i_vmfmadd_<mode>): Ditto.
(*fma4i_vmfmsub_<mode>): Ditto.
(*fma4i_vmfnmadd_<mode>): Ditto.
(*fma4i_vmfnmsub_<mode>): Ditto.
(*xop_vmfrcz_<mode>): Ditto.
(sse_cvtps2pi): Ditto.
(sse_cvttps2pi): Ditto.
(sse_cvtss2si): Ditto.
(sse_cvtss2si_2): Ditto.
(sse_cvtss2siq_2): Ditto.
(sse_cvttss2si): Ditto.
(sse_cvttss2siq): Ditto.
(sse_cvtsd2si): Ditto.
(sse_cvtsd2si_2): Ditto.
(sse_cvtsd2siq_2): Ditto.
(sse_cvttsd2si): Ditto.
(sse_cvttsd2siq): Ditto.
(sse_cvtsd2ss): Ditto.
(sse_cvtss2sd): Ditto.
(avx2_pbroadcast<mode>): Ditto.
(avx2_pbroadcast<mode>_1): Ditto.
(*avx_vperm_broadcast_v4sf): Ditto.
(sse_movhlps): Ditto for movlp[sd]/movhp[sd] alternatives.
(sse_movlhps): Ditto.
(sse_storehps): Ditto.
(sse_loadhps): Ditto.
(sse_storelps): Ditto.
(sse_loadlps): Ditto.
(*vec_concatv4sf): Ditto.
(*vec_interleave_highv2df): Ditto.
(*vec_interleave_lowv2df): Ditto.
(*vec_extractv2df_1_sse): Ditto.
(*vec_extractv2df_0_sse): Ditto.
(sse2_storelpd): Ditto.
(sse2_loadlpd): Ditto.
(sse2_movsd): Ditto.
(*vec_concatv4si): Ditto.
(vec_concatv2di): Ditto.
* config/i386/mmx.md (mmx_punpcklbw): Add pointer size overrides
for Intel asm dialect.
(mmx_punpcklwd): Ditto.
(mmx_punpckldq): Ditto.
* config/i386/i386.c (ix86_print_operand) ['H']: Output 'qword ptr'
for intel assembler dialect.
testsuite/ChangeLog:
2013-07-06 Uros Bizjak <ubizjak@gmail.com>
PR target/57807
* gcc.target/i386/pr57807.c: New test.
From-SVN: r200737
Jakub Jelinek [Sat, 6 Jul 2013 09:34:17 +0000 (11:34 +0200)]
re PR target/29776 (result of ffs/clz/ctz/popcount/parity are already sign-extended)
PR target/29776
* fold-const.c (tree_call_nonnegative_warnv_p): Return true
for BUILT_IN_C{LZ,LRSB}*.
* tree.h (CASE_INT_FN): Add FN##IMAX case.
* tree-vrp.c (extract_range_basic): Handle
BUILT_IN_{FFS,PARITY,POPCOUNT,C{LZ,TZ,LRSB}}*. For
BUILT_IN_CONSTANT_P if argument isn't (D) of PARM_DECL,
fall thru to code calling set_value*.
* builtins.c (expand_builtin): Remove *IMAX cases.
(fold_builtin_bitop): For BUILT_IN_CLRSB* return NULL_TREE
if width is bigger than 2*HWI.
* libgcc2.c (__floattisf): Avoid undefined signed overflow.
* gcc.dg/tree-ssa/vrp89.c: New test.
From-SVN: r200731
Paolo Carlini [Sat, 6 Jul 2013 08:54:56 +0000 (08:54 +0000)]
re PR c++/28262 (Inconsistent "default arguments are only permitted for function parameters".)
/cp
2013-07-06 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/28262
* parser.c (cp_parser_init_declarator): If we are parsing a typedef
set parser->default_arg_ok_p to false before cp_parser_declarator.
/testsuite
2013-07-06 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/28262
* g++.dg/parse/defarg16.C: New.
From-SVN: r200730
GCC Administrator [Sat, 6 Jul 2013 00:16:37 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r200728
Paolo Carlini [Fri, 5 Jul 2013 22:22:26 +0000 (22:22 +0000)]
const_iterator.cc: Tweak, avoid potential undefined behavior.
2013-07-05 Paolo Carlini <paolo.carlini@oracle.com>
* testsuite/23_containers/deque/modifiers/insert/const_iterator.cc:
Tweak, avoid potential undefined behavior.
* testsuite/23_containers/list/modifiers/insert/const_iterator.cc:
Likewise.
* testsuite/23_containers/vector/bool/modifiers/insert/
const_iterator.cc: Likewise.
* testsuite/23_containers/vector/modifiers/insert/const_iterator.cc:
Likewise.
From-SVN: r200725
François Dumont [Fri, 5 Jul 2013 21:21:07 +0000 (21:21 +0000)]
hashtable_policy.h (_ReuseOrAllocNode): Use forward pattern.
2013-07-05 François Dumont <fdumont@gcc.gnu.org>
* include/bits/hashtable_policy.h (_ReuseOrAllocNode): Use forward
pattern.
(_MoveReuseOrAllocNode): Remove.
(_Insert_base): Take a functor defining how the node is generated.
* include/bits/hashtable.h: Adapt.
(operator=(initializer_list<value_type>)): Reuse node if any.
* testsuite/23_containers/unordered_set/instantiation_neg.cc:
Adjust dg-error line number.
* testsuite/23_containers/unordered_set/
not_default_constructible_hash_neg.cc: Likewise.
From-SVN: r200724
Vladimir Makarov [Fri, 5 Jul 2013 20:56:13 +0000 (20:56 +0000)]
re PR rtl-optimization/55342 ([LRA,x86] Non-optimal code for simple loop with LRA)
2013-07-05 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/55342
* lra-int.h (lra_subreg_reload_pseudos): New.
* lra.c: Add undoing optional reloads to the block diagram.
(lra_subreg_reload_pseudos): New.
(lra_optional_reload_pseudos): Change comments.
(lra): Init and clear lra_subreg_reload_pseudos. Clear
lra_optional_reload_pseudos after undo transformations.
* lra-assigns.c (pseudo_prefix_title): New.
(lra_setup_reg_renumber): Use it.
(spill_for): Ditto. Check subreg reload pseudos too.
(assign_by_spills): Consider subreg reload pseudos too.
* lra-constraints.c (simplify_operand_subreg): Use
lra_subreg_reload_pseudos instead of lra_optional_reload_pseudos.
(curr_insn_transform): Recognize and do optional reloads.
(undo_optional_reloads): New.
(lra_undo_inheritance): Call undo_optional_reloads.
2013-07-05 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/55342
* gcc.target/i386/pr55342.c: New.
From-SVN: r200723
Uros Bizjak [Fri, 5 Jul 2013 19:30:57 +0000 (21:30 +0200)]
ChangeLog: Fix whitespace.
* ChangeLog: Fix whitespace.
* testsuite/ChangeLog: Ditto.
From-SVN: r200721
Marcus Shawcroft [Fri, 5 Jul 2013 16:52:48 +0000 (16:52 +0000)]
Fix pr57518.c test case.
From-SVN: r200720
Paolo Carlini [Fri, 5 Jul 2013 16:28:35 +0000 (16:28 +0000)]
re PR c++/14263 (Cryptic diagnostic for cast from virtual base class not using dynamic_cast)
/cp
2013-07-05 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/14263
* class.c (build_base_path): Improve diagnostic.
/testsuite
2013-07-05 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/14263
* g++.dg/inherit/virtual10.C: New.
From-SVN: r200718
Hristian Kirtchev [Fri, 5 Jul 2013 10:57:42 +0000 (10:57 +0000)]
aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.
2013-07-05 Hristian Kirtchev <kirtchev@adacore.com>
* aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.
* aspects.ads: Add an entry for SPARK_Mode in tables Aspect_Id,
Aspect_Argument, Aspect_Names.
* atree.adb (Node32): New routine.
(Set_Node32): New routine.
* atree.ads (Node32): New routine.
(Set_Node32): New routine.
* einfo.adb: Node32 is now used as SPARK_Mode_Pragmas.
(Set_SPARK_Mode_Pragmas): New routine.
(SPARK_Mode_Pragmas): New routine.
(Write_Field32_Name): Add and entry for SPARK_Modes.
* einfo.ads: Add attribute SPARK_Mode_Pragmas along with usage
in various entities.
(Set_SPARK_Mode_Pragmas): New routine and
pragma Inline.
(SPARK_Mode_Pragmas): New routine and pragma Inline.
* gnat_rm.texi: Add sections explaining the syntax and semantics
of aspect/pragma SPARK_Mode.
* gnat_ugn.texi: Add pragma SPARK_Mode to the list of
configuration pragmas.
* lib.adb (Set_SPARK_Mode_Pragma): New routine.
(SPARK_Mode_Pragma): New routine.
* lib.ads: Alphabetize the comments on fields of record
Unit_Record. Add new field SPARK_Mode_Pragma along with
comment on its usage. Update the layout of record Unit_Record.
(Set_SPARK_Mode_Pragma): New routine and pragma Inline.
(SPARK_Mode_Pragma): New routine and pragma Inline.
* lib-load.adb (Create_Dummy_Package_Unit): Initialize
field SPARK_Mode_Pragma.
(Load_Main_Source): Initialize field SPARK_Mode_Pragma.
(Load_Unit): Initialize field SPARK_Mode_Pragma.
* lib-writ.adb (Add_Preprocessing_Dependency): Initialize field
SPARK_Mode_Pragma.
(Ensure_System_Dependency): Initialize field SPARK_Mode_Pragma.
* opt.ads: Alphabetize verification flags. Store the
compilation-wide SPARK mode in variable Global_SPARK_Mode.
* par-prag.adb: Pragma SPARK_Mode does not need special processing
by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect
SPARK_Mode into a pragma.
(Check_Aspect_At_Freeze_Point): Aspect SPARK_Mode does not need
delayed processing.
* sem_prag.adb: Add an entry for SPARK_Mode in table Sig_Flags.
(Analyze_Pragma): Add processing for pragma SPARK_Mode.
(Get_SPARK_Mode_Id): New routine.
(Is_Elaboration_SPARK_Mode): New routine.
(Is_Private_SPARK_Mode): New routine.
* sem_prag.ads (Get_SPARK_Mode_Id): New routine.
(Is_Elaboration_SPARK_Mode): New routine.
(Is_Private_SPARK_Mode): New routine.
* sinfo.ads: Update the comment on the usage of field Next_Pragma.
* snames.ads-tmpl: Add new predefined name for SPARK_Mode and
Auto. Add new pragma Id for SPARK_Mode.
* types.ads: Add new type SPARK_Mode_Id.
From-SVN: r200711
Ed Schonberg [Fri, 5 Jul 2013 10:52:13 +0000 (10:52 +0000)]
sem_ch13.adb (Analyze_Aspect_Specifications): For pre/postconditions copy the expression to the generated pragma...
2013-07-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): For
pre/postconditions copy the expression to the generated pragma,
to avoid sharing between the original aspect and the pragma node,
because in ASIS_Mode both will be independently analyzed.
From-SVN: r200710
Ed Schonberg [Fri, 5 Jul 2013 10:50:49 +0000 (10:50 +0000)]
exp_ch3.adb (Build_Variant_Record_Equality): Add pairs of formals for each discriminant of an unchecked union.
2013-07-05 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.adb (Build_Variant_Record_Equality): Add pairs of
formals for each discriminant of an unchecked union.
(Make_Eq_Case): Suprogram accepts a list of discriminants. Nested
variants are supported. New helper function Corresponding_Formal.
* exp_ch4.adb (Build_Equality_Call): For unchecked unions,
loop through discriminants to create list of inferred values,
and modify call to equality routine accordingly.
From-SVN: r200709
Arnaud Charlet [Fri, 5 Jul 2013 10:49:52 +0000 (12:49 +0200)]
[multiple changes]
2013-07-05 Claire Dross <dross@adacore.com>
* a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cforma.ads,
a-cforse.ads, a-cofove.ads: Add preconditions when needed +
container types are not tagged any more.
2013-07-05 Thomas Quinot <quinot@adacore.com>
* freeze.adb (Freeze_Entity): For an object with captured
initialization statements, do not remove Init_Stmts from the
enclosing list, as Freeze_All might rely on it to know where to
stop freezing.
From-SVN: r200708
Robert Dewar [Fri, 5 Jul 2013 10:44:22 +0000 (10:44 +0000)]
exp_ch4.adb, [...]: Minor reformatting.
2013-07-05 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb, a-cfdlli.ads, a-ngelfu.ads, s-bignum.adb: Minor
reformatting.
From-SVN: r200707
Hristian Kirtchev [Fri, 5 Jul 2013 10:41:59 +0000 (10:41 +0000)]
exp_ch4.adb (Expand_Composite_Equality): Use the full view when the base type is private.
2013-07-05 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Expand_Composite_Equality): Use the full view
when the base type is private.
From-SVN: r200706
Arnaud Charlet [Fri, 5 Jul 2013 10:40:03 +0000 (12:40 +0200)]
[multiple changes]
2013-07-05 Claire Dross <dross@adacore.com>
* a-cfdlli.ads: Add preconditions when needed.
2013-07-05 Robert Dewar <dewar@adacore.com>
* sem_ch8.adb: Minor reformatting.
2013-07-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Subprogram_Declaration): Use
Generate_Reference_To_Formals.
* lib-xref.adb (Generate_Reference_To_Formals): In the case of
access to subprograms, the formals are found in the designated
subprogram type.
2013-07-05 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document that comments can be lined up with
previous non-blank line.
* styleg.adb (Check_Comment): Allow indentation to match previous
non-blank line (Same_Column_As_Previous_Line): New function
From-SVN: r200705
Arnaud Charlet [Fri, 5 Jul 2013 10:37:33 +0000 (12:37 +0200)]
[multiple changes]
2013-07-05 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Update doc on missing pragmas.
* sem_ch12.adb: Minor comment additions.
2013-07-05 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Pragma): Ensure that
Contract_Cases, Depends and Global are analyzed when they apply
to a subprogram compilation unit. The pragmas are all added
unconditionally to the construct's contract. This ensures that
proof tools can locate the pragmas.
2013-07-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Freeze_Actual_Profile): An instance within
a generic unit does not freeze a generic private type of the
enclosing generic. This rule must also apply to a type derived
from a generic private type.
From-SVN: r200704
Paolo Carlini [Fri, 5 Jul 2013 10:32:20 +0000 (10:32 +0000)]
const_iterator.cc: Tweak, avoid potential undefined behavior.
2013-07-05 Paolo Carlini <paolo.carlini@oracle.com>
* testsuite/23_containers/deque/modifiers/insert/const_iterator.cc:
Tweak, avoid potential undefined behavior.
* testsuite/23_containers/list/modifiers/insert/const_iterator.cc:
Likewise.
* testsuite/23_containers/vector/bool/modifiers/insert/
const_iterator.cc: Likewise.
* testsuite/23_containers/vector/modifiers/insert/const_iterator.cc:
Likewise.
From-SVN: r200703
Arnaud Charlet [Fri, 5 Jul 2013 10:27:48 +0000 (12:27 +0200)]
[multiple changes]
2013-07-05 Arnaud Charlet <charlet@adacore.com>
* gnat_rm.texi: Add missing documentation for pragmas.
2013-07-05 Yannick Moy <moy@adacore.com>
* sem_ch12.adb: Minor comment.
From-SVN: r200702
Robert Dewar [Fri, 5 Jul 2013 10:26:21 +0000 (10:26 +0000)]
gnat_rm.texi: Document that -gnatR and -gnatD cannot be used together.
2013-07-05 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document that -gnatR and -gnatD cannot be used
together.
* switch-c.adb: Do not allow -gnatD and -gnatR to both be
specified.
From-SVN: r200701
Arnaud Charlet [Fri, 5 Jul 2013 10:25:05 +0000 (12:25 +0200)]
[multiple changes]
2013-07-05 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Add missing documentation for pragmas.
* sem_ch8.adb: Minor reformatting.
* gnat_ugn.texi: Document that -gnatR and -gnatD cannot be used
together.
2013-07-05 Yannick Moy <moy@adacore.com>
* sem_ch12.ads, sem_ch12.adb (Need_Subprogram_Instance_Body): Force
instance of subprogram body in SPARK mode, by testing Expander_Active
(set in SPARK mode) instead of Full_Expander_Active (not set in
SPARK mode).
* sem_ch8.adb: Minor reformatting.
From-SVN: r200700
Robert Dewar [Fri, 5 Jul 2013 10:21:56 +0000 (10:21 +0000)]
freeze.adb (Freeze_Entity): Remove test of obsolete flag Propagate_Exceptions...
2013-07-05 Robert Dewar <dewar@adacore.com>
* freeze.adb (Freeze_Entity): Remove test of obsolete flag
Propagate_Exceptions, and associated useless code that did
nothing.
* gnat_rm.texi: Add documentation for obsolete pragma
Propagate_Exceptions.
* opt.ads (Propagate_Exceptions): Obsolete flag removed.
* sem_prag.adb (Analyze_Pragma, case Propagate_Exceptions):
Remove useless and obsolete setting of Propagate_Exceptions flag.
From-SVN: r200698
Robert Dewar [Fri, 5 Jul 2013 09:52:38 +0000 (09:52 +0000)]
gnat_rm.texi, [...]: Minor comment/text fixes.
2013-07-05 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi, sem_prag.adb: Minor comment/text fixes.
From-SVN: r200697
Robert Dewar [Fri, 5 Jul 2013 09:51:55 +0000 (09:51 +0000)]
gnat_rm.texi: Add missing doc for various pragmas.
2013-07-05 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Add missing doc for various pragmas.
From-SVN: r200696
Robert Dewar [Fri, 5 Jul 2013 09:47:41 +0000 (09:47 +0000)]
par_sco.adb, [...]: Minor reformatting.
2013-07-05 Robert Dewar <dewar@adacore.com>
* par_sco.adb, sem_ch12.adb, par-ch5.adb: Minor reformatting.
* gnat_rm.texi: Document pragma Profile_Warnings.
* restrict.ads, sem_prag.adb: Minor reformatting.
From-SVN: r200695
Arnaud Charlet [Fri, 5 Jul 2013 09:43:13 +0000 (11:43 +0200)]
[multiple changes]
2013-07-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Check_Formal_Package_Instance): Handle properly
a formal subprogram that was defaulted in the formal package.
2013-07-05 Thomas Quinot <quinot@adacore.com>
* par_sco.adb (Traverse_Declarations_Or_Statements): Ignore
N_Implicit_Label_Declaration nodes.
From-SVN: r200694
Thomas Quinot [Fri, 5 Jul 2013 09:40:07 +0000 (09:40 +0000)]
* tree-complex.c (expand_complex_operations_1): Fix typo.
From-SVN: r200693
Arnaud Charlet [Fri, 5 Jul 2013 09:04:59 +0000 (11:04 +0200)]
[multiple changes]
2013-07-05 Robert Dewar <dewar@adacore.com>
* a-cfhase.adb, sem_prag.adb, a-cfhama.adb: Minor reformatting.
2013-07-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Copy_Generic_Node): Check that name in function
call is a valid entity name before preserving entity in generic
copy.
2013-07-05 Thomas Quinot <quinot@adacore.com>
* par-ch5.adb: Minor reformatting.
2013-07-05 Thomas Quinot <quinot@adacore.com>
* sinfo.ads: Minor clarification to documentation for
N_Implicit_Label_Declaration.
2013-07-05 Hristian Kirtchev <kirtchev@adacore.com>
* a-except-2005.adb, a-except.adb: Add constant Rmsg_17. Correct the
values of all remaining constants.
(Rcheck_35): New routine along with pragmas Export and No_Return.
(Rcheck_PE_Aliased_Parameters): New routine along with pragmas
Export and No_Return.
(Rcheck_PE_All_Guards_Closed,
Rcheck_PE_Bad_Predicated_Generic_Type,
Rcheck_PE_Current_Task_In_Entry_Body,
Rcheck_PE_Duplicated_Entry_Address, Rcheck_PE_Explicit_Raise,
Rcheck_PE_Implicit_Return, Rcheck_PE_Misaligned_Address_Value,
Rcheck_PE_Missing_Return, Rcheck_PE_Overlaid_Controlled_Object,
Rcheck_PE_Potentially_Blocking_Operation
Rcheck_PE_Stubbed_Subprogram_Called,
Rcheck_PE_Unchecked_Union_Restriction,
Rcheck_PE_Non_Transportable_Actual, Rcheck_SE_Empty_Storage_Pool,
Rcheck_SE_Explicit_Raise, Rcheck_SE_Infinite_Recursion,
Rcheck_SE_Object_Too_Large, Rcheck_PE_Finalize_Raised_Exception):
Update the use of Rmsg_XX.
(Rcheck_17, Rcheck_18, Rcheck_19,
Rcheck_20, Rcheck_21, Rcheck_22, Rcheck_23, Rcheck_24, Rcheck_25,
Rcheck_26, Rcheck_27, Rcheck_28, Rcheck_29, Rcheck_30, Rcheck_31,
Rcheck_32, Rcheck_33, Rcheck_34, Rcheck_35): Update corresponding
renamed subprograms.
* checks.adb: Add with and use clause for Stringt.
(Apply_Parameter_Aliasing_Checks): Make constant Loc visible in
all subprograms of Apply_Parameter_Aliasing_Checks. Remove local
variable Cond. Initialize Check at the start of the routine. Use
routine Overlap_Check to construct a simple or a detailed run-time
check. Update the creation of the simple check.
(Overlap_Check): New routine.
* exp_ch11.adb (Get_RT_Exception_Name): Add a value for
PE_Aliased_Parameters.
* types.ads: Add new enumeration literal
PE_Aliased_Parameters. Update the corresponding integer values
of all RT_Exception_Code literals.
* types.h: Add new constant PE_Aliased_Parameters. Correct the
values of all remaining constants.
2013-07-05 Yannick Moy <moy@adacore.com>
* gnat_rm.texi: Minor renaming of SPARK into SPARK 2005 in
documentation.
From-SVN: r200690
Ed Schonberg [Fri, 5 Jul 2013 08:59:49 +0000 (08:59 +0000)]
sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide condition...
2013-07-05 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide
condition, when replacing the name of a formal by a conversion
to the class-wide type, exempt selector names that appear in
parameter associations.
From-SVN: r200689