* tree-dump.c (dump_enable_all): Rename local variable
ir_type to avoid name conflicts.
* cfgloopmanip.c (lv_adjust_loop_entry_edge): Check for IR_GIMPLE
instead of using ir_type().
* profile.c (tree_register_profile_hooks): Likewise.
* value-prof.c (tree_register_value_prof_hooks): Likewise.
* basic-block.h (struct edge_def): Likewise.
* config/arm/arm.c (legitimize_pic_address): Likewise.
* coretypes.h (ir_type): New enum of all intermediate languages
used in GCC.
* cfghooks.c (ir_type): Rename to...
(current_ir_type): ...this.  Distinguish between cfgrtl and
cfglayout mode when the current IR is RTL.  Return enum ir_type.
* cfghooks.h (ir_type): Replace with current_ir_type prototype.

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

2006-11-03  Paul Brook  <paul@codesourcery.com>

gcc/
* config/arm/arm.c (arm_file_start): New function.
(TARGET_ASM_FILE_START): Define.
(arm_default_cpu): New variable.
(arm_override_options): Set arm_default_cpu.

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

typo

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

* config/mips/mips.h (processor_type): Removed PROCESSOR_24K, add
PROCESSOR_24KC and PROCESSOR_24KF.
* config/mips/mips.c (mips_cpu_info_table): Add processor names
and aliases for 4kec/4kem/4kep/24kec/24kef/24kex/34kc/34kf/34kx.
(mips_rtx_cost_data): Add costs for the 24kc.
* config/mips/mips.md ("cpu"): Remove 24k, add 24kc and 24kf.
* config/mips/24k.md: Remove references to 24k and replace with
uses of 24kc/24kf in the appropriate reservations.
* doc/invoke.texi (MIPS Options): Updated.

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

gcc:

2006-11-03  J"orn Rennecke  <joern.rennecke@st.com>

* config/sh/crt1.asm: Fix #ifdef indent.

2006-11-03  J"orn Rennecke  <joern.rennecke@st.com>
Merged from STMicroelectronics sources:
2006-10-06  Andrew Stubbs  <andrew.stubbs@st.com>
  * config/sh/crt1.asm (vbr_600): Add missing #if.
2006-08-03  J"orn Rennecke  <joern.rennecke@st.com>
  * sh.opt (mfused-madd): New option.
  * sh.md (mac_media, macsf3): Make conditional on TARGET_FMAC.
2006-07-04  Andrew Stubbs  <andrew.stubbs@st.com>
  * config/sh/crt1.asm (vbr_start): Move to new section .test.vbr.
  Remove pointless handler at VBR+0.
  (vbr_200, vbr_300, vbr_500): Remove pointless handler.
  (vbr_600): Save and restore mach and macl, fpul and fpscr and fr0 to
  fr7. Make sure the timer handler is called with the correct FPU
  precision setting, according to the ABI.
2006-06-14  J"orn Rennecke <joern.rennecke@st.com>
  * config/sh/sh.opt (m2a-single, m2a-single-only): Fix Condition.
  * config/sh/sh.h (SUPPORT_SH2A_NOFPU): Fix condition.
  (SUPPORT_SH2A_SINGLE_ONLY, SUPPORT_SH2A_SINGLE_ONLY): Likewise.
2006-06-09  J"orn Rennecke <joern.rennecke@st.com>
  * sh.md (cmpgeusi_t): Change into define_insn_and_split.  Accept
  zero as second operand.
2006-04-28  J"orn Rennecke <joern.rennecke@st.com>
  * config/sh/divtab-sh4-300.c, config/sh/lib1funcs-4-300.asm:
  Fixed some bugs related to negative values, in particular -0
  and overflow at -0x80000000.
  * config/sh/divcost-analysis: Added sh4-300 figures.
2006-04-27  J"orn Rennecke <joern.rennecke@st.com>
  * config/sh/t-sh (MULTILIB_MATCHES): Add -m4-300* / -m4-340 options.
2006-04-26  J"orn Rennecke <joern.rennecke@st.com>
  * config/sh/t-sh (OPT_EXTRA_PARTS): Add libgcc-4-300.a.
  ($(T)div_table-4-300.o, $(T)libgcc-4-300.a): New rules.
  * config/sh/divtab-sh4-300.c, config/sh/lib1funcs-4-300.asm:
New files.
  * config/sh/embed-elf.h (LIBGCC_SPEC): Use -lgcc-4-300 for -m4-300* /
  -m4-340.
