OSDN Git Service

13 years ago * c.opt (Wimport): Mark as undocumented.
tromey [Thu, 22 May 2008 00:26:36 +0000 (00:26 +0000)]
* c.opt (Wimport): Mark as undocumented.
* doc/invoke.texi (Option Summary): Don't mention -Wimport or
(Warning Options): Likewise.
* doc/cppopts.texi: Don't mention -Wimport.

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

13 years agoDaily bump.
gccadmin [Thu, 22 May 2008 00:18:10 +0000 (00:18 +0000)]
Daily bump.

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

13 years ago2008-05-21 Sebastian Pop <sebastian.pop@amd.com>
spop [Wed, 21 May 2008 23:13:00 +0000 (23:13 +0000)]
2008-05-21  Sebastian Pop  <sebastian.pop@amd.com>

PR tree-optimization/36286
PR tree-optimization/36287
* lambda-code.c (build_access_matrix): Do not use the loop->num
for computing the number of induction variables: use the loop depth

* testsuite/gcc.dg/tree-ssa/pr36287.c: New.
* testsuite/gfortran.dg/pr36286.f90: New.

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

13 years agogcc/testsuite
tromey [Wed, 21 May 2008 21:52:57 +0000 (21:52 +0000)]
PR preprocessor/27777:
* gcc.dg/cpp/pr27777.c: New file.
PR preprocessor/27777:
* lex.c (cpp_output_line_to_string): New function.
* internal.h (_cpp_begin_message): Don't declare.
* errors.c (_cpp_begin_message): Now static.
* include/cpplib.h (cpp_output_line_to_string): Declare.
* directives.c (do_diagnostic): Rewrote.  Use
cpp_output_line_to_string.  Don't use _cpp_begin_message.

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

13 years ago2008-05-21 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Wed, 21 May 2008 20:46:16 +0000 (20:46 +0000)]
2008-05-21  Paolo Carlini  <paolo.carlini@oracle.com>

* include/std/bitset (bitset<>::bitset(const char*)): Add per DR 778.
(bitset<>::_M_copy_from_ptr): Add.
(bitset<>::_M_copy_from_string): Forward to the latter.
* doc/xml/manual/intro.xml: Add an entry for DR 778.
* testsuite/23_containers/bitset/cons/2.cc: Add.

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

13 years ago2008-05-21 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Wed, 21 May 2008 20:13:47 +0000 (20:13 +0000)]
2008-05-21  Paolo Carlini  <paolo.carlini@oracle.com>

* doc/html/ext/lwg-active.html: Update to Revision R56.
* doc/html/ext/lwg-closed.html: Likewise.
* doc/html/ext/lwg-defects.html: Likewise.

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

13 years ago PR c++/36023
jakub [Wed, 21 May 2008 19:57:06 +0000 (19:57 +0000)]
PR c++/36023
* cp-tree.h (check_array_initializer): New prototype.
* decl.c (check_array_initializer): New function.
(check_initializer): Call it.
* semantics.c (finish_compound_literal): Call it for ARRAY_TYPEs.

* g++.dg/ext/complit10.C: New test.

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

13 years ago PR c++/36023
jakub [Wed, 21 May 2008 19:56:03 +0000 (19:56 +0000)]
PR c++/36023
* cp-tree.h (check_array_initializer): New prototype.
* decl.c (check_array_initializer): New function.
(check_initializer): Call it.
* semantics.c (finish_compound_literal): Call it for ARRAY_TYPEs.

* g++.dg/ext/complit10.C: New test.

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

13 years ago2008-05-21 Kai Tietz <kai.tietz@onevision.com>
ktietz [Wed, 21 May 2008 19:36:28 +0000 (19:36 +0000)]
2008-05-21  Kai Tietz  <kai.tietz@onevision.com>

        * config/i386/cygming.h (ASM_OUTPUT_LABELREF): Honor
        option -f(no-)leading-underscore.

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

13 years ago2008-05-21 H.J. Lu <hongjiu.lu@intel.com>
hjl [Wed, 21 May 2008 19:00:47 +0000 (19:00 +0000)]
2008-05-21  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.c (ix86_expand_vector_init_general): Use

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

13 years ago * gfortran.dg/nint_2.f90: XFAIL only when using -O0.
janis [Wed, 21 May 2008 18:13:32 +0000 (18:13 +0000)]
* gfortran.dg/nint_2.f90: XFAIL only when using -O0.

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

13 years ago * doc/invoke.texi: Add cpu_type's 464 and 464fp.
bergner [Wed, 21 May 2008 18:09:07 +0000 (18:09 +0000)]
* doc/invoke.texi: Add cpu_type's 464 and 464fp.
(-mmulhw): Add 464 to description.
(-mdlmzb): Likewise.
* config.gcc: Handle --with-cpu=464 and --with-cpu=464fp.
* config/rs6000/rs6000.c (processor_target_table): Add 464 and
464fp entries.
* config/rs6000/rs6000.h (ASM_CPU_SPEC): Add 464 and 464fp support.
* config/rs6000/t-fprules (MULTILIB_MATCHES_FLOAT): Include -mcpu=464.
* config/rs6000/rs6000.md: Update comments for 464.

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

13 years agogcc/
janis [Wed, 21 May 2008 18:03:32 +0000 (18:03 +0000)]
* doc/sourcebuild.texi (Test Directives): Add dg-xfail-run-if.
* lib/target-supports-dg.exp (dg-xfail-run-if): New.
* gcc.test-framework/dg-do-run-xrif-exp-F.c: New test.
* gcc.test-framework/dg-do-run-xrif-exp-P.c: New test.
* gcc.test-framework/dg-do-run-xrif-exp-XF.c: New test.
* gcc.test-framework/dg-do-run-xrif-exp-XP.c: New test.
* gcc.test-framework/dg-dot-run-xrif-exp-F.c: New test.
* gcc.test-framework/dg-dot-run-xrif-exp-P.c: New test.
* gcc.test-framework/dg-dot-run-xrif-exp-XF.c: New test.
* gcc.test-framework/dg-dot-run-xrif-exp-XP.c: New test.
* gcc.test-framework/test-framework.awk: Handle new tests.

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

13 years ago2008-05-21 H.J. Lu <hongjiu.lu@intel.com>
hjl [Wed, 21 May 2008 17:45:50 +0000 (17:45 +0000)]
2008-05-21  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/sse.md (vec_extractv4sf): Removed.
(vec_extractv2df): Likewise.
(vec_extractv2di): Likewise.
(vec_extractv4si): Likewise.
(vec_extractv8hi): Likewise.
(vec_extractv16qi): Likewise.
(vec_extract<mode>): New.

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

13 years ago2008-05-21 H.J. Lu <hongjiu.lu@intel.com>
hjl [Wed, 21 May 2008 17:09:32 +0000 (17:09 +0000)]
2008-05-21  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/sse.md (vec_setv4sf): Removed.
(vec_setv2df): Likewise.
(vec_setv2di): Likewise.
(vec_setv4si): Likewise.
(vec_setv8hi): Likewise.
(vec_setv16qi): Likewise.
(vec_set<mode>): New.

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

