exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets Orig_Prev to Prev in the case where...

2008-08-01  Gary Dismukes  <dismukes@adacore.com>

* exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets
Orig_Prev to Prev in the case where the actual is N_Function_Call or
N_Identifier. This was interfering with other cases that are rewritten
as N_Identifier, such as allocators, resulting in passing of the wrong
accessibility level, and based on testing this code is apparently no
longer needed at all.

From-SVN: r138490

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

* sem_prag.adb:
(Check_Precondition_Postcondition): If not generating code, analyze the
expression in a postcondition that appears in a subprogram body, so that
it is properly decorated for ASIS use.

From-SVN: r138489

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

* mlib-utl.adb:
(Adalib_Path): New variable to store the path of the adalib directory
when procedure Specify_Adalib_Dir is called.
(Lib_Directory): If Adalib_Path is not null, return its value
(Specify_Adalib_Dir): New procedure

* mlib-utl.ads (Specify_Adalib_Dir): New procedure

From-SVN: r138488

prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)

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

* prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)

* prj-nmsc.adb (Process_Compiler): Recognize attribute Name_Syntax

* prj.adb (Object_Exist_For): Use Object_Generated, not
Objects_Generated that is removed and was never modified anyway.

* prj.ads:
(Path_Syntax_Kind): New enumeration type
(Language_Config): New component Path_Syntax, defaulted to Host.
Components PIC_Option and Objects_Generated removed, as they are not
used.

* snames.adb: New standard name Path_Syntax

* snames.ads: New standard name Path_Syntax

From-SVN: r138487

checks.adb (Apply_Float_Conversion_Check): If the expression to be converted is a real literal and the target type has...

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

* checks.adb (Apply_Float_Conversion_Check): If the expression to be
converted is a real literal and the target type has static bounds,
perform the conversion exactly to prevent floating-point anomalies on
some targets.

From-SVN: r138486

sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not generating code

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

* sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not
generating code

From-SVN: r138485

s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in paths...

2008-08-01  Jerome Lambourg  <lambourg@adacore.com>

* s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in
paths, which are authorized by Windows but can lead to errors when used
elsewhere.

From-SVN: r138484

sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of Raise_Exception

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

* sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of
Raise_Exception

From-SVN: r138483

adaint.c (__gnat_tmp_name): Refine the generation of temporary names for RTX.

2008-08-01  Jose Ruiz  <ruiz@adacore.com>

* adaint.c (__gnat_tmp_name): Refine the generation of temporary names
for RTX. Adding a suffix that is incremented at each iteration.

From-SVN: r138482

gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and rts-rtx-w32).

2008-08-01  Jose Ruiz  <ruiz@adacore.com>

* gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and
rts-rtx-w32).

From-SVN: r138481

sem_ch12.ads (Need_Subprogram_Instance_Body): new function...

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

* sem_ch12.ads (Need_Subprogram_Instance_Body): new function, to create
a pending instantiation for the body of a subprogram that is to be
inlined.

* sem_ch12.adb:
(Analyze_Subprogram_Instantiation): use Need_Subprogram_Instance_Body.

* sem_prag.adb (Make_Inline): If the pragma applies to an instance,
create a pending instance for its body, so that calls to the subprogram
can be inlined by the back-end.

From-SVN: r138480

configure.ac: Do not generate libada-mk.

gcc:
2008-08-01  Paolo Bonzini  <bonzini@gnu.org>

* configure.ac: Do not generate libada-mk.  Do not subst
host_cc_for_libada.
* libada-mk.in: Remove.
* Makefile.in: Pass TARGET_LIBGCC2_CFLAGS to libgcc.mvars.
* configure: Regenerate.

libada:
2008-08-01  Paolo Bonzini  <bonzini@gnu.org>

* configure.ac (warn_cflags): Substitute.
* configure: Regenerate.
* Makefile.in (libdir, WARN_CFLAGS): Substitute.
(GCC_WARN_CFLAGS): Remove NOCOMMON_FLAG.
(ADA_CFLAGS, T_ADA_CFLAGS, X_ADA_CFLAGS, ALL_ADA_CFLAGS): Remove,
they were unused.
(libada-mk): Do not include.  Include libgcc.mvars instead.
(tmake_file): Remove, do not include.
(FLAGS_TO_PASS): Pass dummy values for exeext and CC.
* configure: Regenerate.

