aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2013-01-29[multiple changes]Arnaud Charlet3-8/+221
2013-01-29 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document all Ada 2005 and Ada 2012 pragmas as being available as implementation-defined pragmas in earlier versions of Ada. 2013-01-29 Vincent Celier <celier@adacore.com> * clean.adb (Delete): On VMS, delete all versions of the file. From-SVN: r195537
2013-01-29[multiple changes]Arnaud Charlet30-112/+389
2013-01-29 Robert Dewar <dewar@adacore.com> * par-ch6.adb (No_Constraint_Maybe_Expr_Func): New procedure. * par-util.adb (No_Constraint): Undo special handling, moved to par-ch6.adb. 2013-01-29 Robert Dewar <dewar@adacore.com> * aspects.ads: Aspect Warnings is implementation defined Add some other missing entries to impl-defined list Mark Warnings as GNAT pragma in main list. * sem_ch8.adb: Process aspects for all cases of renaming declarations. 2013-01-29 Robert Dewar <dewar@adacore.com> * sem_ch6.adb (Analyze_Function_Call): Set In_Assertion flag. * sem_elab.adb (Check_Internal_Call_Continue): Do not issue warnings about possible elaboration error if call is within an assertion. * sinfo.ads, sinfo.adb (In_Assertion): New flag in N_Function_Call node. 2013-01-29 Robert Dewar <dewar@adacore.com> * a-calend-vms.adb, g-eacodu-vms.adb, g-trasym-vms-alpha.adb, * s-auxdec-vms-ia64.adb, s-mastop-vms.adb, s-osprim-vms.adb, s-tasdeb-vms.adb: Replace pragma Interface by pragma Import. 2013-01-29 Robert Dewar <dewar@adacore.com> * opt.ads (Ignore_Style_Checks_Pragmas): New flag. * par-prag.adb (Par, case Style_Checks): Recognize Ignore_Style_Checks_Pragmas. * sem_prag.adb (Analyze_Pragma, case Style_Checks): Recognize Ignore_Style_Checks_Pragmas. * switch-c.adb: Recognize -gnateY switch. * usage.adb: Add documentation for "-gnateY". * vms_data.ads: Add IGNORE_STYLE_CHECKS_PRAGMAS (-gnateY). 2013-01-29 Vincent Celier <celier@adacore.com> * clean.adb (Clean_Executables): Add Sid component when calling Queue.Insert. * make.adb: When inserting in the Queue, add the Source_Id (Sid) when it is known (Start_Compile_If_Possible): When the Source_Id is known (Sid), get the path name of the ALI file (Full_Lib_File) from it, to avoid finding old ALI files in other object directories. * makeutl.ads (Source_Info): New Source_Id component Sid in Format_Gnatmake variant. 2013-01-29 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Document -gnateY. 2013-01-29 Doug Rupp <rupp@adacore.com> * s-osinte-vms.ads, s-taprop-vms.adb, system-vms_64.ads, system-vms-ia64.ads: Replace pragma Interface by pragma Import. From-SVN: r195536
2013-01-29[multiple changes]Arnaud Charlet13-43/+249
2013-01-29 Robert Dewar <dewar@adacore.com> * atree.ads, atree.adb (Node30): New function. (Set_Node30): New procedure. (Num_Extension_Nodes): Change to 5 (activate new fields/flags). * atree.h: Add macros for Field30 and Node30. * einfo.ads, einfo.adb: Move some fields to avoid duplexing. * treepr.adb (Print_Entity_Information): Print fields 30-35. 2013-01-29 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case Interface): Consider to be a violation of No_Obsolescent_Features even in Ada 95. Also generates a warning in -gnatwj mode. (Analyze_Pragma, case Interface_Name): Generates a warning in -gnatwj mode. * gnat_ugn.texi: Additional documentation on -gnatwj and pragma Interface[_Name]. 2013-01-29 Vincent Celier <celier@adacore.com> * snames.ads-tmpl: Add new standard name Trailing_Switches. 2013-01-29 Ed Schonberg <schonberg@adacore.com> * sem_disp.adb (Check_Controlling_Type): If a designated type T of an anonymous access type is a limited view of a tagged type, it can be a controlling type only if the subprogram is in the same scope as T. 2013-01-29 Vincent Celier <celier@adacore.com> * gnatcmd.adb: Use the project where the config pragmas file is declared to get its path. 2013-01-29 Vincent Celier <celier@adacore.com> * prj-attr.adb: New attribute Linker'Trailing_Switches. From-SVN: r195535
2013-01-29runtime: SPARCv9 fixes for lfstack.Ian Lance Taylor1-1/+4
From Rainer Orth. From-SVN: r195534
2013-01-29re PR rtl-optimization/55270 (ICE in get_loop_body, at cfgloop.c:823)Richard Biener4-1/+39
2013-01-29 Richard Biener <rguenther@suse.de> PR tree-optimization/55270 * tree-ssa-dom.c (eliminate_degenerate_phis): If we changed the CFG, schedule loops for fixup. * gcc.dg/torture/pr55270.c: New testcase. From-SVN: r195533
2013-01-29re PR target/54222 ([avr] Implement fixed-point support)Georg-Johann Lay2-0/+23
PR target/54222 * config/avr/t-avr (LIB2FUNCS_EXCLUDE): Add: _mulQQ, _mulHQ, _mulHA, _mulSA, _mulUQQ, _mulUHQ, _mulUHA, _mulUSA, _divQQ, _divHQ, _divHA, _divSA, _divUQQ, _divUHQ, _divUHA, _divUSA. From-SVN: r195532
2013-01-29rl78.c (rl78_regno_mode_code_ok_for_base_p): Allow SP_REG.Nick Clifton2-1/+6
* config/rl78/rl78.c (rl78_regno_mode_code_ok_for_base_p): Allow SP_REG. From-SVN: r195530
2013-01-29compiler: Correct initialization order determination.Ian Lance Taylor3-30/+53
From-SVN: r195526
2013-01-29Daily bump.GCC Administrator1-1/+1
From-SVN: r195525
2013-01-28re PR libstdc++/56112 (cannot create unordered_map from range of types ↵Jonathan Wakely3-1/+57
convertible to value_type) PR libstdc++/56112 * include/bits/hashtable_policy.h (insert(_Pair&&)): Use _M_emplace to construct value_type explicitly before trying to extract the key. * testsuite/23_containers/unordered_map/cons/56112.cc: New. From-SVN: r195520
2013-01-28hashtable_policy.h (_Local_iterator_base): Use _Hashtable_ebo_helper to ↵François Dumont10-262/+444
embed functors into the local_iterator when necessary. 2013-01-28 François Dumont <fdumont@gcc.gnu.org> * include/bits/hashtable_policy.h (_Local_iterator_base): Use _Hashtable_ebo_helper to embed functors into the local_iterator when necessary. Pass information about functors involved in hash code by copy. * include/bits/hashtable.h (__cache_default): Do not cache for builtin integral types unless the hash functor is not noexcept qualified or is not default constructible. Adapt static assertions and local iterator instantiations. * include/debug/unordered_set (std::__debug::unordered_set<>::erase): Detect local iterators to invalidate using contained node rather than generating a dummy local_iterator instance. (std::__debug::unordered_multiset<>::erase): Likewise. * include/debug/unordered_map (std::__debug::unordered_map<>::erase): Likewise. (std::__debug::unordered_multimap<>::erase): Likewise. * testsuite/performance/23_containers/insert_erase/41975.cc: Test std::tr1 and std versions of unordered_set regardless of any macro. Add test on default cache behavior. * testsuite/performance/23_containers/insert/54075.cc: Likewise. * testsuite/23_containers/unordered_set/instantiation_neg.cc: Adapt line number. * testsuite/23_containers/unordered_set/ not_default_constructible_hash_neg.cc: New. * testsuite/23_containers/unordered_set/buckets/swap.cc: New. From-SVN: r195517
2013-01-28config.gcc (i[34567]86-*-rdos*, [...]): New targets.Leif Ekblad8-2/+93
* config.gcc (i[34567]86-*-rdos*, x86_64-*-rdos*): New targets. * config/i386/i386.h (TARGET_RDOS): New macro. (DEFAULT_LARGE_SECTION_THRESHOLD): New macro. * config/i386/i386.c (ix86_option_override_internal): For 64bit TARGET_RDOS, set ix86_cmodel to CM_MEDIUM_PIC and flag_pic to 1. * config/i386/i386.opt (mlarge-data-threshold): Initialize to DEFAULT_LARGE_SECTION_THRESHOLD. * config/i386/i386.md (R14_REG, R15_REG): New constants. * config/i386/rdos.h: New file. * config/i386/rdos64.h: New file. From-SVN: r195516
2013-01-28re PR other/54814 (ICE: unable to find a register to spill in class 'R0_REG')Bernd Schmidt2-5/+13
PR other/54814 * reload.c (find_valid_class_1): Use in_hard_reg_set_p instead of TEST_HARD_REG_BIT. From-SVN: r195515
2013-01-28re PR rtl-optimization/56117 (ICE: in cselib_subst_to_values, at ↵Jakub Jelinek4-2/+27
cselib.c:1853 with -O2 -fsched2-use-superblocks and __builtin_prefetch()) PR rtl-optimization/56117 * sched-deps.c (sched_analyze_2) <case PREFETCH>: For use_cselib call cselib_lookup_from_insn on the MEM before calling add_insn_mem_dependence. * gcc.dg/pr56117.c: New test. From-SVN: r195513
2013-01-28tree-inline.c (remap_gimple_stmt): Do not assing a BLOCK to a stmt that ↵Richard Biener2-17/+14
didn't have one. 2013-01-28 Richard Biener <rguenther@suse.de> * tree-inline.c (remap_gimple_stmt): Do not assing a BLOCK to a stmt that didn't have one. (copy_phis_for_bb): Likewise for PHI arguments. (copy_debug_stmt): Likewise for debug stmts. From-SVN: r195509
2013-01-28re PR tree-optimization/56034 (ICE: verify_gimple failed (invalid PHI ↵Richard Biener4-17/+95
argument) with -ftree-loop-distribution) 2013-01-28 Richard Biener <rguenther@suse.de> PR tree-optimization/56034 * tree-loop-distribution.c (enum partition_kind): Add PKIND_REDUCTION. (partition_builtin_p): Adjust. (generate_code_for_partition): Handle PKIND_REDUCTION. Assert it is the last partition. (rdg_flag_uses): Check SSA_NAME_IS_DEFAULT_DEF before looking up the vertex for the definition. (classify_partition): Classify whether a partition is a PKIND_REDUCTION, thus has uses outside of the loop. (ldist_gen): Inherit PKIND_REDUCTION when merging partitions. Merge all PKIND_REDUCTION partitions into the last partition. (tree_loop_distribution): Seed partitions from reductions as well. * gcc.dg/torture/pr56034.c: New testcase. From-SVN: r195508
2013-01-28re PR tree-optimization/56125 (-O2 -ffast-math generates bad code when ↵Jakub Jelinek4-15/+55
dividing a double by the square of another double.) PR tree-optimization/56125 * tree-ssa-math-opts.c (gimple_expand_builtin_pow): Don't optimize pow(x,c) into sqrt(x) * powi(x, n/2) or 1.0 / (sqrt(x) * powi(x, abs(n/2))) if c is an integer or when optimizing for size. Don't optimize pow(x,c) into powi(x, n/3) * powi(cbrt(x), n%3) or 1.0 / (powi(x, abs(n)/3) * powi(cbrt(x), abs(n)%3)) if 2c is an integer. * gcc.dg/pr56125.c: New test. From-SVN: r195507
2013-01-28re PR fortran/53537 (Explicit IMPORT of renamed USE-associated symbol fails)Tobias Burnus9-44/+95
2013-01-28 Tobias Burnus <burnus@net-b.de> Mikael Morin <mikael@gcc.gnu.org> PR fortran/53537 * symbol.c (gfc_find_sym_tree): Don't look for the symbol outside an interface block. (gfc_get_ha_symtree): Let gfc_find_sym_tree lookup the parent namespace. * decl.c (gfc_match_data_decl): Ditto. (variable_decl): Remove undeclared type error. (gfc_match_import): Use renamed instead of original name. 2013-01-28 Tobias Burnus <burnus@net-b.de> Mikael Morin <mikael@gcc.gnu.org> PR fortran/53537 * gfortran.dg/import2.f90: Adjust undeclared type error messages. * gfortran.dg/import8.f90: Likewise. * gfortran.dg/interface_derived_type_1.f90: Likewise. * gfortran.dg/import10.f90: New test. * gfortran.dg/import11.f90: Likewise Co-Authored-By: Mikael Morin <mikael@gcc.gnu.org> From-SVN: r195506
2013-01-28re PR testsuite/56053 (FAIL: c-c++-common/asan/(global|stack)-overflow-1.c)Jakub Jelinek4-9/+36
PR testsuite/56053 * c-c++-common/asan/heap-overflow-1.c: Don't include stdlib.h and string.h. Provide memset, malloc and free prototypes, adjust line numbers in dg-output. * c-c++-common/asan/stack-overflow-1.c: Don't include string.h. Provide memset prototype and adjust line numbers in dg-output. * c-c++-common/asan/global-overflow-1.c: Likewise. From-SVN: r195505
2013-01-28re PR tree-optimization/56094 (Invalid line number info generated with ↵Jakub Jelinek4-0/+96
tree-level ivopts) PR tree-optimization/56094 * gimplify.c (force_gimple_operand_1): Temporarily set input_location to UNKNOWN_LOCATION while gimplifying expr. * gcc.dg/pr56094.c: New test. From-SVN: r195504
2013-01-28For Amol Pise.Amol Pise3-0/+29
2013-01-27 Amol Pise <amolpise15@gmail.com> * gcc.target/arm/neon-vfnms-1.c: New test. * gcc.target/arm/neon-vfnma-1.c: New test. From-SVN: r195503
2013-01-28aarch64.c (TARGET_FIXED_CONDITION_CODE_REGS): Undef to avoid warning.Naveen H.S2-0/+7
2013-01-25 Naveen H.S <Naveen.Hurugalawadi@caviumnetworks.com> * config/aarch64/aarch64.c (TARGET_FIXED_CONDITION_CODE_REGS): Undef to avoid warning. From-SVN: r195502
2013-01-28Daily bump.GCC Administrator1-1/+1
From-SVN: r195500
2013-01-27re PR target/56114 (x86_64-linux-gnu-gcc generate wrong asm instruction ↵Uros Bizjak4-21/+36
MOVABS for intel syntax) PR target/56114 * config/i386/i386.md (*movabs<mode>_1): Add square brackets around operand 0 in movabs insn template for -masm=intel asm alternative. (*movabs<mode>_2): Ditto for operand 1. testsuite/ChangeLog: PR target/56114 * gcc.target/i386/pr56114.c: New test. From-SVN: r195494
2013-01-27re PR fortran/55984 ([OOP] ICE: gfc_trans_code(): Bad statement code)Paul Thomas2-2/+2
2013-01-27 Paul Thomas <pault@gcc.gnu.org> PR fortran/55984 * ChangeLog : Correct wrong PR number. From-SVN: r195493
2013-01-27[multiple changes]Paul Thomas8-4/+110
2013-01-27 Paul Thomas <pault@gcc.gnu.org> PR fortran/55789 PR fortran/56047 * gfortran.h : Add associate_var to symbol_attr. * resolve.c (resolve_assoc_var): Set associate_var attribute. If the target class_ok is set, set it for the associate variable. * check.c (allocatable_check): Associate variables should not have the allocatable attribute even if their symbols do. * class.c (gfc_build_class_symbol): Symbols with associate_var set will always have a good class container. 2013-01-27 Paul Thomas <pault@gcc.gnu.org> PR fortran/55789 * gfortran.dg/associate_14.f90: New test. PR fortran/56047 * gfortran.dg/associate_13.f90: New test. From-SVN: r195492
2013-01-27Daily bump.GCC Administrator1-1/+1
From-SVN: r195491
2013-01-26gcc: PR target/54663David Holsgrove5-1/+19
gcc: PR target/54663 * config.gcc (microblaze*-linux*): Add tmake_file to allow building of microblaze-c.o. libgcc: * config.host(microblaze*-linux*): tmake_file: Remove t-slibgcc-nolc-override, add t-slibgcc-libgcc. * config/microblaze/t-microblaze: Set LIB2FUNCS_EXCLUDE to exclude functions from being built with libgcc.c and use the microblaze assembly. From-SVN: r195488
2013-01-26gcc/config.gcc (microblaze*-*-*): Rename microblaze*-*-elf, update tm_file.Edgar E. Iglesias4-6/+16
libgcc/config.host (microblaze*-*-*): Rename microblaze*-*-elf, update extra_parts. From-SVN: r195487
2013-01-25configure.ac (gcc_cv_ld_static_dynamic): Define for AIX native ld.Michael Haubenwallner3-0/+17
2013-01-25 Michael Haubenwallner <michael.haubenwallner@salomon.at> * configure.ac (gcc_cv_ld_static_dynamic): Define for AIX native ld. * configure: Regenerate. From-SVN: r195486
2013-01-26Daily bump.GCC Administrator1-1/+1
From-SVN: r195485
2013-01-26libgo: Add --enable-werror configure option.Ian Lance Taylor2-5/+17
From-SVN: r195482
2013-01-25re PR other/56076 (Several 64-bit libgo tests FAIL in read_line_header)Ian Lance Taylor1-2/+11
PR other/56076 runtime: Support sparc64 in lfstack. From-SVN: r195479
2013-01-25re PR other/56076 (Several 64-bit libgo tests FAIL in read_line_header)Jakub Jelinek2-1/+8
PR other/56076 * dwarf.c (read_line_header): Don't crash if DW_AT_comp_dir attribute was not seen. From-SVN: r195478
2013-01-25remove unnecessary bits from g++.dg/warn/pmf2.CJason Merrill1-2/+0
From-SVN: r195477
2013-01-25re PR middle-end/56098 (conditional write through volatile pointer produces ↵Jakub Jelinek5-4/+61
unintended read) PR tree-optimization/56098 * tree-ssa-phiopt.c (nt_init_block): Don't call add_or_mark_expr for stmts with volatile ops. (cond_store_replacement): Don't optimize if assign has volatile ops. (cond_if_else_store_replacement_1): Don't optimize if either then_assign or else_assign have volatile ops. (hoist_adjacent_loads): Don't optimize if either def1 or def2 have volatile ops. * gcc.dg/pr56098-1.c: New test. * gcc.dg/pr56098-2.c: New test. From-SVN: r195475
2013-01-25re PR c++/56095 (Crash casting function pointer as non-type template argument)Jason Merrill3-16/+39
PR c++/56095 * pt.c (convert_nontype_argument_function): Handle invalid input. (convert_nontype_argument): Likewise. From-SVN: r195474
2013-01-25invoke.texi (AVR Built-in Macros): Document __XMEGA__.Georg-Johann Lay2-0/+7
* doc/invoke.texi (AVR Built-in Macros): Document __XMEGA__. From-SVN: r195473
2013-01-25extend.texi (Example of asm with clobbered asm reg): Fix missing ':' in asm ↵Georg-Johann Lay2-1/+6
example. * doc/extend.texi (Example of asm with clobbered asm reg): Fix missing ':' in asm example. From-SVN: r195471
2013-01-25re PR c++/56104 (Wrong "dereferencing type-punned pointer" warning)Jason Merrill4-10/+49
PR c++/56104 * typeck.c (get_member_function_from_ptrfunc): Optimize if the dynamic type has no virtual functions. From-SVN: r195470
2013-01-25aarch64-simd-builtins.def: Separate sq<r>dmulh_lane entries into lane and ↵Tejas Belagod5-33/+91
laneq entries. 2013-01-25 Tejas Belagod <tejas.belagod@arm.com> * config/aarch64/aarch64-simd-builtins.def: Separate sq<r>dmulh_lane entries into lane and laneq entries. * config/aarch64/aarch64-simd.md (aarch64_sq<r>dmulh_lane<mode>): Remove AdvSIMD scalar modes. (aarch64_sq<r>dmulh_laneq<mode>): New. (aarch64_sq<r>dmulh_lane<mode>): New RTL pattern for Scalar AdvSIMD modes. * config/aarch64/arm_neon.h: Fix all the vq<r>dmulh_lane* intrinsics' builtin implementations to relfect changes in RTL in aarch64-simd.md. * config/aarch64/iterators.md (VCOND): New. (VCONQ): New. From-SVN: r195467
2013-01-25re PR target/54222 ([avr] Implement fixed-point support)Georg-Johann Lay7-30/+389
gcc/ PR target/54222 * config/avr/builtins.def (DEF_BUILTIN): Add LIBNAME argument. Add NULL LIBNAME argument to existing definitions. (ABSHR, ABSR, ABSLR, ABSLLR, ABSHK, ABSK, ABSLK, ABSLLK): New. * config/avr/avr-c.c (DEF_BUILTIN): Add LIBNAME argument. * config/avr/avr.c (DEF_BUILTIN): Same. (avr_init_builtins): Pass down LIBNAME to add_builtin_function. (avr_expand_builtin): Expand to a vanilla call if a libgcc implementation is available (DECL_ASSEMBLER_NAME is set). (avr_fold_absfx): New static function. (avr_fold_builtin): Use it to handle: AVR_BUILTIN_ABSHR, AVR_BUILTIN_ABSR, AVR_BUILTIN_ABSLR, AVR_BUILTIN_ABSLLR, AVR_BUILTIN_ABSHK, AVR_BUILTIN_ABSK, AVR_BUILTIN_ABSLK, AVR_BUILTIN_ABSLLK. * config/avr/stdfix.h (abshr, absr, abslr, absllr) (abshk, absk, abslk, absllk): Provide as static inline functions. gcc/testsuite/ PR target/54222 * gcc.target/avr/torture/builtins-3-absfx.c: New test. From-SVN: r195464
2013-01-25Fix PR56035.Marek Polacek4-4/+47
From-SVN: r195462
2013-01-25Remove conflict markerEric Botcazou1-8/+7
From-SVN: r195461
2013-01-25* MAINTAINERS: Update my email.Maxim Kuvyrkov2-1/+5
From-SVN: r195459
2013-01-25Daily bump.GCC Administrator1-1/+1
From-SVN: r195451
2013-01-24i386.md (*movti_internal_rex64): Add (o,e) alternative.Uros Bizjak2-23/+35
* config/i386/i386.md (*movti_internal_rex64): Add (o,e) alternative. (*movtf_internal_rex64): Add (!o,C) alternative (*movxf_internal_rex64): Ditto. (*movdf_internal_rex64): Add (?r,C) and (?m,C) alternatives. From-SVN: r195446
2013-01-24bind_c_array_params_2.f90: Require -mno-relax-pic-calls for MIPS.Richard Sandiford2-0/+6
gcc/testsuite/ * gfortran.dg/bind_c_array_params_2.f90: Require -mno-relax-pic-calls for MIPS. From-SVN: r195443
2013-01-24octeon-pipe-1.c: Add -ffat-lto-objectsRichard Sandiford2-1/+5
gcc/testsuite/ * gcc.target/mips/octeon-pipe-1.c: Add -ffat-lto-objects From-SVN: r195441
2013-01-24re PR go/46986 (Go is not supported on Darwin)Ian Lance Taylor35-116/+131
PR go/46986 all: prepend #__USER_LABEL_PREFIX__ to mangled Go symbols For old-fashioned Darwin. From-SVN: r195438