13 years ago2008-05-21 H.J. Lu <hongjiu.lu@intel.com>
hjl [Wed, 21 May 2008 16:57:05 +0000 (16:57 +0000)]
2008-05-21  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.c (ix86_expand_vector_init_general): Remove
goto for vec_concat and vec_interleave.

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

13 years ago2008-05-21 H.J. Lu <hongjiu.lu@intel.com>
hjl [Wed, 21 May 2008 16:56:14 +0000 (16:56 +0000)]
2008-05-21  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/sse.md (vec_initv4sf): Removed.
(vec_initv2df): Likewise.
(vec_initv2di): Likewise.
(vec_initv4si): Likewise.
(vec_initv8hi): Likewise.
(vec_initv16qi): Likewise.
(vec_init<mode>): New.

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

13 years ago PR fortran/36257
fxcoudert [Wed, 21 May 2008 16:01:08 +0000 (16:01 +0000)]
PR fortran/36257

* gfortran.dg/char_length_12.f90: New test.

* iresolve.c (check_charlen_present): Don't force the rank to 1.

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

13 years ago * collect2.c (find_a_file): Use IS_ABSOLUTE_PATH.
jsm28 [Wed, 21 May 2008 15:40:48 +0000 (15:40 +0000)]
* collect2.c (find_a_file): Use IS_ABSOLUTE_PATH.

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

13 years agolibcpp
tromey [Wed, 21 May 2008 15:00:59 +0000 (15:00 +0000)]
* include/symtab.h (HT_ALLOCED): Remove.
(ht_purge): Declare.
* symtab.c (DELETED): New define.
(ht_lookup): Update comment.
(ht_lookup_with_hash): Handle deleted entries.  Remove HT_ALLOCED
code.  Use subobject allocator for strings, if it exists.
(ht_expand): Handle deleted entries.
(ht_forall): Likewise.
(ht_purge): New function.
(ht_dump_statistics): Print deletion statistics.
* ggc-zone.c (lookup_page_table_if_allocated): New function.
(zone_find_object_offset): Likewise.
(gt_ggc_m_S): Likewise.
(highest_bit): Likewise.
* ggc-page.c (gt_ggc_m_S): New function.
* stringpool.c (string_stack): Remove.
(init_stringpool): Update.
(ggc_alloc_string): Use ggc_alloc.
(maybe_delete_ident): New function.
(ggc_purge_stringpool): Likewise.
(gt_ggc_m_S): Remove.
* ggc-common.c (ggc_protect_identifiers): New global.
(ggc_mark_roots): Call ggc_purge_stringpool.  Use
* ggc.h (ggc_protect_identifiers): Declare.
(gt_ggc_m_S): Update.
(ggc_purge_stringpool): Declare.
* toplev.c (compile_file): Set and reset ggc_protect_identifiers.
* gengtype.c (write_types_process_field) <TYPE_STRING>: Remove
special case.
(write_root): Cast gt_ggc_m_S to gt_pointer_walker.
* mangle.c (save_partially_mangled_name): Remove.
(restore_partially_mangled_name): Likewise.
(write_encoding): Update.
(write_unqualified_name): Likewise.
(start_mangling): Always use name_obstack.  Remove 'ident_p'
(get_identifier_nocopy): Remove.
(finish_mangling_internal): Rename from finish_mangling.
(finish_mangling): New function.
(finish_mangling_get_identifier): Likewise.
(partially_mangled_name, partially_mangled_name_len): Remove.
(mangle_decl_string): Change return type.  Update.
(mangle_decl, mangle_type_string, mangle_special_for_type,
mangle_ctor_vtbl_for_type, mangle_thunk, mangle_guard_variable,
mangle_ref_init_variable): Update.

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

13 years ago * config.gcc (sparc-*-linux*): Always include sparc/t-linux in
davem [Wed, 21 May 2008 09:38:40 +0000 (09:38 +0000)]
* config.gcc (sparc-*-linux*): Always include sparc/t-linux in

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

13 years ago * cfgexpand.c (tree_expand_cfg): Zap the EH throw statement table
ebotcazou [Wed, 21 May 2008 09:22:09 +0000 (09:22 +0000)]
* cfgexpand.c (tree_expand_cfg): Zap the EH throw statement table
once finished.

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

13 years agoNew file.
charlet [Wed, 21 May 2008 07:01:56 +0000 (07:01 +0000)]
New file.

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

13 years ago * gcc.c-torture/execute/builtins/memops-asm.c: Set inside_main.
nathan [Wed, 21 May 2008 06:31:37 +0000 (06:31 +0000)]
* gcc.c-torture/execute/builtins/memops-asm.c: Set inside_main.

* lib/gcc-dg.exp (cleanup-saved-temps): Add optional list of
suffixes not to delete.
* gcc.dg/pch/save-temps-1.c: Don't delete ".s" temp.
* g++.dg/pch/pch.C: Likewise.

* g++.old-deja/g++.pt/static11.C: Replace xfail by target requirement.

* lib/dg-pch.exp (dg-pch): Don't expect .s files if there are
dg-errors expected.

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

13 years ago2008-05-20 David Daney <ddaney@avtrex.com>
daney [Wed, 21 May 2008 03:49:03 +0000 (03:49 +0000)]
2008-05-20  David Daney  <ddaney@avtrex.com>

PR libgcj/36252
* java/lang/natString.ccn: Add
#include <java/io/CharConversionException.h>.
(init (byte[], int, int, String)): Catch and ignore
CharConversionException.  Break out of conversion loop
on incomplete input.
* testsuite/libjava.lang/PR36252.java: New test.
* testsuite/libjava.lang/PR36252.out: New file, its expected output.
* testsuite/libjava.lang/PR36252.jar: New file, its pre-compiled
jar file.

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

13 years agoDaily bump.
gccadmin [Wed, 21 May 2008 00:17:42 +0000 (00:17 +0000)]
Daily bump.

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

13 years ago PR testsuite/20771
janis [Wed, 21 May 2008 00:04:45 +0000 (00:04 +0000)]
PR testsuite/20771
* lib/dg-pch.exp: Move a flag in arguments to dg-test to differentiate
compile results for pch test lines in gcc.sum.
* gcc.dg/pch/counter-2.c: Add comments to dg-error directives to
make them unique in gcc.sum.
* gcc.dg/pch/valid-1.c: Ditto.
* gcc.dg/pch/valid-2.c: Ditto.
* gcc.dg/pch/valid-3.c: Ditto.
* gcc.dg/pch/warn-1.c: Same for dg-warning.

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

13 years ago* gcc.dg/array-quals-1.c: xfail read only section check for avr target.
hutchinsonandy [Wed, 21 May 2008 00:01:30 +0000 (00:01 +0000)]
* gcc.dg/array-quals-1.c: xfail read only section check for avr target.

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

