aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-06-23setup branchibm/stage-targetMichael Meissner
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/ibm/stage-target@237746 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-23clone branchMichael Meissner
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/ibm/stage-target@237744 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22 * config/i386/i386.c (ix86_expand_move): Simplify SYMBOL_REF handling.Uros Bizjak
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237716 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22libcpp: Tweak to missing #include source locationDavid Malcolm
This patch tweaks the error message location for missing header files. Previously these read: test.c:1:17: fatal error: 404.h: No such file or directory #include "404.h" ^ compilation terminated. With this patch, the pertinent string is underlined: test.c:1:10: fatal error: 404.h: No such file or directory #include "404.h" ^~~~~~~ compilation terminated. gcc/testsuite/ChangeLog: * c-c++-common/missing-header-1.c: New test case. * c-c++-common/missing-header-2.c: New test case. * c-c++-common/missing-header-3.c: New test case. * c-c++-common/missing-header-4.c: New test case. libcpp/ChangeLog: * directives.c (do_include_common): Pass on "location" to _cpp_stack_include. * errors.c (cpp_diagnostic): Reimplement in terms of... (cpp_diagnostic_at): New function. (cpp_error_at): New function. (cpp_errno_filename): Add "loc" param and use it by using cpp_error_at rather than cpp_error. * files.c (find_file_in_dir): Add "loc" param and pass it to open_file_failed. (_cpp_find_file): Add "loc" param. Use it to convert calls to cpp_error to cpp_error_at, and pass it to find_file_in_dir and open_file_failed. (read_file_guts): Add "loc" param. Use it to convert calls to cpp_error to cpp_error_at. Pass it to cpp_errno_filename. (read_file): Add "loc" param. Pass it to open_file_failed and read_file_guts. (should_stack_file): Add "loc" param. Pass it to read_file. (_cpp_stack_file): Add "loc" param. Pass it to should_stack_file. (_cpp_stack_include): Add "loc" param. Pass it to _cpp_find_file and _cpp_stack_file. (open_file_failed): Add "loc" param. Pass it to cpp_errno_filename. (_cpp_fake_include): Add 0 as a source_location in call to _cpp_find_file. (_cpp_compare_file_date): Likewise. (cpp_push_include): Likewise for call to _cpp_stack_include. (cpp_push_default_include): Likewise. (_cpp_save_file_entries): Likewise for call to open_file_failed. (_cpp_has_header): Likewise for call to _cpp_find_file. * include/cpplib.h (cpp_errno_filename): Add source_location param. (cpp_error_at): New declaration. * init.c (cpp_read_main_file): Add 0 as a source_location in calls to _cpp_find_file and _cpp_stack_file. * internal.h (_cpp_find_file): Add source_location param. (_cpp_stack_file): Likewise. (_cpp_stack_include): Likewise. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237715 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22C FE: suggest corrections for misspelled identifiers and type namesDavid Malcolm
gcc/c-family/ChangeLog: PR c/70339 * c-common.h (enum lookup_name_fuzzy_kind): New enum. (lookup_name_fuzzy): New prototype. gcc/c/ChangeLog: PR c/70339 * c-decl.c: Include spellcheck-tree.h and gcc-rich-location.h. (implicit_decl_warning): When issuing warnings for implicit declarations, attempt to provide a suggestion via lookup_name_fuzzy. (undeclared_variable): Likewise when issuing errors. (lookup_name_in_scope): Likewise. (struct edit_distance_traits<cpp_hashnode *>): New struct. (best_macro_match): New typedef. (find_closest_macro_cpp_cb): New function. (lookup_name_fuzzy): New function. * c-parser.c: Include gcc-rich-location.h. (c_token_starts_typename): Split out case CPP_KEYWORD into... (c_keyword_starts_typename): ...this new function. (c_parser_declaration_or_fndef): When issuing errors about missing "struct" etc, add a fixit. For other kinds of errors, attempt to provide a suggestion via lookup_name_fuzzy. (c_parser_parms_declarator): When looking ahead to detect typos in type names, also reject CPP_KEYWORD. (c_parser_parameter_declaration): When issuing errors about unknown type names, attempt to provide a suggestion via lookup_name_fuzzy. * c-tree.h (c_keyword_starts_typename): New prototype. gcc/ChangeLog: PR c/70339 * diagnostic-core.h (pedwarn_at_rich_loc): New prototype. * diagnostic.c (pedwarn_at_rich_loc): New function. * spellcheck.h (best_match::best_match): Add a "best_distance_so_far" optional parameter. (best_match::set_best_so_far): New method. (best_match::get_best_distance): New accessor. (best_match::get_best_candidate_length): New accessor. gcc/testsuite/ChangeLog: PR c/70339 * c-c++-common/attributes-1.c: Update dg-prune-output to include hint. * gcc.dg/diagnostic-token-ranges.c (undeclared_identifier): Update expected results due to builtin "nanl" now being suggested for "name". * gcc.dg/pr67580.c: Update expected messages. * gcc.dg/spellcheck-identifiers.c: New testcase. * gcc.dg/spellcheck-typenames.c: New testcase. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237714 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22 * dwarf2out.c (scompare_loc_descriptor): Use SCALAR_INT_MODE_P() inNick Clifton
place of GET_MODE_CLASS() == MODE_INT, so that partial integer modes are accepted as well. (ucompare_loc_descriptor): Likewise. (minmax_loc_descriptor): Likewise. (clz_loc_descriptor): Likewise. (popcount_loc_descriptor): Likewise. (bswap_loc_descriptor): Likewise. (rotate_loc_descriptor): Likewise. (mem_loc_descriptor): Likewise. (loc_descriptor): Likewise. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237713 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22Implement -fdiagnostics-parseable-fixitsDavid Malcolm
gcc/ChangeLog: * common.opt (fdiagnostics-parseable-fixits): New option. * diagnostic.c: Include "selftest.h". (print_escaped_string): New function. (print_parseable_fixits): New function. (diagnostic_report_diagnostic): Call print_parseable_fixits. (selftest::assert_print_escaped_string): New function. (ASSERT_PRINT_ESCAPED_STRING_STREQ): New macro. (selftest::test_print_escaped_string): New function. (selftest::test_print_parseable_fixits_none): New function. (selftest::test_print_parseable_fixits_insert): New function. (selftest::test_print_parseable_fixits_remove): New function. (selftest::test_print_parseable_fixits_replace): New function. (selftest::diagnostic_c_tests): New function. * diagnostic.h (struct diagnostic_context): Add field "parseable_fixits_p". * doc/invoke.texi (Diagnostic Message Formatting Options): Add -fdiagnostics-parseable-fixits. (-fdiagnostics-parseable-fixits): New option. * opts.c (common_handle_option): Handle -fdiagnostics-parseable-fixits. * selftest-run-tests.c (selftest::run_tests): Call selftest::diagnostic_c_tests. * selftest.h (selftest::diagnostic_c_tests): New prototype. gcc/testsuite/ChangeLog: * gcc.dg/plugin/diagnostic-test-show-locus-parseable-fixits.c: New file. * gcc.dg/plugin/plugin.exp (plugin_test_list): Add diagnostic-test-show-locus-parseable-fixits.c to sources for diagnostic_plugin_test_show_locus.c. * lib/gcc-defs.exp (freeform_regexps): New global. (dg-regexp): New function. (handle-dg-regexps): New function. * lib/gcc-dg.exp (cleanup-after-saved-dg-test): Reset freeform_regexps to the empty list. * lib/prune.exp (prune_gcc_output): Call handle-dg-regexps. libcpp/ChangeLog: * include/line-map.h (fixit_hint::get_start_loc): New pure virtual function. (fixit_hint::maybe_get_end_loc): Likewise. (fixit_insert::get_start_loc): New function, implementing fixit_hint::get_start_loc. (fixit_insert::maybe_get_end_loc): New function, implementing fixit_hint::maybe_get_end_loc. (fixit_remove::get_start_loc): New function, implementing fixit_hint::get_start_loc. (fixit_remove::maybe_get_end_loc): New function, implementing fixit_hint::maybe_get_end_loc. (fixit_replace::get_start_loc): New function, implementing fixit_hint::get_start_loc. (fixit_replace::maybe_get_end_loc): New function, implementing fixit_hint::maybe_get_end_loc. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237712 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22 * gcc.dg/guality/param-5.c (clear_stack): Tweak.Eric Botcazou
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237710 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22 * gcc/ChangeLog: Add pointer to PR71151 for r237536.Georg-Johann Lay
* gcc/testsuite/ChangeLog: Same. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237709 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22 * gcc.dg/guality/param-5.c (clear_stack): Tweak.Eric Botcazou
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237707 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22gcc/Ilya Enkovich
PR middle-end/71488 * tree-vect-patterns.c (vect_recog_mask_conversion_pattern): Support comparison of boolean vectors. * tree-vect-stmts.c (vectorizable_comparison): Vectorize comparison of boolean vectors using bitwise operations. gcc/testsuite/ PR middle-end/71488 * g++.dg/pr71488.C: New test. * gcc.dg/vect/vect-bool-cmp.c: New test. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237706 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22* config/aarch64/aarch64-protos.h (aarch64_elf_asm_named_section):Andreas Schwab
Remove declaration. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237705 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22 * function.c (assign_parm_setup_reg): Prevent sharing in another case.Eric Botcazou
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237703 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22gcc:Bernd Edlinger
2016-06-22 Bernd Edlinger <bernd.edlinger@hotmail.de> * config/i386/i386.c (print_reg): Emit an error message on attempt to print FLAGS_REG. testsuite: 2016-06-22 Bernd Edlinger <bernd.edlinger@hotmail.de> * gcc.target/i386/asm-flag-7.c: New test. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237702 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22Add final newline.Eric Botcazou
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237701 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22Minor reformatting.Arnaud Charlet
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237700 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Arnaud Charlet <charlet@adacore.com>Arnaud Charlet
* sem_prag.adb: Revert unwanted change in previous commit, only keep message fix. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237699 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Ed Schonberg <schonberg@adacore.com>Ed Schonberg
* sem_prag.ads (Build_Classwide_Expression): new procedure to build the expression for an inherited classwide condition, and to validate such expressions when they apply to an inherited operation that is not overridden. * sem_prag.adb (Primitives_Mapping): new data structure to handle the mapping between operations of a root type and the corresponding overriding operations of a type extension. Used to construct the expression for an inherited classwide condition. (Update_Primitives_Mapping): add to Primitives_Mapping the links between primitive operations of a root type and those of a given type extension. (Build_Pragma_Check_Equivalent): use Primitives_Mapping. * sem_ch6.adb (New_Overloaded_Entity): Remove call to Collect_Iherited_Class_Wide_Conditions in GNATprove_Mode. This needs to be done at freeze point of the type. * freeze.adb (Check_Inherited_Conditions): new procedure to verify the legality of inherited classwide conditions. In normal compilation mode the procedure determines whether an inherited operation needs a wrapper to handle an inherited condition that differs from the condition of the root type. In SPARK mode the routine invokes Collect_Inherited_Class_Wide_Conditions to produce the SPARK version of these inherited conditions. (Freeze_Record_Type): For a type extension, call Check_Inherited_Conditions. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237698 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Hristian Kirtchev <kirtchev@adacore.com>Arnaud Charlet
* sem_ch3.adb, sem_type.adb, sem.adb, freeze.adb, sem_util.adb, s-htable.adb, exp_ch11.adb, s-secsta.adb, restrict.adb, exp_disp.adb, sem_ch8.adb, s-tpobop.adb, exp_aggr.ads, sem_ch13.adb: Minor reformatting. 2016-06-22 Yannick Moy <moy@adacore.com> * lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Inverse order of treatments so that files without compilation unit are simply skipped before more elaborate treatments. 2016-06-22 Bob Duff <duff@adacore.com> * s-memory.ads: Minor typo fixes in comments. * s-memory.adb: Code cleanup. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237697 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22 * vxworks-crtbe-link.spec: Removed, no longer used.Olivier Hainque
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237696 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22Code cleanup.Arnaud Charlet
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237695 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Justin Squirek <squirek@adacore.com>Justin Squirek
* sem_ch8.adb (Push_Scope): Add a check for when the scope table is empty to assign the global variable Configuration_Component_Alignment. * sem.adb (Do_Analyze): Add Configuration_Component_Alignment to be assigned when the environment is cleaned instead of the default. * sem.ads Add a global variable Configuration_Component_Alignment to store the value given by pragma Component_Alignment in the context of a configuration file. * sem_prag.adb (Analyze_Pragma): Correct the case for Component_Alignment so that the pragma is verified and add comments to explain how it is applied to the scope stack. 2016-06-22 Justin Squirek <squirek@adacore.com> * sprint.adb (Sprint_Node_Actual): Add check in the case of an N_Object_Declaration when evaluating an expression to properly ignore errors. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237694 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Bob Duff <duff@adacore.com>Arnaud Charlet
* g-comlin.ads (Parameter_Type): Change subtype of Last to Natural. * g-comlin.adb (Set_Parameter): Change subtype of Last to Natural. (Getopt): Check for Arg = "", and Switches /= "". (Internal_Initialize_Option_Scan): Check for Argument (Parser, Index) /= "". 2016-06-22 Gary Dismukes <dismukes@adacore.com> * sem_prag.adb, sem_ch8.adb: Minor reformatting. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237693 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Ed Schonberg <schonberg@adacore.com>Arnaud Charlet
* einfo.ads, einfo.adb (Is_Actual_Subtype): New flag, defined on subtypes that are created within subprogram bodies to handle unconstrained composite formals. * checks.adb (Apply_Predicate_Check): Do not generate a check on an object whose type is an actual subtype. * sem_ch6.adb (Set_Actual_Subtypes): Do not generate an actual subtype for a formal whose base type is private. Set Is_Actual_Subtype on corresponding entity after analyzing its declaration. 2016-06-22 Justin Squirek <squirek@adacore.com> * sem_prag.adb (Check_Expr_Is_OK_Static_Expression): Fix ordering of if-block and add in a condition to test for errors during resolution. * sem_res.adb (Resolution_Failed): Add comment to explain why the type of a node which failed to resolve is set to the desired type instead of Any_Type. * sem_ch8.adb (Analyze_Object_Renaming): Add a check for Any_Type to prevent crashes on Is_Access_Constant. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237692 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Hristian Kirtchev <kirtchev@adacore.com>Arnaud Charlet
* lib-xref-spark_specific.adb, checks.adb, sem_ch13.adb: Minor reformatting. * exp_ch7.adb: Minor typo fix. * lib.ads (Get_Top_Level_Code_Unit): Add comment. 2016-06-22 Bob Duff <duff@adacore.com> * s-tassta.adb (Task_Wrapper): Fix handling of Fall_Back_Handler wrt independent tasks. 2016-06-22 Ed Schonberg <schonberg@adacore.com> * sem_dim.adb (Analyze_Dimension): Propagate dimension for explicit_dereference nodes when they do not come from source, to handle correctly dimensional analysis on iterators over containers whose elements have declared dimensions. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237691 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Arnaud Charlet <charlet@adacore.com>Arnaud Charlet
* spark_xrefs.ads (Scope_Num): type refined to positive integers. * lib-xref-spark_specific.adb (Detect_And_Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs. (Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs; now uses Dspec and Scope_Id from Collect_SPARK_Xrefs. (Collect_SPARK_Xrefs): refactored to avoid retraversing the list of scopes. (Traverse_Compilation_Unit): refactored as a generic procedure. * types.ads (Unit_Number_Type): range refined. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237690 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22Minor cleanup.Arnaud Charlet
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237689 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Hristian Kirtchev <kirtchev@adacore.com>Arnaud Charlet
* lib-xref-spark_specific.adb, a-cuprqu.ads, sem_ch6.adb: Minor reformatting. 2016-06-22 Eric Botcazou <ebotcazou@adacore.com> * sem_util.ads (Address_Value): Declare new function. * sem_util.adb (Address_Value): New function extracted unmodified from Apply_Address_Clause_Check, which returns the underlying value of the expression of an address clause. * checks.adb (Compile_Time_Bad_Alignment): Delete. (Apply_Address_Clause_Check): Call Address_Value on the expression. Do not issue the main warning here and issue the secondary warning only when the value of the expression is not known at compile time. * sem_ch13.adb (Address_Clause_Check_Record): Add A component and adjust the description. (Analyze_Attribute_Definition_Clause): In the case of an address, move up the code creating an entry in the table of address clauses. Also create an entry for an absolute address. (Validate_Address_Clauses): Issue the warning for absolute addresses here too. Tweak condition associated with overlays for consistency. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237688 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Ed Schonberg <schonberg@adacore.com>Arnaud Charlet
* sem_ch13.adb (Is_Predicate_Static): An inherited predicate can be static only if it applies to a scalar type. 2016-06-22 Ed Schonberg <schonberg@adacore.com> * exp_util.adb (Adjust_Result_Type): Convert operand to base type to prevent spurious constraint checks on subtypes of Boolean. 2016-06-22 Bob Duff <duff@adacore.com> * debug.adb: Document debug switch -gnatd.o. * sem_elab.adb (Check_Internal_Call): Debug switch -gnatd.o now causes a more conservative treatment of indirect calls, treating P'Access as a call to P in more cases. We Can't make this the default, because it breaks common idioms, for example the soft links. * sem_util.adb: Add an Assert. 2016-06-22 Bob Duff <duff@adacore.com> * a-cuprqu.ads, a-cuprqu.adb: Completely rewrite this package. Use red-black trees, which gives O(lg N) worst-case performance on Enqueue and Dequeue. The previous version had O(N) Enqueue in the worst case. 2016-06-22 Arnaud Charlet <charlet@adacore.com> * sem_warn.adb: minor style fix in comment. * spark_xrefs.ads (Scope_Num): type refined to positive integers. * lib-xref-spark_specific.adb (Detect_And_Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs. (Add_SPARK_Scope): moved into scope of Collect_SPARK_Xrefs; now uses Dspec and Scope_Id from Collect_SPARK_Xrefs. (Collect_SPARK_Xrefs): refactored to avoid retraversing the list of scopes. * sem_ch3.adb (Build_Discriminal): Set Parent of the discriminal. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237687 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22Minor reformatting.Arnaud Charlet
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237686 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Arnaud Charlet <charlet@adacore.com>Arnaud Charlet
* lib-xref-spark_specific.adb (Generate_Dereference): Assignment to not commented local variables replaced with direct uses of their values. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237685 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Hristian Kirtchev <kirtchev@adacore.com>Arnaud Charlet
* exp_ch7.adb (Add_Invariant): Replace the current type instance with the _object parameter even in ASIS mode. (Build_Invariant_Procedure_Body): Do not insert the invariant procedure body into the tree for ASIS and GNATprove. (Build_Invariant_Procedure_Declaration): Do not insert the invariant procedure declaration into the tree for ASIS and GNATprove. * lib-xref-spark_specific.adb (Add_SPARK_Scope): Update comment. 2016-06-22 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Set_Actual_Subtypes): If the type of the actual has predicates, the actual subtype must be frozen properly because of the generated tests that may follow. The predicate may be specified by an explicit aspect, or may be inherited in a derivation. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237684 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Ed Schonberg <schonberg@adacore.com>Ed Schonberg
* exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary of Expand_N_In: within an expanded range check that might raise Constraint_Error do not generate a predicate check as well. It is redundant because the context will add an explicit predicate check, and it will raise the wrong exception if it fails. * lib-xref-spark_specific.adb (Add_SPARK_File): Remove useless checks since dependency units always have an associated compilation unit. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237683 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-222016-06-22 Arnaud Charlet <charlet@adacore.com>Arnaud Charlet
* lib.ads: Code cleanup. * inline.adb: Type refinement for a counter variable. * lib-xref-spark_specific.adb (Add_SPARK_File): removal of no-op code. Code cleanup. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237682 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22[ARM] Add initial support for Cortex-A73Kyrylo Tkachov
* config/arm/arm.c (arm_cortex_a73_tune): New struct. * config/arm/arm-cores.def (cortex-a73): New entry. (cortex-a73.cortex-a35): Likewise. (cortex-a73.cortex-a53): Likewise. * config/arm/arm-tables.opt: Regenerate. * config/arm/arm-tune.md: Likewise. * config/arm/bpabi.h (BE8_LINK_SPEC): Handle mcpu=cortex-a73, mcpu=cortex-a73.cortex-a35 and mcpu=cortex-a73.cortex-a53. * config/arm/t-aprofile: Handle mcpu=cortex-a73, mcpu=cortex-a73.cortex-a35 and mcpu=cortex-a73.cortex-a53. * doc/invoke.texi (ARM Options): Document cortex-a73, cortex-a73.cortex-a35 and cortex-a73.cortex-a53. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237681 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22Handle gas/gld --compress-debug-sections=typeRainer Orth
* configure.ac (gcc_cv_as_compress_debug): Remove --compress-debug-sections as extra as switch. Handle gas --compress-debug-sections=type. (gcc_cv_ld_compess_debug): Remove bogus ld_date check. Handle gld --compress-debug-sections=type. * configure: Regenerate. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237680 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22[AArch64] Add initial support for Cortex-A73Kyrylo Tkachov
* config/aarch64/aarch64.c (cortexa73_tunings): New struct. * config/aarch64/aarch64-cores.def (cortex-a73): New entry. (cortex-a73.cortex-a35): Likewise. (cortex-a73.cortex-a53): Likewise. * config/aarch64/aarch64-tune.md: Regenerate. * doc/invoke.texi (AArch64 Options): Document cortex-a73, cortex-a73.cortex-a35 and cortex-a73.cortex-a53 arguments to -mcpu and -mtune. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237679 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22 * bb-reorder.c (pass_partition_blocks::gate): Update comment.Andrew Burgess
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237677 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22 * c-common.c (get_source_date_epoch): Use int64_t instead of long long.John David Anglin
* gcov-tool.c (profile_rewrite): Use int64_t instead of long long. (do_rewrite): likewise. * line-map.c (location_adhoc_data_update): Use int64_t instead of long long. (get_combined_adhoc_loc): Likewise. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237676 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-22Daily bump.GCC Administrator
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237675 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21remove mep-* supportTrevor Saunders
libgcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.host: Remove support for mep-*. * config/mep/lib1funcs.S: Remove. * config/mep/lib2funcs.c: Remove. * config/mep/t-mep: Remove. * config/mep/tramp.c: Remove. gcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * common/config/mep/mep-common.c: Remove. * config.gcc: Remove mep-* support. * config/mep/constraints.md: Remove. * config/mep/default.h: Remove. * config/mep/intrinsics.h: Remove. * config/mep/intrinsics.md: Remove. * config/mep/ivc2-template.h: Remove. * config/mep/mep-c5.cpu: Remove. * config/mep/mep-core.cpu: Remove. * config/mep/mep-default.cpu: Remove. * config/mep/mep-ext-cop.cpu: Remove. * config/mep/mep-intrin.h: Remove. * config/mep/mep-ivc2.cpu: Remove. * config/mep/mep-pragma.c: Remove. * config/mep/mep-protos.h: Remove. * config/mep/mep.c: Remove. * config/mep/mep.cpu: Remove. * config/mep/mep.h: Remove. * config/mep/mep.md: Remove. * config/mep/mep.opt: Remove. * config/mep/predicates.md: Remove. * config/mep/t-mep: Remove. * doc/install.texi: Remove mep-* documentation. * doc/md.texi: Likewise. gcc/testsuite/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * gcc.dg/tree-ssa/forwprop-28.c: Remove mep-* support. * gcc.dg/tree-ssa/reassoc-32.c: Likewise. * gcc.dg/tree-ssa/reassoc-33.c: Likewise. * gcc.dg/tree-ssa/reassoc-34.c: Likewise. * gcc.dg/tree-ssa/reassoc-35.c: Likewise. * gcc.dg/tree-ssa/reassoc-36.c: Likewise. * gcc.dg/tree-ssa/ssa-ifcombine-ccmp-1.c: Likewise. * gcc.dg/tree-ssa/ssa-ifcombine-ccmp-2.c: Likewise. * gcc.dg/tree-ssa/ssa-ifcombine-ccmp-3.c: Likewise. * gcc.dg/tree-ssa/ssa-ifcombine-ccmp-4.c: Likewise. * gcc.dg/tree-ssa/ssa-ifcombine-ccmp-5.c: Likewise. * gcc.dg/tree-ssa/ssa-ifcombine-ccmp-6.c: Likewise. * gcc.dg/tree-ssa/ssa-thread-11.c: Likewise. * gcc.dg/tree-ssa/vrp87.c: Likewise. * lib/target-supports.exp: Likewise. contrib/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config-list.mk: Stop testing mep-elf. libstdc++-v3/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * configure.host: Remove mep-* support. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237666 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21remove avr-rtems supportTrevor Saunders
contrib/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config-list.mk: Stop testing avr-rtems. libgcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.host: Remove support for avr-rtems. * config/avr/t-rtems: Remove. ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * configure: Regenerate. * configure.ac: Remove support for avr-rtems. gcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.gcc: Remove support for avr-rtems. * config/avr/gen-avr-mmcu-specs.c: Likewise. * config/avr/rtems.h: Remove. * config/avr/t-rtems: Remove. contrib/header-tools/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * README: Remove references to avr-rtems. * reduce-headers: Likewise. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237665 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21remove m32-rtems supportTrevor Saunders
libgcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.host: Remove m32r-rtems support. gcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.gcc: Remove m32r-rtems support. * config/m32r/rtems.h: Remove. contrib/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config-list.mk: Stop testing m32r-rtems. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237664 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21remove h8300-rtems supportTrevor Saunders
contrib/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config-list.mk: Remove h8300-rtems support. libgcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.host: Remove h8300-rtems support. gcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.gcc: Remove h8300-rtems support. * config/h8300/rtems.h: Remove. * config/h8300/t-rtems: Remove. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237663 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21remove knetbsd supportTrevor Saunders
gcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.gcc: Remove support for knetbsd. * configure.ac: Likewise. * config/i386/knetbsd-gnu.h: Remove. * config/i386/knetbsd-gnu64.h: Remove. * config/knetbsd-gnu.h: Remove. * configure: Regenerate. libgcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.host: Remove support for knetbsd. libstdc++-v3/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * configure: Regenerate. * configure.host: Remove support for knetbsd. * crossconfig.m4: Likewise. contrib/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config-list.mk: stop testing knetbsd. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237662 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21remove support for targeting openbsd 2 or 3Trevor Saunders
contrib/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config-list.mk: Stop testing openbsd3.0. libgcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.host: Remove support for openbsd 2 and 3. gcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.gcc: Remove support for openbsd 2 and 3. * config/openbsd-oldgas.h: Remove. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237661 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21remove support for the interix targetTrevor Saunders
contrib/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config-list.mk: Remove interix target. libgcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.host: Remove interix support. * config/i386/t-interix: Remove. config/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * elf.m4: Remove interix support. * picflag.m4: Likewise. fixincludes/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * mkfixinc.sh: Remove interix support. gcc/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * config.gcc: Remove interix support. * config/i386/i386-interix.h: Remove. * config/i386/interix.opt: Remove. * config/i386/t-interix: Remove. * configure: Regenerate. * configure.ac: Remove interix support. * doc/install.texi: Remove interix documentation. gcc/testsuite/ChangeLog: 2016-06-21 Trevor Saunders <tbsaunde+gcc@tbsaunde.org> * gcc.dg/attr-ms_struct-1.c: Stop testing interix. * gcc.dg/attr-ms_struct-2.c: Likewise. * gcc.dg/attr-ms_struct-packed1.c: Likewise. * gcc.dg/bf-ms-attrib.c: Likewise. * gcc.dg/bf-ms-layout-2.c: Likewise. * gcc.dg/bf-ms-layout-3.c: Likewise. * gcc.dg/bf-ms-layout.c: Likewise. * gcc.dg/bf-no-ms-layout.c: Likewise. * gcc.target/i386/bitfield1.c: Likewise. * gcc.target/i386/bitfield2.c: Likewise. * gcc.target/i386/bitfield3.c: Likewise. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237660 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21gcc/ChangeLog:Kelvin Nilsen
2016-06-21 Kelvin Nilsen <kelvin@gcc.gnu.org> * config/rs6000/rs6000.h: Add conditional preprocessing directives to disable Power9-specific compiler features if HAVE_AS_POWER9 is not defined. gcc/testsuite/ChangeLog: 2016-06-21 Kelvin Nilsen <kelvin@gcc.gnu.org> * gcc.target/powerpc/darn-0.c: Add dejagnu directives to disable test if effective-target is not powerpc_p9vector_ok, or if a -mcpu override other than -mcpu=power9 command-line option is specified, or if the target operating system is aix. * gcc.target/powerpc/darn-1.c: Likewise. * gcc.target/powerpc/darn-2.c: Likewise. * gcc.target/powerpc/vslv-0.c: Add dejagnu directives to disable test if effective-target is not powerpc_p9vector_ok or if the target operating system is not defined. * gcc.target/powerpc/vslv-1.c: Likewise. * gcc.target/powerpc/vsrv-0.c: Likewise. * gcc.target/powerpc/vsrv-1.c: Likewise. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237659 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21 * tree.c (verify_type_variant): Skip TYPE_SIZE and TYPE_SIZE_UNIT ifEric Botcazou
they are both PLACEHOLDER_EXPRs. ada/ * gcc-interface/decl.c (set_nonaliased_component_on_array_type): New function. (set_reverse_storage_order_on_array_type): Likewise. (gnat_to_gnu_entity) <E_Array_Type>: Call them to set the flags. <E_Array_Subtype>: Likewise. <E_String_Literal_Subtype>: Likewise. (substitute_in_type) <ARRAY_TYPE>: Likewise. * gcc-interface/utils.c (gnat_pushdecl): Always create a variant for the DECL_ORIGINAL_TYPE of a type. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237658 138bc75d-0d04-0410-961f-82ee72b054a4
2016-06-21[gcc]Michael Meissner
2016-06-21 Michael Meissner <meissner@linux.vnet.ibm.com> * stor-layout.c (layout_type): Move setting complex MODE to layout_type, instead of setting it ahead of time by the caller. * tree.c (build_complex_type): Likewise. [gcc/fortran] 2016-06-21 Michael Meissner <meissner@linux.vnet.ibm.com> * trans-types.c (gfc_build_complex_type): Move setting complex MODE to layout_type, instead of setting it ahead of time by the caller. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@237657 138bc75d-0d04-0410-961f-82ee72b054a4