1. 01 Oct, 2012 19 commits
    • a-catizo.adb, [...]: Minor reformatting. · 15f0f591
      2012-10-01  Arnaud Charlet  <charlet@adacore.com>
      
      	* a-catizo.adb, a-stwiun.adb, a-cdlili.adb, a-cihama.adb, a-direct.adb,
      	a-coinve.adb, a-calend.adb, a-ciorse.adb, a-coorma.adb, a-cfdlli.adb,
      	a-stzunb-shared.adb, a-cfhase.adb, bindgen.adb, ceinfo.adb, a-tags.adb,
      	einfo.adb, checks.adb, eval_fat.adb, a-cborma.adb, a-stwifi.adb,
      	a-tifiio.adb, a-textio.adb, a-cidlli.adb, a-strunb-shared.adb,
      	a-cimutr.adb, a-calcon.adb, a-exexpr-gcc.adb, a-ciormu.adb,
      	a-stzunb.adb, a-stzsea.adb, a-ngelfu.adb, a-stzfix.adb,
      	a-cihase.adb, a-cohama.adb, a-exetim-posix.adb, a-dirval-vms.adb,
      	a-caldel-vms.adb, a-coorse.adb, errout.adb,
      	a-except.adb, butil.adb, a-dirval-mingw.adb, a-cforma.adb,
      	a-except-2005.adb, a-wtedit.adb, cstand.adb, a-stwiun-shared.adb,
      	a-cbhama.adb, a-direio.adb, clean.adb, a-cborse.adb, back_end.adb,
      	binde.adb, a-exexda.adb, a-comutr.adb, a-ciorma.adb, a-cobove.adb,
      	a-coormu.adb, a-teioed.adb, a-convec.adb, a-wtenau.adb, exp_aggr.adb,
      	a-ztedit.adb, a-cohase.adb, a-exetim-mingw.adb, bcheck.adb,
      	a-dynpri.adb, a-cfhama.adb, a-calfor.adb, a-cbdlli.adb,
      	a-crdlli.adb, a-cbmutr.adb, a-sequio.adb, a-ngcoar.adb, a-cforse.adb,
      	a-strunb.adb, a-calend-vms.adb, a-clrefi.adb, a-cofove.adb,
      	a-ztenau.adb, a-strfix.adb, a-cbhase.adb, a-stzsup.adb: Minor
      	reformatting.
      
      From-SVN: r191905
      Arnaud Charlet committed
    • [multiple changes] · cf427f02
      2012-10-01  Vincent Pucci  <pucci@adacore.com>
      
      	* s-gearop.adb (Vector_Matrix_Product): Dimensions check fixed. Index
      	of Left in S evaluation fixed.
      
      2012-10-01  Javier Miranda  <miranda@adacore.com>
      
      	* sem_ch3.adb (Analyze_Declarations): Avoid
      	premature freezing caused by the internally generated subprogram
      	_postconditions.
      	* checks.adb (Expr_Known_Valid): Float literals are assumed to be valid
      	in VM targets.
      
      2012-10-01  Thomas Quinot  <quinot@adacore.com>
      
      	* sinput.ads, sinput.adb, sinput-l.adb sinput-c.adb (Sinput): New
      	Instances table, tracking all generic instantiations. Source file
      	attribute Instance replaces previous Instantiation attribute with an
      	index into the Instances table.
      	(Iterate_On_Instances): New generic procedure.
      	(Create_Instantiation_Source): Record instantiations in Instances.
      	(Tree_Read, Tree_Write): Read/write the instance table.
      	* scils.ads, scos.adb (SCO_Instance_Table): New table, contains
      	information copied from Sinput.Instance_Table, but self-contained
      	within the SCO data structures.
      	* par_sco.ads, par_sco.adb (To_Source_Location): Move to library level.
      	(Record_Instance): New subprogram, used by...
      	(Populate_SCO_Instance_Table): New subprogram to fill
      	the SCO instance table from the Sinput one (called by SCO_Output).
      	* opt.ads (Generate_SCO_Instance_Table): New option.
      	* put_scos.adb (Write_Instance_Table): New subprogram, used by...
      	(Put_SCOs): Dump the instance table at the end of SCO information
      	if requested.
      	* get_scos.adb (Get_SCOs): Read SCO_Instance_Table.
      	* types.h: Add declaration for Instance_Id.
      	* back_end.adb (Call_Back_End): Pass instance ids in source file
      	information table.
      	(Scan_Back_End_Switches): -fdebug-instances sets
      	Opt.Generate_SCO_Instance_Table.
      	* gcc-interface/gigi.h: File_Info_Type includes instance id.
      	* gcc-interface/trans.c: Under -fdebug-instances, set instance
      	id in line map from same in file info.
      
      2012-10-01  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_elab.adb: Minor reformatting
      	(Check_Elab_Call): Minor fix to debugging code
      	(add special circuit for the valid case where a 'Access attribute
      	reference is passed to Check_Elab_Call).
      
      2012-10-01  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_ch3.adb: Minor reformatting.
      
      From-SVN: r191904
      Arnaud Charlet committed
    • [multiple changes] · d85be3ba
      2012-10-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_ch3.ads (Build_Array_Invariant_Proc): moved to body.
      	* exp_ch3.adb (Build_Array_Invariant_Proc,
      	Build_Record_Invariant_Proc): transform into functions.
      	(Insert_Component_Invariant_Checks): for composite types that have
      	components with specified invariants, build a checking procedure,
      	and make into the invariant procedure of the composite type,
      	or incorporate it into the user- defined invariant procedure if
      	one has been created.
      	* sem_ch3.adb (Array_Type_Declaration): Checking for invariants
      	on the component type is defered to the expander.
      
      2012-10-01  Thomas Quinot  <quinot@adacore.com>
      
      	* xsnamest.adb, namet.h, sem_ch10.adb, s-oscons-tmplt.c,
      	xoscons.adb: Minor reformatting.
      
      2012-10-01  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* checks.adb (Apply_Parameter_Aliasing_And_Validity_Checks):
      	Do not process subprogram renaminds because a) those cannot
      	have PPC pragmas b) the renamed entity already has the PPCs.
      	(Build_PPC_Pragma): Prepend a PPC pragma for consistency with
      	Process_PPCs.
      	* sem_ch6.adb (Last_Implicit_Declaration): Removed.
      	(Process_PPCs): Insert a post condition body at the start of the
      	declarative region of the related subprogram. This way the body
      	will not freeze anything it shouldn't.
      
      From-SVN: r191903
      Arnaud Charlet committed
    • [multiple changes] · c5a26133
      2012-10-01  Robert Dewar  <dewar@adacore.com>
      
      	* freeze.adb, sem_ch6.adb, opt.ads, sem_ch13.adb,
      	exp_ch3.adb: Minor reformatting.
      
      2012-10-01  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* checks.adb (Build_PPC_Pragma): A PPC pragma can now be properly
      	associated with a subprogram body.
      
      From-SVN: r191902
      Arnaud Charlet committed
    • aspects.ads: Type_Invariant'class is a valid aspect. · 9e1902a9
      2012-10-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* aspects.ads: Type_Invariant'class is a valid aspect.
      	* sem_ch6.adb (Is_Public_Subprogram_For): with the exception of
      	initialization procedures, subprograms that do not come from
      	source are not public for the purpose of invariant checking.
      	* sem_ch13.adb (Build_Invariant_Procedure): Handle properly the
      	case of a non-private type in a package without a private part,
      	when the type inherits invariants from its ancestor.
      
      2012-10-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_ch3.adb (Build_Record_Invariant_Proc): new procedure to
      	generate a checking procedure for record types that may have
      	components whose types have type invariants declared.
      
      From-SVN: r191901
      Ed Schonberg committed
    • [multiple changes] · e8dde875
      2012-10-01  Vincent Pucci  <pucci@adacore.com>
      
      	* system-solaris-sparcv9.ads, system-mingw.ads, system-vms_64.ads: Flag
      	Support_Atomic_Primitives set to True.
      
      2012-10-01  Robert Dewar  <dewar@adacore.com>
      
      	* impunit.adb: Ada.Locales is a language defined unit.
      
      2012-10-01  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* checks.adb (Apply_Parameter_Aliasing_Checks): Removed.
      	(Apply_Parameter_Aliasing_And_Validity_Checks): New routine.
      	(Apply_Parameter_Validity_Checks): Removed.
      	* checks.ads (Apply_Parameter_Aliasing_Checks): Removed.
      	(Apply_Parameter_Aliasing_And_Validity_Checks): New routine.
      	(Apply_Parameter_Validity_Checks): Removed.
      	* exp_ch6.adb (Expand_Call): Remove the generation of parameter
      	aliasing checks.
      	* freeze.adb: Remove with and use clauses for Validsw.
      	(Freeze_Entity): Update the guard and generation of aliasing
      	and scalar initialization checks for subprogram parameters.
      	* opt.ads: Add new flags Check_Aliasing_Of_Parameters and
      	Check_Validity_Of_Parameters along with comments on usage.
      	* sem_attr.adb (Analyze_Attribute): Pragma Overlaps_Storage is
      	no longer an Ada 2012 feature.
      	* sem_ch4.adb: Remove with and use clauses for Checks and Validsw.
      	(Analyze_Call): Remove the generation of aliasing checks for
      	subprogram parameters.
      	* sem_ch13.adb: Remove with and use clauses for Validsw.
      	(Analyze_Aspect_Specifications): Remove the generation of scalar
      	initialization checks.
      	* switch-c.adb (Scan_Front_End_Switches): Add processing for
      	-gnateA and -gnateV.
      	* usage.adb (Usage): Add information on switches -gnateA and
      	-gnateV. Remove information on validity switches 'l', 'L',
      	'v' and 'V'.
      	* validsw.adb (Reset_Validity_Check_Options): Remove the
      	reset of flags Validity_Check_Non_Overlapping_Params
      	and Validity_Check_Valid_Scalars_On_Params.
      	(Save_Validity_Check_Options): Remove the processing
      	for flags Validity_Check_Non_Overlapping_Params
      	and Validity_Check_Valid_Scalars_On_Params.
      	(Set_Validity_Check_Options): Remove the processing
      	for flags Validity_Check_Non_Overlapping_Params and
      	Validity_Check_Valid_Scalars_On_Params.
      	* validsw.ads: Remove flags Validity_Check_Non_Overlapping_Params
      	and Validity_Check_Valid_Scalars_On_Params along with their
      	comments on usage.
      
      From-SVN: r191900
      Arnaud Charlet committed
    • re PR target/50457 (SH2A atomic functions) · 7bd76b9c
      	PR target/50457
      	* config/sh/sh.opt (matomic-model): New option.
      	(msoft-atomic): Mark as deprecated and alias to matomic-model=soft-gusa.
      	(mhard-atomic): Delete.
      	* config/sh/predicates.md (gbr_displacement): New predicate.
      	* config/sh/sh-protos.h (sh_atomic_model): New struct.
      	(selected_atomic_model): New declaration.
      	(TARGET_ATOMIC_ANY, TARGET_ATOMIC_STRICT, TARGET_ATOMIC_SOFT_GUSA,
      	TARGET_ATOMIC_HARD_LLCS, TARGET_ATOMIC_SOFT_TCB,
      	TARGET_ATOMIC_SOFT_TCB_GBR_OFFSET_RTX, TARGET_ATOMIC_SOFT_IMASK):
      	New macros.
      	* config/sh/linux.h (SUBTARGET_OVERRIDE_OPTIONS): Adapt setting to
      	default atomic model.
      	* config/sh/sh.c (selected_atomic_model_): New global variable.
      	(selected_atomic_model, parse_validate_atomic_model_option): New
      	functions.
      	(sh_option_override): Replace atomic selection checks with call to
      	parse_validate_atomic_model_option.
      	* config/sh/sh.h (TARGET_ANY_ATOMIC, UNSUPPORTED_ATOMIC_OPTIONS,
      	UNSUPPORTED_HARD_ATOMIC_CPU): Delete.
      	(DRIVER_SELF_SPECS): Remove atomic checks.
      	config/sh/sync.md: Update documentation comments.
      	(atomic_compare_and_swap<mode>, atomic_exchange<mode>,
      	atomic_fetch_<fetchop_name><mode>, atomic_fetch_nand<mode>,
      	atomic_<fetchop_name>_fetch<mode>, atomic_nand_fetch<mode>): Use
      	TARGET_ATOMIC_ANY as condition.  Add TARGET_ATOMIC_STRICT check for
      	SH4A case.  Handle new TARGET_ATOMIC_SOFT_TCB and
      	TARGET_ATOMIC_SOFT_IMASK cases.
      	(atomic_test_and_set): Handle new TARGET_ATOMIC_SOFT_TCB and
      	TARGET_ATOMIC_SOFT_IMASK cases.
      	(atomic_compare_and_swapsi_hard, atomic_exchangesi_hard,
      	atomic_fetch_<fetchop_name>si_hard, atomic_fetch_nandsi_hard,
      	atomic_<fetchop_name>_fetchsi_hard, atomic_nand_fetchsi_hard):
      	Add TARGET_ATOMIC_STRICT check.
      	(atomic_compare_and_swap<mode>_hard, atomic_exchange<mode>_hard,
      	atomic_fetch_<fetchop_name><mode>_hard, atomic_fetch_nand<mode>_hard,
      	atomic_<fetchop_name>_fetch<mode>_hard, atomic_nand_fetch<mode>_hard,
      	atomic_test_and_set_hard): Use TARGET_ATOMIC_HARD_LLCS condition.
      	(atomic_compare_and_swap<mode>_soft, atomic_exchange<mode>_soft,
      	atomic_fetch_<fetchop_name><mode>_soft, atomic_fetch_nand<mode>_soft,
      	atomic_<fetchop_name>_fetch<mode>_soft, atomic_nand_fetch<mode>_soft,
      	atomic_test_and_set_soft): Append _gusa to the insn names and use
      	TARGET_ATOMIC_SOFT_GUSA as condition.
      	(atomic_compare_and_swap<mode>_soft_tcb, atomic_exchange<mode>_soft_tcb,
      	atomic_fetch_<fetchop_name><mode>_soft_tcb,
      	atomic_fetch_nand<mode>_soft_tcb,
      	atomic_<fetchop_name>_fetch<mode>_soft_tcb,
      	atomic_nand_fetch<mode>_soft_tcb, atomic_test_and_set_soft_tcb):
      	New insns.
      	(atomic_compare_and_swap<mode>_soft_imask,
      	atomic_exchange<mode>_soft_imask,
      	atomic_fetch_<fetchop_name><mode>_soft_imask,
      	atomic_fetch_nand<mode>_soft_imask,
      	atomic_<fetchop_name>_fetch<mode>_soft_imask,
      	atomic_nand_fetch<mode>_soft_imask, atomic_test_and_set_soft_imask):
      	New insns.
      	* doc/invoke.texi (SH Options): Document new matomic-model option.
      	Remove msoft-atomic and mhard-atomic options.
      
      From-SVN: r191899
      Oleg Endo committed
    • sem_ch13.adb (Add_Invariants): Analyze the invariant expression as an assertion expression. · 3db39676
      2012-10-01  Yannick Moy  <moy@adacore.com>
      
      	* sem_ch13.adb (Add_Invariants): Analyze the invariant expression
      	as an assertion expression.
      	* sem_ch3.adb / sem_ch3.ads (Preanalyze_Assert_Expression):
      	New procedure that wraps a call to Preanalyze_Spec_Expression
      	for assertion expressions, so that In_Assertion_Expr can be
      	properly adjusted.
      	* sem_prag.adb (Analyze_PPC_In_Decl_Part
      	Check_Precondition_Postcondition Preanalyze_CTC_Args): Call the
      	new Preanalyze_Assert_Expression.
      
      From-SVN: r191898
      Yannick Moy committed
    • [multiple changes] · 3f5e1e07
      2012-10-01  Robert Dewar  <dewar@adacore.com>
      
      	* checks.ads: Minor reformatting.
      
      2012-10-01  Yannick Moy  <moy@adacore.com>
      
      	* types.ads, sem_prag.adb, sem.ads: Correct minor typos in comments.
      
      From-SVN: r191897
      Arnaud Charlet committed
    • [multiple changes] · 05b34c18
      2012-10-01  Vincent Celier  <celier@adacore.com>
      
      	* make.adb (Scan_Make_Arg): Only test for "vP" of the option
      	includes at least 3 characters.
      	* gnatcmd.adb (GNATCmd): Ditto.
      
      2012-10-01  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* exp_ch7.adb, sinfo.ads: Add comments.
      
      2012-10-01  Robert Dewar  <dewar@adacore.com>
      
      	* checks.adb: Remove reference to Enable_Overflow_Checks Use
      	Suppress_Options rather than Scope_Suppress.
      	* gnat1drv.adb (Adjust_Global_Switches): Handle new overflow
      	settings (Adjust_Global_Switches): Initialize Scope_Suppress
      	from Suppress_Options.
      	* opt.adb: Remove Enable_Overflow_Checks (use Suppress_Options
      	instead).
      	* opt.ads: Remove Overflow_Checks_Unsuppressed (not used)
      	Remove Enable_Overflow_Checks (use Suppress_Options instead)
      	Suppress_Options is now current setting (replaces Scope_Suppress).
      	* osint.adb (Initialize): Deal with initializing overflow
      	checking.
      	* par-prag.adb: Add dummy entry for pragma Overflow_Checks.
      	* sem.adb (Semantics): Save and restore In_Assertion_Expr Use
      	Suppress_Options instead of Scope_Suppress.
      	* sem.ads (In_Assertion_Expr): New flag (Scope_Suppress):
      	Removed, use Suppress_Options instead.
      	* sem_eval.adb (Compile_Time_Compare): Return Unknown in
      	preanalysis mode.
      	* sem_prag.adb (Process_Suppress_Unsuppress): Setting of
      	Overflow_Checks_Unsuppressed removed (not used anywhere!)
      	(Analyze_Pragma, case Check): Set In_Assertion_Expression
      	(Analyze_Pragma, case Overflow_Checks): Implement new pragma
      	* snames.ads-tmpl: Add names needed for handling pragma
      	Overflow_Checks
      	* switch-c.adb (Scan_Front_End_Switches) Handle -gnato? and
      	-gnato?? where ? is 0-3
      	* types.ads: Updates and fixes to comment on Suppress_Record.
      
      2012-10-01  Vincent Celier  <celier@adacore.com>
      
      	* prj-part.adb (Parse): Remove incorrect comment about checking
      	imported non extending projects from and "extending all"
      	one. Minor correction.
      
      From-SVN: r191895
      Arnaud Charlet committed
    • [multiple changes] · c92e8586
      2012-10-01  Robert Dewar  <dewar@adacore.com>
      
      	* make.adb, exp_ch3.adb: Minor reformatting.
      
      2012-10-01  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* validsw.adb (Save_Validity_Check_Options): Do not set
      	Validity_Check_Non_Overlapping_Params and
      	Validity_Check_Valid_Scalars_On_Params when -gnatVa is present
      	because the related checks are deemed too aggressive.
      
      2012-10-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_util.ads sem_util.adb (Check_Internal_Protected_Use):
      	reject use of protected procedure or entry within the body of
      	a protected function of the same protected type, when usage is
      	a call, an actual in an instantiation, a or prefix of 'Access.
      	* sem_ch8.adb (Analyze_Subprogram_Renaming): Verify that target
      	object in renaming of protected procedure is a variable, and
      	apply Check_Internal_Protected_Use.
      	* sem_res.adb (Analyze_Call, Analyze_Entry_Call): apply
      	Check_Internal_Protected_Use rather than on-line code.
      	* sem_attr.adb (Analyze_Access_Attribute): Verify that target
      	object in accsss to protected procedure is a variable, and apply
      	Check_Internal_Protected_Use.
      
      2012-10-01  Gary Dismukes  <dismukes@adacore.com>
      
      	* sem_ch4.adb (Find_Equality_Types.Try_One_Interp): Exclude the
      	predefined interpretation from consideration if it's for a "/="
      	operator of a tagged type. This will allow Analyze_Equality_Op to
      	rewrite the "/=" as a logical negation of a call to the appropriate
      	dispatching equality function. This needs to be done during
      	analysis rather than expansion for the benefit of ASIS, which
      	otherwise gets the unresolved N_Op_Ne operator from Standard.
      
      From-SVN: r191894
      Arnaud Charlet committed
    • [multiple changes] · 8e983d80
      2012-10-01  Thomas Quinot  <quinot@adacore.com>
      
      	* gnatcmd.adb, make.adb (Scan_Make_Arg, Inspect_Switches): Recognize
      	and reject an invalid parameter passed to -vP.
      
      2012-10-01  Yannick Moy  <moy@adacore.com>
      
      	* sem_warn.adb (Check_Infinite_Loop_Warning/Test_Ref): Improve
      	the detection of modifications to the loop variable by noting
      	that, if the type of variable is elementary and the condition
      	does not contain a function call, then the condition cannot be
      	modified by side-effects from a procedure call.
      
      2012-10-01  Robert Dewar  <dewar@adacore.com>
      
      	* checks.adb: Add comments.
      
      2012-10-01  Javier Miranda  <miranda@adacore.com>
      
      	* exp_ch3.adb (Expand_N_Object_Declaration): Improve condition catching
      	never-ending recursion. The previous condition erroneously disabled
      	silently the expansion of the class-wide interface object
      	initialization in cases not involving the recursion.
      
      From-SVN: r191892
      Arnaud Charlet committed
    • Move PR c++/19351 ChangeLog entry to correct ChangeLog. · 7246b890
      From-SVN: r191891
      Jakub Jelinek committed
    • [multiple changes] · 0ea55619
      2012-10-01  Thomas Quinot  <quinot@adacore.com>
      
      	* make.adb: Minor documentation fix: error messages are sent to
      	stderr, not stdout.
      
      2012-10-01  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* checks.ads, checks.adb (Apply_Parameter_Aliasing_Checks): New routine.
      	(Apply_Parameter_Validity_Checks): New routines.
      	* exp_ch6.adb (Expand_Call): Add aliasing checks to detect
      	overlapping objects.
      	* freeze.adb: Add with and use clauses for Checks and Validsw.
      	(Freeze_Entity): Add checks to detect proper initialization
      	of scalars.
      	* sem_ch4.adb: Add with and use clauses for Checks and Validsw.
      	(Analyze_Call): Add aliasing checks to detect overlapping objects.
      	* sem_ch13.adb: Add with and use clauses for Validsw.
      	(Analyze_Aspect_Specifications): Add checks to detect proper
      	initialization of scalars.
      	* sem_prag.adb (Chain_PPC): Correct the extraction of the
      	subprogram name.
      	* sem_util.adb (Is_Object_Reference): Attribute 'Result now
      	produces an object.
      	* usage.adb (Usage): Add usage lines for validity switches 'l',
      	'L', 'v' and 'V'.
      	* validsw.adb (Reset_Validity_Check_Options): Include
      	processing for flags Validity_Check_Non_Overlapping_Params and
      	Validity_Check_Valid_Scalars_On_Params. Code reformatting.
      	(Save_Validity_Check_Options): Include processing
      	for flags Validity_Check_Non_Overlapping_Params
      	and Validity_Check_Valid_Scalars_On_Params.
      	(Set_Validity_Check_Options): Add processing for validity switches
      	'a', 'l', 'L', 'n', 'v' and 'V'. Code reformatting.
      	* validsw.ads: Add new flags Validity_Check_Non_Overlapping_Params
      	and Validity_Check_Valid_Scalars_On_Params along with comments
      	on usage.
      
      2012-10-01  Thomas Quinot  <quinot@adacore.com>
      
      	* namet.ads, xsnamest.adb, prj-env.adb, sem_warn.adb,
      	errout.ads: Minor reformatting.
      	* prj-part.adb: Add comment.
      
      From-SVN: r191890
      Arnaud Charlet committed
    • [multiple changes] · 2791be24
      2012-10-01  Robert Dewar  <dewar@adacore.com>
      
      	* sinfo.ads, exp_aggr.adb, sem_ch13.adb: Minor reformatting.
      
      2012-10-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_aggr.adb (Resolve_Array_Aggregate): Handle properly
      	component associations given by subtypes that have static
      	predicates.  Improve error message for overlapping ranges in
      	array aggregates.
      
      2012-10-01  Pascal Obry  <obry@adacore.com>
      
      	* snames.ads-tmpl (Name_Link_Lib_Subdir): New constant.
      
      2012-10-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch9.adb (Analyze_Requeue): The target of a requeue
      	statement on a protected entry must be a variable. This is part
      	of AI05-0225.
      
      From-SVN: r191889
      Arnaud Charlet committed
    • re PR target/54746 (config/s390/s390.c:1583: possible missing break in switch ?) · f686b370
      2012-10-01  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>
      
      	PR target/54746
      	* config/s390/s390.c (s390_option_override): Add missing break.
      
      From-SVN: r191885
      Andreas Krebbel committed
    • dumpfile.c: New file with parts moved from tree-dump.c. · b5f47924
      2012-09-30  Sharad Singhai  <singhai@google.com>
      
      	* dumpfile.c: New file with parts moved from tree-dump.c.
      	(pflags): New variable.
      	(alt_flags): Ditto.
      	(alt_dump_file): Ditto.
      	(dump_files):  Update to include additional fields.
      	(struct dump_option_value_info): Add additional entries.
      	(get_dump_file_name): Use command line filename if available.
      	(dump_open_alternate_stream): New function.
      	(dump_loc): Ditto.
      	(dump_gimple_stmt): Ditto.
      	(dump_gimple_stmt_loc): Ditto.
      	(dump_generic_expr): Ditto.
      	(dump_generic_expr_loc): Ditto.
      	(dump_printf): Ditto.
      	(dump_printf_loc): Ditto.
      	(dump_start): Ditto.
      	(dump_finish): Ditto.
      	(dump_begin): Ditto.
      	(dump_enabled_p): Return true if either of the dump types is enabled.
      	(dump_initialized_p): Return true if either type of dump is initialized.
      	(dump_end): Do not close standard streams.
      	(dump_enable_all): Handle filenames for regular dumps.
      	(dump_switch_p_1): Handle command-line dump filenames.
      	(opt_info_enable_all): New function.
      	(opt_info_switch_p_1): Ditto.
      	(opt_info_switch_p): Ditto.
      	(dump_kind_p): Ditto.
      	(dump_basic_block): Ditto.
      	(dump_combine_total_stats): Ditto.
      	(dump_remap_tree_vectorizer_verbose): Ditto.
      	* gimple-pretty-print.h: Rename dump_gimple_stmt to
      	pp_gimple_stmt_1.  All callers updated.
      
      From-SVN: r191884
      Sharad Singhai committed
    • invoke.texi: Add documentation for the new option. · 78c60e3d
      2012-09-30  Sharad Singhai  <singhai@google.com>
      
      	* doc/invoke.texi: Add documentation for the new option.
      	* tree-dump.c: Move general dump file related functionality into
      	dumpfile.c. Remove unneeded headers.
      	* tree-dump.h: Move function declarations into dumpfile.h.
      	* dumpfile.h: Include "line-map.h". Add defines for MSG flags.
      	(struct dump_file_info): Move here from tree-dump.c.  Rename flags
      	to pflags, state to pstate, stream to pstream, filename to
      	pfilename. All callers updated. Add alt_flags, alt_state,
      	alt_filenmae, alt_stream.
      	* tree-vectorizer.c: Include "dumpfile.h". Remove vect_dump.
      	(vect_set_dump_settings): Remove.
      	(vect_print_dump_info): Ditto.
      	* tree-vectorizer.h: Remove declaration of vect_dump and
      	vect_print_dump_info.
      	* tree-vect-loop.c: Include "dumpfile.h". Use new dump style.
      	* tree-vect-data-refs.c: Ditto.
      	* tree-vect-stmts.c: Ditto.
      	* tree-vect-slp.c: Ditto.
      	* tree-vect-patterns.c: Ditto.
      	* tree-vect-loop-manip.c: Ditto.
      	* testsuite/gcc.target/i386/vect-double-1.c: Fix test.
      	* opts.c (vect_set_verbosity_level): Remove.
      	(common_handle_option): Handle -fopt-info flag. Deprecate
      	-ftree-vectorizer-verbose.
      	* tree-parloops.c (gather_scalar_reductions): Remove reference to
      	vect_dump.
      	* flag-types.h: Remove vect_verbosity_levels.
      	* common.opt: Add -fopt-info. Deprecate -ftree-vectorizer-verbose.
      	* opts-global.c (dump_remap_tree_vectorizer_verbose): New
      	function.
      	(handle_common_deferred_options): Handle -fopt-info and
      	-ftree-vectorizer-verbose.
      	* Makefile.in: Add dumpfile.o.
      	(tree-dump.o): Update dependencies.
      	(tree-vect-loop.o): Ditto.
      	(tree-vect-loop-manip.o): Ditto.
      	(tree-vect-slp.o): Ditto.
      	(tree-vect-stmts.o): Ditto.
      	(tree-vectorizer.o): Ditto.
      	(opts.o): Ditto.
      	* passes.c (finish_optimization_passes): Instead of using
      	dump_begin/dump_end, use dump_start/dump_finish. Do not use dump_file.
      	(pass_init_dump_file): Ditto.
      	* c-decl.c (c_write_global_declarations): Use a different method
      	to determine if the dump has ben initialized.
      	* decl2.c (cp_write_global_declarations): Use a different method
      	to determine if the dump has ben initialized.
      
      From-SVN: r191883
      Sharad Singhai committed
    • Daily bump. · d0cfc262
      From-SVN: r191882
      GCC Administrator committed
  2. 30 Sep, 2012 14 commits
  3. 29 Sep, 2012 7 commits