gnattools:
2008-08-01  Paolo Bonzini  <bonzini@gnu.org>

* configure.ac (warn_cflags): Substitute.
* configure: Regenerate.
* Makefile.in (libdir, exeext, WARN_CFLAGS): Substitute.
(GCC_WARN_CFLAGS): Remove NOCOMMON_FLAG.
(ADA_INCLUDE_DIR, ADA_RTL_OBJ_DIR): Remove as they were unused.
(libsubdir): Remove.
(libada-mk): Do not include.  Include libgcc.mvars instead.
(xmake_file): Remove, do not include.

From-SVN: r138479

Resync.

From-SVN: r138475

adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam nor tmpnam...

2008-08-01  Jose Ruiz  <ruiz@adacore.com>

* adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam
nor tmpnam, so we always use c:\WINDOWS\Temp\gnat-XXXXXX as temporary
name.

From-SVN: r138474

gnat_rm.texi: Document new mechanism Short_Descriptor.

2008-08-01  Doug Rupp  <rupp@adacore.com>

* gnat_rm.texi: Document new mechanism Short_Descriptor.

* types.ads (Mechanism_Type): Modify range for new Short_Descriptor
mechanism values.

* sem_prag.adb (Set_Mechanism_Value): Enhance for Short_Descriptor
mechanism and Short_Descriptor mechanism values.

* snames.adb (preset_names): Add short_descriptor entry.

* snames.ads: Add Name_Short_Descriptor.

* types.h: Add new By_Short_Descriptor mechanism values.

* sem_mech.adb (Set_Mechanism_Value): Enhance for Short_Descriptor
mechanism and Short_Descriptor mechanism values.

* sem_mech.ads (Mechanism_Type): Add new By_Short_Descriptor mechanism
values.
(Descriptor_Codes): Modify range for new mechanism values.

* treepr.adb (Print_Entity_Enfo): Handle new By_Short_Descriptor
mechanism values.

* gcc-interface/decl.c (gnat_to_gnu_entity): Handle By_Short_Descriptor.
(gnat_to_gnu_param): Handle By_Short_Descriptor.

* gcc-interface/gigi.h (build_vms_descriptor64): Remove prototype.
(build_vms_descriptor32): New prototype.
(fill_vms_descriptor): Remove unneeded gnat_actual parameter.

* gcc-interface/trans.c (call_to_gnu): Removed unneeded gnat_actual
argument in call fill_vms_descriptor.

* gcc-interface/utils.c (build_vms_descriptor32): Renamed from
build_vms_descriptor and enhanced to hande Short_Descriptor mechanism.
(build_vms_descriptor): Renamed from build_vms_descriptor64.
(convert_vms_descriptor32): New function.
(convert_vms_descriptor64): New function.
(convert_vms_descriptor): Rewrite to handle both 32bit and 64bit
descriptors.

* gcc-interface/utils2.c (fill_vms_descriptor): Revert previous changes,
no longer needed.

From-SVN: r138473

scng.adb (Error_Illegal_Wide_Character): Bump scan pointer

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

* scng.adb (Error_Illegal_Wide_Character): Bump scan pointer

From-SVN: r138472

Resync.

From-SVN: r138470

Update comments.

From-SVN: r138469

scng.adb: Minor reformatting

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

* scng.adb: Minor reformatting

From-SVN: r138468

vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTING

2008-08-01  Doug Rupp  <rupp@adacore.com>

* vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTING

From-SVN: r138467

opt.ads: Minor documentation fix

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

* opt.ads: Minor documentation fix

From-SVN: r138466

sem_util.ads: Minor reformatting.

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

* sem_util.ads: Minor reformatting.

From-SVN: r138465

mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a dummy transfer address for debugging.

2008-08-01  Doug Rupp  <rupp@adacore.com>

* mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a
dummy transfer address for debugging.

* mlib-tgt-specific-vms-ia64.adb (Build_Dynamic_Library): Likewise.

From-SVN: r138464

exp_disp.adb (Expand_Interface_Conversion): If the target type is a tagged synchronized type, use corresponding record type.

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

* exp_disp.adb (Expand_Interface_Conversion): If the target type is a
tagged synchronized type, use corresponding record type.

From-SVN: r138463

gnatchop.adb: Minor reformatting

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

