PR c++/54653
* parser.c (cp_parser_class_head): A partial specialization scope
counts as a template.
* pt.c (tsubst_template_parms): Handle template template parm parms.
(tsubst_decl) [TEMPLATE_DECL]: Handle getting a template template
argument back.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194249 138bc75d-0d04-0410-961f-82ee72b054a4

PR c++/55564
* pt.c (unify) [ARRAY_TYPE]: Unify the element type before the bounds.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194248 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-06  Richard Biener  <rguenther@suse.de>

* gimple-fold.c (fold_stmt_1): Remove code handling folding
stmts away.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194247 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-06  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

gcc/
* doc/sourcebuild.texi: Document arm_v8_neon_ok.

gcc/testsuite/
* lib/target-supports.exp (check_effective_target_arm_v8_neon_ok):
New procedure.
(add_options_for_arm_v8_neon): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194245 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-06  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

* config/arm/arm.c (neon_itype): Define NEON_RINT enum element.
(neon_builtin_data): Register vrintn, vrinta, vrintp, vrintm,
vrintz, vrintx neon builtins.
(arm_init_neon_builtins): Handle NEON_RINT.
(arm_expand_neon_builtin): Likewise.
* config/arm/unspecs.md: New file.
* config/arm/arm.md ("unspec"): Move to unspecs.md.
* config/arm/iterators.md (NEON_VRINT): New int iterator.
(nvrint_variant): New int attribute.
* config/arm/neon.md
(neon_vrint<NEON_VRINT:nvrint_variant><VCVTF:mode>): New pattern.
("unspec"): Move to unspecs.md.
* config/arm/iwmmxt2.md ("unspec"): Move to unspecs.md.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194244 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/sfp-machine.h (FP_EX_ALL): Define.
(FP_TRAPPING_EXCEPTIONS): Define.
* config/i386/32/sfp-machine.h (FP_EX_SHIFT): Define.
* config/i386/64/sfp-machine.h (FP_EX_SHIFT): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194243 138bc75d-0d04-0410-961f-82ee72b054a4

compiler: Correct test for whether go/defer arg is parenthesized.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194240 138bc75d-0d04-0410-961f-82ee72b054a4

os: Clean up directory reading code.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194237 138bc75d-0d04-0410-961f-82ee72b054a4

* config/pa/pa.md: Use "const_int 0" instead of match_test to simplify
opaque cond in all call insns.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194235 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194234 138bc75d-0d04-0410-961f-82ee72b054a4

* g++.dg/pr55604.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194231 138bc75d-0d04-0410-961f-82ee72b054a4

PR rtl-optimization/55604
* lra-lives.c (lra_create_live_ranges): If there are no referenced
pseudos left, do not compute live ranges.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194230 138bc75d-0d04-0410-961f-82ee72b054a4

* doc/tm.texi.in (TARGET_CLASS_LIKELY_SPILLED_P): Update documentation.
* doc/tm.texi: Regenerate.
* regs.h (REG_LIVE_LENGTH): Update comments to not refer to no longer
existing files global.c and local-alloc.c.
* regmove.c (copy_src_to_dest): Likewise.
* function.h (struct rtl_data): Likewise.
* ira-color.c (allocno_priority_compare_func): Likewise.
* regstat.c (regstat_compute_ri): Likewise.
* config/epiphany/epiphany.h, config/vax/vax.h, config/cris/cris.h,
config/h8300/h8300.h, config/alpha/alpha.h, config/sparc/sparc.h,
config/rs6000/rs6000.h, config/pdp11/pdp11.h, config/pa/pa.h,
config/v850/v850.h, config/mn10300/mn10300.h, config/m32r/m32r.h,
config/i386/i386.h, config/mcore/mcore.h, config/sh/sh.h,
config/arm/arm.h (REGNO_OK_FOR_BASE_P): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194229 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/54160
* config/t-darwin (darwin-c.o): Depend on $(CPP_INTERNAL_H).
* config/darwin-c.c (darwin_cpp_builtins): Only set __OBJC2__
when in obj mode.
Include libcpp/internal.h.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194227 138bc75d-0d04-0410-961f-82ee72b054a4

PR rtl-optimization/54739
* config/microblaze/microblaze.md: (anddi3, iordi3, xordi3): Delete patterns.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194226 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Tobias Burnus  <burnus@net-b.de>

        * resolve.c (generate_component_assignments): Fix memleak.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194225 138bc75d-0d04-0410-961f-82ee72b054a4

[libsanitizer] merge from upstream r169371

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194221 138bc75d-0d04-0410-961f-82ee72b054a4

[AARCH64] Add zip{1, 2}, uzp{1, 2}, trn{1, 2} support
for vector permute.

gcc/

* config/aarch64/aarch64-simd-builtins.def: Add new builtins.
* config/aarch64/aarch64-simd.md (simd_type): Add uzp.
(aarch64_<PERMUTE:perm_insn><PERMUTE:perm_hilo><mode>): New.
* config/aarch64/aarch64.c (aarch64_evpc_trn): New.
(aarch64_evpc_uzp): Likewise.
(aarch64_evpc_zip): Likewise.
(aarch64_expand_vec_perm_const_1): Check for trn, zip, uzp patterns.
* config/aarch64/iterators.md (unspec): Add neccessary unspecs.
(PERMUTE): New.
(perm_insn): Likewise.
(perm_hilo): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194219 138bc75d-0d04-0410-961f-82ee72b054a4

[AARCH64] Implement Vector Permute Support.

gcc/