13 years agoPR testsuite/34889
hutchinsonandy [Tue, 20 May 2008 23:56:28 +0000 (23:56 +0000)]
PR testsuite/34889
* gcc.c-torture/execute/builtins/pr23484-chk.c : Correct test for 16bit int target.

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

13 years ago* gcc.dg/tree-ssa/ifc-20040816-1.c : signal.h not required.
hutchinsonandy [Tue, 20 May 2008 23:51:23 +0000 (23:51 +0000)]
* gcc.dg/tree-ssa/ifc-20040816-1.c : signal.h not required.
* gcc.c-torture/execute/ieee/fp-cmp-1.c : Do not include signal.h if SIGNAL_SUPPRESS.
* gcc.c-torture/execute/ieee/fp-cmp-2.c : Ditto.
* gcc.c-torture/execute/ieee/fp-cmp-3.c : Ditto.

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

13 years ago* gcc.dg/builtins-config.h: AVR does not have C99 runtime.
hutchinsonandy [Tue, 20 May 2008 23:46:09 +0000 (23:46 +0000)]
* gcc.dg/builtins-config.h: AVR does not have C99 runtime.

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

13 years ago PR testsuite/22523
janis [Tue, 20 May 2008 23:31:40 +0000 (23:31 +0000)]
PR testsuite/22523
* g++.dg/template/inline1.C: Handle syntax for more assemblers.

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

13 years ago * lib/scandump.exp (scan-dump): Handle non-existent dump file.
janis [Tue, 20 May 2008 23:29:56 +0000 (23:29 +0000)]
* lib/scandump.exp (scan-dump): Handle non-existent dump file.
(scan-dump-times): Ditto.
(scan-dump-not): Ditto.
(scan-dump-dem): Ditto.
(scan-dump-dem-not): Ditto.

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

13 years ago * obj-c++.dg/bitfield-1.mm: XFAIL for ICE; move dg-options after other
janis [Tue, 20 May 2008 23:28:34 +0000 (23:28 +0000)]
* obj-c++.dg/bitfield-1.mm: XFAIL for ICE; move dg-options after other
test directives; use dg-prune-output instead of dg-excess-errors for
possible message to ignore; adjust line numbers for messages.

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

13 years ago * obj-c++.dg/comp-types-10.mm: XFAIL for ICE.
janis [Tue, 20 May 2008 23:26:31 +0000 (23:26 +0000)]
* obj-c++.dg/comp-types-10.mm: XFAIL for ICE.
* obj-c++.dg/try-catch-9.mm: XFAILfor ICE, move dg-options after
other test directives.

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

13 years ago * obj-c++.dg/try-catch-2.mm: Move dg-options after dg-xfail-if.
janis [Tue, 20 May 2008 23:25:13 +0000 (23:25 +0000)]
* obj-c++.dg/try-catch-2.mm: Move dg-options after dg-xfail-if.
* obj-c++.dg/encode-8.mm: Move dg-options after dg-do.
* obj-c++.dg/bitfield-4.mm: Ditto; use dg-prune-output instead of
dg-excess-errors for possible additional message.
* obj-c++.dg/layout-1.mm: Use dg-prune-output instead of
dg-excess-errors for possible additional message.

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

13 years ago * g++.dg/ext/vector14.C: Ignore a possible warning.
janis [Tue, 20 May 2008 23:23:48 +0000 (23:23 +0000)]
* g++.dg/ext/vector14.C: Ignore a possible warning.

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

13 years ago2008-05-20 David Daney <ddaney@avtrex.com>
daney [Tue, 20 May 2008 23:13:13 +0000 (23:13 +0000)]
2008-05-20  David Daney  <ddaney@avtrex.com>

* config/mips/mips.md (UNSPEC_SYNC_NEW_OP_12,
UNSPEC_SYNC_EXCHANGE_12): New define_constants.
(optab, insn): Add 'plus' and 'minus' to define_code_attr.
(atomic_hiqi_op): New define_code_iterator.
(sync_compare_and_swap<mode>): Call
mips_expand_atomic_qihi instead of
(compare_and_swap_12): Use MIPS_COMPARE_AND_SWAP_12 instead of
MIPS_COMPARE_AND_SWAP_12_0.  Pass argument to
(sync_<optab><mode>, sync_old_<optab><mode>,
sync_new_<optab><mode>, sync_nand<mode>, sync_old_nand<mode>,
sync_new_nand<mode>): New define_expands for HI and QI mode
(sync_<optab>_12, sync_old_<optab>_12, sync_new_<optab>_12,
sync_nand_12, sync_old_nand_12, sync_new_nand_12): New insns.
(sync_lock_test_and_set<mode>): New define_expand for HI and QI
(test_and_set_12): New insn.
(sync_old_add<mode>, sync_new_add<mode>, sync_old_<optab><mode>,
sync_new_<optab><mode>, sync_old_nand<mode>,
sync_new_nand<mode>, sync_lock_test_and_set<mode>):  Add early
clobber to operand 0 for SI and DI mode insns.
* config/mips/mips-protos.h (mips_gen_fn_6, mips_gen_fn_5,
mips_gen_fn_4): New typedefs.
(mips_gen_fn_ptrs): Define new union type.
(mips_expand_compare_and_swap_12): Remove declaration.
(mips_expand_atomic_qihi): Declare function.
* config/mips/mips.c (mips_expand_compare_and_swap_12): Rename to...
(mips_expand_atomic_qihi): ... this.  Use new generator function
* config/mips/mips.h (MIPS_COMPARE_AND_SWAP_12): Add OPS parameter.
(MIPS_COMPARE_AND_SWAP_12_0): Delete macro.

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

13 years ago2008-05-20 H.J. Lu <hongjiu.lu@intel.com>
hjl [Tue, 20 May 2008 21:39:45 +0000 (21:39 +0000)]
2008-05-20  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/i386.c (ix86_expand_vector_init_one_nonzero): Add
the missing break.

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

13 years ago * config/avr/avr.h (machine_function): Add 'is_OS_main' field.
aesok [Tue, 20 May 2008 21:23:08 +0000 (21:23 +0000)]
* config/avr/avr.h (machine_function): Add 'is_OS_main' field.
* config/avr/avr.c (avr_OS_main_function_p): Add new function.
(avr_attribute_table): Add 'OS_main' function attribute.
(avr_regs_to_save, expand_prologue, expand_epilogue): Handle
functions with 'OS_main' attribute.

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

13 years ago gcc/testsuite/
sam [Tue, 20 May 2008 20:59:44 +0000 (20:59 +0000)]
* gnat.dg/modular.adb: Remove test, gnat.dg/modular1.adb already
checks that the bug is fixed and is more concise.

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

13 years ago gcc/testsuite/
sam [Tue, 20 May 2008 20:45:49 +0000 (20:45 +0000)]
PR ada/35791
* gnat.dg/check_displace_generation.adb: New.

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

13 years ago2008-05-20 Richard Guenther <rguenther@suse.de>
rguenth [Tue, 20 May 2008 20:40:23 +0000 (20:40 +0000)]
2008-05-20  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/35204
* tree-ssa-sccvn.c (extract_and_process_scc_for_name): New
helper, split out from ...
(DFS): ... here.  Make the DFS walk non-recursive.

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