2006-04-24  J"orn Rennecke <joern.rennecke@st.com>
  SH4-300 scheduling description & fixes to SH4-[12]00 description:
  * sh.md: New instruction types: fstore, movi8, fpscr_toggle, gp_mac,
  mac_mem, mem_mac, dfp_mul, fp_cmp.
  (insn_class, dfp_comp, any_fp_comp): Update.
  (push_fpul, movsf_ie, fpu_switch, toggle_sz, toggle_pr): Update type.
  (cmpgtsf_t, "cmpeqsf_t, cmpgtsf_t_i4, cmpeqsf_t_i4): Likewise.
  (muldf3_i): Likewise.
  (movsi_i): Split rI08 alternative into two separate alternatives.
  Update type.
  (movsi_ie, movsi_i_lowpart): Likewise.
  (movqi_i): Split ri alternative into two separate alternatives.
  Update type.
  * sh1.md (sh1_load_store, sh1_fp): Update.
  * sh4.md (sh4_store, sh4_mac_gp, fp_arith, fp_double_arith): Update.
  (mac_mem, sh4_fpscr_toggle): New insn_reservations.
  * sh4a.md (sh4a_mov, sh4a_load, sh4a_store, sh4a_fp_arith): Update.
  (sh4a_fp_double_arith): Likewise.
  * sh4-300.md: New file.
  * sh.c (sh_handle_option): Handle m4-300* options.
  (sh_adjust_cost): Fix latency of auto-increments.
  Handle SH4-300 differently than other SH4s.  Check for new insn types.
  * sh.h (OVERRIDE_OPTIONS): Initilize sh_branch_cost if it has not
  been set by an option.
  * sh.opt (m4-300, m4-100-nofpu, m4-200-nofpu): New options.
  (m4-300-nofpu, -m4-340, m4-300-single, m4-300-single-only): Likewise.
  (mbranch-cost=): Likewise.
  * superh.h (STARTFILE_SPEC): Take -m4-340 into account.

  * sh.md (mulsf3): Remove special expansion code.
  (mulsf3_ie): Now a define_insn_and_split.
  (macsf3): Allow for TARGET_SH4.

  * sh.md (cbranchsi4, cbranchdi4, cbranchdi4_i): New patterns.
  * sh.c (prepare_cbranch_operands, expand_cbranchsi4): New functions.
  (expand_cbranchdi4): Likewise.
  (sh_rtx_costs): Give lower cost for certain CONST_INT values and for
  CONST_DOUBLE if the outer code is COMPARE.
  * sh.h (OPTIMIZATION_OPTIONS): If not optimizing for size, set
  TARGET_CBRANCHDI4 and TARGET_EXPAND_CBRANCHDI4.
  (OVERRIDE_OPTIONS): For TARGET_SHMEDIA, clear TARGET_CBRANCHDI4.
  (LEGITIMATE_CONSTANT_P): Also allow DImode and VOIDmode CONST_DOUBLEs.
  Remove redundant fp_{zero,one}_operand checks.
  * sh.opt (mcbranchdi, mexpand-cbranchdi, mcmpeqdi): New options.
  * sh-protos.h (prepare_cbranch_operands, expand_cbranchsi4): Declare.
  (expand_cbranchdi4): Likewise.
2006-04-20  J"orn Rennecke <joern.rennecke@st.com>
  * sh.h (LOCAL_ALIGNMENT): Use DATA_ALIGNMENT.

gcc/testsuite:

2006-11-03  J"orn Rennecke  <joern.rennecke@st.com>

* testsuite/gcc.c-torture/execute/arith-rand-ll.c:
Also test for bogus rest sign.

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

PR libfortran/27895

* intrinsics/reshape_generic.c (reshape_internal): Fix so that it
works correctly for zero-sized arrays.
* m4/reshape.m4: Likewise.
* generated/reshape_r16.c: Regenerate.
* generated/reshape_c4.c: Regenerate.
* generated/reshape_i4.c: Regenerate.
* generated/reshape_c16.c: Regenerate.
* generated/reshape_r10.c: Regenerate.
* generated/reshape_r8.c: Regenerate.
* generated/reshape_c10.c: Regenerate.
* generated/reshape_c8.c: Regenerate.
* generated/reshape_i8.c: Regenerate.
* generated/reshape_i16.c: Regenerate.
* generated/reshape_r4.c: Regenerate.

* gcc/testsuite/gfortran.dg/zero_sized_1.f90: Uncomment checks
for RESHAPE.

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

2006-11-03  Gary Benson  <gbenson@redhat.com>

* java/net/Inet4Address.java
(FAMILY): Renamed to AF_INET.
(<init>, writeReplace): Reflect the above.
* java/net/Inet6Address.java
(FAMILY): Renamed to AF_INET6.
(<init>): Reflect the above.

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

2006-11-03  Gary Benson  <gbenson@redhat.com>

* java/net/InetAddress.java: Removed.
* java/net/natInetAddressNoNet.cc: Likewise.
* java/net/natInetAddressPosix.cc: Likewise.
* java/net/natInetAddressWin32.cc: Likewise.
* java/net/VMInetAddress.java (getLocalHostname,
lookupInaddrAny, getHostByAddr, getHostByName,
aton): Replace glue methods with native ones.
* java/net/natVMInetAddressNoNet.cc: New file.
* java/net/natVMInetAddressPosix.cc: Likewise.
* java/net/natVMInetAddressWin32.cc: Likewise.
* Makefile.am, configure.ac: Reflect the above.
* sources.am, Makefile.in, configure: Rebuilt.

* java/net/natVMNetworkInterfaceWin32.cc
(winsock2GetRealNetworkInterfaces): Create InetAddress
objects using InetAddress.getByAddress.
* gnu/java/net/natPlainSocketImplWin32.cc
(accept, getOption): Likewise.
* gnu/java/net/natPlainDatagramSocketImplWin32.cc
(peekData, receive, getOption): Likewise.

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

* fortran/error.c (show_locus): Remove "In file" from error messages.
* testsuite/lib/gfortran-dg.exp (gfortran-dg-test): Remove expected "In file" from error
messages.

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

* inclhack.def (glibc_c99_inline_1): New.
* inclhack.def (glibc_c99_inline_2): New.
* inclhack.def (glibc_c99_inline_3): New.
* inclhack.def (glibc_c99_inline_4): New.
* fixincl.x: Regenerate.
* tests/base/bits/string2.h: New.
* tests/base/sys/sysmacros.h: New.
* tests/base/sys/stat.h: Update.

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

2006-11-02  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        * doc/md.texi (RS6000 constraints): Document H, Z, a, t, and W
        constraints.

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

* doc/invoke.texi: Fix mfp-trap-mode typo.

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

2006-11-02  Carlos O'Donell  <carlos@codesourcery.com>

gcc/
* config/arm/linux-elf.h (NEED_INDICATE_EXEC_STACK): Define as 1.
* arm.c (arm_file_end): If NEED_INDICATE_EXEC_STACK call
file_end_indicate_exec_stack.
* arm.h [!NEED_INDICATE_EXEC_STACK] (NEED_INIDCATE_EXEC_STACK):
Define as 0.
* lib1funcs.asm [__ELF__ && __linux__]: Emit .note.GNU-stack section
for a non-executable stack.
* crti.asm: Likewise.
* crtn.asm: Likewise.
* libunwind.S: Likewise.

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

* tree-ssa.c (warn_uninit): Use expand_location variables for
locus and declaration locus.

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

Daily bump.

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

PR target/27405
* config/sh/sh.md (cmp{eq,gt,gtu}{si,di}_media): Remove.
(cmpsi{eq,gt,gtu}{si,di}_media): Rename to
cmp{eq,gt,gtu}{si,di}_media.
(*cmpne0si_media): Remove.
(*movsicc_umin): Adjust gen_cmp*_media call.
(unordered): Change the mode of unordered and operands[1] to
SImode.
(seq): Adjust gen_cmp*_media calls.  Make the mode of
a temporary result of compare SImode if needed.  If the mode
of operands[0] is DImode, extend the temporary result to DImode.
(slt, sle, sgt, sge, sgtu, sltu, sleu, sgue, sne): Likewise.
(sunorderd): Change the mode of match_operand and unorderd to
SImode.
(cmpeq{sf,df}_media): Remove.
(cmpsieq{sf,df}_media): Rename to cmpeq{sf,df}_media.
(cmp{gt,ge,un}{sf,df}_media): Change the mode of match_operand
and compare operation to SImode.

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

* obj-c++.dg/const-str-9.mm: Don't run on 64-bit.

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

* g++.old-deja/g++.abi/align.C: Enable for darwin.

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

* doc/install.texi (sparc-sun-solaris2*): Update GMP/MPFR build
instructions.
(sparc64-sun-solaris2*): Likewise.

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

2006-11-02  Paul Brook  <paul@codesourcery.com>

gcc/
* config/arm/arm.c (arm_elf_asm_constructor): Remove ATTRIBUTE_UNUSED
from priority argument.  Use different section for non-default
priority.
* config/arm/elf.h: Remove definition of SUPPORTS_INIT_PRIORITY.

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

2006-11-02  Andreas Tobler  <a.tobler@schweiz.org>

* objc-act.c (objc_finish_file): Remove ifdef clause for OBJCPLUS and
content where we called cp_finish_file.

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

PR other/29639
* except.c (switch_to_exception_section): Do not cache the section
if named sections are supported and HAVE_LD_EH_GC_SECTIONS is defined
and flag_function_sections is set.

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

    * gnu/classpath/jdwp/natVMMethod.cc (getLineTable): Implement.

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

    * jvmti.cc (_Jv_JVMTI_GetLineNumberTable): New function.
        (_Jv_JVMTI_Interface): Define GetLineNumberTable.

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

PR middle-end/29335
* builtins.c (do_mpfr_sincos): New.
(fold_builtin_1): Use it to fold builtin sincos.

testsuite:
* gcc.dg/torture/builtin-math-3.c: Fix semicolons.
(TESTIT_2P, TESTIT_2P_R): New macros.  Test sincos.

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

* config/darwin.h (CPP_SPEC): Handle -pthread, transforming
it into -D_REENTRANT.

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

* configure.ac (HAVE_AS_IX86_DIFF_SECT_DELTA): New test to determine
whether the assembler supports taking the difference of symbols in
different sections.  On x86/Solaris, GAS does but Solaris as doesn't.
* configure: Regenerate.
* config.in: Regenerate.
* config/i386/sol2-10.h (JUMP_TABLES_IN_TEXT_SECTION): Define if
the assembler doesn't support taking the difference of symbols in
different sections, i.e. we're using the native solaris assembler.

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

Daily bump.

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

* doc/invoke.texi: Add cpu_type power6x
(RS/6000 and PowerPC Options): Add -mmfpgpr.
* config.gcc: Add cpu_type power6x.
* configure.ac: Add test for mf{t,f}gpr instructions.
(HAVE_AS_MFPGPR): New.
* config.in: Regenerate.
* configure: Regenerate.
* config/rs6000/aix52.h (ASM_CPU_SPEC): Add power6x.
* config/rs6000/rs6000.md (define_attr "type"): Add insert_dword,
shift,trap,var_shift_rotate,cntlz,exts, var_delayed_compare, mffgpr
and mftgpr attributes.
(define_attr "cpu"): Add power6.
Change instruction sequences to use new attributes.
(floatsidf2,fix_truncdfsi2): use TARGET_MFPGPR.
(fix_truncdfsi2_mfpgpr): New.
(floatsidf_ppc64_mfpgpr): New.
(floatsidf_ppc64): Added !TARGET_MFPGPR condition.
(movdf_hardfloat64_mfpgpr,movdi_mfpgpr): New.
(movdf_hardfloat64): Added !TARGET_MFPGPR condition.
(movdi_internal64): Added !TARGET_MFPGPR and related conditions.
(fix_truncdfsi2): Use gpc_reg_operand constraint.
* config/rs6000/{6xx.md,power4.md,8540.md,603.md,mpc.md,
7xx.md,rios2.md,7450.md,440.md,rios1.md,rs64.md,power5.md,40x.md}:
Add descriptions for insert_dword, shift,trap,var_shift_rotate,
cntlz,exts and var_delayed_compare.
* config/rs6000/rs6000-c.c (rs6000_cpu_cpp_builtins): Define
_ARCH_PWR6X, if features enabled.
* config/rs6000/rs6000.opt (mmfpgpr): New.
* config/rs6000/rs6000.c (rs6000_align_branch_targets): New variable.
(cached_can_issue_more): New variable.
(processor_costs): Add power6_cost.
(rs6000_sched_init): New function.
(is_dispatch_slot_restricted): Deleted.
(set_to_load_agen): New function.
(is_load_insn,is_store_insn): New functions.
(adjacent_mem_locations): New function.
(insn_must_be_first_in_group): New function.
(insn_must_be_last_in_group): New function.
(rs6000_sched_reorder): New function.
(rs6000_sched_reorder2): New function.
(TARGET_SCHED_INIT,TARGET_SCHED_REORDER,
TARGET_SCHED_REORDER2): Define.
(processor_target_table): Use PROCESSOR_POWER6 for power6.
Add power6x. Add MASK_MFPGPR for power6x.
(POWERPC_MASKS): Add MASK_MFPGPR.
(rs6000_override_options): Set rs6000_always_hint to false
for power6.  Set rs6000_align_branch_targets. Replace
rs6000_sched_groups check with rs6000_align_branch_targets.
Use PROCESSOR_POWER6.
(last_scheduled_insn): New variable.
(load_store_pendulum): New variable.
(rs6000_variable_issue): Set last_scheduled_insn and
cached_can_issue_more.
(rs6000_adjust_cost): Add power6 cost adjustments.
(rs6000_adjust_priority): Replace is_dispatch_slot_restricted
with insn_must_be_first_in_group. Add power6 priority adjustments.
(rs6000_issue_rate): Add CPU_POWER6.
(insn_terminates_group_p): Use insn_must_be_{first,last}_in_group.
* config/rs6000/rs6000.h (processor_type): Add PROCESSOR_POWER6.
(TARGET_MFPGPR): New.
(SECONDARY_MEMORY_NEEDED): Use TARGET_MFPGPR.
(ASM_CPU_SPEC): Add power6x.
(SECONDARY_MEMORY_NEEDED): Added mode!=DFmode and mode!=DImode
conditions.
* config/rs6000/power6.md: New file.

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

* gcc.dg/fold-mod-1.c: Match the leading 0x for the
hexadecimal value.
* gcc.dg/tree-prof/val-prof-2.c: Likewise.
* gcc.dg/pr14796-2.c: Likewise.

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

* tree-pretty-print.c (dump_generic_node) <INTEGER_CST>: Use
HOST_WIDE_INT_PRINT to print high and low parts.  Use
HOST_BITS_PER_WIDE_INT for the width of HOST_WIDE_INT.  When
printing a hexadecimal number prefix it with 0x.

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

2006-11-01  Chris Johns <chris@contemporary.net.au>

        PR bootstrap/28400
        * Makefile.in (install-driver): Use exeext when installing
        $target-gcc-$version.

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

    * gnu/gcj/jvmti/Location.java: New file.
        * gnu/gcj/jvmti/BreakpointManager.java: New file.
        * jvmti.cc (_Jv_JVMTI_SetBreakpoint): New function.
        (_Jv_JVMTI_ClearBreakpoint): New function.
        (_Jv_JVMTI_Interface): Define SetBreakpoint and ClearBreakpoint.
        * sources.am: Regenerated.
        * Makefile.in: Regenerated.

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

2006-11-01 Douglas Gregor <doug.gregor@gmail.com>

* c-common.c (flag_cpp0x): New.
* c-common.h (flag_cpp0x): New.
* c-cppbuiltin.c (c_cpp_builtins): If C++0x extensions are
supported, define __GXX_EXPERIMENTAL_CPP0X__.
* c-opts.c (set_std_cxx0x): New.
(c_common_handle_option): Handle -std=c++0x, -std=gnu++0x.
* c.opt (std=c++0x): Document.
(std=gnu++0x): Ditto.
* doc/cpp.texi: Document __GXX_EXPERIMENTAL_CPP0X__.
* doc/invoke.texi: Document -std=c++0x, -std=gnu++0x.

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

2006-11-01 Douglas Gregor <doug.gregor@gmail.com>

* c-common.c (flag_cpp0x): New.
* c-common.h (flag_cpp0x): New.
* c-cppbuiltin.c (c_cpp_builtins): If C++0x extensions are
supported, define __GXX_EXPERIMENTAL_CPP0X__.
* c-opts.c (set_std_cxx0x): New.
(c_common_handle_option): Handle -std=c++0x, -std=gnu++0x.
* c.opt (std=c++0x): Document.
(std=gnu++0x): Ditto.
* doc/cpp.texi: Document __GXX_EXPERIMENTAL_CPP0X__.
* doc/invoke.texi: Document -std=c++0x, -std=gnu++0x.

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

2006-11-01 Douglas Gregor <doug.gregor@gmail.com>

* include/cpplib.h (enum c_lang): Add CLK_GNUCXX0X and CLK_CXX0X
for experimental C++0x mode.
* init.c (lang_defaults): Add defaults for C++0x modes. C++0x has
adopted the preprocessor changes introduced in C99.

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

* tests/base/sys/socket.h: Update.

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

* gcc.c-torture/execute/20061101-1.c: New test.

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

Fix asm string.

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

2006-11-01  Richard Guenther  <rguenther@suse.de>

* config/i386/i386.c (ix86_expand_rint): Fix issues with
signed zeros.
(ix86_expand_floorceildf_32): Likewise.
(ix86_expand_floorceil): Likewise.
(ix86_expand_trunc): Likewise.

* testsuite/gcc.target/i386/fpprec-1.c: New testcase.

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

2006-10-31  Andrew Pinski  <pinskia@gmail.com>

        * doc/invoke.texi (-fkeep-inline-functions): Change "GNU C"
        to "GNU C89".

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

* target.h (targetm.cxx.use_atexit_for_cxa_atexit): New target
hook.
* target-def.h: (TARGET_CXX_USE_ATEXIT_FOR_CXA_ATEXIT): Define
default.
* config/i386/mingw32.h (TARGET_CXX_USE_ATEXIT_FOR_CXA_ATEXIT):
Override default.
* doc/tm.texi (TARGET_CXX_USE_ATEXIT_FOR_CXA_ATEXIT): Document.
* configure.ac (use_cxa_atexit): As a special case, don't test
for libc definition of __cxa_atexit on mingw32
* configure: Regenerate.
* config.gcc (i[34567]86-pc-mingw32): Default to
enable__cxa_atexit=yes.

cp

* decl.c (get_atexit_node): Reference atexit, not __cxa_exit.
if targetm.cxx.use_atexit_for cxa_atexit.
(start_cleanup_fn): Likewise.
(register_dtor_fn): Likewise.

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

Fix date on ChangeLog entry

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

* builtins.def (gamma, lgamma): Use ATTR_MATHFN_FPROUNDING_STORE.

testsuite:
* gcc.dg/torture/builtin-attr-1.c: Don't test gamma/lgamma.
* gcc.dg/torture/builtin-convert-1.c: Don't test lgamma.

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

In gcc/:
PR 23067
* c-decl.c (start_struct): Don't create self-containing
structures.
* config/rs6000/rs6000.c (darwin_rs6000_special_round_type_align):
New.
* config/rs6000/rs6000-protos.h
(darwin_rs6000_special_round_type_align): New.
* config/rs6000/darwin.h (ADJUST_FIELD_ALIGN): Rewrite.
(ROUND_TYPE_ALIGN): Use darwin_rs6000_special_round_type_align.
In gcc/testsuite/:
PR 23067
* gcc.target/powerpc/darwin-abi-3.c: Remove XFAIL.
* gcc.target/powerpc/darwin-abi-6.c: Remove XFAIL.
* gcc.target/powerpc/darwin-abi-7.c: Remove XFAIL.
* gcc.target/powerpc/darwin-abi-8.c: Remove XFAIL.
* gcc.target/powerpc/darwin-abi-9.c: Remove XFAIL.
* gcc.target/powerpc/darwin-abi-10.c: Remove XFAIL.
* gcc.target/powerpc/darwin-abi-11.c: Remove XFAIL.
In libobjc/:
* encoding.c (darwin_rs6000_special_round_type_align): New.
In libffi/:
* src/powerpc/ffi_darwin.c (darwin_adjust_aggregate_sizes): New.
(ffi_prep_cif_machdep): Call darwin_adjust_aggregate_sizes for
Darwin.
* testsuite/libffi.call/nested_struct4.c: Remove Darwin XFAIL.
* testsuite/libffi.call/nested_struct6.c: Remove Darwin XFAIL.

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

2006-10-31  Eric Christopher  <echristo@apple.com>
    Falk Hueffner  <falk@debian.org>

* gcc.dg/builtin-bswap-1.c: New.
* gcc.dg/builtin-bswap-2.c: New.
* gcc.dg/builtin-bswap-3.c: New.
* gcc.dg/builtin-bswap-4.c: New.
* gcc.dg/builtin-bswap-5.c: New.
* gcc.target/i386/builtin-bswap-1.c: New.

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

Add missing genopinit.c change for revision 118361.

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

In gcc/:
* toplev.c (compile_file): Call final_write_globals
even if there have been errors.
In gcc/cp/:
* decl2.c (cp_write_global_declarations): Rename from
cp_finish_file.
* cp-lang.c (finish_file): Don't call cp_finish_file.
* cp-tree.h (cp_write_global_declarations): Rename from
cp_finish_file.
* cp-objcp-common.h (LANG_HOOKS_WRITE_GLOBALS): Define to
cp_write_global_declarations.

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

2006-09-07  Eric Christopher  <echristo@apple.com>
    Falk Hueffner  <falk@debian.org>

* doc/extend.texi (__builtin_bswap32): Document.
(__builtin_bswap64): Ditto.
* doc/libgcc.texi (bswapsi2): Document.
(bswapdi2): Ditto.
* doc/rtl.texi (bswap): Document.
* optabs.c (expand_unop): Don't widen a bswap.
(init_optabs): Init bswap. Set libfuncs explicitly
for bswapsi2 and bswapdi2.
* optabs.h (OTI_bswap): New.
(bswap_optab): Ditto.
* genopinit.c (optabs): Handle bswap_optab.
* tree.h (tree_index): Add TI_UINT32_TYPE and
TI_UINT64_TYPE.
(uint32_type_node): New.
(uint64_type_node): Ditto.
* tree.c (build_common_tree_nodes_2): Initialize
uint32_type_node and uint64_type_node.
* builtins.c (expand_builtin_bswap): New.
(expand_builtin): Call.
(fold_builtin_bswap): New.
(fold_builtin_1): Call.
* fold-const.c (tree_expr_nonnegative_p): Return true
for bswap.
* builtin-types.def (BT_UINT32): New.
(BT_UINT64): Ditto.
(BT_FN_UINT32_UINT32): Ditto.
(BT_FN_UINT64_UINT64): Ditto.
* builtins.def (BUILT_IN_BSWAP32): New.
(BUILT_IN_BSWAP64): Ditto.
* rtl.def (BSWAP): New.
* genattrtab.c (check_attr_value): New.
* libgcc2.c (__bswapSI2): New.
(__bswapDI2): Ditto.
* libgcc2.h (__bswapSI2): Declare.
(__bswapDI2): Ditto.
* mklibgcc.in (lib2funcs): Add _bswapsi2 and _bswapdi2.
* simplify-rtx.c (simplify_const_unary_operation): Return
0 for BSWAP.
* libgcc-std.ver (__bwapsi2): Add.
(__bswapdi2): Ditto.
* reload1.c (eliminate_regs_1): Add bswap.
(elimination_effects): Ditto.
* config/i386/i386.h (x86_bswap): New.
(TARGET_BSWAP): Use.
* config/i386/i386.c (x86_bswap): Set.

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

In gcc/:
* coverage.c (coverage_checksum_string): Update comment.
* dwarf2out.c (switch_to_eh_frame_section): Update for removal
of get_file_function_name.
* cgraphunit.c (cgraph_build_static_cdtor): Update for rename
of get_file_function_name_long.
* tree.c (get_file_function_name): Rename from
get_file_function_name_long; improve comment; handle 'I' and 'D'
specially when the target has ctor/dtor support; remove special
handling for 'F'.
(get_file_function_name): Remove.
* tree.h (get_file_function_name): Rename from
        get_file_function_name_long.
(get_file_function_name): Remove prototype.
In gcc/cp/:
* name-lookup.c (get_anonymous_namespace_name): New.
(push_namespace_with_attribs): Use get_anonymous_namespace_name.
* decl2.c (start_objects): Update for rename of
get_file_function_name_long.
In gcc/fortran/:
* trans-decl.c (gfc_generate_constructors): Update for removal
of get_file_function_name.

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

* config/i386/darwin.h (PREFERRED_DEBUGGING_TYPE): Remove.
* config/darwin.h (PREFERRED_DEBUGGING_TYPE): Set to DWARF2_DEBUG.

* config/darwin.h (LINK_COMMAND_SPEC): Don't do weird things with -@.
Call dsymutil when compiling and linking one or more source files
in one step.

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

PR 15834
* config/darwin.h (NO_IMPLICIT_EXTERN_C): Define.

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

* c-decl.c (grokdeclarator): Don't set DECL_EXTERNAL on
inline static functions in c99 mode.

PR 16622
* doc/extend.texi (Inline): Update.
* c-tree.h (struct language_function): Remove field 'extern_inline'.
* c-decl.c (current_extern_inline): Delete.
(pop_scope): Adjust test for an undefined nested function.
Add warning about undeclared inline function.
(diagnose_mismatched_decls): Update comments.  Disallow overriding
of inline functions in a translation unit in C99.  Allow inline
declarations in C99 at any time.
(merge_decls): Boolize variables.  Handle C99 'extern inline'
semantics.
(grokdeclarator): Set DECL_EXTERNAL here for functions.  Handle
C99 inline semantics.
(start_function): Don't clear current_extern_inline.  Don't set
DECL_EXTERNAL.
(c_push_function_context): Don't push current_extern_inline.
(c_pop_function_context): Don't restore current_extern_inline.

PR 11377
* c-typeck.c (build_external_ref): Warn about static variables
used in extern inline functions.
* c-decl.c (start_decl): Warn about static variables declared
in extern inline functions.

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

* c-decl.c (grokdeclarator): Don't set DECL_EXTERNAL on
inline static functions in c99 mode.

PR 16622
* doc/extend.texi (Inline): Update.
* c-tree.h (struct language_function): Remove field 'extern_inline'.
* c-decl.c (current_extern_inline): Delete.
(pop_scope): Adjust test for an undefined nested function.
Add warning about undeclared inline function.
(diagnose_mismatched_decls): Update comments.  Disallow overriding
of inline functions in a translation unit in C99.  Allow inline
declarations in C99 at any time.
(merge_decls): Boolize variables.  Handle C99 'extern inline'
semantics.
(grokdeclarator): Set DECL_EXTERNAL here for functions.  Handle
C99 inline semantics.
(start_function): Don't clear current_extern_inline.  Don't set
DECL_EXTERNAL.
(c_push_function_context): Don't push current_extern_inline.
(c_pop_function_context): Don't restore current_extern_inline.

PR 11377
* c-typeck.c (build_external_ref): Warn about static variables
used in extern inline functions.
* c-decl.c (start_decl): Warn about static variables declared
in extern inline functions.

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

PR middle-end/23470
* tree.h (tree_expr_nonnegative_p): Return "bool" instead of "int".
* fold-const.c (tree_expr_nonnegative_p): Likewise.  Consider
pow(x,y) and powi(x,y) to be nonnegative if either x is nonnegative
or y is an even integer.

* gcc.dg/pr23470-1.c: New test case.

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

Daily bump.

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

fortran/ChangeLog:
2006-11-01  Bernhard Fischer  <aldot@gcc.gnu.org>

        PR fortran/29537
        * trans-common.c (gfc_trans_common): If the blank common is
        in a procedure or program without a name then proc_name is null, so use
        the locus of the common.
        (gfc_sym_mangled_common_id): Fix whitespace.
        * match.c (gfc_match_common): Emit warning about blank common in
        block data.

testsuite/ChangeLog:
2006-11-01  Bernhard Fischer  <aldot@gcc.gnu.org>

        PR fortran/29537
        * gfortran.dg/blockdata_1.f90: Add warning about blank common in block
data.
        * gfortran.dg/blockdata_2.f90: New testcase.

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

    * gcc.c-torture/execute/20061031-1.c: New test.

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

* inclhack.def (hpux11_extern_sendfile): New.
(hpux11_extern_sendpath): New.
* fixincl.x: Regenerate.

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

2006-10-31  Thomas Koenig  <Thomas.Koenig@online.de>

PR libfortran/29627
* libgfortran.h: Add ERROR_SHORT_RECORD
* runtime/error.c (translate_error): Add case
for ERROR_SHORT_RECORD.
* io/transfer.c (read_block_direct):  Separate codepaths
for stream and record unformatted I/O.  Remove unneeded
tests for standard input, padding and formatted I/O.
If the record is short, read in as much data as possible,
then raise the error.

2006-10-31  Thomas Koenig  <Thomas.Koenig@online.de>

PR libfortran/29627
* gfortran.dg/unf_short_record_1.f90:  New test.

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

Fix typo.

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

* ChangeLog: Forgotten ChangeLog entry for previous commit.

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

PR fortran/29067

* decl.c (gfc_set_constant_character_len): NULL-terminate the
character constant string.
* data.c (create_character_intializer): Likewise.
* expr.c (gfc_simplify_expr): NULL-terminate the substring
character constant.
* primary.c (match_hollerith_constant): NULL-terminate the
character constant string.

* gfortran.dg/pr29067.f: New test.

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

Resync.

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

2006-10-31  Joseph Myers  <joseph@codesourcery.com>
            Richard Sandiford  <richard@codesourcery.com>

* lib/target-supports.exp (get_compiler_messages): Append options
as a single list element.
(check_effective_target_arm_vfp_ok): New.
* gcc.dg/arm-vfp1.c: Use arm_vfp_ok.

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

Resync.

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

Add new Ada test cases.

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

2006-10-31  Eric Botcazou  <ebotcazou@adacore.com>
    Nicolas Setton  <setton@adacore.com>
    Olivier Hainque  <hainque@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>

* gigi.h: (tree_code_for_record_type): Declare.
(add_global_renaming_pointer): Rename to record_global_renaming_pointer.
(get_global_renaming_pointers): Rename to
invalidate_global_renaming_pointers.
(static_ctors): Delete.
(static_dtors): Likewise.
(gnat_write_global_declarations): Declare.
(create_var_decl): Adjust descriptive comment to indicate that the
subprogram may return a CONST_DECL node.
(create_true_var_decl): Declare new function, similar to
create_var_decl but forcing the creation of a VAR_DECL node.
(get_global_renaming_pointers): Declare.
(add_global_renaming_pointer): Likewise.

* ada-tree.h (DECL_READONLY_ONCE_ELAB): New macro.

* decl.c (gnat_to_gnu_entity) <case E_Function>: Don't copy the type
tree before setting TREE_ADDRESSABLE for by-reference return mechanism
processing.
(gnat_to_gnu_entity): Remove From_With_Type from computation for
imported_p.
<E_Access_Type>: Use the Non_Limited_View as the full view of the
designated type if the pointer comes from a limited_with clause.  Make
incomplete designated type if it is in the main unit and has a freeze
node.
<E_Incomplete_Type>: Rework to treat Non_Limited_View, Full_View, and
Underlying_Full_View similarly.  Return earlier if the full view already
has an associated tree.
(gnat_to_gnu_entity) <E_Record_Type>: Restore comment.
(gnat_to_gnu_entity) <E_Record_Type>: Do not use a dummy type.
(gnat_to_gnu_entity) <E_Variable>: Set TYPE_REF_CAN_ALIAS_ALL on the
reference type built for objects with an address clause.
Use create_true_var_decl with const_flag set for
DECL_CONST_CORRESPONDING_VARs, ensuring a VAR_DECL is created with
TREE_READONLY set.
(gnat_to_gnu_entity, case E_Enumeration_Type): Set TYPE_NAME
for Character and Wide_Character types. This info is read by the
dwarf-2 writer, and is needed to be able to use the command "ptype
character" in the debugger.
(gnat_to_gnu_entity): When generating a type representing
a Character or Wide_Character type, set the flag TYPE_STRING_FLAG,
so that debug writers can distinguish it from ordinary integers.
(elaborate_expression_1): Test the DECL_READONLY_ONCE_ELAB flag in
addition to TREE_READONLY to assert the constantness of variables for
elaboration purposes.
(gnat_to_gnu_entity, subprogram cases): Change loops on formal
parameters to call new Einfo function First_Formal_With_Extras.
(gnat_to_gnu_entity): In type_annotate mode, replace a discriminant of a
protected type with its corresponding discriminant, to obtain a usable
declaration
(gnat_to_gnu_entity) <E_Access_Protected_Subprogram_Type>: Be prepared
for a multiple elaboration of the "equivalent" type.
(gnat_to_gnu_entity): Adjust for renaming of add_global_renaming_pointer
into record_global_renaming_pointer.
(gnat_to_gnu_entity) <E_Array_Type>: Do not force
TYPE_NONALIASED_COMPONENT to 0 if the element type is an aggregate.
<E_Array_Subtype>: Likewise.
(gnat_to_gnu_entity) <E_Incomplete_Subtype>: Add support for regular
incomplete subtypes and incomplete subtypes of incomplete types visible
through a limited with clause.
(gnat_to_gnu_entity) <E_Array_Subtype>: Take into account the bounds of
the base index type for the maximum size of the array only if they are
constant.
(gnat_to_gnu_entity, renaming object case): Do not wrap up the
expression into a SAVE_EXPR if stabilization failed.

* utils.c (create_subprog_decl): Turn TREE_ADDRESSABLE on the type of
a result decl into DECL_BY_REFERENCE on this decl, now what is expected
by lower level compilation passes.
(gnat_genericize): New function, lowering a function body to GENERIC.
Turn the type of RESULT_DECL into a real reference type if the decl
has been marked DECL_BY_REFERENCE, and adjust references to the latter
accordingly.
(gnat_genericize_r): New function. Tree walking callback for
gnat_genericize.
(convert_from_reference, is_byref_result): New functions. Helpers for
gnat_genericize_r.
(create_type_decl): Call gnat_pushdecl before calling
rest_of_decl_compilation, to make sure that field TYPE_NAME of
type_decl is properly set before calling the debug information writers.
(write_record_type_debug_info): The heuristics which compute the
alignment of a field in a variant record might not be accurate. Add a
safety test to make sure no alignment is set to a smaller value than
the alignment of the field type.
(make_dummy_type): Use the Non_Limited_View as the underlying type if
the type comes from a limited_with clause. Do not loop on the full view.
(GET_GNU_TREE, SET_GNU_TREE, PRESENT_GNU_TREE): New macros.
(dummy_node_table): New global variable, moved from decl.c.
(GET_DUMMY_NODE, SET_DUMMY_NODE, PRESENT_DUMMY_NODE): New macros.
(save_gnu_tree): Use above macros.
(get_gnu_tree): Likewise.
(present_gnu_tree): Likewise.
(init_dummy_type): New function, moved from decl.c. Use above macros.
(make_dummy_type): Likewise.
(tree_code_for_record_type): New function extracted from make_dummy_type
(init_gigi_decls): Set DECL_IS_MALLOC on gnat_malloc.
(static_ctors): Change it to a vector, make static.
(static_dtors): Likewise.
(end_subprog_body): Adjust for above change.
(build_global_cdtor): Moved from trans.c.
(gnat_write_global_declarations): Emit global constructor and
destructor, and call cgraph_optimize before emitting debug info for
global declarations.
(global_decls): New global variable.
(gnat_pushdecl): Store the global declarations in global_decls, for
later use.
(gnat_write_global_declarations): Emit debug information for global
 declarations.
(create_var_decl_1): Former create_var_decl, with an extra argument to
 state whether the creation of a CONST_DECL is allowed.
(create_var_decl): Behavior unchanged. Now a wrapper around
create_var_decl_1 allowing CONST_DECL creation.
(create_true_var_decl): New function, similar to create_var_decl but
forcing the creation of a VAR_DECL node (CONST_DECL not allowed).
(create_field_decl): Do not always mark the field as addressable
if its type is an aggregate.
(global_renaming_pointers): New static variable.
(add_global_renaming_pointer): New function.
(get_global_renaming_pointers): Likewise.

* misc.c (gnat_dwarf_name): New function.
(LANG_HOOKS_DWARF_NAME): Define to gnat_dwarf_name.
(gnat_post_options): Add comment about structural alias analysis.
(gnat_parse_file): Do not call cgraph_optimize here.
(LANG_HOOKS_WRITE_GLOBALS): Define to gnat_write_global_declarations.

* trans.c (process_freeze_entity): Don't abort if we already have a
non dummy GCC tree for a Concurrent_Record_Type, as it might
legitimately have been elaborated while processing the associated
Concurrent_Type prior to this explicit freeze node.
(Identifier_to_gnu): Do not make a variable referenced in a SJLJ
exception handler volatile if it is of variable size.
(process_type): Remove bypass for types coming from a limited_with
clause.
(call_to_gnu): When processing the copy-out of a N_Type_Conversion GNAT
actual, convert the corresponding gnu_actual to the real destination
type when necessary.
(add_decl_expr): Set the DECL_READONLY_ONCE_ELAB flag on variables
originally TREE_READONLY but whose elaboration cannot be performed
statically.
Part of fix for F504-021.
(tree_transform, subprogram cases): Change loops on formal parameters to
call new Einfo function First_Formal_With_Extras.
(gnat_to_gnu) <N_Op_Shift_Right_Arithmetic>: Ignore constant overflow
stemming from type conversion for the lhs.
(Attribute_to_gnu) <Attr_Alignment>: Also divide the alignment by the
number of bits per unit for components of records.
(gnat_to_gnu) <N_Code_Statement>: Mark operands addressable if needed.
(Handled_Sequence_Of_Statements_to_gnu): Register the cleanup associated
with At_End_Proc after the SJLJ EH cleanup.
(Compilation_Unit_to_gnu): Call elaborate_all_entities only on the main
compilation unit.
(elaborate_all_entities): Do not retest type_annotate_only.
(tree_transform) <N_Abstract_Subprogram_Declaration>: Process the
result type of an abstract subprogram, which may be an itype associated
with an anonymous access result (related to AI-318-02).
(build_global_cdtor): Move to utils.c.
(Case_Statement_to_gnu): Avoid adding the choice of a when statement if
this choice is not a null tree nor an integer constant.
(gigi): Run unshare_save_expr via walk_tree_without_duplicates
on the body of elaboration routines instead of mark_unvisited.
(add_stmt): Do not mark the tree.
(add_decl_expr): Tweak comment.
(mark_unvisited): Delete.
(unshare_save_expr): New static function.
(call_to_gnu): Issue an error when making a temporary around a
procedure call because of non-addressable actual parameter if the
type of the formal is by_reference.
(Compilation_Unit_to_gnu): Invalidate the global renaming pointers
after building the elaboration routine.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>
    Thomas Quinot  <quinot@adacore.com>
    Arnaud Charlet  <charlet@adacore.com>

* fmap.adb: Put routines in alpha order

* g-boumai.ads: Remove redundant 'in' keywords

* g-cgi.adb: Minor reformatting

* g-cgi.ads: Remove redundant 'in' keywords

* get_targ.adb: Put routines in alpha order

* prj-attr.ads: Minor reformatting

* s-atacco.ads: Minor reformatting

* scn.adb: Put routines in alpha order

* sinput-l.adb: Minor comment fix

* sinput-p.adb: Minor comment fix

* s-maccod.ads: Minor reformatting

* s-memory.adb: Minor reformatting

* s-htable.adb: Fix typo in comment.

* s-secsta.adb: Minor comment update.

* s-soflin.adb: Minor reformatting

* s-stoele.ads:
Add comment about odd qualification in Storage_Offset declaration

* s-strxdr.adb:
Remove unnecessary 'in' keywords for formal parameters.

* treeprs.adt: Minor reformatting

* urealp.adb: Put routines in alpha order

* s-wchcon.ads, s-wchcon.adb (Get_WC_Encoding_Method): New version
taking string.

* s-asthan-vms-alpha.adb: Remove redundant 'in' keywords

* g-trasym-vms-ia64.adb: Remove redundant 'in' keywords

* env.c (__gnat_unsetenv): Unsetenv is unavailable on LynxOS, so
workaround as on other platforms.

* g-eacodu-vms.adb: Remove redundant 'in' keywords
* g-expect-vms.adb: Remove redundant 'in' keywords

* gnatdll.adb (Add_Files_From_List): Handle Name_Error and report a
clear error message if the list-of-files file cannot be opened.

* g-thread.adb (Unregister_Thread_Id): Add use type Thread_Id so the
equality operator is always visible.

* lang.opt: Woverlength-strings: New option.

* nmake.adt:
Update copyright, since nmake.ads and nmake.adb have changed.

* osint-b.ads, osint-b.adb (Time_From_Last_Bind): removed function .
(Binder_Output_Time_Stamps_Set): removed.
(Old_Binder_Output_Time_Stamp): idem.
(New_Binder_Output_Time_Stamp): idem.
(Recording_Time_From_Last_Bind): idem.
(Recording_Time_From_Last_Bind): Make constant.

* output.ads, output.adb (Write_Str): Allow LF characters
(Write_Spaces): New procedure

* prepcomp.adb (Preproc_Data_Table): Change Increment from 5% to 100%

* inline.adb: Minor reformatting

* s-asthan-vms-alpha.adb: Remove redundant 'in' keywords

* s-mastop-vms.adb: Remove redundant 'in' keywords

* s-osprim-vms.adb: Remove redundant 'in' keywords

* s-trafor-default.adb: Remove redundant 'in' keywords

* 9drpc.adb: Remove redundant 'in' keywords

* s-osinte-mingw.ads: Minor reformatting

* s-inmaop-posix.adb: Minor reformatting

* a-direio.ads: Remove quotes from Compile_Time_Warning message

* a-exexda.adb: Minor code reorganization

* a-filico.adb: Minor reformatting

* a-finali.adb: Minor reformatting

* a-nudira.ads: Remove quote from Compile_Time_Warning message

* a-numeri.ads: Minor reformatting

* a-sequio.ads: Remove quotes from Compile_Time_Warning message

* exp_pakd.ads: Fix obsolete comment

* a-ztenau.adb, a-ztenio.adb, a-wtenau.adb, a-tienau.adb,
a-wtenio.adb (Put): Avoid assuming low bound of string is 1.
Probably not a bug, but certainly neater and more efficient.

* a-tienio.adb: Minor reformatting

* comperr.adb (Compiler_Abort): Call Cancel_Special_Output at start
Avoid assuming low bound of string is 1.

* gnatbind.adb: Change Bindusg to package and rename procedure as
Display, which now ensures that it only outputs usage information once.
(Scan_Bind_Arg): Avoid assuming low bound of string is 1.

* g-pehage.adb (Build_Identical_Keysets): Replace use of 1 by
Table'First.

* g-regpat.adb (Insert_Operator): Add pragma Warnings (Off) to kill
warning.
(Match): Add pragma Assert to ensure that Matches'First is zero

* g-regpat.ads (Match): Document that Matches lower bound must be zero

* makeutl.adb (Is_External_Assignment): Add pragma Assert's to check
documented preconditions (also kills warnings about bad indexes).

* mdll.adb (Build_Dynamic_Library): Avoid assumption that Afiles'First
is 1.
(Build_Import_Library): Ditto;

* mdll-utl.adb: (Gnatbind): Avoid assumption that Alis'First = 1

* rtsfind.adb (RTE_Error_Msg): Avoid assuming low bound of string is 1.

* sem_case.adb (Analyze_Choices): Add pragma Assert to check that
lower bound of choice table is 1.

* sem_case.ads (Analyze_Choices): Document that lower bound of
Choice_Table is 1.

* s-imgdec.adb (Set_Decimal_Digits): Avoid assuming low bound of
string is 1.

* uintp.adb (Init_Operand): Document that low bound of Vec is always 1,
and add appropriate Assert pragma to suppress warnings.

* atree.h, atree.ads, atree.adb
Change Elist24 to Elist25
Add definitions of Field28 and Node28
(Traverse_Field): Use new syntactic parent table in sinfo.

* cstand.adb: Change name Is_Ada_2005 to Is_Ada_2005_Only

* itypes.adb: Change name Is_Ada_2005 to Is_Ada_2005_Only

* exp_tss.adb: Put routines in alpha order

* fe.h: Remove redundant declarations.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>

* s-osinte-tru64.adb:
Mark Asm statements Volatile to prevent warnings (seems a
reasonable change anyway)
Fixes new warnings

* s-mastop-irix.adb: Add Volatile to Asm statements
Suppresses warning, and seems appropriate in any case

* s-osinte-vms.adb: Add Volatile to Asm statement

* s-vaflop-vms-alpha.adb: Add Volatile to Asm statements

* exp_code.ads, exp_code.adb (Asm_Input_Value): Note that Error can be
returned.
Add call to Check_Code_Statement

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

2006-10-31  Robert Dewar  <dewar@adacore.com>
    Cyrille Comar  <comar@adacore.com>
    Ben Brosgol  <brosgol@adacore.com>

* debug.adb:  Update flags documentation

        * gnat_ugn.texi: Add documentation for new -gnatwq switch
        Clean up documentation for several other warning switches
        Clarify how task stack size can be specified with various
        versions of Windows.
        Add note that -gnatVo includes ranges including loops
Add documentation for -gnatL switch
Add note on elaboration warning for initializing variables
Add documentation for new -gnatwt warning switch
Document new form of pragma Warnings (On|Off, string)
Add comment on use of pragma Warnings to control warnings
Add documentation for -gnatjnn switch
Modify section on interfacing with C for VMS 64-bit.
Add doc for -gnatVe/E
Add documentation of new warning flags -gnatww/-gnatwW
Add warnings about address clause overlays to list of warnings
(Exception Handling Control): Document that the option --RTS must be
used consistently for gcc and gnatbind.
Clarify that inlining is not always possible
Update documentation on pragma Unchecked_Union.

* gnat_rm.texi:
Add documentation for new extended version of pragma Obsolescent
Add documentation for implementation defined attribute 'Stub_Type.
Add note on use of Volatile in asm statements
Add documentation on use of pragma Unreferenced in context clause
Document new form of pragma Warnings (On|Off, pattern)
Document pragma Wide_Character_Encoding
Add note that pragma Restrictions (No_Elaboration_Code) is only fully
enforced if code generation is active.
Add section on pragma Suppress to document GNAT specific check
Alignment_Check
Clarify difference between No_Dispatching_Calls & No_Dispatch.
Add documentation for pragma Restrictions (No_Elaboration_Code)

* gnat-style.texi:
Add comments on layout of subprogram local variables in the
presence of nested subprograms.

        * ug_words: Resync.

* elists.ads: Minor reformatting
Node returns Node_Or_Entity_Id (doc change only)

* xgnatugn.adb: Replace ACADEMICEDITION with GPLEDITION

* g-arrspl.ads (Create): Update comments.

* sem.ads: Add details on the handling of the scope stack.

        * usage.adb: Update documentation.

* validsw.ads, validsw.adb:
Add definition of Validity_Check_Components and implement -gnatVe/E

        * vms_data.ads: Add missing VMS qualifiers.

* s-addope.ads: Add documentation on overflow and divide by zero

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

2006-10-31  Pat Rogers  <rogers@adacore.com>

* a-rttiev.ads, a-rttiev.adb:
This is a significant redesign primarily for the sake of automatic
timer task termination but also to fix a design flaw.
Therefore we are now using an RTS lock, instead of a protected
object, to provide mutual exclusion to the queue of pending events
and the type Timing_Event is no longer a protected type.

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

2006-10-31  Vincent Celier  <celier@adacore.com>

* symbols-processing-vms-ia64.adb,
symbols-processing-vms-alpha.adb (Process): Do not include symbols
that come from generic instantiations in bodies.

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

2006-10-31  Doug Rupp  <rupp@adacore.com>

* g-trasym-vms-alpha.adb: Dummy_User_Act_Proc: New function.
Call TBK$SYMBOLIZE without omitting parameters.

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

2006-10-31  Matt Heaney  <heaney@adacore.com>

* a-crbtgo.ads: Commented each subprogram

* a-crbtgo.adb: Added reference to book from which algorithms were
adapted.

        * a-crbtgk.ads, a-crbtgk.adb (Generic_Insert_Post): pass flag to
indicate which child.
(Generic_Conditional_Insert): changed parameter name from "Success" to
"Inserted".
(Generic_Unconditional_Insert_With_Hint): improved algorithm

* a-coorse.adb (Replace_Element): changed parameter name in call to
conditional insert operation.

* a-convec.adb, a-coinve.adb (Insert): removed obsolete comment

* a-cohama.adb (Iterate): manipulate busy-bit here, instead of in
Generic_Iteration

* a-ciorse.adb (Replace_Element): changed parameter name in call to
conditional insert operation.

* a-cihama.adb (Iterate): manipulate busy-bit here, instead of in
Generic_Iteration.

* a-cidlli.ads, a-cidlli.adb (Splice): Position param is now mode in
instead of mode inout.

* a-chtgop.adb (Adjust): modified comments to reflect current AI-302
draft
(Generic_Read): preserve existing buckets array if possible
(Generic_Write): don't send buckets array length anymore

* a-cdlili.ads, a-cdlili.adb (Splice): Position param is now mode in
instead of mode inout.

* a-cihase.adb (Difference): iterate over smaller of Tgt and Src sets
(Iterate): manipulate busy-bit here, instead of in Generic_Iteration

* a-cohase.adb (Difference): iterate over smaller of Tgt and Src sets
(Iterate): manipulate busy-bit here, instead of in Generic_Iteration
(Replace_Element): local operation is now an instantiation

* a-chtgke.ads, a-chtgke.adb (Generic_Conditional_Insert): manually
check current length.
(Generic_Replace_Element): new operation

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

2006-10-31  Vincent Celier  <celier@adacore.com>

* makegpr.adb (Check_Compilation_Needed): Take into account path names
with spaces.
(Check_Compilation_Needed): When checking a C or C++ source, do not
resolve symbolic links.
(Display_Command): New Boolean parameter Ellipse, defaulted to False.
When not in verbose mode and Ellipse is True, display "..." for the
first argument with Display set to False.
(Build_Global_Archive): Always set Display True for the first object
file. Call Display_Command with Ellipse set to True.

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

2006-10-31  Vincent Celier  <celier@adacore.com>

* a-direct.ads, a-direct.adb (Search): New procedure in Ada 2005

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

2006-10-31  Vincent Celier  <celier@adacore.com>

* a-dirval-vms.adb (Invalid_Character): Specify that digits are allowed
in file names.

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

2006-10-31  Olivier Hainque  <hainque@adacore.com>

* s-stchop.ads: make this unit preelaborate. This is desirable in
general and made mandatory by the use of this unit by s-taprop which
is itself preelaborate.

* s-stchop-vxworks.adb (Set_Stack_Info, Task_Descriptor type): Add
Td_Events component.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>

* widechar.adb (Is_Start_Of_Wide_Char): In case of brackets encoding,
add more precise check for the character sequence that follows '[' to
avoid possible confusion in case if '[' is the last character of a
string literals.
(Scan_Wide): Always allow brackets encoding

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

2006-10-31  Jose Ruiz  <ruiz@adacore.com>

* s-tpobop.adb (Requeue_Call): Introduce a dispatching point when
requeuing to the same protected object to give higher priority tasks
the opportunity to execute.

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

2006-10-31  Javier Miranda  <miranda@adacore.com>

* s-tpoben.ads, s-tpoben.adb, s-taprob.ads, s-taprob.adb
(Get_Ceiling): New subprogram that returns
the ceiling priority of the protected object.
(Set_Ceiling): New subprogram that sets the new ceiling priority of
the protected object.

* s-tarest.adb: (Create_Restricted_Task): Fix potential CE.

* s-taskin.ads, s-taskin.adb: (Storage_Size): New function.

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

2006-10-31  Gary Dismukes  <dismukes@adacore.com>

* s-scaval.adb (Initialize): Add new Boolean flag AFloat that is set
True when AAMP extended floating-point is in use (48-bit). Change type
ByteLF to ByteLLF, add new array type ByteLF and condition the size of
the two byte array types on AFloat. Change type of IV_Ilf overlay
variable from Byte8 to ByteLF. Add appropriate initializations of
floating-point overlays for AAMP cases.

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

2006-10-31  Arnaud Charlet  <charlet@adacore.com>

* s-restri.ads, s-restri.adb: Mark this package as Preelaborate.
Remove elaboration code, now done in the binder.

* s-rident.ads: Make this unit Preelaborate.
(No_Restrictions): New constant used to clean up code and follow
preelaborate constraints.

* s-stalib.adb:
Add System.Restrictions dependence, referenced directly from the
binder generated file.

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

2006-10-31  Ed Schonberg  <schonberg@adacore.com>
    Robert Dewar  <dewar@adacore.com>
    Bob Duff  <duff@adacore.com>

* sprint.adb (Sprint_Node_Actual, case Parameter_Specification): Do not
print null exclusion twice in the case of an access definition,
Implement new -gnatL switch
Remove N_Return_Object_Declaration. We now use
N_Object_Declaration instead. Implement the case for
N_Extended_Return_Statement. Alphabetize the cases.
Add cases for new nodes N_Extended_Return_Statement and
N_Return_Object_Declaration. The code is not yet written.
Update the output for N_Formal_Object_Declaration
and N_Object_Renaming_Declaration.
(Write_Itype): Account for the case of a modular integer subtype whose
base type is private.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>
    Bob Duff  <duff@adacore.com>

* sinfo.ads, sinfo.adb (Set_Synchronized_Present,
Synchronized_Present): Add Formal_Derived_Type_Definition and
Private_Extension_Declaration to the list of assertions.
(Is_Entry_Barrier_Function): New flag
(Has_Self_Reference): New flag on aggregates, to indicate that they
contain a reference to the enclosing type, inserted through a default
initialization.
(Next_Rep_Item): Move from Node4 to Node5.
(Entity): Add this field for N_Attribute_Definition_Clause.
(Comes_From_Extended_Return_Statement): New flag on N_Return_Statement
(N_Return_Object_Declaration): Remove this node kind. We now use
N_Object_Declaration instead.
(Actual_Designated_Subtype): Move to a different place to make room in
N_Extended_Return_Statement.
(Procedure_To_Call): Move to a different place to make room in
N_Extended_Return_Statement.
(Return_Type): Removed this field to make room in return statements
(both kinds).
(Return_Statement_Entity): New field in return statements, in part to
replace Return_Type, and in part to support the fact that return
statements are now pushed on the scope stack during semantic analysis.
(Return_Object_Declarations): New field to support extended return
statements.
(N_Extended_Return_Statement): New node for extended_return_statement
nonterminal.
(N_Return_Object_Declaration): New node for part of
extended_return_statement nonterminal. Needed because all the necessary
fields won't fit in N_Extended_Return_Statement.
Generic_associations now carry the Box_Present flag, to indicate a
default for an actual in a partially parametrized formal package.

        * snames.h, snames.ads, snames.adb: Add definition for Validity_Check
(Preset_Names): Add entries for Priority_Specific_Dispatching pragma
and for the new predefined dispatching policies: EDF_Across_Priorities,
Non_Preemptive_Within_Priorities, and Round_Robin_Within_Priorities.
Introduce new name Stub_Type for implementation defined attribute.
Add pragma Preelaborable_Initialization
Add entry for Priority attribute.
Add Pragma_Wide_Character_Encoding
(Get_Convention_Name): Given a convention id, this function returns the
corresponding name id from the names table.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

        * sem_util.ads, sem_util.adb (Enter_Name): Exclude -gnatwh warning
messages for entities in packages which are not used.
(Collect_Synchronized_Interfaces): New procedure.
(Overrides_Synchronized_Primitive): New function.
(Denotes_Discriminant): Extend predicate to apply to task types.
Add missing continuation marks in error msgs
(Unqualify): New function for removing zero or more levels of
qualification from an expression. There are numerous places where this
ought to be used, but we currently only deal properly with zero or one
level.
(In_Instance); The analysis of the actuals in the instantiation of a
child unit is not within an instantiation, even though the parent
instance is on the scope stack.
(Safe_To_Capture_Value): Exclude the case of variables that are
renamings.
(Check_Obsolescent): Removed
(Is_Aliased_View): A reference to an enclosing instance in an aggregate
is an aliased view, even when rewritten as a reference to the target
object in an assignment.
(Get_Subprogram_Entity): New function
(Known_To_Be_Assigned): New function
(Type_Access_Level): Compute properly the access level of a return
subtype that is an anonymous access type.
(Explain_Limited_Type): Correct use of "\" for continuation messages.
(Is_Transfer): The new extended_return_statement causes a transfer of
control.
(Has_Preelaborable_Initialization): New function
(Has_Null_Exclusion): New function. Given a node N, determine whether it
has a null exclusion depending on its Nkind.
Change Is_Lvalue to May_Be_Lvalue
(May_Be_Lvalue): Extensive additional code to deal with subprogram
arguments (IN parameters are not Lvalues, IN OUT parameters are).
(Safe_To_Capture_Value): Extend functionality so it can be used for
the current value condition case.
(Has_Compatible_Alignment): New function
(Is_Dependent_Component_Of_Mutable_Object): Revise the tests for mutable
objects to handle the Ada 2005 case, where aliasedness no longer implies
that the object is constrained. In particular, for dereferenced names,
the designated object must be assumed to be unconstrained.
(Kill_Current_Values): Properly deal with the case where we encounter
a loop in the scope chain.
(Safe_To_Capture_Value): Do not let a loop stop us from capturing
a value.
(Compile_Time_Constraint_Error): Improve error message in error case

* exp_ch13.adb (Expand_N_Freeze_Entity): Remove the freezing node
associated with entities of abstract interface primitives.
Call Apply_Address_Clause_Check instead of Apply_Alignment_Check

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

2006-10-31  Ed Schonberg  <schonberg@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>
    Javier Miranda  <miranda@adacore.com>

* sem_type.adb (Add_One_Interp): If node is an indirect call, preserve
subprogram type to provide better diagnostics in case of ambiguity.
(Covers): Handle coverage of formal and actual anonymous access types in
the context of generic instantiation.
(Covers/Interface_Present_In_Ancestors): Use the base type to manage
abstract interface types; this is required to handle concurrent types
with discriminants and abstract interface types.
(Covers): Include type coverage of both regular incomplete subtypes and
incomplete subtypes of incomplete type visibles through a limited with
clause.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>

* sem_eval.adb (Compile_Time_Compare): Make use of information from
Current_Value in the conditional case, to evaluate additional
comparisons at compile time.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* sem_elab.ads, sem_elab.adb (Check_Elab_Assign): New procedure
Add new calls to this procedure during traversal
(Activate_Elaborate_All_Desirable): Do not set elaboration flag on
another unit if expansion is disabled.

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

2006-10-31  Hristian Kirtchev  <kirtchev@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>
    Javier Miranda  <miranda@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>

* sem_disp.adb (Check_Dispatching_Operation): Do not flag subprograms
inherited from an interface ancestor by another interface in the
context of an instance as 'late'.
(Is_Tag_Indeterminate, Propagate_Tag): Handle properly the dereference
of a call to a function that dispatches on access result.
(Check_Dispatching_Operation): In case of late overriding of a primitive
that covers abstract interface subprograms we register it in all the
secondary dispatch tables associated with abstract interfaces.
(Check_Dispatching_Call): Add check that a dispatching call is not made
to a function with a controlling result of a limited type. This is a
current implementation restriction.
(Check_Controlling_Formal): Remove bogus checks for E.2.2(14).
(Check_Dispatching_Operation): Do no emit a warning if the controlling
argument is an interface type that is a generic formal.
(Is_Interface_Subprogram): Removed.
(Check_Dispatching_Operation): If the subprogram is not a dispatching
operation, check the formals to handle the case in which it is
associated with an abstract interface type.

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

2006-10-31  Hristian Kirtchev  <kirtchev@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* sem_ch9.adb (Analyze_Protected_Definition): Remove call to
Check_Overriding_Indicator.
(Analyze_Task_Definition): Ditto.
(Analyze_Protected_Type, Analyze_Task_Type): Code cleanup.
(Check_Overriding_Indicator): To find overridden interface operation,
examine only homonyms that have an explicit subprogram declaration, not
inherited operations created by an unrelated type derivation.
(Check_Overriding_Indicator): When checking for the presence of "null"
in a procedure, ensure that the queried node is a procedure
specification.
(Matches_Prefixed_View_Profile): Add mechanism to retrieve the parameter
type when the formal is an access to variable.
(Analyze_Protected_Type): Add check for Preelaborable_Initialization
(Analyze_Task_Type): Same addition
(Analyze_Entry_Declaration): Call Generate_Reference_To_Formals, to
provide navigation capabilities for entries.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>
    Javier Miranda  <miranda@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb: Minor error msg rewording
(Undefined): When checking for misspellings, invert arguments (to get
expected and found set right)
(Analyze_Subprogram_Renaming): Propagate Is_Pure, Is_Preelaborated
(Analyze_Generic_Renaming): Same fix
(Use_One_Package): Do not take into account the internal entities of
abstract interfaces during the analysis of entities that are marked
as potentially use-visible.
(Find_Type): Handle the case of an attribute reference for
implementation defined attribute Stub_Type (simply let the analysis of
the attribute reference rewrite it).
(Use_One_Type, End_Use_Type): Reject a reference to a limited view of a
type that appears in a Use_Type clause.
(Analyze_Object_Renaming): Add support for renaming of the Priority
attribute.
(Find_Type): In Ada 2005, a task type can be used within its own body,
when it appears in an access definition.
(Analyze_Object_Renaming): Remove warning on null_exclusion.
(Analyze_Object_Renaming): Introduce checks for required null exclusion
 in a formal object declaration or in a subtype declaration.
(Analyze_Subprogram_Renaming): Add call to Check_Null_Exclusion.
(Check_Null_Exclusion): New local routine to
Analyze_Subprogram_Renaming. Check whether the formals and return
profile of a renamed subprogram have required null exclusions when
their counterparts of the renaming already impose them.
(In_Generic_Scope): New local routine to Analyze_Object_Renaming.
Determine whether an entity is inside a generic scope.
(In_Open_Scope): First pass of documentation update.
(Find_Expanded_Name): Add support for shadow entities associated with
limited withed packages. This is required to handle nested packages.
(Analyze_Package_Renaming): Remove the restriction imposed by AI-217
that makes a renaming of a limited withed package illegal.

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

2006-10-31  Ed Schonberg  <schonberg@adacore.com>
    Javier Miranda  <miranda@adacore.com>

* sem_ch7.adb (Check_Anonymous_Access_Types): New procedure, subsidiary
of Analyze_Package_Body, to create Itype references for anonymous
access types created in the package declaration, whose designated types
may have only a limited view.
(Analyze_Package_Specification): For the private part of a nested
package, install private_with_clauses of enclosing compilation unit if
we are in its visible part.
(Declare_Inherited_Private_Subprograms): Complete barrier
to ensure that the primitive operation has an alias to some parent
primitive. This is now required because, after the changes done for the
implementation of abstract interfaces, the contents of the list of
primitives has entities whose alias attribute references entities of
such list of primitives.
(Analyze_Package_Specification): Simplify code that handles parent units
of instances and formal packages.
(Uninstall_Declarations): Check the convention consistency among
primitive overriding operations of a tagged record type.

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

2006-10-31  Ed Schonberg  <schonberg@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>
    Bob Duff  <duff@adacore.com>

* sem_ch6.ads, sem_ch6.adb (Analyze_Subprogram_Declaration): A null
procedure cannot be a protected operation (it is a basic_declaration,
not a subprogram_declaration).
(Check_Overriding_Indicator): Rename formal Does_Override to Overridden_
Subp. Add logic for entry processing.
(Check_Synchronized_Overriding): New procedure in New_Overloaded_Entity.
Determine whether an entry or subprogram of a protected or task type
override an inherited primitive of an implemented interface.
(New_Overloaded_Entity): Add calls to Check_Synchronized_Overriding.
Update the actual used in calls to Check_Overriding_Indicator.
(Analyze_Generic_Subprogram_Body): If the subprogram is a child unit,
generate the proper reference to the parent unit, for cross-reference.
(Analyze_Subprogram_Declaration): Protect Is_Controlling_Formal with
Is_Formal.
Add -gnatd.l --Use Ada 95 semantics for limited function returns,
(Add_Extra_Formal): Revise procedure to allow passing in associated
entity, scope, and name suffix, and handle setting of the new
Extra_Formals field.
(Create_Extra_Formals): Change existing calls to Add_Extra_Formal to
pass new parameters. Add support for adding the new extra access formal
for functions whose calls are treated as build-in-place.
(Analyze_A_Return_Statement): Correct casing in error message.
Move Pop_Scope to after Analyze_Function_Return, because an extended
return statement really is a full-fledged scope. Otherwise, visibility
doesn't work right. Correct use of "\" for continuation messages.
(Analyze_Function_Return): Call Analyze on the Obj_Decl, rather than
evilly trying to call Analyze_Object_Declaration directly. Otherwise,
the node doesn't get properly marked as analyzed.
(Analyze_Subprogram_Body): If subprogram is a function that returns
an anonymous access type that denotes a task, build a Master Entity
for it.
(Analyze_Return_Type): Add call to Null_Exclusion_Static_Checks. Verify
proper usage of null exclusion in a result definition.
(Process_Formals): Code cleanup and new error message.
(Process_Formals): Detect incorrect application of null exclusion to
non-access types.
(Conforming_Types): Handle conformance between [sub]types and itypes
 generated for entities that have null exclusions applied to them.
(Maybe_Primitive_Operation): Add an additional type retrieval when the
 base type is an access subtype. This case arrises with null exclusions.
(New_Overloaded_Entity): Do not remove the overriden entity from the
homonym chain if it corresponds with an abstract interface primitive.
(Process_Formals): Replace membership test agains Incomplete_Kind with a
call to the synthesized predicate Is_Incomplete_Type.
(Analyze_Subprogram_Body): Check wrong placement of abstract interface
primitives.
(Analyze_Subprogram_Declaration): Check that abstract interface
primitives are abstract or null.
(Analyze_Subprogram_Specification): Remove previous check for abstract
interfaces because it was not complete.
(Has_Interface_Formals): Removed.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>

* sem_ch5.ads, sem_ch5.adb (Analyze_Loop_Statement): Add circuit to
warn on infinite loops.
Add \\ to some continuation messages
(Analyze_Assignment_Statement): Call Warn_On_Useless_Assignment
(Process_Bounds): If the bounds are integer literals that result from
constant-folding, and they carry a user-defined type, preserve that type
rather than treating this as an integer range.
(Analyze_Exit_Statement): Test for E_Return_Statement in legality check.
(Analyze_Goto_Statement): Test for E_Return_Stateemnt in legality check.
(Analyze_Assignment_Statement): Add call to Check_Elab_Assign for
left hand side of assignment.
(Analyze_Assignment): Add suport to manage assigments to the attribute
priority of a protected object.
(Check_Possible_Current_Value_Condition): Allow fully qualified names
not just identifiers.
(Check_Possible_Current_Value_Condition): Acquire left operand of AND
or AND THEN for possible tracking.
(Analyze_Iteration_Scheme): Check for setting Current_Value for the
case of while loops so we can track values in the loop body.

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

2006-10-31  Ed Schonberg  <schonberg@adacore.com>
    Javier Miranda  <miranda@adacore.com>
    Robert Dewar  <dewar@adacore.com>

* sem_ch4.adb (Try_Primitive_Operation): Code cleanup to ensure that we
generate the same errors compiling under -gnatc.
(Try_Object_Operation): If no candidate interpretation succeeds, but
there is at least one primitive operation with the right name, report
error in call rather than on a malformed selected component.
(Analyze_Selected_Component): If the prefix is an incomplete type from
a limited view, and the full view is available, use the full view to
determine whether this is a prefixed call to a primitive operation.
(Operator_Check): Verify that a candidate interpretation is a binary
operation before checking the type of its second formal.
(Analyze_Call): Add additional warnings for function call contexts not
yet supported.
(Analyze_Allocator): Move the check for "initialization not allowed for
limited types" after analyzing the expression. This is necessary,
because OK_For_Limited_Init looks at the structure of the expression.
Before analysis, we don't necessarily know what sort of expression it
is. For example, we don't know whether F(X) is a function call or an
indexed component; the former is legal in Ada 2005; the latter is not.
(Analyze_Allocator): Correct code for AI-287 -- extension aggregates
were missing. We also didn't handle qualified expressions. Now also
allow function calls. Use new common routine OK_For_Limited_Init.
(Analyze_Type_Conversion): Do not perform some legality checks in an
instance, because the error message will be redundant or spurious.
(Analyze_Overloaded_Selected_Component): Do not do style check when
setting an entity, since we do not know it is the right entity yet.
(Analyze_Selected_Component): Move Generate_Reference call to Sem_Res
(Analyze_Overloaded_Selected_Component): Same change
(Analyze_Selected_Component): Remove unnecessary prefix type retrieval
since regular incomplete subtypes are transformed into corresponding
subtypes of their full views.
(Complete_Object_Operation): Treat name of transformed subprogram call
as coming from source, for browsing purposes.
(Try_Primitive_Operation): If formal is an access parameter, compare
with base type of object to determine whether it is a primitive
operation.
(Operator_Check): If no interpretation of the operator matches, check
whether a use clause on any candidate might make the operation legal.
(Try_Class_Wide_Operation): Check whether the first parameter is an
access type whose designated type is class-wide.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>
    Thomas Quinot  <quinot@adacore.com>

* sem_ch13.adb: Storage pool cannot be given for access to subprogram
type.
(New_Stream_Subprogram): When processing an attribute definition clause
for a stream-oriented subprogram, record an entity node occurring at
the point of clause to use for checking the visibility of the clause,
as defined by 8.3(23) as amended by AI-195.
(New_Stream_Subprogram): New procedure, factoring behaviour from both
 New_Stream_Function and New_Stream_Procedure.
(New_Stream_Function, New_Stream_Procedure): Removed.
(Analyze_Attribute_Definition_Clause, case Address): Check new
Alignment_Check check

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

2006-10-31  Ed Schonberg  <schonberg@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>

        * sem_ch12.ads, sem_ch12.adb (Save_References): If node is an operator
that has been constant-folded, preserve information of original tree,
for ASIS uses.
(Analyze_Formal_Derived_Type): Set the limited present flag of the newly
generated private extension declaration if the formal derived type is
synchronized. Carry synchronized present over to the generated private
extension.
(Validate_Derived_Type_Instance): Ensure that the actual of a
synchronized formal derived type is a synchronized tagged type.
(Instantiate_Formal_Package): When creating the instantiation used to
validate the actual package of a formal declared without a box, check
whether the formal itself depends on a prior actual.
(Instantiate_Formal_Subprogram): Create new entities for the defining
identifiers of the formals in the renaming declaration, for ASIS use.
(Instantiate_Formal_Subprogram, Instantiate_Formal_Type): When creating
a renaming declaration or a subtype declaration for an actual in an
instance, capture location information of declaration in generic, for
ASIS use.
(Instantiate_Formal_Package): Add comments on needed additional tests.
AI-317 (partial parametrization) is fully implemented.
(Validate_Private_Type_Instance): Add check for actual which
must have preelaborable initialization
Use new // insertion for some continuation messages
(Analyze_Formal_Object_Declaration): Change usage of Expression to
Default_Expression. Add type retrieval when the declaration has an
access definition. Update premature usage of incomplete type check.
(Check_Access_Definition): New subsidiary routine. Check whether the
current compilation version is Ada 05 and the supplied node has an
access definition.
(Instantiate object): Alphabetize local variables. Handle the creation
of new renaming declarations with respect to the kind of definition
used - either an access definition or a subtype mark. Guard against
unnecessary error message in the context of anonymous access types after
they have been resolved. Add check for required null exclusion in a
formal object declaration.
(Switch_View): A private subtype of a non-private type needs to be
switched (the base type can have been switched without its private
dependents because of the last branch of Check_Private_View.
(Check_Private_View): Do not recompute Base_Type (T), instead use cached
value from BT.
(Instantiate_Type): Emit an error message whenever a class-wide type of
a tagged incomplete type is used as a generic actual.
(Find_Actual_Type): Extend routine to handle a component type in a child
unit that is imported from a formal package in a parent.
(Validate_Derived_Type_Instance): Check that analyzed formal and actual
agree on constrainedness, rather than checking against ultimate ancestor
(Instantiate_Subprogram_Body): Create a cross-reference link to the
generic body, for navigation purposes.

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

2006-10-31  Robert Dewar  <dewar@adacore.com>

* sem_ch11.adb (Analyze_Handled_Statements): Move final test for
useless assignments here and conditionalize it on absence of exception
handlers.
(Analyze_Exception_Handlers): Small code reorganization of error
detection code, for new handling of formal packages.

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