* config/aarch64/aarch64-protos.h
(aarch64_split_combinev16qi): New.
(aarch64_expand_vec_perm): Likewise.
(aarch64_expand_vec_perm_const): Likewise.
* config/aarch64/aarch64-simd.md (vec_perm_const<mode>): New.
(vec_perm<mode>): Likewise.
(aarch64_tbl1<mode>): Likewise.
(aarch64_tbl2v16qi): Likewise.
(aarch64_combinev16qi): New.
* config/aarch64/aarch64.c
(aarch64_vectorize_vec_perm_const_ok): New.
(aarch64_split_combinev16qi): Likewise.
(MAX_VECT_LEN): Define.
(expand_vec_perm_d): New.
(aarch64_expand_vec_perm_1): Likewise.
(aarch64_expand_vec_perm): Likewise.
(aarch64_evpc_tbl): Likewise.
(aarch64_expand_vec_perm_const_1): Likewise.
(aarch64_expand_vec_perm_const): Likewise.
(aarch64_vectorize_vec_perm_const_ok): Likewise.
(TARGET_VECTORIZE_VEC_PERM_CONST_OK): Likewise.
* config/aarch64/iterators.md
(unspec): Add UNSPEC_TBL, UNSPEC_CONCAT.
(V_cmp_result): Add mapping for V2DF.

gcc/testsuite/

* lib/target-supports.exp
(check_effective_target_vect_perm): Allow aarch64*-*-*.
(check_effective_target_vect_perm_byte): Likewise.
(check_effective_target_vect_perm_short): Likewise.
(check_effective_target_vect_char_mult): Likewise.
(check_effective_target_vect_extract_even_odd): Likewise.
(check_effective_target_vect_interleave): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194218 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Robert Dewar  <dewar@adacore.com>

* par_sco.adb, sem_prag.adb, put_scos.adb, get_scos.adb: Minor
reformatting.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb: Code clean up.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194217 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Make-lang.in: Update dependencies.
* gcc-interface/lang.opt: New language AdaSCIL.
* gcc-interface/lang-specs.h: Add specs for adascil language.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194216 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb (Traverse_Aspects): Ensure we always have
an entry in the sloc -> SCO map for invariants, since
Set_SCO_Pragma_Enabled is called with that sloc when checks
are enabled.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* exp_ch4.adb: Minor reformatting.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* par-prag.adb: Checks and processing of pragma Assume are
carried out by Sem_Prag.
* sem_prag.adb (Analyze_Pragma): Check the legality of pragma
Assume.
* snames.ads-tmpl: Add new name Assume. Add a pragma identifier
for Assume.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194215 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* aspects.ads, aspects.adb: Add aspect Relative_Deadline.
* sem_ch13.adb (Analyze_Aspect_Specifications): Process aspect
Relative_Deadline, and introduce the corresponding pragma within
the task definition of the task type to which it applies.
(Check_Aspect_At_Freeze_Point): Expression in a Relative_Deadline
aspect is of type Time_Span.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194214 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Check_Loop_Invariant_Variant_Placement): When pragma
Loop_[In]variant does not appear immediately within the statements
of a loop, it must appear in a chain of nested blocks.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* sem_ch13.adb: Minor reformatting.
 Remove redundant assertion.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194213 138bc75d-0d04-0410-961f-82ee72b054a4

Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194212 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb, scos.ads, put_scos.adb, put_scos.ads,
get_scos.adb: Generation of SCOs for aspects.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* sem_prag.adb (Check_Precondition_Postcondition): Remove
redundant call to Set_SCO_Pragma_Enabled (the pragma will be
rewritten into a pragma Check later on, and the call will be
made when processing the rewritten pragma).
(Analyze_Pragma, case Pragma_Check): Omit call to
Set_SCO_Pragma_Enabled if Split_PPC is set.

2012-12-05  Olivier Hainque  <hainque@adacore.com>

* tracebak.c: Add partial support for Lynx178.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_attr.adb (Analyze_Attribute): Improve
the error message related to loop assertions.

2012-12-05  Gary Dismukes  <dismukes@adacore.com>

* atree.ads: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194211 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Robert Dewar  <dewar@adacore.com>

* atree.ads, par-ch4.adb, sem_attr.adb, sem_ch13.adb: Minor
reformatting.

2012-12-05  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_ugn.texi (Switches for gcc): Document -flto and reorder.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* par-ch5.adb (P_Condition): Handle properly Ada 2012
expressions that must be parenthesized before checking for
redundant parentheses when that check is enabled.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194210 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* par-ch4.adb (P_Allocator): In Ada 2012 (AI05-0104)  an
uninitialized allocator cannot carry an explicit not null
indicator.
* sem_ch4.adb (Analyze_Allocator): Remove code that implements
the check for AI05-0104, the check is syntactic and performed
in the parser.

2012-12-05  Geert Bosch  <bosch@adacore.com>

* sem_attr.adb (Analyze_Attribute): Use base type for floating
point attributes.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications,
Ahalyze_Aspect_Default_Value): For a scalar type attach default
value to base type as well, because it is a type-specific aspect
even though it can be specified on a first subtype.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194209 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/

2012-12-05  Yufeng Zhang  <yufeng.zhang@arm.com>

* config/aarch64/aarch64.c (aarch64_simd_mangle_map_entry): New
typedef.
(aarch64_simd_mangle_map): New table.
(aarch64_mangle_type): Locate and return the mangled name for
a given AdvSIMD vector type.

gcc/testsuite/

2012-12-05  Yufeng Zhang  <yufeng.zhang@arm.com>

* g++.dg/abi/mangle-neon-aarch64.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194208 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Yannick Moy  <moy@adacore.com>

* urealp.ads: Minor rewording.

2012-12-05  Yannick Moy  <moy@adacore.com>