13 years ago gcc/testsuite/
sam [Tue, 20 May 2008 20:24:33 +0000 (20:24 +0000)]
PR ada/30740
* gnat.dg/modular.adb: New test.

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

13 years ago2008-05-20 Sebastian Pop <sebastian.pop@amd.com>
spop [Tue, 20 May 2008 19:17:12 +0000 (19:17 +0000)]
2008-05-20  Sebastian Pop  <sebastian.pop@amd.com>
    Jan Sjodin  <jan.sjodin@amd.com>

PR tree-optimization/36181
* tree-parloops.c (loop_has_vector_phi_nodes): New.
(parallelize_loops): Don't parallelize when the loop has vector
phi nodes.

* gcc.dg/tree-ssa/pr36181.c: New.

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

13 years ago2008-05-20 Jan Sjodin <jan.sjodin@amd.com>
spop [Tue, 20 May 2008 19:11:56 +0000 (19:11 +0000)]
2008-05-20  Jan Sjodin  <jan.sjodin@amd.com>
    Sebastian Pop  <sebastian.pop@amd.com>

* tree-loop-linear.c (gather_interchange_stats): Look in the access matrix,
and never look at the tree representation of the memory accesses.
(linear_transform_loops): Computes parameters and access matrices.
* tree-data-ref.c (compute_data_dependences_for_loop): Returns false when fails.
(access_matrix_get_index_for_parameter): New.
* tree-data-ref.h (struct access_matrix): New.
am_vector_index_for_loop): New.
(struct data_reference): Add field access_matrix.
(compute_data_dependences_for_loop): Update declaration.
(lambda_collect_parameters, lambda_compute_access_matrices): Declared.
* lambda.h (lambda_vector_vec_p): Declared.
* lambda-code.c: Depend on pointer-set.h.
(lambda_collect_parameters_from_af, lambda_collect_parameters,
av_for_af_base, av_for_af, build_access_matrix,
lambda_compute_access_matrices): New.
* Makefile.in (lambda-code.o): Depend on pointer-set.h.

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

13 years ago PR testsuite/36057
uros [Tue, 20 May 2008 19:01:46 +0000 (19:01 +0000)]
PR testsuite/36057
* g++.dg/compat/struct-layout-1_generate.c (DG_OPTIONS): Remove.
(const char *dg_options): New array.
(switchfiles): Loop through dg_options array to generate dg-options
directives.  Remove numbered arguments usage from fprintf
format strings.

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

13 years ago2008-05-20 Paolo Carlini <paolo.carlini@oracle.com>
paolo [Tue, 20 May 2008 18:11:34 +0000 (18:11 +0000)]
2008-05-20  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/33979 (partial)
* include/tr1_impl/functional_hash.h (hash<char16_t>,
hash<char32_t>): Add specializations.
* include/tr1_impl/type_traits (is_integral<char16_t>,
is_integral<char32_t>): Likewise.
* include/std/limits (numeric_limits<char16_t>,
numeric_limits<char32_t>): Likewise.
* src/limits_c++0x.cc: Add.
* src/Makefile.am: Update.
* testsuite/20_util/hash/requirements/explicit_instantiation.cc:
* testsuite/20_util/is_integral/value.cc: New.
* testsuite/20_util/is_integral/requirements/typedefs.cc: Likewise.
* testsuite/20_util/is_integral/requirements/
explicit_instantiation.cc: Likewise.
* testsuite/18_support/numeric_limits/char16_32_t.cc: Likewise.
* config/abi/pre/gnu.ver: Export new numeric_limits symbols at
* configure: Regenerate.
* src/Makefile.in: Likewise.
* config.h.in: Likewise.

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

13 years ago * doc/install.texi2html: Generate gcc-vers.texi in $DESTDIR not
jsm28 [Tue, 20 May 2008 16:21:31 +0000 (16:21 +0000)]
* doc/install.texi2html: Generate gcc-vers.texi in $DESTDIR not

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

13 years ago2008-05-20 Jan Sjodin <jan.sjodin@amd.com>
spop [Tue, 20 May 2008 16:05:09 +0000 (16:05 +0000)]
2008-05-20  Jan Sjodin  <jan.sjodin@amd.com>
    Sebastian Pop  <sebastian.pop@amd.com>

PR tree-optimization/36206
* tree-scalar-evolution.c: Remove enum INSERT_SUPERLOOP_CHRECS,
(instantiate_scev_1): Rename flags to fold_conversions.
Do not check for INSERT_SUPERLOOP_CHRECS, keep SSA_NAMEs defined
outeside instantiation_loop.
* tree-chrec.h (evolution_function_is_affine_in_loop): New.
(evolution_function_is_affine_or_constant_p): Removed.
* tree-data-ref.c (dr_analyze_indices): Replace resolve_mixers with
(analyze_siv_subscript): Pass in the loop nest number.
Call evolution_function_is_affine_in_loop instead of
(analyze_overlapping_iterations): Pass in the loop nest number.

* tree-chrec.h (chrec_fold_op): New.
* tree-data-ref.c (initialize_matrix_A): Traverse NOP_EXPR, PLUS_EXPR, and
other trees.

* testsuite/gfortran.dg/pr36206.f: New.

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

13 years ago * c-incpath.c (INO_T_EQ): Do not define on non-inode systems.
nathan [Tue, 20 May 2008 15:22:31 +0000 (15:22 +0000)]
* c-incpath.c (INO_T_EQ): Do not define on non-inode systems.
(DIRS_EQ): New.
(remove_duplicates): Do not set inode on non-inode systems.  Use

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

13 years ago * gnat.dg/gen_disp.ad[sb]: New test.
charlet [Tue, 20 May 2008 14:02:20 +0000 (14:02 +0000)]
* gnat.dg/gen_disp.ad[sb]: New test.
* gnat.dg/specs/empty_variants.ads: Adjust.

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

13 years ago2008-05-20 Sandra Loosemore <sandra@codesourcery.com>
sandra [Tue, 20 May 2008 13:32:47 +0000 (13:32 +0000)]
2008-05-20  Sandra Loosemore  <sandra@codesourcery.com>

* config.gcc (tm_file): Update comments about relative pathnames.

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

13 years agoResync.
charlet [Tue, 20 May 2008 13:03:26 +0000 (13:03 +0000)]

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

13 years agoMinor reformatting.
charlet [Tue, 20 May 2008 13:00:35 +0000 (13:00 +0000)]
Minor reformatting.
Update comments.

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

13 years ago * s-taspri-vxworks.ads (Task_Address, Task_Address_Size): New
charlet [Tue, 20 May 2008 12:59:41 +0000 (12:59 +0000)]
* s-taspri-vxworks.ads (Task_Address, Task_Address_Size): New

* g-socthi-vxworks.ads: Update to latest socket changes.

* a-caldel-vms.adb: Resync with a-caldel spec.

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

