aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2013-01-03re PR rtl-optimization/55838 (ICE in extract_insn (unrecognizable insn) with ↵Jakub Jelinek4-1/+27
-O -funroll-loops) PR rtl-optimization/55838 * loop-iv.c (iv_number_of_iterations): Call lowpart_subreg on iv0.step, iv1.step and step. * gcc.dg/pr55838.c: New test. From-SVN: r194837
2013-01-03re PR middle-end/55832 (ICE in fold_convert_loc, at fold-const.c:1967)Jakub Jelinek4-3/+43
PR tree-optimization/55832 * fold-const.c (fold_binary_loc): For ABS_EXPR<x> >= 0 and ABS_EXPR<x> < 0 folding use constant_boolean_node instead of integer_{one,zero}_node. * gcc.c-torture/compile/pr55832.c: New test. Co-Authored-By: Marc Glisse <marc.glisse@inria.fr> From-SVN: r194836
2013-01-03re PR debug/54402 (var-tracking does not scale)Jakub Jelinek3-4/+25
PR debug/54402 * params.def (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE): New param. * var-tracking.c (reverse_op): Don't add reverse ops to VALUEs that have already PARAM_VALUE (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE) or longer locs list. From-SVN: r194834
2013-01-03* doc/contrib.texi: Note years as release manager for Mark Mitchell.Gerald Pfeifer2-1/+6
From-SVN: r194833
2013-01-03pr55430.c: Define MAP_FAILED if not defined.John David Anglin2-0/+7
* gcc.dg/pr55430.c: Define MAP_FAILED if not defined. From-SVN: r194832
2013-01-03dumpfile.c (dump_loc): Print filename with location.Teresa Johnson17-50/+202
2013-01-02 Teresa Johnson <tejohnson@google.com> * dumpfile.c (dump_loc): Print filename with location. * tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Use new location_t parameter to emit complete unroll message with new dump framework. (canonicalize_loop_induction_variables): Compute loops location and pass to try_unroll_loop_completely. * loop-unroll.c (report_unroll_peel): New function. (peel_loops_completely): Use new dump format with location for main dumpfile message, and invoke report_unroll_peel on success. (decide_unrolling_and_peeling): Ditto. (decide_peel_once_rolling): Remove old dumpfile message subsumed by report_unroll_peel. (decide_peel_completely): Ditto. (decide_unroll_constant_iterations): Ditto. (decide_unroll_runtime_iterations): Ditto. (decide_peel_simple): Ditto. (decide_unroll_stupid): Ditto. * cfgloop.c (get_loop_location): New function. * cfgloop.h (get_loop_location): Declare. testsuite/ * gcc.dg/tree-ssa/loop-1.c: Update expected dump message. * gcc.dg/tree-ssa/loop-23.c: Ditto. * gcc.dg/tree-ssa/cunroll-1.c: Ditto. * gcc.dg/tree-ssa/cunroll-2.c: Ditto. * gcc.dg/tree-ssa/cunroll-3.c: Ditto. * gcc.dg/tree-ssa/cunroll-4.c: Ditto. * gcc.dg/tree-ssa/cunroll-5.c: Ditto. * gcc.dg/unroll_1.c: Ditto. * gcc.dg/unroll_2.c: Ditto. * gcc.dg/unroll_3.c: Ditto. * gcc.dg/unroll_4.c: Ditto. From-SVN: r194829
2013-01-03Simple fix to code to remove unnecessary NULL checks.Sriraman Tallam2-9/+8
2013-01-02 Sriraman Tallam <tmsriram@google.com> * config/i386/i386.c (fold_builtin_cpu): Remove unnecessary checks for NULL. From-SVN: r194828
2013-01-03Daily bump.GCC Administrator1-1/+1
From-SVN: r194827
2013-01-02re PR middle-end/55198 (libquadmath/math/fmaq.c:233:7: internal compiler error)John David Anglin2-1/+8
PR middle-end/55198 * expr.c (expand_expr_real_1): Don't use bitfield extraction for non BLKmode objects when EXPAND_MEMORY is specified. From-SVN: r194822
2013-01-02re PR c++/54325 (C++11 uniform initialization syntax for argument-less ↵Jason Merrill3-0/+30
abstract base class constructor fails) PR c++/54325 * call.c (build_new_method_call_1): Don't use build_value_init for user-provided default constructors. From-SVN: r194820
2013-01-02re PR fortran/55818 (Reading a REAL from a file which doesn't end in a new ↵Jerry DeLisle2-0/+135
line fails) 2013-01-02 Jerry DeLisle <jvdelisle@gcc.gnu.org> PR fortran/55818 * gfortran.dg/eof_4.f90: New test. From-SVN: r194819
2013-01-02Fix bugs in Function Multiversioning.Sriraman Tallam2-3/+9
2013-01-02 Sriraman Tallam <tmsriram@google.com> * config/i386/i386.c (ix86_get_function_versions_dispatcher): Fix bug in loop predicate. (fold_builtin_cpu): Do not share cpu model decls across statements. From-SVN: r194818
2013-01-02c-compat.exp (compat-use-alt-compiler): Remove -fno-diagnostics-show-caret ↵Jakub Jelinek2-2/+30
from TEST_ALWAYS_FLAGS if needed. * lib/c-compat.exp (compat-use-alt-compiler): Remove -fno-diagnostics-show-caret from TEST_ALWAYS_FLAGS if needed. (compat-use-tst-compiler): Restore TEST_ALWAYS_FLAGS. (compat_setup_dfp): Initialize compat_alt_caret and compat_save_TEST_ALWAYS_FLAGS. From-SVN: r194817
2013-01-02* decl.c (check_default_argument): Use LOOKUP_IMPLICIT.Jason Merrill3-1/+15
From-SVN: r194816
2013-01-02tls-reload-1.c: New test.Richard Sandiford2-0/+52
gcc/testsuite/ * gcc.dg/torture/tls/tls-reload-1.c: New test. From-SVN: r194815
2013-01-02re PR c++/55804 (GCC omits required call to constructor)Jason Merrill5-11/+64
PR c++/55804 PR c++/55032 PR c++/55245 * tree.c (build_array_type_1): Revert earlier change. * cp/tree.c (build_cplus_array_type): Copy layout information to main variant if necessary. From-SVN: r194811
2013-01-02re PR fortran/55818 (Reading a REAL from a file which doesn't end in a new ↵Jerry DeLisle2-15/+34
line fails) 2013-01-02 Jerry DeLisle <jvdelisle@gcc.gnu.org> PR libfortran/55818 * io/list_read.c (read_real): Do not call hit_eof when EOF can be treated as a value separator. (parse_real): Likewise. (read_logical): Likewise. (read_character): Likewise. (read_complex): Likewise. From-SVN: r194809
2013-01-02aarch64-cores.def: Add entries for "cortex-a53" and "cortex-a57".Yufeng Zhang3-1/+9
gcc/ 2013-01-02 Yufeng Zhang <yufeng.zhang@arm.com> * config/aarch64/aarch64-cores.def: Add entries for "cortex-a53" and "cortex-a57". * config/aarch64/aarch64-tune.md: Re-generate. From-SVN: r194807
2013-01-02tree-vect-stmts.c (vectorizable_load): When vectorizing an invariant load do ↵Richard Biener2-11/+19
not generate a vector load from the... 2013-01-02 Richard Biener <rguenther@suse.de> * tree-vect-stmts.c (vectorizable_load): When vectorizing an invariant load do not generate a vector load from the scalar location. From-SVN: r194806
2013-01-02Minor reformatting.Arnaud Charlet1-0/+1
From-SVN: r194805
2013-01-02re PR bootstrap/55784 (declaration of C function 'const char* ↵Richard Biener5-7/+18
strsignal(int)' conflicts with /usr/include/string.h:112: error: previous declaration) 2013-01-02 Richard Biener <rguenther@suse.de> PR bootstrap/55784 * configure.ac: Add $GMPINC to CFLAGS/CXXFLAGS. * configure: Regenerate. ada/ * gcc-interface/Makefile.in: Add $(GMPINC) to includes. From-SVN: r194804
2013-01-02exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove side effects from ↵Thomas Quinot4-19/+28
Tag_Arg early... 2013-01-02 Thomas Quinot <quinot@adacore.com> * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove side effects from Tag_Arg early, doing it too late may cause a crash due to inconsistent Parent link. * sem_ch8.adb, einfo.ads: Minor reformatting. From-SVN: r194803
2013-01-02[multiple changes]Arnaud Charlet9-36/+129
2013-01-02 Robert Dewar <dewar@adacore.com> * einfo.ads, einfo.adb (Has_Independent_Components): New flag. * freeze.adb (Size_Known): We do not know the size of a packed record if it has atomic components, by reference type components, or independent components. * sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new flag Has_Independent_Components. 2013-01-02 Yannick Moy <moy@adacore.com> * opt.ads (Warn_On_Suspicious_Contract): Set to True by default. * usage.adb (Usage): Update usage message. 2013-01-02 Pascal Obry <obry@adacore.com> * adaint.c (__gnat_is_module_name_supported): New constant. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Check_Array_Type): Reject an attribute reference on an array whose component type does not have a completion. From-SVN: r194802
2013-01-02gcc/Richard Sandiford2-45/+46
* builtins.c (expand_builtin_mathfn, expand_builtin_mathfn_2) (expand_builtin_mathfn_ternary, expand_builtin_mathfn_3) (expand_builtin_int_roundingfn_2): Keep the original target around for the fallback case. From-SVN: r194801
2013-01-02tree-vrp.c (range_fits_type_p): Require the MSB of the double_int to be ↵Richard Sandiford4-3/+32
clear for sign changes. gcc/ * tree-vrp.c (range_fits_type_p): Require the MSB of the double_int to be clear for sign changes. gcc/testsuite/ * gcc.dg/torture/fp-int-convert-2.c: New test. From-SVN: r194800
2013-01-02[multiple changes]Arnaud Charlet10-65/+79
2013-01-02 Geert Bosch <bosch@adacore.com> * a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure. 2013-01-02 Robert Dewar <dewar@adacore.com> * par_sco.adb: Minor reformatting. 2013-01-02 Javier Miranda <miranda@adacore.com> * sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code. 2013-01-02 Olivier Hainque <hainque@adacore.com> * a-exctra.ads (Get_PC): New function. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch8.adb: Minor reformatting. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch7.adb: Minor reformatting. 2013-01-02 Thomas Quinot <quinot@adacore.com> * freeze.adb (Check_Component_Storage_Order): Do not crash on _Tag component. From-SVN: r194799
2013-01-02[multiple changes]Arnaud Charlet12-23/+96
2013-01-02 Robert Dewar <dewar@adacore.com> * gnat1drv.adb, targparm.adb, targparm.ads: Minor name change: add On_Target to Atomic_Sync_Default. 2013-01-02 Robert Dewar <dewar@adacore.com> * sem_warn.adb (Warn_On_Known_Condition): Suppress warning for comparison of attribute result with constant * a-ststio.adb, s-direio.adb, s-rannum.adb: Remove unnecessary pragma Warnings (Off, ".."); 2013-01-02 Yannick Moy <moy@adacore.com> * sem_prag.ads: Minor correction of comment. 2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb (Traverse_Package_Declaration): The first declaration in a nested package is dominated by the preceding declaration in the enclosing scope. 2013-01-02 Pascal Obry <obry@adacore.com> * adaint.c, adaint.h (__gnat_get_module_name): Return the actual module containing a given address. From-SVN: r194798
2013-01-02[multiple changes]Arnaud Charlet7-17/+119
2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch3.adb: Minor reformatting. 2013-01-02 Pascal Obry <obry@adacore.com> * cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on Win64 and default to ftell on other platforms. (__gnat_fsek64): Likewise. * i-cstrea.ads: Add fssek64 and ftell64 specs. * s-crtl.ads: Likewise. * a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required. (Set_Position): Likewise. From-SVN: r194797
2013-01-02[multiple changes]Arnaud Charlet3-5/+59
2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb: Generate X SCOs for default expressions in subprogram body stubs. Do not generate any SCO for package, task, or protected body stubs. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb: Further improvement to ASIS mode for anonymous access to protected subprograms. From-SVN: r194796
2013-01-02par_sco.adb, [...]: Minor reformatting.Robert Dewar3-2/+11
2013-01-02 Robert Dewar <dewar@adacore.com> * par_sco.adb, vms_data.ads: Minor reformatting. From-SVN: r194795
2013-01-02[multiple changes]Arnaud Charlet5-35/+103
2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb (Traverse_Declarations_Or_Statement): Function form, returning value of Current_Dominant upon exit, for chaining purposes. (Traverse_Declarations_Or_Statement.Traverse_One, case N_Block_Statement): First statement is dominated by last declaration. (Traverse_Subprogram_Or_Task_Body): Ditto. (Traverse_Package_Declaration): First private declaration is dominated by last visible declaration. (Traverse_Sync_Definition): Ditto. 2013-01-02 Thomas Quinot <quinot@adacore.com> * gnat_rm.texi: Restrict the requirement for Scalar_Storage_Order matching Bit_Order to record types only, since array types do not have a Bit_Order. 2013-01-02 Vincent Celier <celier@adacore.com> * gnat_ugn.texi: Remove documentation of -gnateO, which is an internal switch. * usage.adb: Indicate that -gnateO is an internal switch. From-SVN: r194794
2013-01-02par_sco.adb: Add SCO generation for task types and single task declarations.Thomas Quinot8-60/+78
2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb: Add SCO generation for task types and single task declarations. 2013-01-02 Thomas Quinot <quinot@adacore.com> * fe.h, gnat1drv.adb: Revert previous change. 2013-01-02 Thomas Quinot <quinot@adacore.com> * get_scos.adb: When adding an instance table entry for a non-nested instantiation, make sure the Enclosing_Instance is correctly set to 0. From-SVN: r194793
2013-01-02[multiple changes]Arnaud Charlet14-112/+230
2013-01-02 Hristian Kirtchev <kirtchev@adacore.com> * sem_attr.adb (Analyze_Attribute): Skip the special _Parent scope generated for subprogram inlining purposes while trying to locate the enclosing function. * sem_prag.adb (Analyze_Pragma): Preanalyze the boolean expression of pragma Postcondition when the pragma comes from source and appears inside a subprogram body. 2013-01-02 Thomas Quinot <quinot@adacore.com> * switch-c.adb, fe.h, back_end.adb: Enable generation of instantiation information in debug info unconditionally when using -fdump-scos, instead of relying on a separate command line switch -fdebug-instances. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Additional refinement of predicate. 2013-01-02 Vincent Celier <celier@adacore.com> * vms_data.ads: Remove incorrect spaces at end of descriptions of qualifiers for single switch. 2013-01-02 Ben Brosgol <brosgol@adacore.com> * gnat_rm.texi: Minor edits / wordsmithing in section on pragma Check_Float_Overflow. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sprint.adb (Sprint_Node_Actual): Do not add extra parens for a conditional expression (CASE or IF expression) that already has parens. Also omit ELSE keyword for an IF expression without an ELSE part. 2013-01-02 Thomas Quinot <quinot@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Adjust back-end flag_debug_instances here, after front-end switches have been processed. From-SVN: r194792
2013-01-02[multiple changes]Arnaud Charlet4-8/+24
2013-01-02 Vincent Celier <celier@adacore.com> * usage.adb: Minor reformatting. 2013-01-02 Arnaud Charlet <charlet@adacore.com> * opt.ads: Fix typo. 2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb: Generate P decision SCOs for SPARK pragmas Assume and Loop_Invariant. From-SVN: r194791
2013-01-02vms_data.ads: Add entry for Float_Check_Valid (-gnateF).Robert Dewar5-20/+39
2013-01-02 Robert Dewar <dewar@adacore.com> * vms_data.ads: Add entry for Float_Check_Valid (-gnateF). * ug_words: Add entry for Float_Check_Overflow. * usage.adb: Minor reformatting. * gnat_ugn.texi: Add documentation for -gnateF (Check_Float_Overflow). From-SVN: r194790
2013-01-02gnat_ugn.texi: Add documentation for switches -gnateA, -gnated, -gnateO=, ↵Vincent Celier5-3/+91
-gnatet and -gnateV. 2013-01-02 Vincent Celier <celier@adacore.com> * gnat_ugn.texi: Add documentation for switches -gnateA, -gnated, -gnateO=, -gnatet and -gnateV. * ug_words: Add qualifiers equivalent to -gnateA, -gnated, -gnatet and -gnateV. * usage.adb: Add lines for -gnatea, -gnateO and -gnatez. * vms_data.ads: Add new compiler qualifiers /ALIASING_CHECK (-gnateA), /DISABLE_ATOMIC_SYNCHRONIZATION (-gnated), /PARAMETER_VALIDITY_CHECK (-gnateV) and /TARGET_DEPENDENT_INFO (-gnatet). From-SVN: r194789
2013-01-02checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow.Robert Dewar10-32/+154
2013-01-02 Robert Dewar <dewar@adacore.com> * checks.adb (Apply_Scalar_Range_Check): Implement Check_Float_Overflow. * opt.ads, opt.adb: Handle flags Check_Float_Overflow[_Config]. * par-prag.adb: Add dummy entry for pragma Check_Float_Overflow. * sem_prag.adb: Implement pragma Check_Float_Overflow. * snames.ads-tmpl: Add entries for pragma Check_Float_Overflow. * switch-c.adb: Recognize -gnateF switch. * tree_io.ads: Update ASIS version number. * gnat_rm.texi: Add documentation of pragma Check_Float_Overflow. From-SVN: r194788
2013-01-02[multiple changes]Arnaud Charlet34-278/+326
2013-01-02 Robert Dewar <dewar@adacore.com> * checks.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_ch9.adb, exp_disp.adb, exp_dist.adb, exp_intr.adb, exp_prag.adb, exp_util.adb, freeze.adb, gnat1drv.adb, inline.adb, layout.adb, lib-xref.adb, par-ch10.adb, par-labl.adb, par-load.adb, par-util.adb, restrict.adb, sem_ch13.adb, sem_ch4.adb, sem_ch6.adb, sem_dim.adb, sem_elab.adb, sem_res.adb, sem_warn.adb, sinput-l.adb: Add tags to warning messages. * sem_ch6.ads, warnsw.ads, opt.ads: Minor comment updates. 2013-01-02 Robert Dewar <dewar@adacore.com> * err_vars.ads: Minor comment fix. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Refine predicate. From-SVN: r194787
2013-01-02[multiple changes]Arnaud Charlet27-351/+423
2013-01-02 Robert Dewar <dewar@adacore.com> * errout.ads: Minor comment fixes. * opt.ads: Minor comment additions. * exp_aggr.adb: Add tags to warning messages * exp_ch11.adb, exp_ch3.adb, exp_ch4.adb, exp_util.adb, sem_aggr.adb, sem_attr.adb, sem_case.adb, sem_cat.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_disp.adb, sem_dist.adb, sem_elab.adb, sem_eval.adb, sem_intr.adb, sem_mech.adb, sem_prag.adb, sem_res.adb, sem_util.adb, sem_warn.adb: Add tags to warning messages 2013-01-02 Doug Rupp <rupp@adacore.com> * init.c [VMS] Remove subtest on reason mask for ACCVIO that is a C_E. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Recover source name for renamed packagea. From-SVN: r194786
2013-01-02errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail ↵Robert Dewar12-220/+226
if insertion sequence is at end of message... 2013-01-02 Robert Dewar <dewar@adacore.com> * errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if insertion sequence is at end of message string. * opt.ads: Minor comment fixes and additions. * sem_ch7.adb, sem_ch8.adb, sem_ch9.adb, sem_ch10.adb, sem_ch11.adb, sem_ch12.adb, sem_ch13.adb: Add tags to warning messages. * sem_ch6.ads, sem_ch6.adb (Cannot_Inline): Deal with warning message tags. Add tags to warning messages. From-SVN: r194785
2013-01-02[multiple changes]Arnaud Charlet14-229/+434
2013-01-02 Robert Dewar <dewar@adacore.com> * err_vars.ads (Warning_Doc_Switch): New flag. * errout.adb (Error_Msg_Internal): Implement new warning flag doc tag stuff (Set_Msg_Insertion_Warning): New procedure. * errout.ads: Document new insertion sequences ?? ?x? ?.x? * erroutc.adb (Output_Msg_Text): Handle ?? and ?x? warning doc tag stuff. * erroutc.ads (Warning_Msg_Char): New variable. (Warn_Chr): New field in error message object. * errutil.adb (Error_Msg): Set Warn_Chr in error message object. * sem_ch13.adb: Minor reformatting. * warnsw.adb: Add handling for -gnatw.d and -gnatw.D (Warning_Doc_Switch). * warnsw.ads: Add handling of -gnatw.d/.D switches (warning doc tag). 2013-01-02 Robert Dewar <dewar@adacore.com> * opt.ads: Minor reformatting. 2013-01-02 Doug Rupp <rupp@adacore.com> * init.c: Reorganize VMS section. (scan_condtions): New function for scanning condition tables. (__gnat_handle_vms_condtion): Use actual exception name for imported exceptions vice IMPORTED_EXCEPTION. Move condition table scanning into separate function. Move formerly special handled conditions to system condition table. Use SYS$PUTMSG output to fill exception message field for formally special handled condtions, in particular HPARITH to provide more clues about cause and location then raised from the translated image. From-SVN: r194784
2013-01-02sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post aspect that ↵Thomas Quinot2-3/+21
applies to a library subprogram... 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): For a Pre/Post aspect that applies to a library subprogram, prepend corresponding pragma to the Pragmas_After list, in order for split AND THEN sections to be processed in the expected order. From-SVN: r194783
2013-01-02[multiple changes]Arnaud Charlet6-19/+71
2013-01-02 Thomas Quinot <quinot@adacore.com> * exp_prag.adb (Expand_Pragma_Check): The statements generated for the pragma must have the sloc of the pragma, not the sloc of the condition, otherwise this creates anomalies in the generated debug information that confuse coverage analysis tools. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb: Minor reformatting. 2013-01-02 Arnaud Charlet <charlet@adacore.com> * g-excact.ads (Core_Dump): Clarify that this subprogram does not dump cores under Windows. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Analyze_Primitive_Renamed_Operation): The prefixed view of a subprogram has convention Intrnnsic, and a renaming of a prefixed view cannot be the prefix of an Access attribute. 2013-01-02 Robert Dewar <dewar@adacore.com> * restrict.adb: Minor reformatting. From-SVN: r194782
2013-01-02[multiple changes]Arnaud Charlet6-28/+68
2013-01-02 Thomas Quinot <quinot@adacore.com> * exp_prag.adb: Minor reformatting. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Get_Associated_Node): If the node is an identifier that denotes an unconstrained array in an object declaration, it is rewritten as the name of an anonymous subtype whose bounds are given by the initial expression in the declaration. When checking whether that identifier is global reference, use the original node, not the local generated subtype. 2013-01-02 Olivier Hainque <hainque@adacore.com> * tracebak.c: Revert previous change, incomplete. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): If the aspect appears on a subprogram body that acts as a spec, place the corresponding pragma in the declarations of the body, so that e.g. pre/postcondition checks can be generated appropriately. 2013-01-02 Robert Dewar <dewar@adacore.com> * sem_ch3.adb: Minor reformatting and code reorganization. From-SVN: r194781
2013-01-02[multiple changes]Arnaud Charlet4-24/+64
2013-01-02 Vincent Celier <celier@adacore.com> * switch-m.adb (Normalize_Compiler_Switches): Record the complete switch -fstack-check=specific instead of its shorter alias -fstack-check. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Derive_Subprogram): Enforce RM 6.3.1 (8): if the derived type is a tagged generic formal type with unknown discriminants, the inherited operation has convention Intrinsic. As such, the 'Access attribute cannot be applied to it. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_attr.adb: Minor reformatting. From-SVN: r194780
2013-01-02[multiple changes]Arnaud Charlet4-13/+68
2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb: Add SCO generation for S of protected types and single protected object declarations. 2013-01-02 Robert Dewar <dewar@adacore.com> * sem_eval.adb, osint.ads: Minor reformatting. From-SVN: r194779
2013-01-02[multiple changes]Arnaud Charlet4-72/+84
2013-01-02 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_Pragma): Check the legality of pragma Assume. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_eval.adb (Compile_Time_Compare): For static operands, we can perform a compile time comparison even if in preanalysis mode. 2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb (SCO_Record): Always use Traverse_Declarations_Or_Statements to process the library level declaration, so that SCOs are properly generated for its aspects. From-SVN: r194778
2013-01-02scos.ads (In_Decision): Add missing entry for 'a'.Thomas Quinot4-13/+34
2013-01-02 Thomas Quinot <quinot@adacore.com> * scos.ads (In_Decision): Add missing entry for 'a'. * sem_prag.adb (Analyze_Pragma, case pragma Check): Omit call to Set_SCO_Pragma_Enabled for Invariant and Predicate. * sem_ch13.adb: Minor comment update. From-SVN: r194777
2013-01-02* MAINTAINERS: Update my email.Maxim Kuvyrkov2-1/+5
From-SVN: r194776
2013-01-02newunit_3.f90: Add dg-do run.Jerry DeLisle3-0/+7
2013-01-01 Jerry DeLisle <jvdelisle@gcc.gnu.org> * gfortran.dg/newunit_3.f90: Add dg-do run. * gfortran.dg/inquire_15.f90: Add dg-do run. From-SVN: r194775
generated by cgit v1.1 at 2024-08-18 14:13:50 +0000