* gnatchop.adb: Minor reformatting

From-SVN: r138462

sinput.adb: Minor reformatting

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

* sinput.adb: Minor reformatting

From-SVN: r138461

cstreams.c (__gnat_full_name): RTSS applications cannot ask for the current directory so only fully qualified...

2008-08-01  Jose Ruiz  <ruiz@adacore.com>

* cstreams.c (__gnat_full_name): RTSS applications cannot ask for the
current directory so only fully qualified names are allowed.

From-SVN: r138460

xref_lib.adb: Minor reformatting

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

* xref_lib.adb: Minor reformatting

From-SVN: r138459

snames.ads: Minor comment fixes...

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

* snames.ads:
Minor comment fixes, some pragmas were not properly
categorized in the comments, documentation change only

From-SVN: r138458

sem_ch10.adb: Minor reformatting

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

* sem_ch10.adb: Minor reformatting

From-SVN: r138457

s-ststop.adb: Add some ??? comments

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

* s-ststop.adb: Add some ??? comments

From-SVN: r138456

gnat_ugn.texi: Minor editing, remove uncomfortable use of semicolon

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

* gnat_ugn.texi:
Minor editing, remove uncomfortable use of semicolon

From-SVN: r138455

tree-pass.h: Added comment about not dumping passes with name starting with star in struct...

2008-08-01  Basile Starynkevitch  <basile@starynkevitch>
* gcc/tree-pass.h: Added comment about not dumping passes with name
starting with star in struct opt_pass.
* gcc/passes.c (register_dump_files_1): Don't do dump for a pass with
name starting with star.
* gcc/doc/passes.texi (Pass manager): Mention pass names and special
meaning of star prefix to avoid dump.

From-SVN: r138450

config.gcc (mipsisa64*-*-linux*): New configuration.

* config.gcc (mipsisa64*-*-linux*): New configuration.  Set ISA
to MIPS64r2 for mipsisa64r2*.
* config/mips/mips.h (GENERATE_MIPS16E): Update comment.
(ISA_MIPS64R2): New macro.
(TARGET_CPU_CPP_BUILTINS, MULTILIB_ISA_DEFAULT): Handle it.
(ISA_HAS_64BIT_REGS, ISA_HAS_MUL3, ISA_HAS_FP_CONDMOVE,
ISA_HAS_8CC, ISA_HAS_FP4, ISA_HAS_PAIRED_SINGLE,
ISA_HAS_MADD_MSUB, ISA_HAS_NMADD4_NMSUB4, ISA_HAS_CLZ_CLO,
ISA_HAS_ROR, ISA_HAS_PREFETCH, ISA_HAS_PREFETCHX, ISA_HAS_SEB_SEH,
ISA_HAS_EXT_INS, ISA_HAS_MXHC1, ISA_HAS_HILO_INTERLOCKS,
ISA_HAS_SYNCI, MIN_FPRS_PER_FMT): Return true for ISA_MIPS64R2.
(MIPS_ISA_LEVEL_SPEC, ASM_SPEC, LINK_SPEC): Handle -mips64r2.
(TARGET_LOONGSON_2E, TARGET_LOONGSON_2F, TARGET_LOONGSON_2EF):
Move up to keep list alphabetically sorted.
(TUNE_20KC, TUNE_24K, TUNE_74K, TUNE_LOONGSON_2EF): Likewise.
* config/mips/mips.c (mips_cpu_info_table): Add default MIPS64r2
processor.
* doc/invoke.texi (MIPS Options): Add -mips64r2.
(-march=@var{arch}): Add mips64r2.

testsuite/

* gcc.target/mips/ext-1.c: New test.

From-SVN: r138448

darwin.h (MAIN_STACK_BOUNDARY): Define to 128.

2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>

* config/i386/darwin.h (MAIN_STACK_BOUNDARY): Define to 128.

From-SVN: r138446

Daily bump.

From-SVN: r138444

decl.c (gnat_to_gnu_entity): Fix formatting.

* gcc-interface/decl.c (gnat_to_gnu_entity): Fix formatting.
* gcc-interface/utils.c (create_field_decl): Avoid superfluous work.

From-SVN: r138440

* expr.c (expand_assignment): Check for complete type.

From-SVN: r138439

re PR debug/36977 (Incorrect debug info for stack variables with stack alignment)