13 years ago2008-05-20 Robert Dewar <dewar@adacore.com>
charlet [Tue, 20 May 2008 12:52:53 +0000 (12:52 +0000)]
2008-05-20  Robert Dewar  <dewar@adacore.com>

* g-byorma.adb, gnatlink.adb, prepcomp.adb, sinfo.ads,
sem_ch12.adb: Update comments. Minor reformatting.

* exp_ch2.adb: Typo

* s-unstyp.ads: Fixed some typos in comments.

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

13 years ago2008-05-20 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 20 May 2008 12:52:41 +0000 (12:52 +0000)]
2008-05-20  Ed Schonberg  <schonberg@adacore.com>

* exp_ch7.adb
(Expand_Ctrl_Function_Call): Do not attach result to finalization list
if expression is aggregate component.

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

13 years ago * s-winext.ads: Replace representation clause by pragma Pack. Gives
charlet [Tue, 20 May 2008 12:52:23 +0000 (12:52 +0000)]
* s-winext.ads: Replace representation clause by pragma Pack. Gives
equivalent representation, but has the advantage of allowing
compilation of this file under 64 bits platforms.

* s-os_lib.adb (Normalize_Pathname): Mark Cur_Dir constant.

* s-osinte-irix.ads: (Alternate_Stack_Size): Add dummy declaration.

* adaint.c:
Don't define dummy implementation of convert_addresses on ppc-linux.

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

13 years ago2008-05-20 Bob Duff <duff@adacore.com>
charlet [Tue, 20 May 2008 12:52:09 +0000 (12:52 +0000)]
2008-05-20  Bob Duff  <duff@adacore.com>

* a-rttiev.adb
(Set_Handler): Remove code from both of these that implements
RM-D.15(15/2), because it causes a race condition and potential
(Process_Queued_Events): Add comment explaining "exception when others
=> null". Add clarifying ".all", even though implicit .all is legal

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

13 years ago2008-05-20 Robert Dewar <dewar@adacore.com>
charlet [Tue, 20 May 2008 12:51:51 +0000 (12:51 +0000)]
2008-05-20  Robert Dewar  <dewar@adacore.com>
    Vincent Celier  <celier@adacore.com>

* vms_data.ads: Add entry for -gnatr
Put GNAT SYNC section in proper alpha order
Add VMS qualifier /DISPLAY_PROGRESS equivalent to gnatmake switch -d

* gnat_ugn.texi: Add documentation for new gnatname switch --and
Update the style checks section
Add documentation of -gnatr
Add to the "Adding the Results of Compiler Checks to gnatcheck Output"
subsection the explanation how compiler checks should be disabled for
Update the list of Ada 95 reserved words used by in the project language
Add documentation for project qualifiers.
Document that abstract projects may be extended by different projects in
the same project tree.
Add documentation for gnatmake switch -d

* ug_words: Add -gnatyy VMS equivalence string.
Add entry for -gnatr

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

13 years ago2008-05-20 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 20 May 2008 12:51:40 +0000 (12:51 +0000)]
2008-05-20  Thomas Quinot  <quinot@adacore.com>

* uintp.adb, urealp.adb: Replace calls to Increment_Last + Set with

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

13 years ago2008-05-20 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 20 May 2008 12:51:29 +0000 (12:51 +0000)]
2008-05-20  Ed Schonberg  <schonberg@adacore.com>

* sprint.adb
(Print_Itype): Do not modify the sloc of the component type of a
(packed) array itype, because it is an unrelated type whose source
location is independent of the point of creation of the itype itself.

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

13 years ago2008-05-20 Robert Dewar <dewar@adacore.com>
charlet [Tue, 20 May 2008 12:51:17 +0000 (12:51 +0000)]
2008-05-20  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Resolve_Op_Not): Warn on double negation

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

13 years ago2008-05-20 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 20 May 2008 12:51:06 +0000 (12:51 +0000)]
2008-05-20  Ed Schonberg  <schonberg@adacore.com>

* sem_eval.adb
(Eval_Slice): Warn when a slice whose discrete range is a subtype name
denotes the whole array of its prefix.

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

13 years ago2008-05-20 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 20 May 2008 12:50:52 +0000 (12:50 +0000)]
2008-05-20  Thomas Quinot  <quinot@adacore.com>

* sem_dist.ads, sem_dist.adb (Is_RACW_Stub_Type_Operation): New

* sem_type.adb
(Add_One_Interp): Ignore any interpretation that is a primitive
operation of an RACW stub type (these primitives are only executed
through dispatching, never through static calls).
(Collect_Interps): When only one interpretation has been found, set N's
Entity and Etype to that interpretation, otherwise Entity and Etype may
still refer to an interpretation that was ignored by Add_One_Interp,
in which case would end up with being marked as not overloaded but with
an Entity attribute not pointing to its (unique) correct interpretation.

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

13 years ago2008-05-20 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 20 May 2008 12:50:43 +0000 (12:50 +0000)]
2008-05-20  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb
(Note_Redundant_Use): Diagnose a redundant use within a subprogram body
when there is a use clause for the same entity in the context.
(Analyze_Subprogram_Renaming): A renaming_as_body is legal if it is
created for a stream attribute of an abstract type or interface type.

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

13 years ago2008-05-20 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 20 May 2008 12:50:26 +0000 (12:50 +0000)]
2008-05-20  Ed Schonberg  <schonberg@adacore.com>
    Thomas Quinot  <quinot@adacore.com>

* sem_ch4.adb
(Try_Indexed_Call): Handle properly a construct of the form F(S) where
F is a parameterless function that returns an array, and S is a subtype
(Analyze_Call): Insert dereference when the prefix is a parameterless
function that returns an access to subprogram and the call has
Reject a non-overloaded call whose name resolves to denote
a primitive operation of the stub type generated to support a remote
access-to-class-wide type.

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

13 years ago * Makefile.in (GNATTOOLS2_FILES): Replaced by common-tools target
charlet [Tue, 20 May 2008 12:50:26 +0000 (12:50 +0000)]
* Makefile.in (GNATTOOLS2_FILES): Replaced by common-tools target
in gcc/ada/Makefile.in

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

13 years ago2008-05-20 Javier Miranda <miranda@adacore.com>
charlet [Tue, 20 May 2008 12:50:03 +0000 (12:50 +0000)]
2008-05-20  Javier Miranda  <miranda@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch3.adb
(Analyze_Object_Declaration): Fix over-conservative condition
restricting use of predefined assignment with tagged types that have
convention CPP.
(Analyze_Object_Declaration): Relax the check regarding deferred
constants declared in scopes other than packages since they can be
completed with pragma Import.
Add missing escaping of all-caps word 'CPP' in error messages.
(Build_Discriminated_Subtype): Do not inherit representation clauses
from parent type if subtype already carries them, because they are
inherited earlier during derivation and already include those that may
come from a partial view.

* sem_ch9.adb, sem_ch5.adb, sem_ch6.adb (Analyze_Subprogram_Body):
Check the declarations of a subprogram body for proper deferred
constant completion.

