dse.c (record_store): Use HOST_BITS_PER_WIDE_INT instead of size of positions_needed * CHAR_BIT.

2008-04-11  H.J. Lu  <hongjiu.lu@intel.com>

* dse.c (record_store): Use HOST_BITS_PER_WIDE_INT instead
of size of positions_needed * CHAR_BIT.

From-SVN: r134203

re PR middle-end/35897 (DSE doesn't support targets with wide registers)

2008-04-11  H.J. Lu  <hongjiu.lu@intel.com>

PR middle-end/35897
* dse.c (store_info): Change positions_needed to unsigned
HOST_WIDE_INT.
(lowpart_bitmask): New.
(record_store): Cast to unsigned HOST_WIDE_INT for
positions_needed.  Assert width <= size of positions_needed *
CHAR_BIT.  Call lowpart_bitmask to initialize positions_needed.
(check_mem_read_rtx): Use unsigned HOST_WIDE_INT on mask.  Call
lowpart_bitmask to set mask.

From-SVN: r134199

constraints.md: New file.

* config/bfin/constraints.md: New file.
* config/bfin/bfin.md: Include it.
(adddi3): Use satisfies_constraint functions instead of the old macros.
* config/bfin/bfin.h (REG_CLASS_FROM_LETTER, CONSTRAINT_LEN,
CONST_18UBIT_IMM_P, CONST_16BIT_IMM_P, CONST_16UBIT_IMM_P,
CONST_7BIT_IMM_P, CONST_7NBIT_IMM_P, CONST_5UBIT_IMM_P,
CONST_4BIT_IMM_P, CONST_4UBIT_IMM_P, CONST_3BIT_IMM_P,
CONST_3UBIT_IMM_P, CONST_OK_FOR_K, CONST_OK_FOR_P, CONST_OK_FOR_M,
CONST_OK_FOR_CONSTRAINT_P, CONST_DOUBLE_OK_FOR_LETTER,
EXTRA_CONSTRAINT): Delete.
* config/bfin/predicates.md (highbits_operand, reg_or_7bit_operand,
reg_or_neg7bit_operand): Use satisfies_constraint functions instead
of the old macros.
* config/bfin/bfin.c: Include "tm-constrs.h".
(bfin_secondary_reload, split_load_immediate, bfin_rtx_costs):
Use satisfies_constraint functions instead of the old macros.
* doc/md.texi (Blackfin Constraints): Update file name reference.

From-SVN: r134198

re PR tree-optimization/35869 (ICE in calc_dfs_tree at -O2 -gnatp after VRP optimization)

2008-04-11  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/35869
* tree-vrp.c (execute_vrp): Move switch statement update after
jump threading.  Schedule another cfg cleanup run.

* gcc.c-torture/compile/pr35869.c: New testcase.

From-SVN: r134197

sse-13.c: Move __builtin_ia32_round* to new /* mmintrin-common.h */ section.

2008-04-11  H.J. Lu  <hongjiu.lu@intel.com>

* gcc.target/i386/sse-13.c: Move __builtin_ia32_round* to new
/* mmintrin-common.h */ section.

* gcc.target/i386/sse-14.c: Add tests for mmintrin-common.h.

From-SVN: r134195

configure.ac: Do not build libssp for the AVR.

* configure.ac: Do not build libssp for the AVR.
* configure: Regenerate.

From-SVN: r134194

re PR c/35744 (ICE attributes for invalid types)

PR c/35744
* attribs.c (decl_attributes): Return early on errorneous node.

* gcc.dg/attr-error-1.c: New test.

From-SVN: r134193

tree.h (struct tree_base): Added a new flag default_def_flag.

2008-04-10  Oleg Ryjkov  <olegr@google.com>

        * tree.h (struct tree_base): Added a new flag default_def_flag.
        (SSA_NAME_IS_DEFAULT_DEF): Changed to use the new flag.

From-SVN: r134192

config.gcc (need_64bit_hwint): Need 64bit hwint for sh-*-*.

* config.gcc (need_64bit_hwint): Need 64bit hwint for sh-*-*.

[libcpp]
* configure.ac: (need_64bit_hwint): Need 64bit hwint for sh-*-*
and shbe-*-*.
* configure: Rebuilt.

From-SVN: r134190

Daily bump.

From-SVN: r134188

re PR target/35768 (gcc.c-torture/compile/20010226-1.c:22: ICE: in do_output_reload, at reload1.c:7331)

PR target/35768
* pa.md: Define mode iterator P.  Define mode attribute dwc.
(dcacheflush): Update pattern to use iterator P and attribute dwc.
(icacheflush): Likewise.
* pa.h (INITIALIZE_TRAMPOLINE): Use dcacheflushsi/icacheflushsi if
!TARGET_64BIT, and dcacheflushdi/icacheflushdi if TARGET_64BIT.

From-SVN: r134182

* config/spu/spu.c (spu_init_builtins): Mark builtins as nothrow.

From-SVN: r134181

[multiple changes]

2008-04-10  Benjamin Kosnik  <bkoz@redhat.com>

* doc/html/*: Regenerate.

2008-04-10  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>

* doc/xml/manual/bitmap_allocator.xml: Improve wording a bit.
* doc/xml/authors.xml: Fix typos.
* doc/xml/faq.xml: Likewise.
* doc/xml/manual/abi.xml: Likewise.
* doc/xml/manual/allocator.xml: Likewise.
* doc/xml/manual/appendix_contributing.xml: Likewise.
* doc/xml/manual/backwards_compatibility.xml: Likewise.
* doc/xml/manual/build_hacking.xml: Likewise.
* doc/xml/manual/codecvt.xml: Likewise.
* doc/xml/manual/concurrency.xml: Likewise.
* doc/xml/manual/ctype.xml: Likewise.
* doc/xml/manual/debug_mode.xml: Likewise.
* doc/xml/manual/diagnostics.xml: Likewise.
* doc/xml/manual/evolution.xml: Likewise.
* doc/xml/manual/extensions.xml: Likewise.
* doc/xml/manual/locale.xml: Likewise.
* doc/xml/manual/messages.xml: Likewise.
* doc/xml/manual/parallel_mode.xml: Likewise.
* doc/xml/manual/status_cxx200x.xml: Likewise.
* doc/xml/manual/strings.xml: Likewise.
* doc/xml/manual/support.xml: Likewise.
* doc/xml/manual/test.xml: Likewise.
* doc/xml/manual/using.xml: Likewise.

2008-04-10  Benjamin Kosnik  <bkoz@redhat.com>
    Johannes Singler  <singler@ira.uka.de>

* doc/xml/manual/parallel_mode.xml: Remove map/set bulk
insertors. Correct omp_set_num_threads example.

From-SVN: r134178

gnat_ugn.texi: Fix typos.

gcc/ada/

* gnat_ugn.texi: Fix typos.
* raise-gcc.c, repinfo.adb, repinfo.ads, restrict.adb,
restrict.ads, rtsfind.adb, rtsfind.ads, s-arit64.ads,
s-asthan-vms-alpha.adb, s-auxdec.ads, s-casuti.ads,
s-fatflt.ads, s-fatgen.adb, s-fatlfl.ads,
s-fatllf.ads, s-fatsfl.ads, s-filofl.ads,
s-finimp.adb, s-finroo.ads, s-fishfl.ads,
s-fvadfl.ads, s-fvaffl.ads, s-fvagfl.ads,
s-hibaen.ads, s-htable.ads, s-imgcha.adb,
s-imgenu.ads, s-imgint.adb, s-imgrea.adb,
s-inmaop-dummy.adb, s-inmaop.ads, s-interr-vms.adb,
s-interr-vxworks.adb, s-interr.adb, s-interr.ads,
s-intman-vxworks.ads, s-intman.ads, s-mastop-irix.adb,
s-os_lib.adb, s-os_lib.ads, s-osinte-aix.ads,
s-osinte-darwin.ads, s-osinte-freebsd.ads,
s-osinte-hpux.ads, s-osinte-lynxos-3.adb,
s-osinte-lynxos-3.ads, s-osinte-lynxos.ads,
s-osinte-rtems.ads, s-osinte-solaris-posix.ads,
s-osprim-mingw.adb, s-osprim-vms.adb, s-parame-ae653.ads,
s-parame-hpux.ads, s-parame-vms-alpha.ads,
s-parame-vms-ia64.ads, s-parame-vms-restrict.ads,
s-parame-vxworks.ads, s-parame.ads, s-parint.adb,
s-parint.ads, s-poosiz.adb, s-proinf-irix-athread.ads,
s-proinf.ads, s-regexp.adb, s-regpat.adb, s-regpat.ads,
s-rident.ads: Fix comment typos.

From-SVN: r134177

tree-vrp.c (extract_range_from_binary_expr): Don't handle TRUTH_ANDIF_EXPR or TRUTH_ORIF_EXPR.

2008-04-10  Rafael Espindola  <espindola@google.com>

* gcc/tree-vrp.c (extract_range_from_binary_expr): Don't handle
TRUTH_ANDIF_EXPR or TRUTH_ORIF_EXPR.
(extract_range_from_expr): The same.

From-SVN: r134176

Changelog: Fix merge bit.

2008-04-10  Benjamin Kosnik  <bkoz@redhat.com>

* Changelog: Fix merge bit.

From-SVN: r134175

[multiple changes]

2008-04-10  Benjamin Kosnik  <bkoz@redhat.com>

* include/c_global/cstdatomic: C++ types only, format, doxygen markup.
* include/c_compatibility/stdatomic.h: "C" only, format, doxygen markup.
* src/atomic.c: Format, doxygen markup, edits.

* include/Makefile.am (cstdatomic, stdatomic.h): Add.
* src/Makefile.am (atomic.c): Add.
* acinclude.m4 (GLIBCXX_CHECK_STANDARD_LAYOUT): New.
* configure.ac: Call it.
* include/Makefile.in: Regenerate.
* src/Makefile.in: Same.
* Makefile.in: Same.
* doc/Makefile.in: Same.
* po/Makefile.in: Same.
* libmath/Makefile.in: Same.
* include/Makefile.in: Same.
* testsuite/Makefile.in: Same.
* libsupc++/Makefile.in: Same.
* config.h.in: Same.
* configure: Same.

* config/abi/pre/gnu.ver: Add atomics exports.

* include/ext/typelist.h (apply_generator): New.
* include/bits/c++config (_GLIBCXX_BEGIN_EXTERN_C): New.
(_GLIBCXX_END_EXTERN_C): New.
Deal with _GLIBCXX_BEGIN_NAMESPACE, _GLIBCXX_END_NAMESPACE when
compiling as C.
* testsuite/lib/libstdc++.exp (v3_target_compile_as_c): Add -L
flag for libstdc++.
* testsuite/util/testsuite_common_types.h (integral_types): New
typelist.
(atomics, atomics_tl): Same.
(assignable, default_constructible, copy_constructible,
explicit_value_constructible): New.
* testsuite/17_intro/headers/c++200x/all.cc: Test new headers.
* testsuite/29_atomics: New.
* testsuite/29_atomics/atomic_address: Same.
* testsuite/29_atomics/atomic_address/cons: Same.
* testsuite/29_atomics/atomic_address/cons/explicit_value.cc: Same.
* testsuite/29_atomics/atomic_address/cons/assign_neg.cc: Same.
* testsuite/29_atomics/atomic_address/cons/copy_neg.cc: Same.
* testsuite/29_atomics/atomic_address/cons/default.cc: Same.
* testsuite/29_atomics/atomic_address/cons/aggregate.cc: Same.
* testsuite/29_atomics/atomic_flag: Same.
* testsuite/29_atomics/atomic_flag/cons: Same.
* testsuite/29_atomics/atomic_flag/cons/assign_neg.cc: Same.
* testsuite/29_atomics/atomic_flag/cons/copy_neg.cc: Same.
* testsuite/29_atomics/atomic_flag/cons/default.cc: Same.
* testsuite/29_atomics/atomic_flag/cons/aggregate.cc: Same.
* testsuite/29_atomics/atomic_flag/requirements: Same.
* testsuite/29_atomics/atomic_flag/requirements/standard_layout.cc:
Same.
* testsuite/29_atomics/atomic_flag/
atomic_global_fence_compatibility.cc: Same.
* testsuite/29_atomics/atomic_flag/test_and_set: Same.
* testsuite/29_atomics/atomic_flag/test_and_set/explicit.c: Same.
* testsuite/29_atomics/atomic_flag/test_and_set/explicit.cc: Same.
* testsuite/29_atomics/atomic_flag/test_and_set/implicit.c: Same.
* testsuite/29_atomics/atomic_flag/test_and_set/implicit.cc: Same.
* testsuite/29_atomics/headers: Same.
* testsuite/29_atomics/headers/cstdatomic: Same.
* testsuite/29_atomics/headers/cstdatomic/types_std_c++0x.cc: Same.
* testsuite/29_atomics/headers/cstdatomic/functions_std_c++0x.cc: Same.
* testsuite/29_atomics/headers/cstdatomic/std_c++0x_neg.cc: Same.
* testsuite/29_atomics/headers/cstdatomic/macros.cc: Same.
* testsuite/29_atomics/headers/stdatomic.h: Same.
* testsuite/29_atomics/headers/stdatomic.h/macros.c: Same.
* testsuite/29_atomics/headers/stdatomic.h/types.c: Same.
* testsuite/29_atomics/headers/stdatomic.h/functions.c: Same.
* testsuite/29_atomics/atomic: Same.
* testsuite/29_atomics/atomic/cons: Same.
* testsuite/29_atomics/atomic/cons/explicit_value.cc: Same.
* testsuite/29_atomics/atomic/cons/assign_neg.cc: Same.
* testsuite/29_atomics/atomic/cons/copy_neg.cc: Same.
* testsuite/29_atomics/atomic/cons/default.cc: Same.
* testsuite/29_atomics/atomic/requirements: Same.
* testsuite/29_atomics/atomic/requirements/explicit_instantiation: Same.
* testsuite/29_atomics/atomic/requirements/explicit_instantiation/
1.cc: Same.

2008-04-10  Lawrence Crowl  <crowl@google.com>

* include/c_global/cstdatomic: New.
* include/c_compatibility/stdatomic.h: New.
* src/atomic.c: New.

From-SVN: r134174

tuple: Consistency check for include guard, doxygen file markup.

2008-04-10  Benjamin Kosnik  <bkoz@redhat.com>

* include/std/tuple: Consistency check for include guard, doxygen
file markup.
* include/std/date_time: Same.
* include/std/type_traits: Same.
* include/std/regex: Same.
* include/std/array: Same.
* include/std/system_error: Same, add error_code ctor.

From-SVN: r134171

mips.md (GPR2): New mode iterator.

* config/mips/mips.md (GPR2): New mode iterator.
(seq): Add comment.
(*seq_<mode>, *seq_<mode>_mips16, *sne_<mode>, *sgt<u>_<mode>,
*sgt<u>_<mode>_mips16, *sge<u>_<mode>, *slt<u>_<mode>,
*slt<u>_<mode>_mips16 *sle<u>_<mode>, *sle<u>_<mode>_mips16):
Rewrite these to take two modes, the mode of comparison and the
mode of the destination.
* config/mips/mips.c (mips_expand_scc): Instead of having
paradoxical subreg as destination, expand "narrowing" scc if mode
of comparison is SI and target is requested in DI mode.
(mips_emit_int_order_test): Update comment.  Make mode of
comparison match CMP0 rather than TARGET.  When creating inverse
target use mode of TARGET.

testsuite/

* gcc.target/mips/scc-2.c: New test.
* gcc.target/mips/scc-3.c: New test.
* gcc.target/mips/scc-4.c: New test.

From-SVN: r134167

gcov-dump.c (tag_summary): Only print summaries for the first GCOV_COUNTERS_SUMMABLE counters.

* gcov-dump.c (tag_summary): Only print summaries for the first
GCOV_COUNTERS_SUMMABLE counters.

From-SVN: r134166

i386.md (absneg): New code iterator.

        * config/i386/i386.md (absneg): New code iterator.
        (absnegprefix): New code attribute.
        (<code><mode>2): Macroize expander from abs<mode>2 and neg<mode>2
        patterns using absneg code iterator.
        (<code>tf2): Macroize expander from abstf2 and negtf2 patterns
        using absneg code iterator.
        (*<code><mode>2_1): Macroize insn pattern from *abs<mode>2_1 and
        *neg<mode>2 patterns using absneg code iterator.
        (*<code>extendsfdf2): Macroize insn pattern from *absextendsfdf2 and
        *negextendsfdf2 patterns using absneg code iterator.
        (*<code>extendsfxf2): Macroize insn pattern from *absextendsfxf2 and
        *negextendsfxf2 patterns using absneg code iterator.
        (*<code>extendsfdf2): Macroize insn pattern from *absextendsfdf2 and
        *negextendsfdf2 patterns using absneg code iterator.
        * config/i386/sse.md (<code><mode>2): Macroize expander from
        abs<mode>2 and neg<mode>2 patterns using absneg code iterator.

From-SVN: r134165

s390.h: Remove the remains of the recent search & replace action of...

2008-04-10  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/s390.h: Remove the remains of the recent search
& replace action of current_function_outgoing_args_size.

From-SVN: r134164

re PR tree-optimization/35821 (Internal compiler error: segmentation fault)

PR tree-optimization/35821
* tree-vect-transform.c (vect_create_data_ref_ptr): Add check that
NEW_STMT_LIST is not NULL.

From-SVN: r134162

Daily bump.

From-SVN: r134157

re PR testsuite/34894 (Some compile tests require trampolines even when the target sets no_trampolines)

2008-04-09  Andy Hutchinson  <hutchinsonandy@aim.com>

PR testsuite/34894
PR testsuite/33782
* lib/target-supports.dg: Add check_effective_target_trampolines.
Disable profiling for avr-*-*.
* gcc.c-torture/compile/pr27889.c: dg-requires trampolines.
* gcc.c-torture/compile/nested-1.c: Ditto.
* gcc.c-torture/compile/20050122-2.c: Ditto.
* gcc.c-torture/compile/20010226-1.c: Ditto.
* gcc.c-torture/compile/20010327-1.c:  Skip for avr-*-*.
* gcc.c-torture/compile/980506-1.c: Ditto.
* gcc.c-torture/compile/20020604-1.c: Ditto.
* gcc.c-torture/compile/limits-stringlit.c: Ditto
* gcc.c-torture/compile/20001226-1.c: Ditto

From-SVN: r134153

re PR c++/35708 (jump to label enters catch block)

        PR c++/35708
        * semantics.c (finish_compound_literal): Return a TARGET_EXPR,
        not a pushed variable.

From-SVN: r134146

re PR libstdc++/35597 (libstdc++ -ffunction-sections -fdata-sections disabled on AIX)

        PR libstdc++/35597
        * toplev.c (process_options): Remove -ffunction-sections debugging
        warning.

From-SVN: r134143

re PR ada/28305 (GNAT bug when inlining instance of a generic subprogram)

    gcc/ada/
PR ada/28305
* sem_ch6.adb (Build_Body_To_Inline): Do not save and restore
environment if generic instance is a top-level one.

    gcc/testsuite/
PR ada/28305
* gnat.dg/specs/fe_inlining.ads, gnat.dg/specs/fe_inlining_helper.ads,
gnat.dg/specs/fe_inlining_helper.adb: New test.

From-SVN: r134142

PR middle-end/PR28690

PR middle-end/PR28690
* explow.c (break_out_memory_refs): Use simplify_gen_binary rather
than gen_rtx_fmt_ee to perform more canonicalizations.

From-SVN: r134139

fp-int-convert.h: Use TImode type for x86_64-pc-mingw target.

2008-04-09  Kai Tietz  <kai.tietz@onevision.com>

* gcc.dg/torture/fp-int-convert.h: Use TImode type for
x86_64-pc-mingw target.
* gcc.dg/titype-1.c: Likewise.

From-SVN: r134135

target-supports.exp (check_effective_target_vxworks_kernel): Fix comment.

* lib/target-supports.exp (check_effective_target_vxworks_kernel):
Fix comment.
(check_effective_target_vxworks_rtp): New procedure.
* g++.dg/opt/20050511-1.C: Rename UINT32 for VxWorks kernel mode.
* g++.dg/warn/miss-format-1.C: XFAIL for VxWorks.
* g++.old-deja/g++.abi/cxa_vec.C: XFAIL for VxWorks kernels.
* g++.old-deja/g++.brendan/new3.C: Likewise.
* g++.old-deja/g++.eh/badalloc1.C: XFAIL for VxWorks RTPs.
* g++.old-deja/g++.law/missed-error2.C: Undefine max for
VxWorks kernel mode.
* g++.old-deja/g++.mike/init1.C: XFAIL for VxWorks kernel mode.
* g++.old-deja/g++.mike/p2736.C: Likewise.
* g++.old-deja/g++.mike/p658.C: Undefine OK for VxWorks kernel mode.
* g++.old-deja/g++.other/headers1.C: Likewise min and max.
* g++.old-deja/g++.robertl/eb79.C: Undefine max for VxWorks
kernel mode.

From-SVN: r134134

list_read.c (snprintf): Define if HAVE_SNPRINTF isn't defined.

* io/list_read.c (snprintf): Define if HAVE_SNPRINTF isn't defined.
(nml_read_obj): Add nml_err_msg_size argument.  Pass it down to
recursive call.  Use snprintf instead of sprintf when %s nl->var_name
is used.
(nml_get_obj_data): Add nml_err_msg_size argument.  Pass it down to
nml_read_obj call.  Use snprintf instead of sprintf when %s
nl->var_name is used.  Pass nml_err_msg to nml_parse_qualifier instead
of parse_err_msg array.  Append " for namelist variable " and
nl->var_name to it.
(namelist_read): Increase size of nml_err_msg array to 200.  Pass
sizeof nml_err_msg as extra argument to nml_get_obj_data.

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

From-SVN: r134132

decl.c (validate_size): Set minimum size for fat pointers same as access types.

2008-04-09  Doug Rupp  <rupp@adacore.com>

* decl.c (validate_size): Set minimum size for fat pointers same as
access types. Code clean ups.

* gmem.c (xstrdup32): New macro for 32bit dup on VMS, noop otherwise
(__gnat_gmem_a2l_initialize): Dup exename into 32 bit memory on VMS

* s-auxdec-vms_64.ads, s-auxdec.ads (Short_Address_Size): New constant

* s-crtl.ads (malloc32) New function, alias for malloc
(realloc32) New function, alias for realloc

* socket.c (__gnat_new_socket_set): Malloc fd_set in 32 bits on VMS

* utils2.c (build_call_alloc_dealloc): Return call to short malloc if
allocator size is 32 and default pointer size is 64.
(find_common_type): Document assumption on t1/t2 vs lhs/rhs. Force use of
lhs type if smaller, whatever the modes.

* gigi.h (malloc32_decl): New macro definition

* utils.c (init_gigi_decls): New malloc32_decl
Various code clean ups.

* s-asthan-vms-alpha.adb (Process_AST.To_Address): Unchecked convert to
Task_Address vice System.Address.

* s-taspri-vms.ads: Import System.Aux_DEC
(Task_Address): New subtype of System.Aux_DEC.Short_Address
(Task_Address_Size): New constant size of System.Aux_DEC.Short_Address

* s-asthan-vms-alpha.adb (Process_AST.To_Address): Unchecked convert to
Task_Address vice System.Address.

* s-inmaop-vms.adb: Import System.Task_Primitives
(To_Address): Unchecked convert to Task_Address vice System.Address

* s-taprop-vms.adb (Timed_Delay): Always set the timer even if delay
expires now.
(To_Task_ID) Unchecked convert from Task_Adddress vice System.Address
(To_Address) Unchecked convert to Task_Address vice System.Address

* s-tpopde-vms.adb: Remove unnecessary warning pragmas

* g-socthi-vms.ads: Add 32bit size clauses on socket access types.

From-SVN: r134131

call.c (build_op_delete_call): Fix quotation in warning message.

* call.c (build_op_delete_call): Fix quotation in warning message.
* decl.c (grokdeclarator): Quote keyword in error message.
* pt.c (check_for_bare_parameter_packs): Fix quotation in error
message.

From-SVN: r134130

parser.c (cp_parser_check_type_definition): Print error string directly rather than using "%s".

* parser.c (cp_parser_check_type_definition): Print error string
directly rather than using "%s".
(cp_parser_postfix_expression): Fix quotation.
(cp_parser_decltype): Likewise.
(cp_parser_sizeof_operand): Fix quotation. Simplify.

From-SVN: r134129

parser.c (cp_parser_non_integral_constant_expression): Build error message with CONCAT rather than using "%s".

* parser.c (cp_parser_non_integral_constant_expression): Build error
message with CONCAT rather than using "%s".
(cp_parser_primary_expression): Fix quotation.
(cp_parser_postfix_expression): Likewise.
(cp_parser_postfix_dot_deref_expression): Likewise.
(cp_parser_unary_expression): Likewise.
(cp_parser_new_expression): Likewise.
(cp_parser_delete_expression): Likewise.

From-SVN: r134128

parser.c (cp_parser_asm_specification_opt): Print CPP_CLOSE_PAREN as `)', not as `('.

* parser.c (cp_parser_asm_specification_opt): Print CPP_CLOSE_PAREN
as `)', not as `('.  Fix quotation.
(cp_parser_consume_semicolon_at_end_of_statement): Fix quotation.
(cp_parser_primary_expression): Likewise.
(cp_parser_nested_name_specifier_opt): Likewise.
(cp_parser_postfix_expression): Likewise.
(cp_parser_postfix_open_square_expression): Likewise.
(cp_parser_parenthesized_expression_list): Likewise.
(cp_parser_pseudo_destructor_name): Likewise.
(cp_parser_new_expression): Likewise.
(cp_parser_direct_new_declarator): Likewise.
(cp_parser_delete_expression): Likewise.
(cp_parser_cast_expression): Likewise.
(cp_parser_question_colon_clause): Likewise.
(cp_parser_builtin_offsetof): Likewise.
(cp_parser_trait_expr): Likewise.
(cp_parser_label_for_labeled_statement): Likewise.
(cp_parser_compound_statement): Likewise.
(cp_parser_selection_statement): Likewise.
(cp_parser_condition): Likewise.
(cp_parser_iteration_statement): Likewise.
(cp_parser_already_scoped_statement): Likewise.
(cp_parser_simple_declaration): Likewise.
(cp_parser_linkage_specification): Likewise.
(cp_parser_static_assert): Likewise.
(cp_parser_decltype): Likewise.
(cp_parser_conversion_function_id): Likewise.
(cp_parser_operator_function_id): Likewise.
(cp_parser_operator): Likewise.
(cp_parser_type_parameter): Likewise.
(cp_parser_template_id): Likewise.
(cp_parser_explicit_instantiation): Likewise.
(cp_parser_explicit_specialization): Likewise.
(cp_parser_enum_specifier): Likewise.
(cp_parser_namespace_definition): Likewise.
(cp_parser_namespace_alias_definition): Likewise.
(cp_parser_using_declaration): Likewise.
(cp_parser_using_directive): Likewise.
(cp_parser_asm_definition): Likewise.
(cp_parser_direct_declarator): Likewise.
(cp_parser_ptr_operator): Likewise.
(cp_parser_parameter_declaration_clause): Likewise.
(cp_parser_initializer_clause): Likewise.
(cp_parser_class_specifier): Likewise.
(cp_parser_member_specification_opt): Likewise.
(cp_parser_member_declaration): Likewise.
(cp_parser_pure_specifier): Likewise.
(cp_parser_constant_initializer): Likewise.
(cp_parser_base_clause): Likewise.
(cp_parser_exception_specification_opt): Likewise.
(cp_parser_try_block): Likewise.
(cp_parser_function_try_block): Likewise.
(cp_parser_handler): Likewise.
(cp_parser_throw_expression): Likewise.
(cp_parser_asm_operand_list): Likewise.
(cp_parser_attributes_opt): Likewise.
(cp_parser_label_declaration): Likewise.
(cp_parser_constructor_declarator_p): Likewise.
(cp_parser_template_declaration_after_export): Likewise.
(cp_parser_single_declaration): Likewise.
(cp_parser_objc_message_expression): Likewise.
(cp_parser_objc_message_args): Likewise.
(cp_parser_objc_encode_expression): Likewise.
(cp_parser_objc_defs_expression): Likewise.
(cp_parser_objc_protocol_expression): Likewise.
(cp_parser_objc_selector_expression): Likewise.
(cp_parser_objc_protocol_refs_opt): Likewise.
(cp_parser_objc_typename): Likewise.
(cp_parser_objc_method_keyword_params): Likewise.
(cp_parser_objc_superclass_or_category): Likewise.
(cp_parser_objc_try_catch_finally_statement): Likewise.
(cp_parser_objc_synchronized_statement): Likewise.
(cp_parser_objc_throw_statement): Likewise.
(cp_parser_omp_var_list_no_open): Likewise.
(cp_parser_omp_clause_default): Likewise.
(cp_parser_omp_clause_if): Likewise.
(cp_parser_omp_clause_num_threads): Likewise.
(cp_parser_omp_clause_reduction): Likewise.
(cp_parser_omp_clause_schedule): Likewise.
(cp_parser_omp_critical): Likewise.
(cp_parser_omp_for_loop): Likewise.
(cp_parser_omp_sections_scope): Likewise.

From-SVN: r134127

* parser.c (cp_parser_template_parameter_list): Simplify.

From-SVN: r134126

Daily bump.

From-SVN: r134120

re PR driver/35665 (FAIL: gfortran.dg/include_2.f90  -O  (test for excess error))

PR driver/35665
* collect2.c (write_c_file): Don't wrap in "#ifdef __cplusplus".

From-SVN: r134116

tree-cfg.c (verify_stmt): Print complete bogus stmt.

2008-04-09  Richard Guenther  <rguenther@suse.de>

* tree-cfg.c (verify_stmt): Print complete bogus stmt.
(dump_function_to_file): Dump function arguments with types.

* gfortran.dg/bind_c_usage_14.f03: Adjust.

From-SVN: r134115

re PR testsuite/35005 (New testcase execute/20071211-1.c assumes 32 bit integers)

PR target/35005
* execute/20071221-1.c: Adapt test for 16 bit int targets.
* execute/pr35163.c: Ditto.

From-SVN: r134114

fold-const.c (fold_widened_comparison): Do not allow sign-changes that change the result.

2008-04-08  Richard Guenther  <rguenther@suse.de>

* fold-const.c (fold_widened_comparison): Do not allow
sign-changes that change the result.

* gcc.c-torture/execute/20080408-1.c: New testcase.

From-SVN: r134108

re PR target/35839 (Altivec with the vectorizer causes an ICE in rs6000_check_sdmode)

PR target/35839
* config/rs6000/rs6000.c (rs6000_check_sdmode): Handle additional
kinds of indirect references.

From-SVN: r134107

rs6000.c (rs6000_output_function_epilogue): Update GNU Fortran language string.

        * config/rs6000/rs6000.c (rs6000_output_function_epilogue): Update
        GNU Fortran language string.

From-SVN: r134106

fold-canst.c (tree_call_nonnegative_warnv_p): New.

2008-04-08  Rafael Espindola  <espindola@google.com>

* fold-canst.c (tree_call_nonnegative_warnv_p): New.
(tree_invalid_nonnegative_warnv_p): Use tree_call_nonnegative_warnv_p.
* tree.h (tree_call_nonnegative_warnv_p): New.

From-SVN: r134102

gigi.h (standard_datatypes): Add ADT_fdesc_type and ADT_null_fdesc.

* gigi.h (standard_datatypes): Add ADT_fdesc_type and ADT_null_fdesc.
(fdesc_type_node): Define.
(null_fdesc_node): Likewise.
* decl.c (gnat_to_gnu_entity) <E_Access_Subprogram_Type>: If the target
uses descriptors for vtables and the type comes from a dispatch table,
return the descriptor type.
* trans.c (Attribute_to_gnu) <Attr_Unrestricted_Access>: If the target
uses descriptors for vtables and the type comes from a dispatch table,
build a descriptor in the static case and copy the existing one in the
non-static case.
(gnat_to_gnu) <N_Null>: If the target uses descriptors for vtables and
the type is a pointer-to-subprogram coming from a dispatch table,
return the null descriptor.
<N_Unchecked_Type_Conversion>: If the target uses descriptors for
vtables, the source type is the descriptor type and the target type
is a pointer type, first build the pointer.
* utils.c (init_gigi_decls): If the target uses descriptors for vtables
build the descriptor type and the null descriptor.

From-SVN: r134101

function.c (free_after_compilation): Clear out regno_reg_rtx pointer.

* function.c (free_after_compilation): Clear out regno_reg_rtx
pointer.

From-SVN: r134097

Revert
2008-04-07  Peter Bergner  <bergner@vnet.ibm.com>

PR middle-end/PR28690
* rtlanal.c: (commutative_operand_precedence): Give SYMBOL_REF's the
same precedence as REG_POINTER and MEM_POINTER operands.

From-SVN: r134095

decl.c (prepend_attributes): Fix typo.

* decl.c (prepend_attributes): Fix typo.
* trans.c (Pragma_to_gnu): Likewise.
* utils.c (gnat_genericize): Likewise.

From-SVN: r134094

ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Only set it when bit-packed.

* ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Only set it when bit-packed.
* decl.c (gnat_to_gnu_entity): Adjust for above change.
<E_Record_Type>: Try to get a better form of the component for
packing, even if it has an integral mode.
<E_Record_Subtype>: Likewise.
* trans.c (gnat_to_gnu): Do not require BLKmode for the special
exception suppressing the final conversion between record types.

Co-Authored-By: Richard Kenner <kenner@adacore.com>
From-SVN: r134093

decl.c (gnat_to_gnu_entity): If -gnatd.a and not optimizing alignment for space...

* decl.c (gnat_to_gnu_entity) <object>: If -gnatd.a and not optimizing
alignment for space, promote the alignment of non-scalar variables with
no size and alignment.
* gigi.h (gnat_types_compatible_p): Declare.
* misc.c (LANG_HOOKS_TYPES_COMPATIBLE_P): Set to above predicate.
* trans.c (gnat_to_gnu): Revert revision 129339 change.  Minor cleanup.
* utils.c (gnat_types_compatible_p) : New predicate.
(convert): Use it throughout to test for cases where a mere view
conversion is sufficient.
* utils2.c (build_binary_op): Minor tweaks.
(build_unary_op): Likewise.

From-SVN: r134092

decl.c (adjust_packed): Expand comment.

* decl.c (adjust_packed): Expand comment.

From-SVN: r134091

re PR tree-optimization/35834 (building libiberty fails in build2_stat for -mcpu=m32c as of r133403)

2008-04-08  Richard Guenther  <rguenther@suse.de>

PR middle-end/35834
* tree-ssa-address.c (create_mem_ref): Use POINTER_PLUS_EXPR
for adding index to base.

From-SVN: r134090

Enable trampoline code for nx-protected stack Windows.

* config/i386/mingw32.h (ENABLE_EXECUTE_STACK): New.
(MINGW_ENABLE_EXECUTE_STACK): New.
(IN_LIBGCC2): For libgcc include windows.h file for
function declarations.

From-SVN: r134089

cris.c (cris_address_cost): For a PLUS, swap tem1 and tem2 if tem1 is not a REG or MULT.

* config/cris/cris.c (cris_address_cost): For a PLUS, swap tem1
and tem2 if tem1 is not a REG or MULT.

From-SVN: r134088

function.h (incomming_args): Break out of struct function.

* function.h (incomming_args): Break out of struct function.
(function_subsections): Break out of struct function.
(rtl_data): Add args, subsections fields. Break out outgoing_args_size,
return_rtx and hard_reg_initial_vals from struct function.
Kill inl_max_label_num.
(current_function_pops_args, current_function_args_info,
current_function_args_size, current_function_args_size,
current_function_pretend_args_size,
current_function_outgoing_args_size,
current_function_internal_arg_pointer, current_function_return_rtx):
Kill compatibility accestor macros.
* builtins.c (expand_builtin_apply_args_1): Update.
(expand_builtin_next_arg): Update.
* df-scan.c (df_get_call_refs): Update.
* dbxout.c (dbxout_function_end): Update.
* dwarf2out.c (dwarf2out_switch_text_section): Update.
(output_line_info): Update.
(secname_for_decl): Update.
(dwarf2out_var_location): Update.
* function.c (free_after_compilation): Update.
(assign_parm_find_stack_rtl): Update.
(assign_parms): Update.
(expand_dummy_function_end): Update.
(expand_function_end): Update.
* calls.c (mem_overlaps_already_clobbered_arg_p): Update.
(expand_call): Update.
(emit_library_call_value_1): Update.
(store_one_arg): Update.
* varasm.c (initialize_cold_section_name): Update.
(unlikely_text_section): Update.
(unlikely_text_section_p): Update.
(assemble_start_function): Update.
(assemble_end_function): Update.
(default_section_type_flags): Update.
(switch_to_section): Update.
* integrate.c (set_decl_abstract_flags): Update.
(get_hard_reg_initial_val): Update.
(has_hard_reg_initial_val): Update.
(allocate_initial_values): Update.
* resource.c (init_resource_info): Update.
* config/alpha/alpha.c (NUM_ARGS): Update.
(direct_return): Update.
(alpha_va_start): Update.
(alpha_sa_size): Update.
(alpha_initial_elimination_offset): Update.
(alpha_expand_prologue): Update.
(alpha_start_function): Update.
(alpha_expand_epilogue): Update.
(unicosmk_initial_elimination_offset):
* config/alpha/alpha.md (call expander): Update.
* config/s390/s390.c (s390_register_info): Update.
(s390_register_info): Update.
(s390_frame_info): Update.
(s390_initial_elimination_offset): Update.
(s390_build_builtin_va_list): Update.
(s390_va_start): Update.
* config/spu/spu.c (direct_return): Update.
(spu_expand_prologue): Update.
(spu_initial_elimination_offset): Update.
(spu_build_builtin_va_list): Update.
(spu_va_start): Update.
* config/sparc/sparc.c (sparc_init_modes): Update.
(sparc_compute_frame_size): Update.
(function_value): Update.
* config/m32r/m32r.c (m32r_compute_frame_size): Update.
* config/i386/i386.md (return expander): Update.
* config/i386/i386.c (ix86_va_start): Update.
(ix86_can_use_return_insn_p): Update.
(ix86_compute_frame_layout): Update.
(ix86_expand_epilogue): Update.
* config/sh/sh.c (output_stack_adjust): Update.
(calc_live_regs): Update.
(sh_expand_prologue): Update.
(sh_builtin_saveregs): Update.
(sh_va_start): Update.
(initial_elimination_offset): Update.
(sh_allocate_initial_value): Update.
(sh_function_ok_for_sibcall): Update.
(sh_get_pr_initial_val): Update.
* config/sh/sh.md (return expander): Update.
* config/avr/avr.c (frame_pointer_required_p): UPdate.
* config/crx/crx.c (crx_compute_frame): UPdate.
(crx_initial_elimination_offset): UPdate.
* config/xtensa/xtensa.c (compute_frame_size): Update
(xtensa_builtin_saveregs): Update.
(xtensa_va_start): Update.
(order_regs_for_local_alloc): Update.
* config/stormy16/stormy16.c (xstormy16_compute_stack_layout): Update.
(xstormy16_expand_builtin_va_start): Update.
* config/fr30/fr30.c (fr30_compute_frame_size): Update.
* config/m68hc11/m68hc11.md (return expanders): Update.
* config/m68hc11/m68hc11.c (expand_prologue): Update.
(expand_epilogue): Update.
* config/cris/cris.c (cris_initial_frame_pointer_offset): Update.
(cris_simple_epilogue): Update.
(cris_expand_prologue): Update.
(cris_expand_epilogue): Update.
* config/iq2000/iq2000.c (iq2000_va_start): Update.
(compute_frame_size): Update.
* config/mt/mt.c (mt_compute_frame_size): Update.
* config/mn10300/mn10300.c (expand_prologue): Update.
(expand_epilogue): Update.
(initial_offset): Update.
(mn10300_builtin_saveregs):
* config/mn10300/mn10300.md (return expander): Update.
* config/ia64/ia64.c (ia64_compute_frame_size): Update.
(ia64_initial_elimination_offset): Update.
(ia64_initial_elimination_offset): Update.
(ia64_expand_prologue): Update.
* config/m68k/m68k.md (return expander): Update.
* config/rs6000/rs6000.c (rs6000_va_start): Update.
(rs6000_stack_info): Update.
* config/mcore/mcore.c (layout_mcore_frame): Update.
(mcore_expand_prolog): Update.
* config/arc/arc.c (arc_compute_frame_size): Update.
* config/score/score3.c (score3_compute_frame_size): Update.
* config/score/score7.c (score7_compute_frame_size): Update.
* config/arm/arm.c (use_return_insn): Update.
(thumb_find_work_register): Update.
(arm_compute_save_reg_mask): Update.
(arm_output_function_prologue): Update.
(arm_output_epilogue): Update.
(arm_size_return_regs): Update.
(arm_get_frame_offsets): Update.
(arm_expand_prologue): Update.
(thumb_exit): Update.
(thumb_unexpanded_epilogue): Update.
(thumb1_output_function_prologue): Update.
* config/pa/pa.md (return expander): Update.
* config/pa/pa.c (compute_frame_size): Update.
(hppa_builtin_saveregs): Update.
* config/mips/mips.c (mips_va_start): Update.
(mips16_build_function_stub): Update.
(mips_compute_frame_info): Update.
(mips_restore_gp): Update.
(mips_output_function_prologue): Update.
(mips_expand_prologue): Update.
* config/v850/v850.c (compute_frame_size): Update.
(expand_prologue): * config/mmix/mmix.c (along): update.
(mmix_initial_elimination_offset): update.
(mmix_reorg): update.
(mmix_use_simple_return): update.
(mmix_expand_prologue): update.
(mmix_expand_epilogue): Update.
* config/bfin/bfin.c (bfin_initial_elimination_offset): Update.
(emit_link_insn): Update.

From-SVN: r134087

parent_ltd_with-child_full_view.adb: New test.

* gnat.dg/parent_ltd_with-child_full_view.adb: New test.
* gnat.dg/rt1.adb: New test.
* gnat.dg/test_time_stamp.adb: New test.
* gnat.dg/specs/warn_star.ads: New test.
* gnat.dg/specs/aggr1.ads: New test.

From-SVN: r134086

parent_ltd_with-child_full_view.adb: New test.

* gnat.dg/parent_ltd_with-child_full_view.adb: New test.
* gnat.dg/rt1.adb: New test.
* gnat.dg/test_time_stamp.adb: New test.
* gnat.dg/specs/warn_star.ads: New test.
* gnat.dg/specs/aggr1.ads: New test.

From-SVN: r134085

Resync.

From-SVN: r134084

Removed.

From-SVN: r134083

Update comments.

Minor reformatting.

From-SVN: r134082

New file.

From-SVN: r134081

Change name In_Default_Expression => In_Spec_Expression Change name...

Change name In_Default_Expression      => In_Spec_Expression
Change name Analyze_Per_Use_Expression => Preanalyze_Spec_Expression
Change name Pre_Analyze_And_Resolve    => Preanalyze_And_Resolve

From-SVN: r134080

(Task_Address): New subtype of System.Address

(Task_Address): New subtype of System.Address
(Task_Address_Size): New constant size of System.Address
(Alternate_Stack_Size): New constant.

From-SVN: r134079

(Task_Address): New subtype

(Task_Address): New subtype
(Task_Address_Size): New constant size of System.Address
(Alternate_Stack_Size): New constant.

From-SVN: r134078

Use Task_Address.

From-SVN: r134077

(Short_Address_Size): New constant.

From-SVN: r134076

(Minimum_Stack_Size): Increase value to 16K

From-SVN: r134075

(malloc32, realloc32): New functions.

From-SVN: r134074

Update comments.

From-SVN: r134073

Update comments.

From-SVN: r134072

* makeutl.adb (Path_Or_File_Name): New function

From-SVN: r134071

Use Task_Address instead of System.Address.

From-SVN: r134070

avr.h (TARGET_CPU_CPP_BUILTINS): Define __AVR_HAVE_EIJMP_EICALL__ macro if...

* config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Define
__AVR_HAVE_EIJMP_EICALL__ macro if device have EIJMP and EICALL
instructions.
* config/avr/avr.c (avr_mcu_types): Set AVR31 architecture for
atmega103 device.

From-SVN: r134069

Resync.

From-SVN: r134068

* Makefile.in: Remove handling of gnatbl.

From-SVN: r134067

bindgen.adb (Gen_Adainit_Ada): If the main program is a CIL function...

2008-04-08  Jerome Lambourg  <lambourg@adacore.com>
    Arnaud Charlet  <charlet@adacore.com>

* bindgen.adb (Gen_Adainit_Ada): If the main program is a CIL function,
then use __gnat_set_exit_status to report the returned status code.

* comperr.adb (Compiler_Abort): Convert most bug boxes into clean error
messages on .NET, since some constructs of the language are not
properly supported.

* gnatlink.adb (Gnatlink): In case the command line is too long for the
.NET linker, gnatlink now concatenate all .il files and pass this to
ilasm.

From-SVN: r134066

g-comlin.ads, [...] (Expansion): Remove unreachable return statement.

2008-04-08  Emmanuel Briot  <briot@adacore.com>

* g-comlin.ads, g-comlin.adb (Expansion): Remove unreachable return
statement.
(Get_Configuration): New subprogram.

* prj-pp.ads, prj-pp.adb (Pretty_Print): new parameters Id and Id_Tree
These optional parameters help preserve the casing of the project's name
when pretty-printing.

From-SVN: r134065

binde.adb (Gather_All_Links, [...]): units that are mentioned in limited_with_clauses to do create semantic...

2008-04-08  Ed Schonberg  <schonberg@adacore.com>

* binde.adb (Gather_All_Links, Gather_Dependencies): units that are
mentioned in limited_with_clauses to do create semantic dependencies
even though they appear in the ali file.

From-SVN: r134064

impunit.adb: Add Interfaces.Java.JNI...

2008-04-08  Robert Dewar  <dewar@adacore.com>
    Bob Duff  <duff@adacore.com>

* impunit.adb: Add Interfaces.Java.JNI, System.Strings.Stream_Ops,
Ada.Calendar.Conversions, Ada.Dispatching.EDF, GNAT.Time_Stamp

* s-intman-mingw.adb: Minor comment fix -- spell 'explicitly' correctly

* g-trasym.adb: Minor comment fix -- spell 'explicitly' correctly

* g-trasym.ads: Minor comment improvements

* s-stalib.adb: Minor comment fix -- spell 'explicitly' correctly

* a-sequio.ads, a-direio.ads: improve message for tagged type

* a-strunb.ads: Minor reformatting

* a-tifiio.adb: Minor reformatting

* atree.adb (Fix_Parents): Use clearer names for formals
Cleanup and simplify code
Use named notation in calls

* exp_fixd.adb (Do_Multiply_Fixed_Universal): Use named notation in
confusing calls

* uintp.adb: Used named notation for some confusing calls

* bindusg.adb: Minor change in one line of output

* cstand.adb: Minor reformatting of src representation of Standard

* a-assert.ads: Add comment.

* g-decstr.adb: Fix bad indentation

* expander.ads, expander.adb: Code clean up.

* sem_dist.ads, sem_type.adb, g-dirope.ads, g-exctra.ads, s-valwch.adb,
s-wchstw.adb, targparm.ads, widechar.adb: Minor reformatting

* i-cstrin.adb: Fix casing error in formal parameter name in call

From-SVN: r134063

ctrl_c.c: Improve handling of ctrl-c on LynxOS and Windows.

2008-04-08  Eric Botcazou  <ebotcazou@adacore.com>

* ctrl_c.c: Improve handling of ctrl-c on LynxOS and Windows.
Minor reformatting.

From-SVN: r134062

gen-soccon.c: Bump year in copyright notices.

2008-04-08  Thomas Quinot  <quinot@adacore.com>

* gen-soccon.c: Bump year in copyright notices.

* g-soccon-vxworks.ads: Add new constant IP_PKTINFO

From-SVN: r134061

vms_conv.adb (Output_Version): Print "GNAAMP" instead of "GNAT when AAMP_On_Target is set.

2008-04-08  Vincent Celier  <celier@adacore.com>
    Robert Dewar  <dewar@adacore.com>

* vms_conv.adb (Output_Version): Print "GNAAMP" instead of "GNAT when
AAMP_On_Target is set.

* vms_data.ads: Add NOxxx to style check switch list
Add entry COMPONENTS for -gnatVe
Add VMS qualifiers for -eL (/FOLLOW_LINKS_FOR_FILES) and --subdirs=
(/SUBDIRS=).
(GCC_Switches): Add /ALL_BACK_END_WARNINGS.
Add qualifiers for gnatmetric coupling options
Add note that -gnata enables all checks
Add entries [NO]PARAMETER_ORDER for -gnatw.p[P]
Fix inconsistency for VMS qualifier for the gnatpp '-rnb' option
New warning flag -gnatw.e

* usage.adb: Add entries for -gnaty+ -gnaty- -gnatyy
Add entry for -gnatyN (forgotten before)
Line for new warning switch -gnatw.p
New warning flag -gnatw.e

* gnat_ugn.texi: Add documentation fpr project file switch -aP
Document -gnaty - + y
Replace occurences of "package specification" with "package spec"
Define preprocessing symbols in documentation of gnatprep
Clarify reason for distinguishing overflow checking
Add documentation for project-aware tool switches -eL and --subdirs=
Complete list of configuration pragmas
Specify that, even when gnatmake switch -x is used, mains on the command
line need to be sources of project files.
Editing of gnatcheck/gnatmetric doc.
Add documentation for -gnatw.p/-gnatw.P
Add missing documentation for -fno-inline-functions.
Add documentation for -gnatw.e

* gnat_rm.texi: Add documentation for No_Default_Initialization
Replace occurences of "package specification" with "package spec"
Document use of * in Warnings Off string
Update documentation of alignment/component clauses.
Add documentation for Invalid_Value
Document new consistency rule for Optimize_Alignment
Add documentation for Precondition and Postcondition pragmas
Add documentation for Check and Check_Policy pragmas
Document new Enum_Val attribute
Remove requirement for static string in pragma Assert
Add documentation on GNAT.Time_Stamp

* ug_words: add entry for -gnatVe
Add entries for -gnat.p[P] /WARNINGS=[NO]PARAMETER_ORDER
Add entry for -gnatw.e

* debug.adb: Add missing documentation for d.a flag
Document new -gnatd.a switch.
Add documentation for new gnatmake debug switch -df

From-SVN: r134060

a-direct.adb (Start_Search): Check for Name_Error before checking for Use_Error, as specified in the RM.

2008-04-08  Vincent Celier  <celier@adacore.com>

* a-direct.adb (Start_Search): Check for Name_Error before checking for
Use_Error, as specified in the RM. Check if directory is open and raise
Use_Error if it is not.

From-SVN: r134059

vxaddr2line.adb: Use Unsigned_32 instead of Integer for address type.

2008-04-08  Tristan Gingold  <gingold@adacore.com>

* vxaddr2line.adb: Use Unsigned_32 instead of Integer for address type.
Improve error message generation.

From-SVN: r134058

types.h: Change CE_Null_Exception_Id to the correct value (8, was 9).

2008-04-08  Bob Duff  <duff@adacore.com>

* types.h: Change CE_Null_Exception_Id to the correct value (8, was 9).

From-SVN: r134057

tree_io.ads: Increase ASIS_Version_Number because of adding Sem_Aux to the set of the GNAT...

2008-04-08  Sergey Rybin  <rybin@adacore.com>

* tree_io.ads: Increase ASIS_Version_Number because of adding Sem_Aux
to the set of the GNAT components needed by ASIS.

From-SVN: r134056

stylesw.adb: Implement -gnaty + - y options

2008-04-08  Robert Dewar  <dewar@adacore.com>

* stylesw.adb: Implement -gnaty + - y options
(Set_GNAT_Style_Check_Options): Includ I in style check string

* stylesw.ads: Add comments for new style switch options

From-SVN: r134055

styleg.adb (Check_Comment): Allow special char after -- in non-end-of-line case

2008-04-08  Robert Dewar  <dewar@adacore.com>

* styleg.adb (Check_Comment): Allow special char after -- in
non-end-of-line case

From-SVN: r134054

stringt.adb (Write_String_Table_Entry): Handle wide characters properly

2008-04-08  Robert Dewar  <dewar@adacore.com>

* stringt.adb (Write_String_Table_Entry): Handle wide characters
properly

From-SVN: r134053

s-strxdr.adb, [...] (Block_IO_OK): New subprogram.

2008-04-08  Hristian Kirtchev  <kirtchev@adacore.com>

* s-strxdr.adb, s-stratt.ads, s-stratt.adb (Block_IO_OK): New
subprogram.
Add new subtype S_WWC, unchecked conversion routines From_WWC and
To_WWC.
(I_WWC, O_WWC): New routines for input and output of
Wide_Wide_Character.

From-SVN: r134052

s-stoele.ads, [...]: Move the location of Dummy_Communication_Block from System.Storage_Elements to...

2008-04-08  Hristian Kirtchev  <kirtchev@adacore.com>

* s-stoele.ads, s-soflin.ads: Move the location of
Dummy_Communication_Block from System.Storage_Elements to
System.Soft_Links.

* s-tpobop.ads: Add comment on usage of Dummy_Communication_Block to
emulate Communication_Block in certain scenarios.

From-SVN: r134051

s-imgdec.adb (Set_Decimal_Digits): Fix error when input is zero with negative scale

2008-04-08  Robert Dewar  <dewar@adacore.com>

* s-imgdec.adb (Set_Decimal_Digits): Fix error when input is zero with
negative scale
(Set_Decimal_Digits): Properly handle Aft=0 (equivalent to Aft=1)
Properly handle case where Aft > Scale and input number is less than
one.

From-SVN: r134050

sem_aggr.adb (Analyze_N_Extension_Aggregate): Add legality checks for the ancestor part of an extension aggregate for a...

2008-04-08  Ed Schonberg  <schonberg@adacore.com>
    Robert Dewar  <dewar@adacore.com>

* sem_aggr.adb (Analyze_N_Extension_Aggregate): Add legality checks for
the ancestor part of an extension aggregate for a limited type.
(Resolve_Array_Aggregate): Issue warning for sliding of aggregate with
enumeration index bounds.
(Resolve_Array_Aggregate): Add circuit for diagnosing missing choices
when array is too short.
(Check_Expr_OK_In_Limited_Aggregate): Move function
Check_Non_Limited_Type from Resolve_Record_Aggregate to top level (and
change name).
(Resolve_Array_Aggregate.Resolve_Aggr_Expr):
Check_Expr_OK_In_Limited_Aggregates called to check for illegal limited
component associations.
(Check_Non_Limited_Type): Moved to outer level and renamed.
(Resolve_Record_Aggregate): In an extension aggregate, an association
with a box initialization can only designate a component of the
extension, not a component inherited from the given ancestor

* sem_case.adb: Use new Is_Standard_Character_Type predicate

From-SVN: r134049

sem.adb (Analyze): Consider case in which we analyze an empty node that was generated by a call to...

2008-04-08  Javier Miranda  <miranda@adacore.com>

* sem.adb (Analyze): Consider case in which we analyze an empty node
that was generated by a call to a runtime function that is not
available under the configurable runtime.

* sem.ads (Inside_Freezing_Actions): New flag.
(Save_Check_Policy_List): New field in scope stack entry

From-SVN: r134048

scng.adb (Scan_Identifier): Handle case of identifier starting with wide character using UTF-8 encoding.

2008-04-08  Robert Dewar  <dewar@adacore.com>

* scng.adb (Scan_Identifier): Handle case of identifier starting with
wide character using UTF-8 encoding.

From-SVN: r134047

prj-util.adb (Executable_Of): New String parameter Language.

2008-04-08  Vincent Celier  <celier@adacore.com>

* prj-util.adb (Executable_Of): New String parameter Language. When
Ada_Main is False and Language is not empty, attempt to remove the body
suffix or the spec suffix of the language to get the base of the
executable file name.
(Put): New Boolean parameter Lower_Case, defauilted to False. When
Lower_Case is True, put the value in lower case in the name list.
(Executable_Of): If there is no executable suffix in the configuration,
then do not modify Executable_Extension_On_Target.

* prj-util.ads (Executable_Of): New String parameter Language,
defaulted to the empty string.
(Put): New Boolean parameter Lower_Case, defauilted to False

From-SVN: r134046

2008-04-08  Ed Schonberg  <schonberg@adacore.com>

* par-ch3.adb (P_Type_Declaration) Reject the keyword "synchronized"
in a type declaration, if this is not an interface declaration or
private type extension.

From-SVN: r134045

par-ch11.adb (P_Exception_Handler): Check indentation level for handler

2008-04-08  Robert Dewar  <dewar@adacore.com>

* par-ch11.adb (P_Exception_Handler): Check indentation level for
handler

From-SVN: r134044