projects / thirdparty / gcc.git / blame
| Commit | Line | Data |
|---|---|---|
| f65df609 HK |
1 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> |
| 2 | ||
| 3 | * exp_ch4.adb (Expand_Allocator_Expression): Disable the generation of | |
| 4 | Set_Finalize_Address_Ptr for CodePeer because Finalize_Address was not | |
| 5 | built in the first place. | |
| 6 | (Expand_N_Allocator): Disable the generation of Set_Finalize_Address_Ptr | |
| 7 | for CodePeer because Finalize_Address was not built to begin with. | |
| 8 | * exp_ch6.adb (Make_Build_In_Place_Call_In_Allocator): Ditto. | |
| 9 | ||
| a0fb8fe8 AC |
10 | 2011-08-04 Pascal Obry <obry@adacore.com> |
| 11 | ||
| 12 | * adaint.c (__gnat_tmp_name): Use current process id to create temp | |
| 13 | filenames, this ensures unicity of filenames across processes. | |
| 14 | ||
| 15 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
| 16 | ||
| 17 | * bindgen.adb (Gen_Finalize_Library_Ada): Rename generated routine | |
| 18 | Raise_Controlled to Raise_From_Controlled_Operation. Update the | |
| 19 | signature of Raise_From_Controlled_Operation by adding flag From_Abort. | |
| 20 | Add False as the actual to From_Abort in the generated call to | |
| 21 | Raise_From_Controlled_Operation. | |
| 22 | ||
| 23 | 2011-08-04 Jerome Lambourg <lambourg@adacore.com> | |
| 24 | ||
| 25 | * osint-c.ads, osint-c.adb (Set_Library_Info_Name): Move to declaration | |
| 26 | so that the ali file name can be retrieved from outside of this package. | |
| 27 | * back_end.ads, back_end.adb (Gen_Or_Update_Object_File): New method | |
| 28 | doing nothing in the general case, but used to update the object file | |
| 29 | timestamp if directly generated by the backend. | |
| 30 | * gnat1drv.adb (Gnat1drv): Make sure the object file's timestamp is set | |
| 31 | to a later time than the ali file one. | |
| 32 | ||
| 9534ab17 AC |
33 | 2011-08-04 Yannick Moy <moy@adacore.com> |
| 34 | ||
| 35 | * einfo.adb, einfo.ads (Formal_Proof_On): new flag set on subprogram | |
| 36 | entities whose body contains an Annotate pragma which forces formal | |
| 37 | proof on this body. | |
| 38 | * sem_ch11.adb, sem_ch2.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, | |
| 39 | sem_ch6.adb, sem_ch9.adb, sem_res.adb: Adapt call to | |
| 40 | Mark_Non_ALFA_Subprogram to pass in a message and node. | |
| 41 | * sem_prag.adb (Analyze_Pragma): add treatment of pragma Annotate | |
| 42 | (Forma_Proof, On) which sets the flag Formal_Proof_On in the | |
| 43 | surrounding subprogram. | |
| 44 | * sem_util.adb, sem_util.ads (Mark_Non_ALFA_Subprogram, | |
| 45 | Mark_Non_ALFA_Subprogram_Unconditional): if the subprogram being marked | |
| 46 | as not in ALFA is annotated with Formal_Proof being On, then an error | |
| 47 | is issued based on the additional parameters for message and node. | |
| 48 | * snames.ads-tmpl (Name_Formal_Proof): new name for annotation. | |
| 49 | * gcc-interface/Make-lang.in: Update dependencies. | |
| 50 | ||
| 51 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
| 52 | ||
| 53 | * exp_ch3.adb (Expand_Freeze_Class_Wide_Type): Do not generate | |
| 54 | Finalize_Address when CodePeer is enabled. | |
| 55 | ||
| 56 | 2011-08-04 Pascal Obry <obry@adacore.com> | |
| 57 | ||
| 58 | * adaint.c (__gnat_tmp_name): Use _tempnam() instead of tempnam() as | |
| 59 | the latter returns a pointer to a static buffer which is deallocated | |
| 60 | at the end of the routine. | |
| 61 | ||
| 5c0e97dd AC |
62 | 2011-08-04 Yannick Moy <moy@adacore.com> |
| 63 | ||
| 64 | * sem_ch3.adb (Array_Type_Declaration): move test for type in ALFA | |
| 65 | after index creation; mark unconstrained base array type generated as | |
| 66 | being in/not in ALFA as well | |
| 67 | (Make_Index): mark subtype created as in/not in ALFA | |
| 68 | * sem_ch5.adb (Analyze_Iteration_Scheme): mark entity for iterating | |
| 69 | over a loop as in/not in ALFA, depending on its type and form of loop | |
| 70 | iteration. | |
| 71 | ||
| 72 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
| 73 | ||
| 74 | * exp_ch7.adb (Build_Object_Declarations): Initialize flag Abort | |
| 75 | directly to False on .NET and JVM. | |
| 76 | ||
| 7a93c64b YM |
77 | 2011-08-04 Yannick Moy <moy@adacore.com> |
| 78 | ||
| 79 | * sem_ch3.adb (Constrain_Enumeration, Constrain_Integer): remove | |
| 80 | constraint that subtype must come from source code to be in ALFA, so | |
| 81 | that anonymous subtypes can be in ALFA too. | |
| 82 | ||
| e9a1ed9b YM |
83 | 2011-08-04 Yannick Moy <moy@adacore.com> |
| 84 | ||
| 85 | * sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of | |
| 86 | reference for ALFA mode. | |
| 87 | * lib-xref-alfa.adb, lib-xref.ads (Traverse_Compilation_Unit): make | |
| 88 | procedure public so as to use it from formal verification back-end. | |
| 89 | ||
| 8e293fbd AC |
90 | 2011-08-04 Jerome Lambourg <lambourg@adacore.com> |
| 91 | ||
| 92 | * g-comlin.adb (For_Each_Simple_Switch.Is_In_Config): Remove the | |
| 93 | invalid checks of the Parameter, making Remove_Switch not working | |
| 94 | correctly. | |
| 95 | ||
| 96 | 2011-08-04 Arnaud Charlet <charlet@adacore.com> | |
| 97 | ||
| 98 | * targparm.ads: Update header: no run-time exception is needed on this | |
| 99 | file. | |
| 100 | ||
| 101 | 2011-08-04 Vincent Celier <celier@adacore.com> | |
| 102 | ||
| 103 | * a-fihema.adb: Use System.IO instead of GNAT.IO | |
| 104 | ||
| 105 | 2011-08-04 Thomas Quinot <quinot@adacore.com> | |
| 106 | ||
| 107 | * sem_ch3.adb (Access_Definition): Anonymous access to subprogram types | |
| 108 | are forbidden in Compiler_Unit mode. | |
| 109 | ||
| cfae2bed AC |
110 | 2011-08-04 Robert Dewar <dewar@adacore.com> |
| 111 | ||
| 112 | * sem_util.adb: Minor reformatting. | |
| 113 | ||
| 114 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
| 115 | ||
| 116 | * bindgen.adb (Gen_Finalize_Library_Ada): Update the import string for | |
| 117 | library-level finalizers. | |
| 118 | (Gen_Finalize_Library_C): Update the import string for library-level | |
| 119 | finalizers. | |
| 120 | (Gen_Finalize_Library_Defs_C): Update the definition name of a | |
| 121 | library-level finalizer. | |
| 122 | * exp_ch7.adb: Remove with and use clauses for Stringt. | |
| 123 | (Create_Finalizer): Remove local variables Conv_Name, Prag_Decl, | |
| 124 | Spec_Decl. Add local variable Body_Id. The names of library-level | |
| 125 | finalizers are now manually fully qualified and are no longer external. | |
| 126 | A single name is now capable of servicing .NET, JVM and non-VM targets. | |
| 127 | Pragma Export is no longer required to provide visibility for the name. | |
| 128 | (Create_Finalizer_String): Removed. | |
| 129 | (New_Finalizer_Name): New routine which mimics New_..._Name. | |
| 130 | ||
| 01f0729a AC |
131 | 2011-08-04 Eric Botcazou <ebotcazou@adacore.com> |
| 132 | ||
| 133 | * sem_elab.adb (Check_Internal_Call_Continue): Change the type of the | |
| 134 | elaboration counter to Standard_Short_Integer. | |
| 135 | * sem_util.adb (Build_Elaboration_Entity): Likewise. | |
| 136 | * bindgen.adb (Gen_Elab_Externals_Ada): Adjust to above change. | |
| 137 | (Gen_Elab_Externals_C): Likewise. | |
| 138 | ||
| 139 | 2011-08-04 Ed Falis <falis@adacore.com> | |
| 140 | ||
| 141 | * system-vxworks-arm.ads, system-vxworks-sparcv9.ads, | |
| 142 | system-vxworks-ppc.ads, system-vxworks-m68k.ads, | |
| 143 | system-vxworks-mips.ads, system-vxworks-x86.ads | |
| 144 | (Always_Compatible_Rep): set to False for all VxWorks targets. | |
| 145 | ||
| 2c1b72d7 AC |
146 | 2011-08-04 Robert Dewar <dewar@adacore.com> |
| 147 | ||
| 148 | * par_sco.adb, prj-proc.adb, make.adb, bindgen.adb, prj.adb, prj.ads, | |
| 149 | makeutl.adb, makeutl.ads, prj-nmsc.adb, exp_ch5.adb, exp_ch12.adb, | |
| 150 | exp_ch7.ads, exp_util.ads, sem_util.ads, g-comlin.ads, exp_ch6.adb, | |
| 151 | exp_ch6.ads, lib-xref.ads, exp_ch7.adb, exp_util.adb, exp_dist.adb, | |
| 152 | exp_strm.adb, gnatcmd.adb, freeze.adb, g-comlin.adb, lib-xref-alfa.adb, | |
| 153 | sem_attr.adb, sem_prag.adb, sem_util.adb, sem_elab.adb, sem_ch8.adb, | |
| 154 | sem_ch11.adb, sem_eval.adb, sem_ch13.adb, sem_disp.adb, a-fihema.adb: | |
| 155 | Minor reformatting and code reorganization. | |
| 156 | ||
| 157 | 2011-08-04 Emmanuel Briot <briot@adacore.com> | |
| 158 | ||
| 159 | * projects.texi: Added doc for aggregate projects. | |
| 160 | ||
| 824e9320 AC |
161 | 2011-08-04 Emmanuel Briot <briot@adacore.com> |
| 162 | ||
| 163 | * prj-proc.adb, prj-nmsc.adb, prj-env.adb (Process_Declarative_Items): | |
| 164 | Add support for overriding the Project_Path in aggregate projects. | |
| 165 | ||
| 166 | 2011-08-04 Robert Dewar <dewar@adacore.com> | |
| 167 | ||
| 168 | * a-cofove.ads: Minor reformatting. | |
| 169 | ||
| 170 | 2011-08-04 Hristian Kirtchev <kirtchev@adacore.com> | |
| 171 | ||
| 172 | * exp_ch7.adb (Build_Adjust_Or_Finalize_Statements): Update the comment | |
| 173 | on the generated code. | |
| 174 | (Build_Finalize_Statements): Update the comment on the generated code. | |
| 175 | (Build_Initialize_Statements): Update the comment on the generated code. | |
| 176 | (Build_Object_Declarations): Add local variable Result. The object | |
| 177 | declarations are now built in sequence. | |
| 178 | * rtsfind.ads: Add RE_Exception_Occurrence_Access to tables RE_Id and | |
| 179 | RE_Unit_Table. | |
| 180 | ||
| 181 | 2011-08-04 Robert Dewar <dewar@adacore.com> | |
| 182 | ||
| 183 | * checks.adb, alfa.adb, alfa.ads: Minor reformatting. | |
| 184 | ||
| 185 | 2011-08-04 Eric Botcazou <ebotcazou@adacore.com> | |
| 186 | ||
| 187 | * einfo.ads (Elaboration_Entity): Document new definition and use. | |
| 188 | (Elaboration_Entity_Required): Adjust to above change. | |
| 189 | * exp_attr.adb (Expand_N_Attribute_Reference): Likewise. | |
| 190 | * exp_ch12.adb: And with and use for Snames. | |
| 191 | (Expand_N_Generic_Instantiation): Test 'Elaborated attribute. | |
| 192 | * exp_util.adb (Set_Elaboration_Flag): Likewise. | |
| 193 | * sem_attr.adb (Analyze_Attribute) <Check_Library_Unit>: Delete. | |
| 194 | <Check_Unit_Name>: Deal with N_Expanded_Name. | |
| 195 | <Attribute_Elaborated>: Extend to all unit names. | |
| 196 | * sem_elab.adb: And with and use for Uintp. | |
| 197 | (Check_Internal_Call_Continue): Adjust to Elaboration_Entity change. | |
| 198 | * sem_util.ads (Build_Elaboration_Entity): Adjust comment. | |
| 199 | * sem_util.adb (Build_Elaboration_Entity): Change type to Integer. | |
| 200 | * bindgen.adb (Gen_Elab_Externals_Ada): New local subprogram taken | |
| 201 | from Gen_Adainit_Ada. | |
| 202 | (Gen_Elab_Externals_C): Likewise, but taken from Gen_Adainit_C. | |
| 203 | (Gen_Adafinal_Ada): Remove redundant test. In the non-main program | |
| 204 | case, do not call System.Standard_Library.Adafinal; instead call | |
| 205 | finalize_library if needed. | |
| 206 | (Gen_Adafinal_C): Likewise. | |
| 207 | (Gen_Adainit_Ada): Do not set SSL.Finalize_Library_Objects in the | |
| 208 | non-main program case. | |
| 209 | (Gen_Adainit_C): Generate a couple of external declarations here. | |
| 210 | In the main program case, set SSL.Finalize_Library_Objects. | |
| 211 | (Gen_Elab_Calls_Ada): Adjust to Elaboration_Entity change. | |
| 212 | (Gen_Elab_Calls_C): Likewise. | |
| 213 | (Gen_Finalize_Library_Ada): Likewise. Skip SAL interface units. | |
| 214 | (Gen_Finalize_Library_C): Likewise. Generate a full function. | |
| 215 | (Gen_Main_C): Put back call to Ada_Final and don't finalize library | |
| 216 | objects here. | |
| 217 | (Gen_Output_File_Ada): Generate pragma Linker_Destructor for Ada_Final | |
| 218 | if -a is specified. Call Gen_Elab_Externals_Ada. Move around call to | |
| 219 | Gen_Adafinal_Ada. | |
| 220 | (Gen_Output_File_C): Generate __attribute__((destructor)) for Ada_Final | |
| 221 | if -a is specified. Call Gen_Elab_Externals_C. Remove useless couple | |
| 222 |