* sem_ch7.ads, sem_ch7.adb
(Inspect_Deferred_Constant_Completion): Moved to sem_util.

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

13 years ago2008-05-20 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 20 May 2008 12:49:41 +0000 (12:49 +0000)]
2008-05-20  Thomas Quinot  <quinot@adacore.com>

* sem_cat.adb
(Set_Categorization_From_Scope): Do not set In_Remote_Types unless in
the visible part of the spec of a remote types unit.
New local subprogram Is_Valid_Remote_Object_Type, replaces
(Validate_RACW_Primitives): Enforce E.2.2(14) rules: the types of all
non-controlling formals (and the return type, even though this is not
explicit in the standard) must support external streaming.
(Validate_RCI_Subprogram_Declaration): Enforce E.2.3(14) rules: same
as above for of RAS types and RCI subprograms. (The return type is not
checked yet).
Update comments related to RACWs designating limited interfaces per
ARG ruling on AI05-060.

* sem_util.ads, sem_util.adb
(Is_Remote_Access_To_Class_Wide_Type): Only rely on Is_Remote_Types and
Is_Remote_Call_Interface to identify RACW types in a stable and
consistent way. We used to rely in this predicate on the privateness of
the designated type and its ancestors, but depending on the currently
visible private parts, this caused false negatives. We now uniformly
rely on checks made at the point where the RACW type is declared.
(Inspect_Deferred_Constant_Completion): Moved from Sem_Ch7.

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

13 years ago2008-05-20 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 20 May 2008 12:49:21 +0000 (12:49 +0000)]
2008-05-20  Ed Schonberg  <schonberg@adacore.com>

* sem_aggr.adb: Update comments.
Improve previous change for PR ada/17985

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

13 years ago * gnat.dg/testint.adb: New test.
charlet [Tue, 20 May 2008 12:49:20 +0000 (12:49 +0000)]
* gnat.dg/testint.adb: New test.
* gnat.dg/modular1.adb: New test.
* gnat.dg/test_iface_aggr.adb: New test.
* gnat.dg/specs/tag2.ads: Adjust.

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

13 years ago2008-05-20 Hristian Kirtchev <kirtchev@adacore.com>
charlet [Tue, 20 May 2008 12:48:30 +0000 (12:48 +0000)]
2008-05-20  Hristian Kirtchev  <kirtchev@adacore.com>

* par-ch9.adb
(P_Protected): Update the error message on missing "-gnat05" switch when
using interfaces in conjunction with protected types. Remove the
incorrect error message associated with the presence of "private" after
a "with".

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

13 years ago2008-05-20 Hristian Kirtchev <kirtchev@adacore.com>
charlet [Tue, 20 May 2008 12:48:03 +0000 (12:48 +0000)]
2008-05-20  Hristian Kirtchev  <kirtchev@adacore.com>

* par-ch3.adb
(P_Access_Definition): Change the error message when parsing "access
all" in Ada 95 mode. The message no longer forces the user to recompile
in 05 mode only to discover that anonymous access types are not allowed
to have "all".

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

13 years ago2008-05-20 Robert Dewar <dewar@adacore.com>
charlet [Tue, 20 May 2008 12:47:49 +0000 (12:47 +0000)]
2008-05-20  Robert Dewar  <dewar@adacore.com>

* opt.ads (Treat_Restrictions_As_Warnings): New switch

* sem_prag.adb, par-prag.adb, restrict.ads: Implement flag

* switch-c.adb: Recognize new switch -gnatr

* usage.adb: Add line for -gnatr

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

13 years ago * Makefile.in
charlet [Tue, 20 May 2008 12:47:34 +0000 (12:47 +0000)]
* Makefile.in
(common-tools): New rule, to avoid parallel build failure on gnat tools.
Reenable parallel builds on this Makefile.

* Make-lang.in: Update dependencies.

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

13 years ago2008-05-20 Tristan Gingold <gingold@adacore.com>
charlet [Tue, 20 May 2008 12:47:13 +0000 (12:47 +0000)]
2008-05-20  Tristan Gingold  <gingold@adacore.com>

* init.c: Enable stack probing on ppc-linux.

* tracebak.c: Add symbolic traceback for ppc-linux.

* system-linux-ppc.ads: Enable stack probing on ppc-linux.

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

13 years ago2008-05-20 Vincent Celier <celier@adacore.com>
charlet [Tue, 20 May 2008 12:47:03 +0000 (12:47 +0000)]
2008-05-20  Vincent Celier  <celier@adacore.com>

* gnatname.adb
(Scan_Args): Rewrite to take into account new switch --and to separate
arguments into sections.
(Gnatname): Call Prj.Makr.Initialize, then Prj.Makr.Process for each
section, then Finalize.

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

13 years ago2008-05-20 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 20 May 2008 12:46:54 +0000 (12:46 +0000)]
2008-05-20  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb
(Freeze_Enumeration_Type): For a subtype that inherits a foreign
convention from its base type, do not set the type to that of integer,
because it may inherit a size clause.
Warn on a size clause with a size different
from that of Integer, if the type has convention C.

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

13 years ago2008-05-20 Kevin Pouget <pouget@adacore.com>
charlet [Tue, 20 May 2008 12:46:42 +0000 (12:46 +0000)]
2008-05-20  Kevin Pouget  <pouget@adacore.com>

* exp_smem.ads, exp_smem.adb: Construction of access and assign
routines has been replaced by an instantiation of
System.Shared_Storage.Shared_Var_Procs generic package, while expanding
shared variable declaration.
Calls to access and assign routines have been replaced by calls to
Read/Write routines of System.Shared_Storage.Shared_Var_Procs
instantiated package.

* rtsfind.ads: RE_Shared_Var_Procs entry has been added in RE_Unit_Table
It identifies the new generic package added in s-shasto.

* s-shasto.adb, s-shasto.ads: A new generic package has been added, it
is instantiated for each shared passive variable. It provides
supporting procedures called upon each read or write access by the
expanded code.

* sem_attr.adb:
For this runtime unit (always compiled in GNAT mode), we allow
stream attributes references for limited types for the case where
shared passive objects are implemented using stream attributes,
which is the default in GNAT's persistent storage implementation.

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

13 years ago2008-05-20 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 20 May 2008 12:46:31 +0000 (12:46 +0000)]
2008-05-20  Thomas Quinot  <quinot@adacore.com>

* exp_dist.adb
(GARLIC_Support.Add_RACW_Read_Attribute): When a zero value is received,
and the RACW is null-excluding, raise CONSTRAINT_ERROR instead of
assigning NULL into the result, to avoid a spurious warning.
(Add_RACW_Features, case Same_Scope): Add assertion that designated type
is not frozen.
(Add_Stub_Type): Set entity flag Is_RACW_Stub_Type on generated stub
(Build_From_Any_Function, Build_To_Any_Function,
Build_TypeCode_Function): For a type that has user-specified stream
attributes, use an opaque sequence of octets as the representation.

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