* aspects.ads (No_Duplicates_Allowed): Forbid use of duplicate
Contract_Cases aspects.
* sem_prag.adb (Analyze_Pragma/Pragma_Contract_Case): Rename
POST_CASE into CONTRACT_CASE in both grammar and code, to be
consistent with current language definition.  Issue a more precise
error message when the pragma duplicates another pragma or aspect.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference): Add processing
for attribute Update.
(Expand_Update_Attribute): New routine.
* par-ch4.adb (P_Name): The sole expression of attribute Update
is an aggregate, parse it accordingly.
* sem_attr.adb (Analyze_Attribute): Verify the legality of
attribute Update.
(Eval_Attribute): Attribute Update does not
need evaluation because it is never static.
* snames.ads-tmpl: Add Name_Update to the list of special names
recognized by the compiler. Add an Attribute_Id for Update.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* exp_util.adb (Remove_Side_Effects): For purposes of removing
side effects, qualified expressions do not receive a special
treatment, even though in Ada 2012 they are defined  as object
references.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* par-ch3.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194207 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* exp_dist.adb (Build_From_Any_Call, Build_To_Any_Call,
Build_TypeCode_Call): For a used-defined subtype, always go to
the first subtype of the base type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194206 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* exp_dist.adb: Minor reformatting.

2012-12-05  Tristan Gingold  <gingold@adacore.com>

* Make-generated.in: Remove the VMS host specific part, as VMS
compilers aren't built anymore on VMS.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* sem.adb, errout.ads, atree.adb, atree.ads (Check_Error_Detected):
Only return quietly if a serious error of configurable run time
violation has been found.

2012-12-05  Yannick Moy  <moy@adacore.com>

* sem_res.adb (Resolve_Type_Conversion): In Alfa_Mode, do not apply
conversion checks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194205 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* exp_ch5.adb (Expand_N_Assignment_Statement): Handle properly
the generation of discriminant checks when the left-hand side
has a type with hidden discriminants.
* sem_ch3.ads (Is_Visible_Component): Add defaulted parameter to
specify the node on which component visibility is being checked.
* sem_ch3.adb (Is_Visible_Component): Use new parameter to
determine whether the reference comes from a type conversion to
a full view of a private type with unknown discriminants.
* sem_ch4.adb (Analyze_Selected_Component): Call
Is_Visible_Component with added parameter.

2012-12-05  Arnaud Charlet  <charlet@adacore.com>

* make.adb: Minor comment update.

2012-12-05  Arnaud Charlet  <charlet@adacore.com>

* gnatlink.adb: Also use -x adascil in CodePeer mode when
calling gcc.
* exp_ch5.adb: Minor reformatting.

2012-12-05  Bob Duff  <duff@adacore.com>

* exp_ch4.adb: Minor comment.

2012-12-05  Bob Duff  <duff@adacore.com>

* par-ch4.adb: Set Paren_Count correctly for a parenthesized expression
containing a conditional expression or quantified expression.
* sprint.adb: Update comment.

2012-12-05  Bob Duff  <duff@adacore.com>

* style.adb, scans.ads, styleg.adb: Update comments.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Find_Selected_Component): Handle properly an
expanded name whose prefix is the expanded name of an enclosing
entry, that is to say a construct such as T.E.X, where T is an
enclosing concurrent type and E is an enclosing entry.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194204 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Robert Dewar  <dewar@adacore.com>

* lib-writ.adb (Write_ALI): Output T lines.
* lib-writ.ads: Minor reformatting. Add documentation of T lines.
* opt.ads (Generate_Target_Dependent_Info): New flag.
* switch-c.adb (Scan_Switches): Recognize -gnatet switch
(target dependent info).
* ttypes.ads: Add four letter codes to declarations (for target
dependent info).
* usage.adb: Add line for -gnatet switch.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_prag.adb (Expand_N_Pragma): Add a call to expand
pragma Loop_Variant.
(Expand_Pragma_Loop_Assertion): Removed.
(Expand_Pragma_Loop_Variant): New routine.
* par-prag.adb: Remove Pragma_Loop_Assertion and add two new
Pragma_Loop_Invariant and Pragma_Loop_Variant entries.
* sem_attr.adb (Analyze_Attribute): Update the code which
locates the enclosing pragma.
* sem_prag.adb (Analyze_Pragma): Remove the code which analyzes
pragma Loop_Assertion as the pragma is now obsolete. Add the
machinery to checks the semantics of pragmas Loop_Invariant
and Loop_Variant.
(Check_Loop_Invariant_Variant_Placement): New routine.
* snames.ads-tmpl: Remove name Loop_Assertion. Add new names
Loop_Invariant and Loop_Variant.  Rename Name_Decreasing
to Name_Decreases and Name_Increasing to Name_Increases.
Remove the pragma Id for Loop_Assertion and add two new Ids for
Loop_Invariant and Loop_Variant.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194203 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Robert Dewar  <dewar@adacore.com>

* gnatchop.adb, sem_attr.ads, sem_ch4.adb, sem_ch6.adb, exp_disp.adb,
atree.adb, sem_eval.adb: Minor reformatting.

2012-12-05  Yannick Moy  <moy@adacore.com>

* uintp.adb (UI_Div_Rem): Correct algorithm D to remove potential
overflow.

2012-12-05  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Op_Mod): Minor comment additions.
(Expand_N_Op_Rem): Ditto.

2012-12-05  Robert Dewar  <dewar@adacore.com>

* sem_attr.adb: Minor reformatting.

2012-12-05  Robert Dewar  <dewar@adacore.com>

* usage.adb: Update lines for -gnato? switch.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194202 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* par-ch6.adb (P_Return_Object_Declaration): Do not check for
legality of Aliased keyword.
* sem_ch6.adb (Analyze_Function_Return): The keyword aliased is
legal in an extended return statement only if the return type
is immutably limited.

2012-12-05  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Expand_Interface_Thunk): Simplify
management of controlling formals.  Required to avoid problems
with primitives of internally generated base types associated
with constrained tagged types.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194201 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/

2012-12-05  Yufeng Zhang  <yufeng.zhang@arm.com>

* config/aarch64/aarch64.c (aarch64_mangle_type): New function.
(TARGET_MANGLE_TYPE): Define.

gcc/testsuite/

2012-12-05  Yufeng Zhang  <yufeng.zhang@arm.com>

* g++.dg/abi/arm_va_list.C: Also test on aarch64*-*-*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194200 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb: Remove spurious warnings.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb (Build_Explicit_Dereference): Set properly
the type of the prefix prior to rewriting, because subsequent
legality checks examine the original node.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* aspects.adb: Add Contract_Cases to the canonical aspects map.
* aspects.ads: Add aspect Contract_Cases in the various aspect
tables.
* par-prag.adb: The parser does not need to perform special
actions for pragma Contract_Cases.
* sem_ch6.adb (Expand_Contract_Cases): New routine.
(Process_Contract_Cases): Convert pragma Contract_Cases into pre-
and post- condition checks that verify the runtime state of all
case guards and their corresponding consequences.
* sem_ch13.adb (Analyze_Aspect_Specifications): Perform
various legality checks on aspect Contract_Cases. The aspect is
transformed into a pragma.
* sem_prag.adb: Add an entry in table Sig_Flags for pragma
Contract_Cases.
(Analyze_Pragma): Perform various legality
checks on pragma Contract_Cases.  The pragma is associated with
the contract of the related subprogram.
(Chain_CTC): Omit pragma
Contract_Cases because it does not introduce a unique case name
and does not follow the syntax of Contract_Case and Test_Case.
* snames.ads-tmpl: Add new name Name_Contract_Cases. Add a
Pragma_Id for Contract_Cases.

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* sem_ch5.adb: Minor reformatting.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_attr.ads: Add an entry for attribute Loop_Entry in the
Attribute_Impl_Def table.

2012-12-05  Bob Duff  <duff@adacore.com>

* gnatchop.adb (Read_File): Avoid storage leak, and in most cases avoid
an extra copy of the string.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194199 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb (Preanalyze_Range): If the expression, which
denotes some domain of iteration, has a type with implicit
dereference, and does not have any iterable aspects, insert
dereference to obtain proper container type.

2012-12-05  Bob Duff  <duff@adacore.com>

* par-ch8.adb (P_Use_Type_Clause): Fix the Sloc for "use all type ..."
to point to "use".

2012-12-05  Arnaud Charlet  <charlet@adacore.com>

* make.adb (Compile): Always pass -x adascil in CodePeer mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194198 138bc75d-0d04-0410-961f-82ee72b054a4

[AARCH64] Add support for vectorizable standard math patterns.

gcc/

* config/aarch64/aarch64-builtins.c
(aarch64_builtin_vectorized_function): New.
* config/aarch64/aarch64-protos.h
(aarch64_builtin_vectorized_function): Declare.
* config/aarch64/aarch64-simd-builtins.def (frintz, frintp): Add.
(frintm, frinti, frintx, frinta, fcvtzs, fcvtzu): Likewise.
(fcvtas, fcvtau, fcvtps, fcvtpu, fcvtms, fcvtmu): Likewise.
* config/aarch64/aarch64-simd.md
(aarch64_frint_<frint_suffix><mode>): New.
(<frint_pattern><mode>2): Likewise.
(aarch64_fcvt<frint_suffix><su><mode>): Likewise.
(l<fcvt_pattern><su_optab><fcvt_target><VDQF:mode>2): Likewise.
* config/aarch64/aarch64.c (TARGET_VECTORIZE_BUILTINS): Define.
(TARGET_VECTORIZE_BUILTIN_VECTORIZED_FUNCTION): Likewise.
* config/aarch64/aarch64.md
(btrunc<mode>2, ceil<mode>2, floor<mode>2)
(round<mode>2, rint<mode>2, nearbyint<mode>2): Consolidate as...
(<frint_pattern><mode>2): ...this.
(lceil<su_optab><mode><mode>2, lfloor<su_optab><mode><mode>2)
(lround<su_optab><mode><mode>2)
(lrint<su_optab><mode><mode>2): Consolidate as...
(l<fcvt_pattern><su_optab><GPF:mode><GPI:mode>2): ... this.
* config/aarch64/iterators.md (fcvt_target): New.
(FCVT_TARGET): Likewise.
(FRINT): Likewise.
(FCVT): Likewise.
(frint_pattern): Likewise.
(frint_suffix): Likewise.
(fcvt_pattern): Likewise.

gcc/testsuite/

* gcc.dg/vect/vect-rounding-btrunc.c: New test.
* gcc.dg/vect/vect-rounding-btruncf.c: Likewise.
* gcc.dg/vect/vect-rounding-ceil.c: Likewise.
* gcc.dg/vect/vect-rounding-ceilf.c: Likewise.
* gcc.dg/vect/vect-rounding-floor.c: Likewise.
* gcc.dg/vect/vect-rounding-floorf.c: Likewise.
* gcc.dg/vect/vect-rounding-lceil.c: Likewise.
* gcc.dg/vect/vect-rounding-lfloor.c: Likewise.
* gcc.dg/vect/vect-rounding-nearbyint.c: Likewise.
* gcc.dg/vect/vect-rounding-nearbyintf.c: Likewise.
* gcc.dg/vect/vect-rounding-round.c: Likewise.
* gcc.dg/vect/vect-rounding-roundf.c: Likewise.
* target-supports.exp
(check_effective_target_vect_call_btrunc): New.
(check_effective_target_vect_call_btruncf): Likewise.
(check_effective_target_vect_call_ceil): Likewise.
(check_effective_target_vect_call_ceilf): Likewise.
(check_effective_target_vect_call_floor): Likewise.
(check_effective_target_vect_call_floorf): Likewise.
(check_effective_target_vect_call_lceil): Likewise.
(check_effective_target_vect_call_lfloor): Likewise.
(check_effective_target_vect_call_nearbyint): Likewise.
(check_effective_target_vect_call_nearbyintf): Likewise.
(check_effective_target_vect_call_round): Likewise.
(check_effective_target_vect_call_roundf): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194197 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* s-rident.ads, restrict.ads: Remove discrepancies between the
documentation on implementation-defined restrictions, and
the internal data structure used for warnings and errors on
implementation-defined restriction violations.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Chain_PPC): Pre- and postcondition aspects
are legal on a subprogram body that acts as a spec.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Find_Selected_Component): If the selector name is
an overloadable entity but the name is not overloaded, generate
reference to it rather than delaying this until resolution.