2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>

PR debug/36977
* cfgexpand.c (expand_stack_alignment): Set stack_realign_tried.

* dwarf2out.c (based_loc_descr): Check crtl->stack_realign_tried
for stack alignment.

* function.h (rtl_data): Add stack_realign_tried.  Update
comments.

From-SVN: r138438

sh.c (sh_canonical_va_list_type): Remove.

* config/sh/sh.c (sh_canonical_va_list_type): Remove.
(TARGET_CANONICAL_VA_LIST_TYPE): Remove.

From-SVN: r138437

* mkstemps.c (mkstemps): Keep looping even for EISDIR.

From-SVN: r138436

re PR target/35100 (internal compiler error: in extract_insn, at recog.c:1990)

PR target/35100
* gcc.target/powerpc/longcall-1.c: New test.

From-SVN: r138435

chrono (duration): Use explicitly defaulted ctor, cctor, dtor and assignment.

2008-07-31  Chris Fairles <chris.fairles@gmail.com>

        * include/std/chrono (duration): Use explicitly defaulted ctor, cctor,
 dtor and assignment. Add diagnostics as per 20.8.3 paragraphs 2, 3
 and 4 in WD. Other minor tweaks.
        * testsuite/20_util/duration/cons/1_neg.cc: Adjust line numbers.
* testsuite/20_util/duration/requirements/typedefs_neg1.cc: New.
* testsuite/20_util/duration/requirements/typedefs_neg2.cc: Likewise.
* testsuite/20_util/duration/requirements/typedefs_neg3.cc: Likewise.

From-SVN: r138434