13 years ago2008-05-20 Javier Miranda <miranda@adacore.com>
charlet [Tue, 20 May 2008 12:46:19 +0000 (12:46 +0000)]
2008-05-20  Javier Miranda  <miranda@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* exp_disp.adb (Make_DT, Make_Secondary_DT, Make_Tags): Avoid
generating dispatch tables of locally defined tagged types statically.
Remove implicit if-statement that is no longer required.
(Expand_Dispatching_Call): If this is a call to an instance of the
generic dispatching constructor, the type of the first argument may be
a subtype of Tag, so always use the base type to recognize this case.

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

13 years ago2008-05-20 Hristian Kirtchev <kirtchev@adacore.com>
charlet [Tue, 20 May 2008 12:46:06 +0000 (12:46 +0000)]
2008-05-20  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch6.adb (Expand_Call): Add guard to ensure that both the parent
and the derived type are of the same kind.
(Expand_Call): Generate type conversions for actuals of
record or array types when the parent and the derived types differ in
size and/or packed status.

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

13 years ago2008-05-20 Vincent Celier <celier@adacore.com>
charlet [Tue, 20 May 2008 12:45:54 +0000 (12:45 +0000)]
2008-05-20  Vincent Celier  <celier@adacore.com>

* prj.adb (Hash (Project_Id)): New function
(Project_Empty): Add new component Interfaces_Defined

* prj.ads (Source_Data): New component Object_Linked
(Language_Config): New components Object_Generated and Objects_Linked
(Hash (Project_Id)): New function
(Source_Data): New Boolean components In_Interfaces and
(Project_Data): New Boolean component Interfaces_Defined

* prj-attr.adb:
New project level attribute Object_Generated and Objects_Linked
Add new project level attribute Interfaces

* prj-dect.adb: Use functions Present and No throughout
(Parse_Variable_Declaration): If a string type is specified as a simple
name and is not found in the current project, look for it also in the
ancestors of the project.

* prj-makr.adb:
Replace procedure Make with procedures Initialize, Process and Finalize
to implement H414-023: process different directories with different
Use functions Present and No throughout

* prj-makr.ads:
Replace procedure Make with procedures Initialize, Process and Finalize

* prj-nmsc.adb
(Add_Source): Set component Object_Exists and Object_Linked accordnig to
the language configuration.
(Process_Project_Level_Array_Attributes): Process new attributes
Object_Generated and Object_Linked.
(Report_No_Sources): New Boolean parameter Continuation, defaulted to
False, to indicate that the erreor/warning is a continuation.
(Check): Call Report_No_Sources with Contnuation = True after the first
(Error_Msg): Process successively contnuation character and warning
(Find_Explicit_Sources): Check that all declared sources have been found
(Check_File): Indicate in hash table Source_Names when a declared source
is found.
(Check_File): Set Other_Part when found
(Find_Explicit_Sources): In multi language mode, check if all exceptions
to the naming scheme have been found. For Ada, report an error if an
exception has not been found. Otherwise, disregard the exception.
(Check_Interfaces): New procedure
(Add_Source): When Other_Part is defined, set mutual pointers in spec
and body.
(Check): In multi-language mode, call Check_Interfaces
(Process_Sources_In_Multi_Language_Mode): Set In_Interfaces to False
for an excluded source.
(Remove_Source): A source replacing a source in the interfaces is also
in the interfaces.

* prj-pars.adb: Use function Present

* prj-part.adb: Use functions Present and No throughout
(Parse_Single_Project): Set the parent project for child projects
(Create_Virtual_Extending_Project): Register project with no qualifier
(Parse_Single_Project): Allow an abstract project to be extend several
times. Do not allow an abstract project to extend a non abstract

* prj-pp.adb: Use functions Present and No throughout
(Print): Take into account the full associative array attribute

* prj-proc.adb: Use functions Present and No throughout
(Expression): Call itself with the same From_Project_Node for the
default value of an external reference.

* prj-strt.adb: Use functions Present and No throughout
(Parse_Variable_Reference): If a variable is specified as a simple name
and is not found in the current project, look for it also in the
ancestors of the project.

* prj-tree.ads, prj-tree.adb (Present): New function
(No): New function
Use functions Present and No throughout
(Parent_Project_Of): New function
(Set_Parent_Project_Of): New procedure

* snames.ads, snames.adb:
Add new standard names Object_Generated and Objects_Linked

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

13 years ago2008-05-20 Ed Schonberg <schonberg@adacore.com>
charlet [Tue, 20 May 2008 12:45:38 +0000 (12:45 +0000)]
2008-05-20  Ed Schonberg  <schonberg@adacore.com>

* exp_ch5.adb (Expand_Assign_Record): Within an initialization
procedure for a derived type retrieve the discriminant values from the
parent using the corresponding discriminant.
(Expand_N_Assignment_Statement): Skip generation of implicit
if-statement associated with controlled types if we are
compiling with restriction No_Finalization.

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

13 years ago2008-05-20 Gary Dismukes <dismukes@adacore.com>
charlet [Tue, 20 May 2008 12:45:27 +0000 (12:45 +0000)]
2008-05-20  Gary Dismukes  <dismukes@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch3.adb
(Expand_N_Object_Declaration): Correct the condition which triggers the
generation of a call to Displace when initializing a class-wide object.
(Build_Dcheck_Functions): Build discriminant-checking for null variants
when Frontend_Layout_On_Target is true to ensure that they're available
for calling when a record variant size function is built in Layout.

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

13 years ago2008-05-20 Javier Miranda <miranda@adacore.com>
charlet [Tue, 20 May 2008 12:45:15 +0000 (12:45 +0000)]
2008-05-20  Javier Miranda  <miranda@adacore.com>

* exp_aggr.adb
(Build_Record_Aggr_Code): Fix wrong tests checking progenitors. Previous
tests did not covered the case in which the type of the aggregate has
no progenitors but some its parents has progenitors.

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

13 years ago2008-05-20 Robert Dewar <dewar@adacore.com>
charlet [Tue, 20 May 2008 12:44:55 +0000 (12:44 +0000)]
2008-05-20  Robert Dewar  <dewar@adacore.com>

PR ada/30740
* einfo.ads, einfo.adb (Non_Binary_Modulus): Applies to all types and
subtypes, always False for non-modular types.
Shared_Var_Assign_Proc (node22) and Shared_Var_Read_Proc (node 15)
entry nodes have been replaced by Shared_Var_Procs_Instance (node22)
for Shared_Storage package.
(Is_RACW_Stub_Type): New entity flag.

* exp_ch4.adb
(Expand_N_Op_Expon): Avoid incorrect optimization of a*(2**b) in the
case where we have a modular type with a non-binary modules.
Comments reformattings.

* sem_intr.adb: Simplify code not that Non_Binary_Modulus applies to
all types.

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

13 years ago2008-05-20 Tristan Gingold <gingold@adacore.com>
charlet [Tue, 20 May 2008 12:44:43 +0000 (12:44 +0000)]
2008-05-20  Tristan Gingold  <gingold@adacore.com>