2012-12-05  Robert Dewar  <dewar@adacore.com>

* checks.ads, checks.adb (Activate_Overflow_Check): No effect for
MOD/REM/unary +
* exp_ch4.adb (Expand_N_Op_Mod): Remove call to set Do_Overflow_Check.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Find_Non_Universal_Interpretation): Use the
types of the right operand if the left operand is null.

2012-12-05  Sergey Rybin  <rybin@adacore.com frybin>

* gnat_ugn.texi, vms_data.ads: document gnatpp -nn option.

2012-12-05  Jose Ruiz  <ruiz@adacore.com>

* init.c (__gnat_install_handler): For the LEON VxWorks kernel
run-time library we need to install a trap handler directly in the
trap table (no support by the OS) for the software trap 0.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194196 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Eric Botcazou  <ebotcazou@adacore.com>

* gnat_rm.texi (Interfacing to C++): Document new restrictions.

2012-12-05  Ben Brosgol  <brosgol@adacore.com>

* gnat_ugn.texi: Fix typo.

2012-12-05  Robert Dewar  <dewar@adacore.com>

* gnatbind.adb: Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194195 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Arnaud Charlet  <charlet@adacore.com>

* gnat_ugn.texi: Fix typo.

2012-12-05  Tristan Gingold  <gingold@adacore.com>

* gnatbind.adb: Minor comment update.

2012-12-05  Yannick Moy  <moy@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Set flags to indicate that
CodePeer backend deals with divide and overflow checks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194194 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Update overflow description. Pragma Overflow_Checks
changed to Overflow_Mode.

2012-12-05  Robert Dewar  <dewar@adacore.com>

* checks.ads, exp_ch4.adb, gnat1drv.adb, par-prag.adb, sem_prag.adb,
snames.ads-tmpl, switch-c.adb, types.ads, checks.adb: Change pragma
Overflow_Checks to Overflow_Mode.
Separate overflow checking from overflow mode.
Several name changes to reflect this separation.
CHECKED mode is renamed STRICT mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194193 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/51238
* gcc.dg/torture/pr51238.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194192 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Yannick Moy  <moy@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Move setting of flags for
Alfa mode before general treatment of flags, so that overflow checks
settings are set appropriately in Alfa mode. Also set the mode to
STRICT in Alfa mode if not already set by the user.

2012-12-05  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb: Minor reformatting.

2012-12-05  Steve Baird  <baird@adacore.com>

* sinfo.ads: Improve comments about SCIL-related node kinds and selector
functions.

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Build_Limited_Views): Even though the unit is
not analyzed, place its entity on the name in the with clause,
so that warnings on unused with-clause are properly supported
for limited withs.

2012-12-05  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Update overflow description. Pragma
Overflow_Checks changed to Overflow_Mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194191 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Build_Derived_Private_Type): Handle properly a
completion in a grand-child unit when the parent type is itself
a private type in a child unit whose full view is itself a
derivation from a private type.

2012-12-05  Gary Dismukes  <dismukes@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference, case
Attribute_Valid): Remove code for issuing warning on Valid within
a predicate. Moved to Sem_Attr.  Remove with and use of Errout.
* sem_attr.adb (Analyze_Attribute, case Attribute_Valid):
Test for prefix's subtype having a predicate and issue warning
about infinite recursion if Valid occurs within the subtype's
predicate. Warning moved here from Exp_Attr.

2012-12-05  Yannick Moy  <moy@adacore.com>

* debug.adb: Minor comment addition.

2012-12-05  Yannick Moy  <moy@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): In CodePeer mode, check
overflows by default, even when the user suppresses overflow checks.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194190 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Thomas Quinot  <quinot@adacore.com>

* err_vars.ads: Fix minor typo in comment.

2012-12-05  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_attr.adb (Analyze_Attribute): Do not analyze the attribute
arguments when processing Loop_Entry. Rewrite the analysis of
attribute Loop_Entry to handle an optional loop name.
(Convert_To_Indexed_Component): New routine.
(Eval_Attribute): Remove ??? comment and explain
why Loop_Entry does not need to be evaluated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194189 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/50222
* gcc.dg/torture/pr50222.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194188 138bc75d-0d04-0410-961f-82ee72b054a4

* passes.c (pass_init_dump_file): Only open a clean graph dump file if
the dump was not already initialized.

Revert:
2012-12-03  Steven Bosscher  <steven@gcc.gnu.org>
* passes.c (finish_optimization_passes): Don't finish graph dumps here.
(pass_fini_dump_file): Wrap in TV_DUMP.  Finish graph dumps.
(execute_one_pass): Don't set up graph dumps here.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194186 138bc75d-0d04-0410-961f-82ee72b054a4

syscall: Fix splice syscall.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194185 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-05  Richard Biener  <rguenther@suse.de>