re PR preprocessor/36649 (-H option doesn't work as expected)

PR preprocessor/36649
* files.c (struct report_missing_guard_data): New type.
(report_missing_guard): Put paths into an array instead of printing
them right away.  Return 1 rather than 0.
(report_missing_guard_cmp): New function.
(_cpp_report_missing_guards): Sort and print paths gathered by
report_missing_guard callback.

* gcc.dg/pch/cpp-3.hs: Add include guards.
* gcc.dg/pch/cpp-3a.h: Likewise.
* gcc.dg/pch/cpp-3b.h: Likewise.
* gcc.dg/cpp/mi8.c: New test.
* gcc.dg/cpp/mi8a.h: New file.
* gcc.dg/cpp/mi8b.h: New file.
* gcc.dg/cpp/mi8c.h: New file.
* gcc.dg/cpp/mi8d.h: New file.

From-SVN: r138432

mkstemps.c (mkstemps): If open failed with errno other than EEXIST, return immediately.

* mkstemps.c (mkstemps): If open failed with errno other than
EEXIST, return immediately.
* make-temp-file.c: Include errno.h.
(make_temp_file): If mkstemps failed, print an error message
before aborting.

From-SVN: r138429

libstdc++.exp (libstdc++_init): Set v3-libgomp.

2008-07-31  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/lib/libstdc++.exp (libstdc++_init): Set v3-libgomp.
(check_v3_target_parallel_mode): Robustify, just follow the
structure of testsuite/Makefile.am.

From-SVN: r138428

re PR rtl-optimization/36419 (Wrong unwind info with -Os -fasynchronous-unwind-tables)

PR rtl-optimization/36419
* dwarf2out.c (barrier_args_size): New variable.
(compute_barrier_args_size, compute_barrier_args_size_1): New
functions.
(dwarf2out_stack_adjust): For BARRIERs call compute_barrier_args_size
if not called yet in the current function, use barrier_args_size
array to find the new args_size value.
(dwarf2out_frame_debug): Free and clear barrier_args_size.

* g++.dg/eh/async-unwind2.C: New test.

From-SVN: r138427

re PR c++/36405 (ICE with typeid of member function)

PR c++/36405
* rtti.c (get_tinfo_decl_dynamic, get_typeid): Call
complete_type_or_else even for UNKNOWN_TYPE to get diagnostics.

* g++.dg/rtti/typeid8.C: New test.

From-SVN: r138426

re PR middle-end/36633 (warning "array subscript is below array bounds" on delete [] with -O2, -Wall)

        PR c++/36633
        * init.c (build_new_1): Don't convert pointer to the data type
        until we're actually going to treat it as that type.

From-SVN: r138425

re PR debug/36980 (Bootstrap broken with RTL checking on i586)

2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>

PR debug/36980
* dwarf2out.c (dwarf2out_frame_debug_expr): Move rule 17 before
rule 19.

From-SVN: r138424

Resync.

From-SVN: r138422

prj-env.adb: Minor reformatting

2008-07-31  Robert Dewar  <dewar@adacore.com>

* prj-env.adb: Minor reformatting

From-SVN: r138421

makeutl.adb: Minor reformatting

2008-07-31  Robert Dewar  <dewar@adacore.com>

* makeutl.adb: Minor reformatting

From-SVN: r138420

exp_aggr.adb: Minor reformatting

2008-07-31  Robert Dewar  <dewar@adacore.com>

* exp_aggr.adb: Minor reformatting

From-SVN: r138419

2008-07-31  Jose Ruiz  <ruiz@adacore.com>

* s-parame-vxworks.adb
Document that this body is used for RTX in RTSS (kernel) mode.

* gcc-interface/Makefile.in
(LIBGNAT_TARGET_PAIRS for the rtx_rtss run time): Use the
s-parame-vxworks.adb body in order to have reasonable stack sizes in
RTX RTSS kernel mode. Virtual memory is not used in that case, so we
cannot ask for too big values.

From-SVN: r138418

prj-nmsc.adb: Keep Object and Exec directory casing.

2008-07-31  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb: Keep Object and Exec directory casing.

From-SVN: r138417

re PR debug/36976 (FAIL: g++.dg/torture/stackalign/unwind-2.C)

2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>

PR debug/36976
* dwarf2out.c (dwarf2out_args_size_adjust): New.
(dwarf2out_stack_adjust): Use it.
(dwarf2out_frame_debug_expr): Likewise.

From-SVN: r138416

re PR tree-optimization/36978 (ICE in gimple_cond_set_lhs for -O2 -funswitch-loops after tuples merge)

2008-07-31  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/36978
* tree-ssa-loop-unswitch.c (tree_may_unswitch_on): Do not fold
the generated condition.

* gcc.dg/torture/pr36978.c: New testcase.

From-SVN: r138415

Resync.

From-SVN: r138414

* gnat.dg/specs/null_aggr_bug.ads: New test.

From-SVN: r138413

2008-07-31  Gary Dismukes  <dismukes@adacore.com>

* sem_aggr.adb:
(Resolve_Record_Aggregate): Bypass error that a type without
components must have a "null record" aggregate when compiling for Ada
2005, since it's legal to give an aggregate of form (others => <>)
for such a type.

From-SVN: r138412

exp_disp.adb (Prim_Op_Kind): Retrieve the full view when a private tagged type is completed by a concurrent type.

2008-07-31  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_disp.adb (Prim_Op_Kind): Retrieve the full view when a private
tagged type is completed by a concurrent type.

From-SVN: r138411

* gnat.dg/sync_iface_test.ad[s,b]: New test.

From-SVN: r138410

Resync.

From-SVN: r138409

sem_ch10.adb (Build_Unit_Name): If the unit name in a with_clause has the form A.B.C and B is a unit renaming...

2008-07-31  Ed Schonberg  <schonberg@adacore.com>

* sem_ch10.adb (Build_Unit_Name): If the unit name in a with_clause
has the form A.B.C and B is a unit renaming, analyze its compilation
unit and add a with_clause on A.b to the context.

From-SVN: r138408

2008-07-31  Hristian Kirtchev  <kirtchev@adacore.com>

* bindgen.adb Comment reformatting. Update the list of run-time globals.
(Gen_Adainit_Ada): Add the declaration, import and value set for
configuration flag Canonical_Streams.
(Gen_Adainit_C): Add the declaration and initial value of external
symbol __gl_canonical_streams.

* init.c: Update the list of global values computed by the binder.

* opt.ads: Add flag Canonical_Streams.

* par-prag.adb (Prag): Include Pragma_Canonical_Streams to the list of
semantically handled pragmas.

* sem_prag.adb: Add an entry into enumeration type Sig_Flags.
(Analyze_Pragma): Add case for pragma Canonical_Streams.

* snames.adb: Add character value for name Canonical_Streams.

* snames.ads:
Add Name_Canonical_Streams to the list of configuration pragmas.
Add Pragma_Canonical_Streams to enumeration type Pragma_Id.

* snames.h: Add a definition for Pragma_Canonical_Streams.

* s-ststop.adb:
Add a flag and import to seize the value of external symbol
__gl_canonical_streams. Update comment and initial value of constant
Use_Block_IO.

* gnat_rm.texi: Add section of pragma Canonical_Streams.

* gnat_ugn.texi:
Add pragma Canonical_Streams to the list of configuration pragmas.

From-SVN: r138407

sem_ch6.adb (Disambiguate_Spec): Continue the disambiguation if the corresponding spec is a primitive wrapper.

2008-07-31  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch6.adb (Disambiguate_Spec): Continue the disambiguation if the
corresponding spec is a primitive wrapper. Update comment.

From-SVN: r138406

2008-07-31  Quentin Ochem  <ochem@adacore.com>

* s-stausa.ad? (Fill_Stack): Stack_Used_When_Filling is now stored
anymore - just used internally.
Added handling of very small tasks - when the theoretical size is
already full at the point of the call.
(Report_Result): Fixed result computation, Stack_Used_When_Filling does
not need to be added to the result.

From-SVN: r138405

sem_ch4.adb (Valid_First_Argument_Of): Complete its functionality to handle synchronized types.

2008-07-31  Javier Miranda  <miranda@adacore.com>

* sem_ch4.adb (Valid_First_Argument_Of): Complete its functionality to
handle synchronized types. Required to handle well the object.operation
notation applied to synchronized types.

From-SVN: r138404

* gnat.dg/specs/sync_iface_test.ads: New test.

From-SVN: r138402

Resync.

From-SVN: r138401

sem_type.adb (Has_Compatible_Type): Complete support for synchronized types when...

2008-07-31  Javier Miranda  <miranda@adacore.com>

* sem_type.adb (Has_Compatible_Type): Complete support for synchronized
types when the candidate type is a synchronized type.

* sem_res.adb (Resolve_Actuals): Reorganize code handling synchronized
types, and complete management of synchronized types adding missing
code to handle formal that is a synchronized type.

* sem_ch4.adb (Try_Primitive_Operation): Avoid testing attributes that
are not available and cause the compiler to blowup. Found compiling
test with switch -gnatc

* sem_ch6.adb (Check_Synchronized_Overriding): Remove local subprogram
Has_Correct_Formal_Mode plus code cleanup.

From-SVN: r138400

checks.ads (Apply_Accessibility_Check): Add parameter Insert_Node.

2008-07-31  Gary Dismukes  <dismukes@adacore.com>

* checks.ads (Apply_Accessibility_Check): Add parameter Insert_Node.

* checks.adb (Apply_Accessibility_Check): Insert the check on
Insert_Node.

* exp_attr.adb:
(Expand_N_Attribute_Refernce, Attribute_Access): Pass attribute node
to new parameter Insert_Node on call to Apply_Accessibility_Check.
Necessary to distinguish the insertion node because the dereferenced
formal may come from a rename, but the check must be inserted in
front of the attribute.

* exp_ch4.adb:
(Expand_N_Allocator): Pass actual for new Insert_Node parameter on
call to Apply_Accessibility_Check.
(Expand_N_Type_Conversion): Pass actual for new Insert_Node parameter
on call to Apply_Accessibility_Check.
Minor reformatting

From-SVN: r138399

makeutl.adb (Executable_Prefix_Path): If Locate_Exec_On_Path fails...

2008-07-31  Vincent Celier  <celier@adacore.com>

* makeutl.adb (Executable_Prefix_Path): If Locate_Exec_On_Path fails,
return the empty string, instead of raising Constraint_Error.

From-SVN: r138398

pr16660-1.c: Include "check.h".

2008-07-31  H.J. Lu  <hongjiu.lu@intel.com>

* gcc.dg/torture/stackalign/pr16660-1.c: Include "check.h".
(f): Align to 64 byte.  Use check instead of asm statement.

From-SVN: r138397

Resync.

From-SVN: r138396

Resync.

From-SVN: r138395

prj-part.adb, [...]: Move back spec of Parse_Single_Project to body...

2008-07-31  Vincent Celier  <celier@adacore.com>

* prj-part.adb, prj-part.ads, prj.adb, prj.ads, prj-env.adb:
Move back spec of Parse_Single_Project to body, as it is not called
outside of package Prj.Part.
(Project_Data): Remove components Linker_Name, Linker_Path and
Minimum_Linker_Options as they are no longer set.
Remove function There_Are_Ada_Sources from package Prj and move code
in the only place it was used, in Prj.Env.Set_Ada_Paths.

From-SVN: r138394

exp_aggr.adb (Aggr_Size_OK): If the aggregate has a single component and the context is an object...

2008-07-31  Ed Schonberg  <schonberg@adacore.com>

* exp_aggr.adb (Aggr_Size_OK): If the aggregate has a single component
and the context is an object declaration with non-static bounds, treat
the aggregate as non-static.

From-SVN: r138393

tbuild.ads: Fix several occurrences of incorrectly referring to Name_Find as Find_Name.

2008-07-31  Thomas Quinot  <quinot@adacore.com>

* tbuild.ads: Fix several occurrences of incorrectly referring to
Name_Find as Find_Name.

From-SVN: r138392

exp_ch9.adb: Minor reformatting

2008-07-31  Thomas Quinot  <quinot@adacore.com>

* exp_ch9.adb: Minor reformatting

From-SVN: r138391

sinput.adb (Skip_Line_Terminators): Fix handling of LF/CR -- it was recognized as two end-of-lines...

2008-07-31  Bob Duff  <duff@adacore.com>

* sinput.adb (Skip_Line_Terminators): Fix handling of LF/CR -- it was
recognized as two end-of-lines, but it should be just one.

From-SVN: r138390

* gnat.dg/missing_acc_check.adb: New test.

From-SVN: r138389

exp_attr.adb (Enclosing_Object): New function local to handling of access attributes...

2008-07-31  Gary Dismukes  <dismukes@adacore.com>

* exp_attr.adb (Enclosing_Object): New function local to handling of
access attributes,
for retrieving the innermost enclosing object prefix of a compound name.
(Expand_N_Attribute_Reference, N_Attribute_Access): In the case where an
Access attribute has a prefix that is a dereference of an access
parameter (or the prefix is a subcomponent selected from such a
dereference), apply an accessibility check to the access parameter.
Replaces code that rewrote the prefix as a type conversion (and that
didn't handle subcomponent cases).
Also, this is now only applied in the case of 'Access.

* exp_ch6.adb (Expand_Call): Add handling for the case of an access
discriminant passed as an actual to an access formal, passing the
Object_Access_Level of the object containing the access discriminant.

From-SVN: r138388

2008-07-31  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb:
(Record_Ada_Source): Do not set Data.Sources, component has been removed

* prj.adb: Remove component Sources in record Project_Data

* prj.ads: Remove component Sources in record Project_Data

* sinput.ads, prj-util.ads: Minor reformatting

From-SVN: r138387

exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Use Insert_Actions to place the pointer declaration in the code...

2008-07-31  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Use
Insert_Actions to place the pointer declaration in the code, rather
than Insert_Before_And_Analyze, so that insertions of temporaries are
kept in the proper order when transient scopes are present.

From-SVN: r138386

prj-nmsc.adb (Check_Library_Attributes): Check if Linker'Switches or Linker'Default_Switches are declared.

2008-07-31  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Check_Library_Attributes): Check if Linker'Switches or
Linker'Default_Switches are declared. Warn if they are declared.

From-SVN: r138385

arit64.c: New file implementing __gnat_mulv64 signed integer multiplication with overflow...

2008-07-31  Geert Bosch  <bosch@adacore.com>

* arit64.c:
New file implementing __gnat_mulv64 signed integer multiplication with
overflow checking

* fe.h (Backend_Overflow_Checks_On_Target): Define for use by Gigi

* gcc-interface/gigi.h:
(standard_types): Add ADT_mulv64_decl
(mulv64_decl): Define subprogram declaration for __gnat_mulv64

* gcc-interface/utils.c:
(init_gigi_decls): Add initialization of mulv64_decl

* gcc-interface/trans.c:
(build_unary_op_trapv): New function
(build_binary_op_trapv): New function
(gnat_to_gnu): Use the above functions instead of
build_{unary,binary}_op

* gcc-interface/Makefile.in
(LIBGNAT_SRCS): Add arit64.c
(LIBGNAT_OBJS): Add arit64.o

From-SVN: r138384

exp_attr.adb (Find_Stream_Subprogram): Check the base type instead of the type when...

2008-07-31  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_attr.adb (Find_Stream_Subprogram): Check the base type instead
of the type when looking for stream subprograms for type String,
Wide_String and Wide_Wide_String.

* s-ststop.adb: Change the initialization expression of constant
Use_Block_IO.

From-SVN: r138383

s-direio.adb (Reset): Replace pragma Unmodified by Warnings (Off)...

* s-direio.adb (Reset): Replace pragma Unmodified by Warnings (Off),
so that we can compile this file successfully with -gnatc.

From-SVN: r138382

s-regexp.ads: Minor comment fix

2008-07-31  Vincent Celier  <celier@adacore.com>

* s-regexp.ads: Minor comment fix

From-SVN: r138381

s-finimp.ads: Minor reformatting.

2008-07-31  Pascal Obry  <obry@adacore.com>

* s-finimp.ads: Minor reformatting.

From-SVN: r138380

g-pehage.adb: Minor reformatting

2008-07-31  Thomas Quinot  <quinot@adacore.com>

* g-pehage.adb: Minor reformatting

From-SVN: r138379

gnat_ugn.texi: Change the description of the Overly_Nested_Control_Structures...

2008-07-31  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Change the description of the
Overly_Nested_Control_Structures: now the rule always requires a
positive parameter for '+R' option

From-SVN: r138378

sem_ch12.adb: Minor reformatting

2008-07-31  Robert Dewar  <dewar@adacore.com>

* sem_ch12.adb: Minor reformatting

From-SVN: r138377

passes.c (init_optimization_passes): Always call pass_early_warn_uninitialized.

2008-07-31  Richard Guenther  <rguenther@suse.de>

* passes.c (init_optimization_passes): Always call
pass_early_warn_uninitialized.
* opts.c (decode_options): Do not warn about -Wuninitialized
at -O0.
* doc/invoke.texi (-Wuninitialized): Correct for enabling at -O0.
* doc/passes.texi (Warn for uninitialized variables): Adjust.

* gcc.dg/uninit-1-O0.c: New testcase.
* gcc.dg/uninit-2-O0.c: Likewise.
* gcc.dg/uninit-3-O0.c: Likewise.
* gcc.dg/uninit-4-O0.c: Likewise.
* gcc.dg/uninit-5-O0.c: Likewise.
* gcc.dg/uninit-6-O0.c: Likewise.
* gcc.dg/uninit-8-O0.c: Likewise.
* gcc.dg/uninit-9-O0.c: Likewise.
* gcc.dg/uninit-A-O0.c: Likewise.
* gcc.dg/uninit-B-O0.c: Likewise.
* gcc.dg/uninit-C-O0.c: Likewise.
* gcc.dg/uninit-D-O0.c: Likewise.
* gcc.dg/uninit-E-O0.c: Likewise.
* gcc.dg/uninit-F-O0.c: Likewise.
* gcc.dg/uninit-G-O0.c: Likewise.
* gcc.dg/uninit-H-O0.c: Likewise.
* gcc.dg/uninit-I-O0.c: Likewise.
* gcc.dg/uninit-10-O0.c: Likewise.
* gcc.dg/uninit-11-O0.c: Likewise.
* gcc.dg/uninit-12-O0.c: Likewise.
* gcc.dg/uninit-13-O0.c: Likewise.
* gcc.dg/uninit-14-O0.c: Likewise.
* gcc.dg/uninit-15-O0.c: Likewise.
* gcc.dg/Wall.c: Avoid uninitialized warning.
* gcc.dg/Wno-all.c: Likewise.
* gcc.dg/pr3074-1.c: Likewise.

From-SVN: r138376

* mlib-utl.ads: Fix typo.

From-SVN: r138375

* gnat.dg/specs/genericppc.ads: New test

From-SVN: r138374

Resync

From-SVN: r138373

sem_ch6.adb (Analyze_Generic_Subprogram_Body): After analysis...

2008-07-31  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Generic_Subprogram_Body): After analysis,
transfer pre/postconditions from generic copy to original tree, so that
they will appear in each instance.
(Process_PPCs): Do not transform postconditions into a procedure in a
generic context, to prevent double expansion of check pragmas.

* sem_attr.adb: In an instance, the prefix of the 'result attribute
can be the renaming of the
current instance, so check validity of the name accordingly.

From-SVN: r138372