* decl.c: Do not emit a variable for a object that has an address
representation clause whose value is known at compile time.
When a variable has an address clause whose value is known at compile
time, refer to this variable by using directly the address instead of
dereferencing a pointer.

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

13 years ago2008-05-20 Vincent Celier <celier@adacore.com>
charlet [Tue, 20 May 2008 12:44:33 +0000 (12:44 +0000)]
2008-05-20  Vincent Celier  <celier@adacore.com>

* cstand.adb (Print_Standard): Issue the correct Size clause for type

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

13 years ago2008-05-20 Robert Dewar <dewar@adacore.com>
charlet [Tue, 20 May 2008 12:44:23 +0000 (12:44 +0000)]
2008-05-20  Robert Dewar  <dewar@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>

* checks.adb (Apply_Arithmetic_Overflow_Check): Avoid intermediate
overflow if result converted to wider integer type.
(Apply_Type_Conversion_Checks): Don't emit checks on conversions to
discriminated types when discriminant checks are suppressed.

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

13 years ago2008-05-20 Robert Dewar <dewar@adacore.com>
charlet [Tue, 20 May 2008 12:44:12 +0000 (12:44 +0000)]
2008-05-20  Robert Dewar  <dewar@adacore.com>

* ali.adb: Correct casing of ASCII.NUL

* styleg-c.adb (Check_Identifier): Handle case of names in ASCII

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

13 years ago2008-05-20 Arnaud Charlet <charlet@adacore.com>
charlet [Tue, 20 May 2008 12:43:59 +0000 (12:43 +0000)]
2008-05-20  Arnaud Charlet  <charlet@adacore.com>

* s-linux-hppa.ads (atomic_lock_t): Put back proper alignment now that
the underlying issue with malloc/free has been fixed. Remove associated
Minor reformatting.
Related to PR ada/24533

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

13 years ago2008-05-20 Santiago Uruena <uruena@adacore.com>
charlet [Tue, 20 May 2008 12:43:44 +0000 (12:43 +0000)]
2008-05-20  Santiago Uruena  <uruena@adacore.com>

* i-cobol.ads: Interfaces.COBOL should be preelaborate.

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

13 years ago2008-05-20 Thomas Quinot <quinot@adacore.com>
charlet [Tue, 20 May 2008 12:43:29 +0000 (12:43 +0000)]
2008-05-20  Thomas Quinot  <quinot@adacore.com>

* Makefile.rtl (GNAT.Sockets.Thin_Common): New unit.

* g-sttsne-vxworks.adb: Add missing dependency on Sockets.Constants.
Add missing "with" of Ada.Unchecked_Conversion

* g-soccon-linux-ppc.ads, g-soccon-linux-64.ads, g-soccon-lynxos.ads,
g-soccon-linux-x86.ads, g-soccon-hpux-ia64.ads,
g-soccon-solaris-64.ads, g-soccon-tru64.ads, g-soccon-aix.ads,
g-soccon-irix.ads, g-soccon-hpux.ads, g-soccon-solaris.ads,
g-soccon-vms.ads, g-soccon-mingw.ads, g-soccon-vxworks.ads,
g-socthi-vxworks.adb, g-soccon-freebsd.ads, g-soccon.ads:
Move common code out of GNAT.Sockets.Thin implementations and into
New constant SIZEOF_fd_set
New flag Has_Sockaddr_Len
New constants SIZEOF_sockaddr_in, SIZEOF_sockaddr_in6

* g-stsifd-sockets.adb
(Create): Remove call to Set_Length; use Set_Family to set the family
and (on appropriate platforms) length fields in struct sockaddr.

* g-socthi.adb, g-socthi.ads, g-socthi-vms.ads, g-socthi-vms.adb,
g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi-vxworks.adb,
g-soccon-darwin.ads, g-soccon-darwin.ads: New constant SIZEOF_fd_set
Move common code out of GNAT.Sockets.Thin implementations and into

* g-socket.ads, g-socket.adb:
Move common code out of GNAT.Sockets.Thin implementations and into
(Connect_Socket, Accept_Socket): Provide new versions of these two
routines that operate with a user specified timeout.
(Bind_Socket, Connect_Socket, Send_Socket): Remove calls to Set_Length,
this is now handled automatically by Set_Family on platforms that
require it.

* gen-soccon.c:
Move common code out of GNAT.Sockets.Thin implementations and into
(SIZEOF_sockaddr_in6): On platforms where IPv6 is not supported, define
this constant to 0 (not -1) because we use it to initialize an
unsigned_char value.
Align values for numeric constants only.
Handle the case of systems that do not support AF_INET6.
New constant SIZEOF_fd_set
New flag Has_Sockaddr_Len
New constants SIZEOF_sockaddr_in, SIZEOF_sockaddr_in6

* gsocket.h: New flag Has_Sockaddr_Len
New constants SIZEOF_sockaddr_in, SIZEOF_sockaddr_in6

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

13 years ago2008-05-20 Richard Guenther <rguenther@suse.de>
rguenth [Tue, 20 May 2008 12:34:06 +0000 (12:34 +0000)]
2008-05-20  Richard Guenther  <rguenther@suse.de>

* tree-ssa-reassoc.c (fini_reassoc): Use the statistics
* tree-ssa-sccvn.c (process_scc): Likewise.
* tree-ssa-sink.c (execute_sink_code): Likewise.
* tree-ssa-threadupdate.c (thread_through_all_blocks): Likewise.
* tree-vrp.c (process_assert_insertions): Likewise.
* tree-ssa-dce.c (eliminate_unnecessary_stmts): Likewise.
(perform_tree_ssa_dce): Likewise.
* tree-ssa-dom.c (tree_ssa_dominator_optimize): Likewise.
(dump_dominator_optimization_stats): Likewise.
* tree-vectorizer.c (vectorize_loops): Likewise.

* gcc.dg/tree-ssa/ssa-sink-1.c: Adjust.
* gcc.dg/tree-ssa/ssa-sink-2.c: Likewise.
* gcc.dg/tree-ssa/ssa-sink-3.c: Likewise.
* gcc.dg/tree-ssa/ssa-sink-4.c: Likewise.

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

13 years ago2008-05-20 Sandra Loosemore <sandra@codesourcery.com>
sandra [Tue, 20 May 2008 12:14:02 +0000 (12:14 +0000)]
2008-05-20  Sandra Loosemore  <sandra@codesourcery.com>

* gcc.c-torture/compile/20061214-1.c: New test.

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

13 years agoFinally reverted parts of my escaped patch. (quilt sucks).
ktietz [Tue, 20 May 2008 10:24:43 +0000 (10:24 +0000)]
Finally reverted parts of my escaped patch. (quilt sucks).

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

13 years ago2008-05-20 Kai Tietz <kai.tietz@onevision.com>
ktietz [Tue, 20 May 2008 10:08:42 +0000 (10:08 +0000)]
2008-05-20  Kai Tietz  <kai.tietz@onevision.com>

Reverted escaped patch.

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