PR lto/55525
* gimple-streamer-in.c (input_gimple_stmt): Fixup ARRAY_REFs as well.

* gcc.dg/lto/pr55525_0.c: New testcase.
* gcc.dg/lto/pr55525_1.c: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194183 138bc75d-0d04-0410-961f-82ee72b054a4

validate_failures.py: also ignore .git

2012-12-01  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>

* testsuite-management/validate_failures.py
(IsInterestingResult): Only strip line a second time if we did split.
Rephrase return statement while at it.
(CollectSumFiles): Also ignore .git directory.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194182 138bc75d-0d04-0410-961f-82ee72b054a4

* godump.c (find_dummy_types): Output a dummy type if we couldn't
output the real type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194181 138bc75d-0d04-0410-961f-82ee72b054a4

compiler: Accept trailing comma after expression in type conversion.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194176 138bc75d-0d04-0410-961f-82ee72b054a4

compiler: Make sure we produce an error for a call to a non-function.

Fixes issue 19.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194174 138bc75d-0d04-0410-961f-82ee72b054a4

compiler: Check for negative or inverted arguments to make.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194173 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194172 138bc75d-0d04-0410-961f-82ee72b054a4

* include/Makefile.am (${host_builddir}/c++config.h): Replace
[<space><tab>] by [<tab><space>].
* include/Makefile.in: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194169 138bc75d-0d04-0410-961f-82ee72b054a4

PR bootstrap/55571

        * Makefile.in (libgcc_s.so): Depend on and link with libgcc.a.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194159 138bc75d-0d04-0410-961f-82ee72b054a4

* rtl.h (print_insn_with_notes): Remove prototype.
(rtl_dump_bb_for_graph): New prototype.
* sched-vis.c (print_insn_with_notes): Make static again.  Fix
printing of notes.
(rtl_dump_bb_for_graph): New function.
* cfghooks.h (struct cfg_hooks) <dump_bb_for_graph>: New hook.
(dump_bb_for_graph): New prototype.
* cfghooks.c (dump_bb_for_graph): New function.
* tree-cfg.c (gimple_cfg_hooks): Register gimple_dump_bb_for_graph
as dump_bb_for_graph hook implementation for GIMPLE.
* cfgrtl.c (rtl_cfg_hooks): Likewise for rtl_dump_bb_for_graph.
(cfg_layout_rtl_cfg_hooks): Likewise.
* graph.c (draw_cfg_node): Don't include sbitmap.h, rtl.h, tree.h,
gimple.h, and gimple-pretty-print.h.
(draw_cfg_node, draw_cfg_node_succ_edges): Use the uniqe function
definition number instead of the function declaration UID.
(print_graph_cfg): Take a struct function instead of a tree.
Use the dump_bb_for_graph hook to dump the basic block content.
* graph.h (print_graph_cfg): Update prototype.
* passes.c (execute_function_dump): Update print_graph_cfg call.
* Makefile.in (graph.o): Fixup dependencies.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194157 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-04  Tobias Burnus  <burnus@net-b.de>

        * gfortran.dg/quad_3.f90: Really fix an if condition.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194156 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-04  Tobias Burnus  <burnus@net-b.de>

        * gfortran.dg/quad_3.f90: Fix a condition,
        which wrongly required ordered/lazy evaluation.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194155 138bc75d-0d04-0410-961f-82ee72b054a4

* include/Makefile.am: Fix regexp broken by previous commit.
* include/Makefile.in: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194152 138bc75d-0d04-0410-961f-82ee72b054a4

AArch64: Define FP_TRAPPING_EXCEPTIONS.

2012-12-04  Marcus Shawcroft <marcus.shawcroft@arm.com>

        * config/aarch64/sfp-machine.h (FP_EX_ALL): Define.
(FP_EX_SHIFT): Define.
(FP_TRAPPING_EXCEPTIONS): Define.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194151 138bc75d-0d04-0410-961f-82ee72b054a4

libatomic: Detect and build for ARM architecture armv8-a.

2012-12-04  Marcus Shawcroft  <marcus.shawcroft@arm.com>

* config/arm/arm-config.h (__ARM_ARCH_8A__): New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194150 138bc75d-0d04-0410-961f-82ee72b054a4

AArch64: Fix ICE due to missing TYPE_STUB_DECL on builtin va_list.

2012-12-04  Marcus Shawcroft  <marcus.shawcroft@arm.com>

* config/aarch64/aarch64.c (aarch64_build_builtin_va_list): Set
TYPE_STUB_DECL.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194147 138bc75d-0d04-0410-961f-82ee72b054a4

aarch64: Refactor aarch64 sfp-machine.h

2012-12-04  Marcus Shawcroft <marcus.shawcroft@arm.com>

* config/aarch64/sfp-machine.h (FP_RND_MASK): Define.
(FP_ROUNDMODE): Use FP_RND_MASK.
* config/aarch64/sfp-exceptions.c: New.
* config/aarch64/sfp-machine.h (FP_HANDLE_EXCEPTIONS):
Use __sfp_handle_exceptions.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194142 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-04  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* config/s390/s390.c (s390_select_ccmode): Enable using CC of
          x + imm for higher immediates on z9-109 upwards.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194141 138bc75d-0d04-0410-961f-82ee72b054a4

* config.host: (arm*-*-freebsd*): Remove.
(arm*-*-linux*, arm*-*-uclinux*): Simplify logic.
(arm*-*-elf*): Remove.
(arm*-*-wince-pe*): Remove.
* arm/unwind-arm.c (struct fpa_reg): Delete.
(struct fpa_regs): Delete.
(phase1_vrs): Remove fpa element.
(_Unwind_VRS_Get): Remove _UVRSC_FPA.
(_Unwind_VRS_Set, _Unwind_VRS_Pop): Likewise.
* arm/pr-support.c (__gnu_unwind_execute): Remove FPA support.
* ieee754-sf.S (floatundisf): Remove FPA support.
(floatdisf): Likewise.
* ieee75f-df.S (floatundidf): Likewise.
(floatdidf): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194138 138bc75d-0d04-0410-961f-82ee72b054a4

