summaryrefslogtreecommitdiffstats
path: root/gcc/ada/gcc-interface
Commit message (Collapse)AuthorAgeFilesLines
...
* * gcc-interface/Makefile.in (arm% androideabi): Robustify.ebotcazou2013-05-301-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199436 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c: (gnat_to_gnu_entity): In ASIS mode, do notebotcazou2013-05-261-3/+6
| | | | | | | check that access types have a set size. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199343 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (vinfo_t): New type and associated vector.ebotcazou2013-05-261-87/+158
| | | | | | | | | | | | (components_to_record): Change return type to bool. Lay out the variants in two passes. Do not force a specific layout for the variant part if the variants do not have a representation clause. Take the alignment of the variant part into account when laying out variants without rep clause in a record type with a partial rep clause. (create_rep_part): Do not set the position of the field. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199342 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Attribute_to_gnu) <Attr_Last_Bit>: Add kludgeebotcazou2013-05-261-3/+8
| | | | | | | to avoid generating an overflow for -1. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199339 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/gigi.h (create_type_decl): Adjust prototype.ebotcazou2013-05-263-189/+194
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (create_label_decl): Complete prototype. (process_attributes): Declare. * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust multiple calls to create_type_decl throughout. <E_Enumeration_Type>: Do the layout of the type manually and call process_attributes on it. Reindent. <E_Enumeration_Subtype>: Minor tweak. <E_Floating_Point_Subtype>: Reindent. <E_Array_Subtype>: Call process_attributes on the array type built for a packed array type. <E_Record_Type>: Call process_attributes on the type. <E_Record_Subtype>: Likewise. <E_Access_Type>: Likewise. <E_Subprogram_Type>: Likewise. Likewise for all types at the end of the processing. * gcc-interface/utils.c (make_aligning_type): Adjust call to create_type_decl. (maybe_pad_type): Likewise. (create_index_type): Likewise. (create_type_decl): Remove attr_list parameter and associated code. (create_var_decl_1): Call process_attributes on the variable. (process_attributes): Take a pointer to the object and add in_place and gnat_node parameters and adjust throughout. <ATTR_MACHINE_ATTRIBUTE>: Pass ATTR_FLAG_TYPE_IN_PLACE only on demand and set the input location. Zap the attribute list at the end. (create_subprog_decl): Call process_attributes on the subprogram. (build_unc_object_type): Adjust call to create_type_decl. (handle_vector_type_attribute): Remove dead code. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199338 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/gigi.h (make_aligning_type): Adjust prototype.ebotcazou2013-05-264-8/+11
| | | | | | | | | | * gcc-interface/utils.c (make_aligning_type): Take GNAT_NODE parameter for the position of the associated TYPE_DECL. * gcc-interface/decl.c (gnat_to_gnu_entity): Adjust call to above. * gcc-interface/utils2.c (maybe_wrap_malloc): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199337 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity): Do not prematurelyebotcazou2013-05-262-3/+6
| | | | | | | | elaborate the full view of a type with a freeze node. * gcc-interface/trans.c (process_type): Add explicit predicate. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199336 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Always build theebotcazou2013-05-261-19/+12
| | | | | | | UNC variable for aliased objects with unconstrained nominal subtype. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199335 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/gigi.h (gnat_init_gcc_fp): Declare.ebotcazou2013-05-243-4/+33
| | | | | | | | * gcc-interface/trans.c (gigi): Call it. * gcc-interface/misc.c (gnat_init_gcc_fp): New function. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199287 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/gigi.h (enum inline_status_t): New type.ebotcazou2013-05-244-41/+74
| | | | | | | | | | | | | | | | | (create_subprog_decl): Adjust prototype. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Adjust calls to create_subprog_decl. (get_minimal_subprog_decl): Likewise. * gcc-interface/trans.c (gigi): Likewise. (build_raise_check): Likewise. (establish_gnat_vms_condition_handler): Likewise. (Compilation_Unit_to_gnu): Likewise. (gnat_to_gnu): Likewise. * gcc-interface/utils.c (create_subprog_decl): Change inline_flag parameter to inline_status and implement for suppressed inlining. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199286 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/ada-tree.h (LOOP_STMT_NO_UNROLL): New define.ebotcazou2013-05-242-7/+47
| | | | | | | | | | | | | | | (LOOP_STMT_UNROLL): Likewise. (LOOP_STMT_NO_VECTOR): Likewise. (LOOP_STMT_VECTOR): Likewise. * gcc-interface/trans.c (struct loop_info_d): Replace label field with stmt field. (Pragma_to_gnu) <Pragma_Loop_Optimize>: New case. (Loop_Statement_to_gnu): Save the loop statement onto the stack instead of the label. (gnat_to_gnu) <N_Exit_Statement>: Retrieve the loop label. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199281 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c: Include diagnostic.h and opts.h.ebotcazou2013-05-241-1/+86
| | | | | | | (Pragma_to_gnu) <Pragma_Warnings>: New case. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199280 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Constifyebotcazou2013-05-241-13/+60
| | | | | | | | | | | a handful of local variables. For a derived untagged type that renames discriminants, change the type of the stored discriminants to a subtype with the bounds of the type of the visible discriminants. (build_subst_list): Rename local variable. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@199279 138bc75d-0d04-0410-961f-82ee72b054a4
* * Makefile.in (LLINKER): New variable.jason2013-05-161-1/+3
| | | | | | | | (mostlyclean): Remove link mutex. * configure.ac: Handle --enable-link-mutex. * lock-and-run.sh: New script. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198977 138bc75d-0d04-0410-961f-82ee72b054a4
* Restore Solaris/amd64 Ada bootstrap (PR ada/57188)ro2013-05-131-1/+1
| | | | | | | PR ada/57188 * gcc-interface/Makefile.in: Allow for amd64 solaris2. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198824 138bc75d-0d04-0410-961f-82ee72b054a4
* PR ada/56474ebotcazou2013-05-071-5/+10
| | | | | | | | * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Use int_const_binop to shift bounds by 1 when they are integer constants. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198663 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Exclude s-init.ad{s,b} charlet2013-04-251-0/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198300 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2013-04-251-36/+35
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198299 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2013-04-241-1418/+1467
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198245 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-24 Yannick Moy <moy@adacore.com>charlet2013-04-241-1319/+1277
| | | | | | | | | | | | | | | | | | | | | | | | | | | * adabkend.adb, ali-util.adb, ali.adb, debug.adb, errout.adb, errout.ads, erroutc.adb, exp_ch3.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_dbug.adb, exp_util.adb, expander.adb, freeze.adb, gnat1drv.adb, lib-writ.adb, lib-writ.ads, lib-xref.adb, lib-xref.ads, opt.adb, opt.ads, restrict.adb, sem_aggr.adb, sem_attr.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_eval.adb, sem_prag.adb, sem_res.adb, sem_util.adb: Everything with name 'Alfa' renamed in 'SPARK'. Update comments. Renaming of units with name 'Alfa', renamed with 'SPARK' instead. * exp_alfa.adb: renamed exp_spark.adb. * exp_alfa.ads: renamed exp_spark.ads. * get_alfa.adb: renamed get_spark_xrefs.adb. * get_alfa.ads: renamed get_spark_xrefs.ads. * lib-xref-alfa.adb: renamed lib-xref-spark_specific.adb. * put_alfa.adb: renamed put_spark_xrefs.adb. * put_alfa.ads: renamed put_spark_xrefs.ads. * alfa.adb: renamed spark_xrefs.adb. * alfa.ads: renamed spark_xrefs.ads. * alfa_test.adb: renamed spark_xrefs_test.adb. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198234 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-23 Eric Botcazou <ebotcazou@adacore.com>charlet2013-04-231-3/+3
| | | | | | | | | | | Pascal Obry <obry@adacore.com> * gcc-interface/Makefile.in (targ): Fix target name check. (../../gnatmake$(exeext)): Add '+' for LTO. (../../gnatlink$(exeext)): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198200 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2013-04-231-515/+530
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198199 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2013-04-121-33/+34
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197919 138bc75d-0d04-0410-961f-82ee72b054a4
* * stor-layout.c (skip_simple_constant_arithmetic): Move to...ebotcazou2013-04-111-4/+5
| | | | | | | | | | | | * tree.c (skip_simple_constant_arithmetic): ...here and make public. (skip_simple_arithmetic): Tidy up. * tree.h (skip_simple_constant_arithmetic): Declare. ada/ * gcc-interface/decl.c (elaborate_expression_1): Skip only constant arithmetics when looking for a read-only variable in the expression. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197815 138bc75d-0d04-0410-961f-82ee72b054a4
* Minor editing.charlet2013-04-111-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197802 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2013-04-111-34/+33
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197800 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-04-11 Robert Dewar <dewar@adacore.com>charlet2013-04-111-579/+617
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * back_end.adb (Register_Back_End_Types): Moved to Get_Targ * back_end.ads (C_String): Moved to Get_Targ (Register_Type_Proc): Moved to Get_Targ (Register_Back_End_Types): Moved to Get_Targ. * cstand.adb (Register_Float_Type): New interface (Create_Back_End_Float_Types): Use entries in FPT_Mode_Table. * get_targ.adb (Register_Back_End_Types): Moved here from Back_End. * get_targ.ads (C_String): Moved here from Back_End (Register_Type_Proc): Moved here from Back_End (Register_Back_End_Types): here from Back_End. * gnat1drv.adb (GGnat11drv): Add call to Write_Target_Dependent_Values; * lib-writ.ads, lib-writ.adb (Write_ALI): Remove section writing obsolete target dependent info. * opt.ads (Generate_Target_Dependent_Info): Removed (Target_Dependent_Info_Read): New flag (Target_Dependent_Info_Write): New flag * output.adb: Minor comment change * s-os_lib.ads: Minor reformatting * set_targ.ads, set_targ.adb: Minor reformatting. * switch-c.adb (Scan_Switches.First_Ptr): New variable (Scan_Front_End_Switches): Check -gnatd.b, -gnateT come first (Scan_Front_End_Switches): Handle -gnatet, -gnateT * ttypes.ads: Remove documentation section on target dependent info in ali file Remove four letter codes, no longer used Instead of using Get_Targ.Get_xxx, we use Set_Targ.xxx * usage.adb: Add usage lines for -gnatet/-gnateT * gcc-interface/Make-lang.in: Update dependencies. 2013-04-11 Thomas Quinot <quinot@adacore.com> * sem_ch4.adb: Update documentation. * sinfo.ads (N_Expression_With_Actions): Ditto. 2013-04-11 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): Add a guard to prevent the double insertion of the same aspect into a rep item list. This previously led to a circularity. 2013-04-11 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Eval_Attribute, case 'Access): Reject attribute reference if the prefix is the dereference of an anonymous access to subprogram type. * exp_attr.adb (Expand_N_Attribute_Reference, Access_Cases): Handle properly a reference to the current instance of a protected type from within a protected subprogram. * sem_res.adb (Find_Unique_Access_Type): Treat Attribute_Access_Type like Allocator_Type when resolving an equality operator. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197791 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in: Update dependencies.charlet2013-04-111-9/+9
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197754 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Attribute_to_gnu): Abort instead of erroringebotcazou2013-03-061-7/+2
| | | | | | | out for an unimplemented attribute. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196507 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_field): Remove the wrapper aroundebotcazou2013-03-061-0/+7
| | | | | | | a misaligned integral type if a size is specified for the field. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196506 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Raise_Error_to_gnu) <CE_Index_Check_Failed>:ebotcazou2013-03-061-1/+1
| | | | | | | Record the unpadded type of the index type on the RCI stack. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196504 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (emit_range_check): Assert that the range typeebotcazou2013-03-061-5/+10
| | | | | | | is a numerical type and remove useless local variables. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196500 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/ada-tree.h: Back out change accidentally committed.ebotcazou2013-02-251-7/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@196268 138bc75d-0d04-0410-961f-82ee72b054a4
* Revert previous change, unintended.charlet2013-02-065-256/+68
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195805 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com> charlet2013-02-061-2/+13
| | | | | | | | | * gcc-interface/Make-lang.in: Enable System.Stack_Checking.Operations target pairs on VxWorks 5 only. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195802 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-02-06 Vincent Celier <celier@adacore.com>charlet2013-02-065-1130/+1361
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-proc.adb (Process_Aggregated_Projects): Use a new project node tree for each project tree rooted at an aggregated project. 2013-02-06 Hristian Kirtchev <kirtchev@adacore.com> * sem_util.adb (Is_Interface_Conversion): New routine. (Object_Access_Level): Detect an interface conversion that has been rewritten into a different construct. Use the original form of the conversion to find the access level of the operand. 2013-02-06 Eric Botcazou <ebotcazou@adacore.com> * einfo.ads (Has_Pragma_No_Inline): New flag using Flag201. (Has_Pragma_No_Inline): Declare and mark as inline. (Set_Has_Pragma_No_Inline): Likewise. * einfo.adb (Has_Pragma_No_Inline): New function. (Set_Has_Pragma_No_Inline): New procedure. (Write_Entity_Flags): Handle Has_Pragma_No_Inline. * snames.ads-tmpl (Name_No_Inline): New pragma-related name. (Pragma_Id): Add Pragma_No_Inline value. * par-prag.adb (Prag): Handle Pragma_Inline. * sem_prag.adb (Inline_Status): New enumeration type. (Process_Inline): Change Active parameter to Inline_Status and add support for suppressed inlining. (Analyze_Pragma) <Pragma_Inline>: Adjust to above change. <Pragma_Inline_Always>: Likewise. <Pragma_No_Inline>: Implement new pragma No_Inline. (Sig_Flags): Add Pragma_No_Inline. * gnat_rm.texi (Implementation Defined Pragmas): Add No_Inline. * gnat_ugn.texi (Switches for gcc): Mention Pragma No_Inline. 2013-02-06 Pascal Obry <obry@adacore.com> * s-osprim-mingw.adb (Clock): Make sure we copy all data locally to avoid interleaved modifications that could happen from another task calling Get_Base_Data. (Get_Base_Data): Make it a critical section. Avoid updating if another task has already done it. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195801 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c: Include diagnostic-core.h.ebotcazou2013-02-032-2/+7
| | | | | | | | | | (gnat_to_gnu_entity) <E_Array_Type>: Sorry if Reverse_Storage_Order is set on the entity. <E_Record_Type>: Likewise. * gcc-interface/Make-lang.in (ada/decl.o): Add $(DIAGNOSTIC_CORE_H). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195694 138bc75d-0d04-0410-961f-82ee72b054a4
* Update dependencies.charlet2013-01-291-4/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195547 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (gnat_to_gnu) <N_Expression_With_Actions>: Doebotcazou2013-01-221-1/+1
| | | | | | | not translate the Etype of the node before translating the Actions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195368 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Pragma_to_gnu) <Name_Space>: Use optimize_sizeebotcazou2013-01-221-6/+20
| | | | | | | | instead of optimize and adjust warning message. (Compilation_Unit_to_gnu): Process pragmas preceding the unit. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195366 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/gigi.h (ADT_unhandled_except_decl,ebotcazou2013-01-222-1/+39
| | | | | | | | | | | | ADT_unhandled_others_decl): New. (unhandled_others_decl, unhandled_except_decl): Define. * gcc-interface/trans.c: Include common/common-target.h. (gigi): Initialize them. (Subprogram_Body_to_gnu): On SEH targets, wrap the body of the main function in a try/catch clause. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195364 138bc75d-0d04-0410-961f-82ee72b054a4
* * Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.ebotcazou2013-01-111-2/+8
| | | | | | | | | | | | | | | | * Makefile.in: Regenerate. gcc/ * configure.ac (Tree checking): Set TREECHECKING to yes if enabled. Substitute TREECHECKING. * configure: Regenerate. * Makefile.in (TREECHECKING): New. gcc/ada/ * gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata. (CHECKING_ADAFLAGS): New. (ALL_ADAFLAGS): Include CHECKING_ADAFLAGS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195104 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/config-lang.in (boot_language_boot_flags): Delete.ebotcazou2013-01-102-7/+4
| | | | | | | * gcc-interface/Make-lang.in (BOOT_ADAFLAGS): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195091 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Adjustebotcazou2013-01-071-8/+5
| | | | | | | | | comment about type extension with discriminants. <E_Record_Subtype>: Remove useless test and reorder conditions. (elaborate_entity) <E_Record_Subtype>: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194965 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Richard Biener <rguenther@suse.de>rguenth2013-01-071-4/+3
| | | | | | | | | PR ada/864 * gcc-interface/Make-lang.in (ada.install-common): Always apply program_transform_name. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194964 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_field): Emit a specializedebotcazou2013-01-061-5/+21
| | | | | | | | | | diagnostic for component size mismatch wrt volatile requirements. Add a gcc_unreachable() at the end of the checks for size. Split the check on volatile for positions into one check on atomic and a subsequent one on volatile. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194946 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (elaborate_entity) <E_Record_Type>: Delete.ebotcazou2013-01-061-12/+0
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194945 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do notebotcazou2013-01-061-3/+6
| | | | | | | pack the field of the record type made for a misaligned type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194942 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (annotate_value) <COMPONENT_REF>: Be preparedebotcazou2013-01-061-11/+18
| | | | | | | for discriminants inherited from parent record types. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194939 138bc75d-0d04-0410-961f-82ee72b054a4
* Update Copyright years for files modified in 2011 and/or 2012.jakub2013-01-041-1/+2
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194903 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud