aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Collapse)AuthorFilesLines
2015-01-06[multiple changes]Arnaud Charlet13-101/+181
2015-01-06 Robert Dewar <dewar@adacore.com> * s-taskin.ads, s-traces.ads: Minor reformatting. * exp_util.adb: Minor typo fix. 2015-01-06 Vincent Celier <celier@adacore.com> * gnatls.adb (Search_RTS): Invoke Initialize_Default_Project_Path with the runtime name. * prj-env.adb (Initialize_Default_Project_Path): When both Target_Name and Runtime_Name are not empty string, add to the project path the two directories .../lib/gnat and .../share/gpr related to the runtime. * prj-env.ads (Initialize_Default_Project_Path): New String parameter Runtime_Name, defaulted to the empty string. 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com> * frontend.adb: Guard against the case where a configuration pragma may be split into multiple pragmas and the original rewritten as a null statement. * sem_prag.adb (Analyze_Pragma): Insert a brand new Check_Policy pragma using Insert_Before rather than Insert_Action. This takes care of the configuration pragma case where Insert_Action would fail. 2015-01-06 Bob Duff <duff@adacore.com> * a-coboho.ads (Element_Access): Add "pragma No_Strict_Aliasing (Element_Access);". This is needed because we are unchecked-converting from Address to Element_Access. * a-cofove.ads, a-cofove.adb (Elems,Elemsc): Fix bounds of the result to be 1. 2015-01-06 Hristian Kirtchev <kirtchev@adacore.com> * sem_res.adb (Resolve_Actuals): Remove the restriction which prohibits volatile actual parameters with enabled external propery Async_Writers to act appear in procedure calls where the corresponding formal is of mode OUT. From-SVN: r219222
2015-01-06Minor reformatting.Arnaud Charlet1-0/+2
From-SVN: r219218
2015-01-05gcc.c (process_command): Update copyright notice dates.Jakub Jelinek3-15966/+15976
gcc/ * gcc.c (process_command): Update copyright notice dates. * gcov-dump.c: Ditto. * gcov.c: Ditto. * doc/cpp.texi: Bump @copying's copyright year. * doc/cppinternals.texi: Ditto. * doc/gcc.texi: Ditto. * doc/gccint.texi: Ditto. * doc/gcov.texi: Ditto. * doc/install.texi: Ditto. * doc/invoke.texi: Ditto. gcc/fortran/ * gfortranspec.c (lang_specific_driver): Update copyright notice dates. * gfc-internals.texi: Bump @copying's copyright year. * gfortran.texi: Ditto. * intrinsic.texi: Ditto. * invoke.texi: Ditto. gcc/go/ * gccgo.texi: Bump @copyrights-go year. gcc/java/ * jcf-dump.c (version): Update copyright notice dates. libgomp/ * libgomp.texi: Bump @copying's copyright year. libquadmath/ * libquadmath.texi: Bump @copying's copyright year. libitm/ * libitm.texi: Bump @copying's copyright year. gcc/ada/ * gnat_ugn.texi: Bump @copying's copyright year. libjava/ * classpath/gnu/java/rmi/registry/RegistryImpl.java (version): Update copyright notice dates. * classpath/tools/gnu/classpath/tools/orbd/Main.java (run): Ditto. * gnu/gcj/convert/Convert.java (version): Update copyright notice dates. * gnu/gcj/tools/gcj_dbtool/Main.java (main): Ditto. From-SVN: r219187
2015-01-05re PR ada/64492 (Disabling libada prevents building gnattools-cross)Eric Botcazou2-1/+13
PR ada/64492 * gcc-interface/Makefile.in (../stamp-tools): Reinstate dropped code. From-SVN: r219183
2015-01-05Bump copyright yearEric Botcazou2-2/+2
From-SVN: r219182
2015-01-04misc.c (internal_error_function): Use xasprintf instead of unchecked asprintf.Uros Bizjak2-2/+7
* gcc-interface/misc.c (internal_error_function): Use xasprintf instead of unchecked asprintf. From-SVN: r219175
2014-12-22trans.c (Attribute_to_gnu): If the type is a floating-point type...Eric Botcazou3-10/+65
* gcc-interface/trans.c (Attribute_to_gnu) <Attr_{Min,Max}>: If the type is a floating-point type, implement the semantics of the C99 f{min,max} routines with regard to NaNs. (gnat_to_gnu): Call builtin_decl_implicit. * gcc-interface/utils2.c (compare_arrays): Adjust comments. From-SVN: r219010
2014-12-22decl.c (gnat_to_gnu_field): Post the error message for parent overlapping on ↵Eric Botcazou2-67/+84
the position instead of on the... * gcc-interface/decl.c (gnat_to_gnu_field): Post the error message for parent overlapping on the position instead of on the first bit. For a field that needs strict alignment, issue the error for the position first and, for the size, issue an error if it is too large only for the atomic and aliased cases. Issue a specific error if the size is not a multiple of a byte in the volatile and the stric alignment cases. From-SVN: r219009
2014-12-22decl.c (check_ok_for_atomic): Rename into...Eric Botcazou3-61/+56
* gcc-interface/decl.c (check_ok_for_atomic): Rename into... (check_ok_for_atomic_type): ...this. When checking the mode, also check that the type is sufficient aligned. Remove useless code and tidy up implementation. (gnat_to_gnu_entity): Adjust to above renaming. (gnat_to_gnu_component_type): Likewise. (gnat_to_gnu_field): Likewise. From-SVN: r219007
2014-12-17Make the Ada front-end use the array descr language hookPierre-Marie de Rodat2-0/+68
* gcc-interface/misc.c (gnat_get_array_descr_info): New. Use it for the get_array_descr_info lang-hook. Use it to tune the DWARF output for array types. From-SVN: r218825
2014-11-28Update comments.Arnaud Charlet1-27/+21
From-SVN: r218149
2014-11-28Update copyright notice.Arnaud Charlet1-1/+1
From-SVN: r218148
2014-11-24* gcc-interface/Makefile.in (Cygwin/Mingw): Fix previous change.Eric Botcazou2-26/+9
From-SVN: r218003
2014-11-24Add missing entryTrevor Saunders1-0/+13
From-SVN: r218002
2014-11-24trans.c (build_return_expr): Use INIT_EXPR instead of MODIFY_EXPR to assign ↵Eric Botcazou2-6/+14
to the return object. * gcc-interface/trans.c (build_return_expr): Use INIT_EXPR instead of MODIFY_EXPR to assign to the return object. (finalize_nrv_r): Adjust to above change. (finalize_nrv_unc_r): Likewise. From-SVN: r218000
2014-11-24trans.c (push_range_check_info): Replace early test with assertion.Eric Botcazou4-7/+22
* gcc-interface/trans.c (push_range_check_info): Replace early test with assertion. (Raise_Error_to_gnu): Do not call push_range_check_info if the loop stack is empty. * gcc-interface/utils.c (convert_to_fat_pointer): Fix formatting. * gcc-interface/utils2.c (gnat_invariant_expr): Deal with padded types and revert latest change. From-SVN: r217998
2014-11-22trans.c (Call_to_gnu): Strip unchecked conversions on actuals of In ↵Eric Botcazou2-6/+16
parameters if... * gcc-interface/trans.c (Call_to_gnu): Strip unchecked conversions on actuals of In parameters if the destination type is an unconstrained composite type. From-SVN: r217965
2014-11-22trans.c (gnat_gimplify_expr): Add 'type' variable.Eric Botcazou2-10/+19
* gcc-interface/trans.c (gnat_gimplify_expr): Add 'type' variable. <case NULL_EXPR>: Deal with unconstrained array types and use 'type'. <case ADDR_EXPR>: Use 'type'. <case DECL_EXPR>: Likewise. From-SVN: r217964
2014-11-20re PR ada/63931 (Ada libraries use 5.0 as LIB_VERSION)Arnaud Charlet2-1/+6
PR ada/63931 * gnatvsn.ads (Library_Version): Switch to "5". From-SVN: r217884
2014-11-20[multiple changes]Arnaud Charlet9-38/+145
2014-11-20 Thomas Quinot <quinot@adacore.com> * freeze.adb (Freeze_Entity): Do not reset Is_True_Constant for aliased constant objects. 2014-11-20 Robert Dewar <dewar@adacore.com> * exp_util.adb (Following_Address_Clause): Use new Name_Table boolean flag set by parser to avoid the search if there is no address clause anywhere for the name. * namet.adb (Name_Enter): Initialize Boolean_Info flag (Name_Find): ditto (Reinitialize): ditto (Get_Name_Table_Boolean): New function (Set_Name_Table_Boolean): New procedure * namet.ads: Add and document new Boolean field in name table (Get_Name_Table_Boolean): New function. (Set_Name_Table_Boolean): New procedure. * par-ch13.adb (P_Representation_Clause): Set Name_Table boolean flag for an identifier name if we detect an address clause or use-at clause for the identifier. * sem_ch3.adb (Analyze_Object_Declaration): Remove comment about Following_Address_Clause since this function is now optimized and is not a performance concern. * sem_prag.adb (Analyze_Pragma, case Elaborate): In SPARK mode, pragma Elaborate is now allowed, but does not suppress elaboration checking. From-SVN: r217882
2014-11-20Makefile.in: Add some support for VxWorks7.Jerome Lambourg2-4/+17
2014-11-20 Jerome Lambourg <lambourg@adacore.com> * gcc-interface/Makefile.in: Add some support for VxWorks7. From-SVN: r217881
2014-11-20[multiple changes]Arnaud Charlet8-68/+106
2014-11-20 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb, freeze.adb: Minor reformatting. * gnat_rm.texi: Minor editing. 2014-11-20 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma): Minor reformatting. (Process_Suppress_Unsuppress): Ignore suppress Elaboration_Check in SPARK. 2014-11-20 Bob Duff <duff@adacore.com> * gnat_rm.texi: Correction to documentation of 'Unrestricted_Access in case of access to unconstrained array. * a-cofove.adb (Capacity): Fix bug -- was always returning Capacity_Range'Last. (Is_Sorted): Fix bug -- was always returning True, because Container.Last = Last. That test isn't even needed, because the loop will go around zero times in that case, so deleted that test rather than fixing it. (Reverse_Elements): Make sure to use the correct array bounds. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Analyze_Associations): In GNATProve mode, build wrappers for functions and operators that are actuals only if expander is enabled. Wrappers play no role within a generic unit. 2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> * sem_util.adb (Policy_In_Effect): Use the configuration level assertion flag. From-SVN: r217880
2014-11-20[multiple changes]Arnaud Charlet8-29/+64
2014-11-20 Arnaud Charlet <charlet@adacore.com> * s-parame-ae653.ads: Update comments. 2014-11-20 Robert Dewar <dewar@adacore.com> * types.ads, einfo.ads: Minor reformatting. * sem_elab.adb (Check_A_Call): Add guard for reference to Alias for variable case. 2014-11-20 Bob Duff <duff@adacore.com> * a-cofove.adb (Elems,Elemsc): Use access-to-constrained arrays instead of access-to-unconstrained, because the latter doesn't work with 'Unrestricted_Access when the result is returned from a function. * a-cofove.ads (Vector): Move the discriminant-dependent array after the other components for efficiency. Otherwise the compiler will generate a lot of code to calculate the offset of the other components every time they're accessed. 2014-11-20 Olivier Hainque <hainque@adacore.com> * opt.ads: Fix comment on Generate_SCO_Instance_Table wrt when it is set to true. From-SVN: r217879
2014-11-20[multiple changes]Arnaud Charlet6-105/+233
2014-11-20 Ed Schonberg <schonberg@adacore.com> * exp_ch3.adb (Expand_N_Object_Declaration): Handle properly a type invariant check on an object with default initialization and an address clause. 2014-11-20 Robert Dewar <dewar@adacore.com> * sem_elab.adb (Check_A_Call): Handle variable ref case in SPARK (Check_Elab_Call): ditto (Find_Elab_Reference): ditto (Get_Referenced_Ent): ditto. * sem_elab.ads: Comment fixes to account for the fact that we now deal with variable references in SPARK mode. * sem_res.adb (Resolve_Entity_Name): In SPARK_Mode Call Check_Elab_Call for variable. 2014-11-20 Yannick Moy <moy@adacore.com> * a-cofove.ads (Copy): Fix precondition, which should allow Capacity = 0. (First_To_Previous, Current_To_Last): Add necessary preconditions. From-SVN: r217878
2014-11-20[multiple changes]Arnaud Charlet7-80/+164
2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Build_Initialization_Call): Reimplement the circuitry which extraacts the [underlying] full view of a private type to handle a case where the private type acts as a generic actual. * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Inherit the loop label form the original loop regardless of whether it came from source. * sem_attr.adb (Analyze_Attribute): When taking 'Access of an expression function with a generated body that has not been analyzed yet, analyze the body to freeze the expression. * sem_util.adb (Set_Public_Status_Of): New routine. (Transfer_Entities): Handle the case where a private type with an internally generated full view is being transfered and update its full view. 2014-11-20 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Check_Object): If a unit is in a multi-source file, its object file is never the same as any other unit. 2014-11-20 Bob Duff <duff@adacore.com> * s-taskin.adb (Initialize_ATCB): Take into account the fact that the domain of the activator can be null if we're initializing a foreign task. From-SVN: r217877
2014-11-20[multiple changes]Arnaud Charlet5-18/+34
2014-11-20 Robert Dewar <dewar@adacore.com> * sem_ch12.adb: Minor reformatting. 2014-11-20 Jerome Lambourg <lambourg@adacore.com> * s-osinte-vxworks.ads: Add comments. Minor reformatting. 2014-11-20 Yannick Moy <moy@adacore.com> * sem_prag.adb, sem_elab.adb: Minor rewording of error message in SPARK mode, for consistency. From-SVN: r217876
2014-11-20[multiple changes]Arnaud Charlet3-92/+253
2014-11-20 Vasiliy Fofanov <fofanov@adacore.com> * gnat_ugn.texi: New section on gnattest stubbing. Minor reformatting. 2014-11-20 Jerome Lambourg <lambourg@adacore.com> * s-taprop-vxworks.adb (Create_Task): Fix thread comparison. Minor reformatting. From-SVN: r217875
2014-11-20[multiple changes]Arnaud Charlet12-42/+152
2014-11-20 Robert Dewar <dewar@adacore.com> * s-tassta.adb, exp_aggr.adb, s-taskin.adb, exp_strm.adb: Minor reformatting. * comperr.adb (Compiler_Abort): New wording for bug box. * par-ch13.adb: Minor reformatting. * par-ch3.adb (P_Identifier_Declarations): Handle aspect specifications given before initialization expression in object declaration cleanly. * gnat1drv.adb (Adjust_Global_Switches): Make sure static elaboration mode is set if we are operating in SPARK mode. * sem_ch12.adb (Analyze_Package_Instantiation): Make sure static elab mode is set if we are in SPARK mode. (Analyze_Subprogram_Instantiation): ditto. (Set_Instance_Env): ditto. * sem_elab.adb (Check_A_Call): In SPARK mode, we require Elaborate_All in the case of a call during elaboration to a subprogram in another unit. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * inline.adb (Can_Split_Unconstrained_Function, Build_Procedure): Copy parameter type rather than creating reference to the entity, to capture class-wide reference, whose name is not retrieved by visibility. From-SVN: r217874
2014-11-20[multiple changes]Arnaud Charlet7-12/+58
2014-11-20 Arnaud Charlet <charlet@adacore.com> * s-taspri-solaris.ads: Replace 64 by long_long_integer'size. 2014-11-20 Olivier Hainque <hainque@adacore.com> * init.c (__gnat_map_signal for VxWorks): Use a common mapping scheme for VxWorks version >= 6, instead of falling back to the vx5 scheme for versions > 6. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * exp_strm.adb (Build_Mutable_Record_Read_Procedure): Use base type when constructing subtype indication for constrained target object. 2014-11-20 Jose Ruiz <ruiz@adacore.com> * projects.texi: Minor spelling fix. 2014-11-20 Bob Duff <duff@adacore.com> * gnat_ugn.texi: Add doc for --split-line-before-op switch in gnatpp. 2014-11-20 Vincent Celier <celier@adacore.com> * prj-attr.adb (Register_New_Package): Allow the registration of an already unknown package and make it known. From-SVN: r217873
2014-11-20convert many if_marked htab to hash_tableTrevor Saunders3-42/+65
ada/ * gcc-interface/decl.c, gcc-interface/utils.c: replace htab with hash_table. cp/ * cp-objcp-common.c: Use hash_table instead of htab. gcc/ * config/i386/i386.c, function.c, trans-mem.c, tree-core.h, tree.c, tree.h, ubsan.c, varasm.c: Use hash_table instead of htab. From-SVN: r217867
2014-11-20[multiple changes]Arnaud Charlet13-71/+120
2014-11-20 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case Elaborate): Forbid pragma Elaborate in SPARK mode. 2014-11-20 Bob Duff <duff@adacore.com> * s-taskin.adb, s-tassta.adb (Initialize_ATCB): If Domain is null, then initialize T.Common.Domain to that of the activating task (not the parent task!), as required by RM-D.16.1. T.Common.Domain should never be null; so Assert. Remove similar code from Create_Task in s-tassta.adb. * s-mudido-affinity.adb: Remove checks for Domain = null, because it can't be null. * s-taskin.ads, s-taspri-dummy.ads, s-taspri-mingw.ads, s-taspri-posix.ads, s-taspri-posix-noaltstack.ads, s-taspri-solaris.ads, s-taspri-vxworks.ads: Mark limited types as explicitly limited for clarity. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb (Init_Hidden_Discriminants): Code clean up. From-SVN: r217863
2014-11-20[multiple changes]Arnaud Charlet4-10/+28
2014-11-20 Robert Dewar <dewar@adacore.com> * errout.adb (Error_Msg): Don't suppress continuation msgs for run-time files. * sem_prag.adb (Analyze_Pragma, case Elaborate): Forbid pragma Elaborate in SPARK mode. 2014-11-20 Yannick Moy <moy@adacore.com> * gnat_rm.texi: Update GNAT RM with rule about expressions in Update attribute. From-SVN: r217862
2014-11-20[multiple changes]Arnaud Charlet16-60/+210
2014-11-20 Thomas Quinot <quinot@adacore.com> * g-socket.adb (To_Host_Entry): Guard against case of a non-AF_INET entry. 2014-11-20 Vadim Godunko <godunko@adacore.com> * a-strunb-shared.adb (To_Unbounded_String): Use shared empty object to construct return value when source string is empty or requested length is zero. * a-stwiun-shared.adb (To_Unbounded_Wide_String): Likewise. * a-stzunb-shared.adb (To_Unbounded_Wide_Wide_String): Likewise. 2014-11-20 Yannick Moy <moy@adacore.com> * a-cfhase.adb, a-cfinve.adb, a-cforma.adb, a-cfhama.adb, a-cforse.adb, a-cofove.adb: Skip CodePeer analysis on body of all formal containers. 2014-11-20 Arnaud Charlet <charlet@adacore.com> * adaint.c: Fix typo. * exp_util.adb (Make_Subtype_From_Expr): Complete previous change, generate constant values. * sem_eval.adb (Decompose_Expr): Fix latent bug leading to a wrong evaluation to '0' of some unknown values. 2014-11-20 Robert Dewar <dewar@adacore.com> * repinfo.adb (List_Record_Info): Do not list discriminant in unchecked union. * sem_ch13.adb (Has_Good_Profile): Minor reformatting (Analyze_Stream_TSS_Definition): Minor reformatting (Analyze_Record_Representation_Clause): Do not issue warning for missing rep clause for discriminant in unchecked union. From-SVN: r217861
2014-11-202014-11-20 Vadim Godunko <godunko@adacore.com>Vadim Godunko4-9/+15
* a-strunb-shared.adb, a-stwiun-shared.adb, a-stzunb-shared.adb ("&") Use already computed value of data length to call allocation subprogram. From-SVN: r217860
2014-11-20[multiple changes]Arnaud Charlet5-64/+126
2014-11-20 Ed Schonberg <schonberg@adacore.com> * exp_ch6.adb (Expand_Call, Inlined_Subprogram): Do not suppress debugging information for a call to a predefined unit, if the call comes from source and the unit is in the Ada hierarchy. 2014-11-20 Bob Duff <duff@adacore.com> * s-mudido.ads: Update signature of Create and Get_Last_CPU. Add CPU_Set, another Create, and Get_CPU_Set. * s-mudido.adb: Corresponding changes to the spec. New operations just raise an exception. Also minor cleanup: use raise_expressions. * s-mudido-affinity.adb: Implementations of new operations from * s-mudido.ads, for the platforms that actually support processor affinity. The new Create (which takes a set) now does all the work; the old Create (which takes a range) now just calls the new one. Change error messages to reflect the fact that it's an arbitrary set, not just a range. From-SVN: r217859
2014-11-20[multiple changes]Arnaud Charlet8-45/+147
2014-11-20 Robert Dewar <dewar@adacore.com> * exp_attr.adb: Minor reformatting. 2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> * exp_util.adb (Make_Subtype_From_Expr): Capture the bounds of all index constracts when the expression is of an array type. 2014-11-20 Bob Duff <duff@adacore.com> * s-taskin.ads: Minor comment improvements. 2014-11-20 Bob Duff <duff@adacore.com> * exp_ch9.adb: Minor comment fixes. * s-taskin.adb (Initialize): Small simplification: pass System_Domain to Initialize_ATCB instead of passing null and then setting the Domain to System_Domain. This requires moving the creation of System_Domain earlier. * s-taprop-linux.adb (Set_Task_Affinity): Only call CPU_SET for processors that have a True in the Domain. This is necessary if the Domain is not all-True values. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Has_Good_Profile): a) An stream attribute for the class-wide type of an interface type is not a primitive operation and is not subject to the restrictions of 13.13. (38/3). b) A stream operation for an interface type must be a null procedure, and it cannot be a function. From-SVN: r217857
2014-11-20exp_attr.adb (Attribute_Max_Size_In_Storage_Elements): Eliminate 'Class ↵Bob Duff2-4/+22
references from the tree, because gigi crashes on 'Class. 2014-11-20 Bob Duff <duff@adacore.com> * exp_attr.adb (Attribute_Max_Size_In_Storage_Elements): Eliminate 'Class references from the tree, because gigi crashes on 'Class. Also, don't check Nkind (Attr) -- it is known to be N_Attribute_Reference. Assert that instead. From-SVN: r217856
2014-11-20[multiple changes]Arnaud Charlet9-12/+64
2014-11-20 Bob Duff <duff@adacore.com> * debug.adb: Minor comment fix. 2014-11-20 Arnaud Charlet <charlet@adacore.com> * a-ciorma.adb: Minor update: move pragma Annotate up. * a-cfdlli.adb: Skip codepeer analysis on this body. 2014-11-20 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case No_Elaboration_Code_All): Allow use of this pragma with generic unit (package or subprogram). * gnat_rm.texi: Clarify that pragma No_Elaboration_Code_All can be applied to generics. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_aggr.adb (Valid_Limited_Ancestor): Ancestor part of extension aggregate can itself be an extension aggregate, as well as a call that is rewritten as a reference. 2014-11-20 Eric Botcazou <ebotcazou@adacore.com> * inline.adb (Add_Inlined_Subprogram): Insert all programs generated as a body or whose declaration was provided along with the body. 2014-11-20 Javier Miranda <miranda@adacore.com> * sem.adb (Semantics): Disable expansion if we are compiling a separate unit under configurable runtime. By default separate units are compiled with expansion disabled but under configurable runtime we enable the expansion to get error messages about missing entities. From-SVN: r217855
2014-11-20[multiple changes]Arnaud Charlet34-32/+152
2014-11-20 Robert Dewar <dewar@adacore.com> * sem_ch13.adb: Minor reformatting. * exp_util.adb (Following_Address_Clause): Handle case of package private part. 2014-11-20 Arnaud Charlet <charlet@adacore.com> * a-cdlili.adb, a-cihama.adb, a-coinve.adb, a-cusyqu.adb, a-ciorse.adb, a-coorma.adb, a-cborma.adb, a-cidlli.adb, a-cimutr.adb, a-ciormu.adb, a-cbprqu.adb, a-cihase.adb, a-cohama.adb, a-coorse.adb, a-coboho.adb, a-cuprqu.adb, a-cbhama.adb, a-rbtgbo.adb, a-cborse.adb, a-comutr.adb, a-ciorma.adb, a-cobove.adb, a-coormu.adb, a-convec.adb, a-cohase.adb, a-coinho.adb, a-coinho-shared.adb, a-cbdlli.adb, a-cbsyqu.adb, a-cbmutr.adb, a-cbhase.adb: Add pragma Annotate to prevent codepeer from analyzing these bodies. From-SVN: r217854
2014-11-20[multiple changes]Arnaud Charlet5-276/+582
2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not apply inlining expansion if function build in place, i.e. has a limited return type. 2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_Refined_Depends_In_Decl_Part): Add variables Body_Id, Body_Inputs, Body_Outputs, Spec_Inputs, Spec_Outputs. Synthesize the inputs and outputs of the subprogram when pragma [Refined_]Global is missing and perform legality checks on output states with visible refinement. (Appears_In): Update the comment on usage. (Check_Output_States): New routine. (Collect_Dependency_Clause): New routine. (Collect_Global_Items): Relocated to Analyze_Refined_Global_In_Decl_Part. (Collect_Subprogram_Inputs_Outputs): Add new formal parameters Synthesize and Depends_Seen. The routine can now synthesize inputs and outputs from pragma [Refined_]Depends. (Normalize_Clause): Update the comment on usage. The routine no longer performs normalization of outputs. (Normalize_Clauses): Normalize both inputs and outputs. (Normalize_Output): Relocated to Normalize_Clauses. * sem_prag.ads (Collect_Subprogram_Inputs_Outputs): Add new formal parameters Synthesize and Depends_Seen and update the comment on usage. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Reset_Loop_Variable): New subsidiary procedure in Build_Predicate_Functions, to handle properly quantified expressions in dynamic predicates. From-SVN: r217850
2014-11-20re PR target/47500 (-G0 option not recognized by gnat1)Vincent Celier1-1/+2
2014-11-20 Vincent Celier <celier@adacore.com> PR ada/47500 * back_end.adb (Scan_Back_End_Switches): Skip switch -G and its argument. From-SVN: r217849
2014-11-20[multiple changes]Arnaud Charlet6-59/+110
2014-11-20 Robert Dewar <dewar@adacore.com> * gnatcmd.adb, sem_ch6.adb, exp_dist.adb: Minor reformatting. * sem_util.adb (Bad_Unordered_Enumeration_Reference): Suppress warning (return False) for generic type. 2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> * sem_res.adb (Appears_In_Check): Removed. (Is_OK_Volatile_Context): Rewrite the checks which verify that an effectively volatile object subject to enabled properties Async_Writers or Effective_Reads appears in a suitable context to properly recognize a procedure call. (Within_Check): New routine. (Within_Procedure_Call): New routine. From-SVN: r217848
2014-11-20sem_ch6.adb: Improve better error message.Ed Schonberg2-1/+6
2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb: Improve better error message. From-SVN: r217847
2014-11-20[multiple changes]Arnaud Charlet5-639/+60
2014-11-20 Thomas Quinot <quinot@adacore.com> * freeze.adb, sem_ch13.adb: Minor editing. 2014-11-20 Vincent Celier <celier@adacore.com> * gnatcmd.adb: Remove any special processing for the ASIS tools (gnatpp, gnatmetric, gnatcheck, gnatelim and gnatstup) and simply invoke the tool with the provided switches and arguments. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Expression_Function): Reject declaration of expression function with identical profile as previous expression function. From-SVN: r217846
2014-11-20sem_ch13.adb: Complete previous change.Thomas Quinot4-80/+157
2014-11-20 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb: Complete previous change. * exp_dist.adb, exp_dist.ads: Rework PolyORB/DSA arguments processing circuitry to correctly handle the case of non-private limited unconstrained formals. From-SVN: r217845
2014-11-20[multiple changes]Arnaud Charlet5-18/+23
2014-11-20 Robert Dewar <dewar@adacore.com> * freeze.adb, exp_dbug.adb, sem_ch13.adb: Minor reformatting. 2014-11-20 Thomas Quinot <quinot@adacore.com> * einfo.ads: Fix minor typo in comment. From-SVN: r217844
2014-11-20Minor reformatting.Arnaud Charlet1-2/+1
From-SVN: r217843
2014-11-20[multiple changes]Arnaud Charlet9-48/+132
2014-11-20 Robert Dewar <dewar@adacore.com> * inline.adb, sem_util.adb: Minor reformatting. 2014-11-20 Pierre-Marie Derodat <derodat@adacore.com> * uintp.h (UI_Eq): Declare. * urealp.h (Norm_Den): Declare. (Norm_Num): Declare. * exp_dbug.adb (Is_Handled_Scale_Factor): New. (Get_Encoded_Name): Do not output ___XF GNAT encodings for fixed-point types when these can be handled by GCC's DWARF back-end. 2014-11-20 Thomas Quinot <quinot@adacore.com> * sem_ch13.db (Inherit_Aspects_At_Freeze_Point): Inherit parent SSO even if set through a pragma Default_Scalar_Storage_Order. * freeze.adb (Set_SSO_From_Default): For a type extension, do not let the default SSO override the parent SSO. * gnat_rm.texi: document the above From-SVN: r217842
2014-11-20[multiple changes]Arnaud Charlet13-82/+366
2014-11-20 Robert Dewar <dewar@adacore.com> * a-stream.ads, a-reatim.ads, a-calend.ads, sinfo.ads, s-crtl.ads, interfac.ads, s-taskin.ads: Minor reformatting. 2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_Pragma): Extensions_Visible can now apply to an expression function. * sem_util.adb (Extensions_Visible_Status): Add special processing for expression functions. 2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> * inline.adb (Build_Body_To_Inline): Remove meaningless aspects and pragmas. (Generate_Subprogram_Body): Remove meaningless aspects and pragmas. (Remove_Aspects_And_Pragmas): New routine. (Remove_Pragmas): Removed. * namet.ads, namet.adb (Nam_In): New versions of the routine. From-SVN: r217841
2014-11-20[multiple changes]Arnaud Charlet13-17/+88
2014-11-20 Thomas Quinot <quinot@adacore.com> * sem_util.adb: Minor reformatting. 2014-11-20 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case Linker_Section): Detect duplicate Linker_Section. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb: Add guard for build-in-place boolean op. 2014-11-20 Yannick Moy <moy@adacore.com> * checks.adb (Apply_Scalar_Range_Check): In GNATprove mode, put a range check when an empty range is used, instead of an error message. * sinfo.ads Update comment on GNATprove mode. 2014-11-20 Arnaud Charlet <charlet@adacore.com> * a-stream.ads, s-osinte-linux.ads, a-reatim.ads, a-calend.ads, s-crtl.ads, interfac.ads, s-taskin.ads: Replace uses of 2 ** 63 and 2 ** 64 by references to Long_Long_Integer instead, to allow these units to be analyzed by codepeer or spark when using a target configuration file with long_long_size set to 32. From-SVN: r217840
generated by cgit v1.1 at 2025-09-19 18:31:50 +0000