* arm.opt (cirrus-fix-invalid-insns): Delete option.
* invoke.texi (cirrus-fix-invalid-insns): Remove documentation.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194137 138bc75d-0d04-0410-961f-82ee72b054a4

* tsan.c (instrument_expr): If expr_ptr isn't a gimple val, first
store it into a SSA_NAME.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194135 138bc75d-0d04-0410-961f-82ee72b054a4

PR testsuite/55587
* lib/asan-dg.exp (asan_init): Return 1 if libasan has been found,
0 if not.
* g++.dg/asan/asan.exp: Don't run gcc-dg-runtest if [asan_init]
returned 0.
* gcc.dg/asan/asan.exp: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194134 138bc75d-0d04-0410-961f-82ee72b054a4

PR sanitizer/55439
* Makefile.in (tsan.o): Depend on tree-ssa-propagate.h.
* sanitizer.def: Add __tsan_atomic* builtins.
* asan.c (initialize_sanitizer_builtins): Adjust to also
initialize __tsan_atomic* builtins.
* tsan.c: Include tree-ssa-propagate.h.
(enum tsan_atomic_action): New enum.
(tsan_atomic_table): New table.
(instrument_builtin_call): New function.
(instrument_gimple): Take pointer to gimple_stmt_iterator
instead of gimple_stmt_iterator.  Call instrument_builtin_call
on builtin call stmts.
(instrument_memory_accesses): Adjust instrument_gimple caller.
* builtin-types.def (BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
BT_FN_BOOL_VPTR_PTR_I2_INT_INT, BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
BT_FN_BOOL_VPTR_PTR_I8_INT_INT, BT_FN_BOOL_VPTR_PTR_I16_INT_INT): New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194133 138bc75d-0d04-0410-961f-82ee72b054a4

Fix up two ChangeLog entries.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194132 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-04  Tejas Belagod  <tejas.belagod@arm.com>

        * config/aarch64/aarch64.c (aarch64_simd_vector_alignment,
        aarch64_simd_vector_alignment_reachable): New.
        (TARGET_VECTOR_ALIGNMENT, TARGET_VECTORIZE_VECTOR_ALIGNMENT_REACHABLE):
        Define.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194126 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-04  Richard Biener  <rguenther@suse.de>

PR tree-optimization/55124
* tree-ssa-pre.c (find_or_generate_expression): Instead of
ICEing when we are not able to generate an expression defer it
by signalling failure.  Fix possible wrong-code issue by
not picking random REFERENCE expressions as fallback.
(create_component_ref_by_pieces_1): Adjust.  Add failure paths.
(create_expression_by_pieces): Likewise.
(insert_into_preds_of_block): When expression generation failed
for one edge make sure to not insert a PHI node.

* gcc.dg/torture/pr55124.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194125 138bc75d-0d04-0410-961f-82ee72b054a4

compiler: Give error for constant inverted slice range.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194124 138bc75d-0d04-0410-961f-82ee72b054a4

* config/ia64/ia64.c (ia64_compute_frame_size): Allocate the scratch
area if the function allocates dynamic stack space.
(ia64_initial_elimination_offset): Adjust offsets to above change.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194121 138bc75d-0d04-0410-961f-82ee72b054a4

[libsanitizer] Fix PR55521 by switching libsanitizer from mach_override to mac interpose functions on darwin

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194120 138bc75d-0d04-0410-961f-82ee72b054a4

compiler: Reject invalid nil == nil comparisons.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194119 138bc75d-0d04-0410-961f-82ee72b054a4

mksysinfo: Fix TIOCNOTTY and TIOCSCTTY for ARM.

From Matthias Klose.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194118 138bc75d-0d04-0410-961f-82ee72b054a4

runtime: Fix build failures with -D_FORTIFY_SOURCE=2.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194116 138bc75d-0d04-0410-961f-82ee72b054a4

compiler: Fix crash in go/defer of some builtin functions.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194114 138bc75d-0d04-0410-961f-82ee72b054a4

compiler: Don't permit go/defer argument to be parenthesized.

Fixes Go repository issue 4468.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194112 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194111 138bc75d-0d04-0410-961f-82ee72b054a4

* gcse.c (struct reg_use): Remove unused struct.
(gcse_emit_move_after): Do not create REG_EQUAL notes that reference
the SET_DEST of the instruction the note would be attached to.
* cse.c (cse_main): Add the DF_NOTE problem.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194108 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-03  Benjamin Kosnik  <bkoz@redhat.com>

* include/ext/pb_ds/detail/cc_hash_table_map_/standard_policies.hpp:
Remove.
* include/ext/pb_ds/detail/gp_hash_table_map_/standard_policies.hpp:
Remove.
  * include/Makefile.am (pb_headers): Remove include files.
* include/Makefile.in: Regenerated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194107 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-03  Janus Weil  <janus@gcc.gnu.org>

PR fortran/55548
* intrinsics/system_clock.c (gf_gettime_mono): Add argument 'tck',
which returns the clock resolution.
(system_clock_4): Get resolution from gf_gettime_mono, but limit to
1000/s.
(system_clock_8): Get resolution from gf_gettime_mono.

2012-12-03  Janus Weil  <janus@gcc.gnu.org>

PR fortran/55548
* intrinsic.texi (SYSTEM_CLOCK): Update documentation of SYSTEM_CLOCK.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194105 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-03  Tobias Burnus  <burnus@net-b.de>
            Janus Weil  <janus@gcc.gnu.org>

        PR fortran/37336
        * class.c (gfc_is_finalizable): New function.
        * gfortran.h (gfc_is_finalizable): Its prototype.
        * module.c (mio_component): Read initializer for vtype's _final.
        * resolve.c (resolve_fl_derived0): Call gfc_is_finalizable.
        * trans-expr.c (gfc_vtable_final_get): New function.
        (conv_parent_component_references): Fix comment.
        (gfc_conv_variable): Fix for scalar coarray components.
        * trans-intrinsic.c (conv_intrinsic_move_alloc): For BT_CLASS,
        pass the BT_CLASS type and not the declared type to
        gfc_deallocate_scalar_with_status.
        * trans.h (gfc_vtable_final_get): New prototype.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194104 138bc75d-0d04-0410-961f-82ee72b054a4

* sanitizer.def: Add Address Sanitizer builtins.
Rename BUILT_IN_TSAN_READ_* to BUILT_IN_TSAN_READ* and
BUILT_IN_TSAN_WRITE_* to BUILT_IN_TSAN_WRITE*.
* Makefile.in (asan.o): Depend on langhooks.h.
(tsan.o): Depend on asan.h.
* asan.h (initialize_sanitizer_builtins): New prototype.
* asan.c: Include langhooks.h.
(report_error_func): Use builtin_decl_implicit of corresponding
BUILT_IN_ASAN_REPORT_{LOAD,STORE}*.
(asan_init_func): Removed.
(initialize_sanitizer_builtins): New function.
(asan_finish_file): Call it.  Use builtin_decl_implicit
on BUILT_IN_ASAN_{INIT,{,UN}REGISTER_GLOBALS}.
(asan_instrument): Call initialize_sanitizer_builtins.
* builtins.def (DEF_SANITIZER_BUILTIN): Change condition to
(flag_asan || flag_tsan).
* tsan.c: Include asan.h and tsan.h.
(get_memory_access_decl): Rename BUILT_IN_TSAN_{READ,WRITE}_*
to BUILT_IN_TSAN_{READ,WRITE}*.
(tsan_pass): Call initialize_sanitizer_builtins.
(tsan_gate, tsan_gate_O0): Don't check if
builtin_decl_implicit_p (BUILT_IN_TSAN_INIT) is true.
(tsan_finish_file): Call initialize_sanitizer_builtins.
* builtin-types.def (BT_FN_VOID_PTR_PTRMODE): New fn type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194103 138bc75d-0d04-0410-961f-82ee72b054a4

PR bootstrap/55380
PR other/54691
* files.c (read_file_guts): Allocate extra 16 bytes instead of
1 byte at the end of buf.  Pass size + 16 instead of size
to _cpp_convert_input.
* charset.c (_cpp_convert_input): Reallocate if there aren't
at least 16 bytes beyond to.len in the buffer.  Clear 16 bytes
at to.text + to.len.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194102 138bc75d-0d04-0410-961f-82ee72b054a4

2012-12-03  Tobias Burnus  <burnus@net-b.de>

        * strtod/strtod_l.c (___STRTOF_INTERNAL): Fix exponent
        reading.

2012-12-03  Tobias Burnus  <burnus@net-b.de>

        * gfortran.dg/quad_3.f90: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194100 138bc75d-0d04-0410-961f-82ee72b054a4

PR middle-end/55401
* trans-mem.c (get_tm_region_blocks): Exclude uninstrumented
blocks from vector if requested.
(collect_bb2reg): Pass new argument to
get_tm_region_blocks.
(get_bb_regions_instrumented): Add INCLUDE_UNINSTRUMENTED_P
argument, and pass it to expand_regions.
(execute_tm_mark): Pass new argument to
get_bb_regions_instrumented.
(execute_tm_edges): Same.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194099 138bc75d-0d04-0410-961f-82ee72b054a4

/cp
2012-12-03  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/54170
* cvt.c (cp_convert_to_pointer): Don't discard side-effects from
expressions of nullptr_t.
* typeck.c (build_ptrmemfunc): Likewise.

/testsuite
2012-12-03  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/54170
* g++.dg/cpp0x/lambda/lambda-nullptr.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194098 138bc75d-0d04-0410-961f-82ee72b054a4

PR testsuite/55452
* gfortran.dg/reassoc_4.f: Use --param max-completely-peeled-insns=400
on all targets, not just s390*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194095 138bc75d-0d04-0410-961f-82ee72b054a4

* asan.c (instrument_mem_region_access): Don't instrument
if base doesn't have pointer type or len integral type.
Add cast if len doesn't have size_t compatible type.
(instrument_builtin_call): Don't instrument BUILT_IN_ATOMIC_LOAD,
BUILT_IN_ATOMIC_TEST_AND_SET, BUILT_IN_ATOMIC_CLEAR,
BUILT_IN_ATOMIC_EXCHANGE, BUILT_IN_ATOMIC_COMPARE_EXCHANGE
and BUILT_IN_ATOMIC_STORE.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194094 138bc75d-0d04-0410-961f-82ee72b054a4

Fix stale use of old 'options' argument.

An earlier patch had made the command line options a global variable
_OPTIONS, but it had not renamed all the uses of the old options argument.

* testsuite-management/validate_failures.py: Fix stale
use of 'options'.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194092 138bc75d-0d04-0410-961f-82ee72b054a4

Adding missed in r194086 file.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194088 138bc75d-0d04-0410-961f-82ee72b054a4

* asan.c (instrument_assignment): Instrument lhs only
for gimple_store_p and rhs1 only for gimple_assign_load_p.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194087 138bc75d-0d04-0410-961f-82ee72b054a4