OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [ada/] [ChangeLog] - Blame information for rev 706

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 706 jeremybenn
2012-02-29  Eric Botcazou  
2
 
3
        * gcc-interface/decl.c (components_to_record): Add ARTIFICIAL parameter
4
        and set TYPE_ARTIFICIAL according to it.  Adjust recursive call.
5
        (gnat_to_gnu_entity) : Adjust call to above function.
6
        * gcc-interface/utils.c (rest_of_record_type_compilation): Do not
7
        invoke rest_of_type_decl_compilation on the parallel type, if any.
8
 
9
2012-02-29  Eric Botcazou  
10
 
11
        * gcc-interface/utils.c (gnat_write_global_declarations): Make sure the
12
        dummy global built for global types is preserved.
13
 
14
2012-02-27  Tristan Gingold  
15
 
16
        * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
17
        E_Array_Type]: Reuse dummy fat type for gnu_ptr_template and
18
        gnu_template_type.
19
 
20
2012-02-27  Eric Botcazou  
21
 
22
        * gcc-interface/ada-tree.h (TYPE_PACKED_ARRAY_TYPE_P): Add checking.
23
        (TYPE_BY_REFERENCE_P): New flag.
24
        (TYPE_IS_BY_REFERENCE_P): New macro.
25
        (TYPE_DUMMY_P): Add checking and remove VOID_TYPE.
26
        (TYPE_IS_DUMMY_P): Adjust for above change.
27
        * gcc-interface/decl.c (gnat_to_gnu_entity): Use TYPE_BY_REFERENCE_P
28
        and TYPE_IS_BY_REFERENCE_P instead of TREE_ADDRESSABLE.
29
        (gnat_to_gnu_param): Likewise.
30
        (maybe_pad_type): Likewise.
31
        (make_type_from_size): Use TYPE_IS_PACKED_ARRAY_TYPE_P.
32
        * gcc-interface/misc.c (must_pass_by_ref): Use TYPE_IS_BY_REFERENCE_P
33
        instead of TREE_ADDRESSABLE.
34
        * gcc-interface/trans.c (finalize_nrv): Likewise.
35
        (call_to_gnu): Likewise.  Do not create a temporary for return values
36
        with by-reference type here.
37
        (gnat_to_gnu): Test TYPE_IS_DUMMY_P instead of TYPE_DUMMY_P.
38
        (gnat_gimplify_expr) : Don't do anything for non-constant
39
        CONSTRUCTORs and calls.
40
        * gcc-interface/utils.c (make_dummy_type): Get the equivalent type of
41
        the underlying type and use it throughout.  Use TYPE_IS_BY_REFERENCE_P
42
        instead of TREE_ADDRESSABLE.
43
        * gcc-interface/utils2.c (build_cond_expr): Deal with by-reference
44
        types explicitly.
45
 
46
2012-02-27  Eric Botcazou  
47
 
48
        * gcc-interface/decl.c (gnat_to_gnu_entity) : Revert previous
49
        change that creates a special VAR_DECL for debugging purposes.  For an
50
        aliased object with an unconstrained nominal subtype, make its type a
51
        thin reference to the underlying object.
52
        * gcc-interface/utils2.c (build_unary_op) : Deal with
53
        expressions built for the initialization of above objects.
54
 
55
2012-02-24  Dave Korn  
56
 
57
        * gcc-interface/Makefile.in (WIN_SO_PREFIX [windows targets]): New
58
        Windows-specific make variable.
59
        (WIN_SO_INSTALL_DIR [windows targets]): Likewise.
60
        (install-gnatlib): Respect the above during installation when set,
61
        and also install any windows import library that has been built.
62
        (gnatlib-shared-win32): Use WIN_SO_PREFIX to name output DLL and also
63
        build a corresponding import library.
64
 
65
2012-02-22  Robert Dewar  
66
 
67
        * exp_util.adb, make.adb, sem_dim.adb, sem_ch4.adb, exp_disp.adb: Minor
68
        reformatting.
69
 
70
2012-02-22  Geert Bosch  
71
 
72
        * g-bytswa-x86.adb, g-bytswa.adb, gcc-interface/Makefile.in: Remove
73
        x86-specific version of byteswap and use GCC builtins instead.
74
 
75
2012-02-22  Tristan Gingold  
76
 
77
        * gcc-interface/decl.c (gnat_to_gnu_entity) [E_String_Type,
78
        E_Array_Type]: Translate component ealier.
79
 
80
2012-02-22  Robert Dewar  
81
 
82
        * par-ch3.adb (P_Signed_Integer_Type_Definition): Specialize
83
        error message for 'Range.
84
 
85
2012-02-22  Pascal Obry  
86
 
87
        * s-taprop-mingw.adb (Finalize_TCB): Do not wait on thread handle as
88
        this is our own thread.
89
 
90
2012-02-22  Sergey Rybin  
91
 
92
        * tree_io.ads: Update ASIS_Version_Number because of the changes
93
        in Snames.
94
 
95
2012-02-22  Hristian Kirtchev  
96
 
97
        * exp_ch7.adb (Create_Finalizer): Suppress elaboration checks on
98
        stack-related finalizers.
99
 
100
2012-02-22  Ed Schonberg  
101
 
102
        * sem_ch6.adb (Analyze_Expression_Function): If the construct
103
        is a completion, indicate that its formals are the formals of
104
        a completion, and as such do not get a cross- reference entry.
105
        (Analyze_Subprogram_Specification): Do not generate a definition
106
        for the entity of an expression function, because it may be a
107
        completion. Definition will be generated if needed when analyzing
108
        the generated subprogram declaration.
109
 
110
2012-02-22  Vincent Celier  
111
 
112
        * make.adb (Check): When checking if an object file is in the
113
        correct object directory, get the unit name from a previous call
114
        to Check_Source_Info_In_ALI.
115
        * makeutl.adb (Check_Source_Info_In_ALI): Return the name of
116
        the unit when everything is OK, otherwise return No_Name.
117
        * makeutl.ads (Check_Source_Info_In_ALI): Return Name_Id instead
118
        of Boolean
119
 
120
2012-02-22  Ed Schonberg  
121
 
122
        * sem_ch4.adb (Find_Equality_Types, Try_One_Interp): In an
123
        instance, the operator is visible if an operand is of some
124
        numeric type which is not in use or directly visible, and the
125
        other operand is a numeric literal.
126
 
127
2012-02-22  Tristan Gingold  
128
 
129
        * init.c: Minor code clean up.
130
        * gcc-interface/Make-lang.in: Update dependencies.
131
 
132
2012-02-22  Arnaud Charlet  
133
 
134
        * gnatlink.adb (Gnatlink): Use -gnatcC in CodePeer_Node,
135
        otherwise GCC will generate an object file.
136
 
137
2012-02-22  Vincent Celier  
138
 
139
        * projects.texi: Correct typo related to "**" in Source_Dirs.
140
 
141
2012-02-22  Steve Baird  
142
 
143
        * sem_prag.adb (Analyze_PPC_In_Decl_Part): Clean up generation of
144
        error message text.
145
 
146
2012-02-22  Vincent Pucci  
147
 
148
        * rtsfind.adb (Get_Unit_Name): Ada_Numerics_Child and
149
        System_Dim_Child cases added.
150
        * rtsfind.ads: Ada_Numerics,
151
        Ada_Numerics_Generic_Elementary_Functions, System_Dim,
152
        System_Dim_Float_IO and System_Dim_Integer_IO added to the list
153
        of RTU_Id.  Ada_Numerics_Child and System_Dim_Child added as
154
        new RTU_Id subtypes.
155
        * sem_dim.adb (Is_Dim_IO_Package_Entity): Use of
156
        Rtsfind to verify the package entity is located either
157
        in System.Dim.Integer_IO or in System.Dim.Float_IO.
158
        (Is_Dim_IO_Package_Instantiation): Minor
159
        changes.  (Is_Elementary_Function_Call): Removed.
160
        (Is_Elementary_Function_Entity): New routine.
161
        (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity call added.
162
        * snames.ads-tmpl: Name_Dim and Name_Generic_Elementary_Functions
163
        removed.
164
 
165
2012-02-22  Vincent Pucci  
166
 
167
        * sem_prag.adb: Minor reformatting.
168
 
169
2012-02-22  Ed Schonberg  
170
 
171
        * sem_ch3.adb (Find_Type_Name): When analyzing a private type
172
        declaration that is the completion of a tagged incomplete type, do
173
        not associate the class-wide type already created with the private
174
        type to prevent order-of-elaboration issues in the back-end.
175
        * exp_disp.adb (Find_Specific_Type): Find specific type of
176
        a class-wide type, and handle the case of an incomplete type
177
        coming  either from a limited_with clause or from an incomplete
178
        type declaration. Used when expanding a dispatchin call and
179
        generating tag checks (minor refactoring).
180
 
181
2012-02-22  Robert Dewar  
182
 
183
        * exp_ch5.adb: Add comment.
184
        * sem_ch12.adb, exp_ch6.adb: minor reformatting
185
 
186
2012-02-22  Ed Schonberg  
187
 
188
        * freeze.adb (Freeze_Entity): Do not perform type layout within
189
        a generic unit.
190
 
191
2012-02-22  Eric Botcazou  
192
 
193
        * init.c (__gnat_error_handler) [Linux]: Map SIGBUS to
194
        Storage_Error.
195
 
196
2012-02-22  Ed Schonberg  
197
 
198
        * exp_ch5.adb (Expand_N_Assignment_Statement): Reject an
199
        assignment to a classwide type whose type is limited, as
200
        can happen in an instantiation in programs that run afoul or
201
        AI05-0087.
202
 
203
 
204
2012-02-17  Ed Schonberg  
205
 
206
        * exp_ch6.adb (Legal_Copy): If layout is not
207
        determined in the front-end, do not emit error message when
208
        by-reference actual is potentially unaligned.
209
        * gcc-interface/decl.c (gnat_to_gnu_field): Better error message for
210
        illegal representation clause on tagged or aliased component, or on
211
        by-reference type with forced alignment.
212
 
213
2012-02-17  Nicolas Roche  
214
 
215
        * gcc-interface/Makefile.in: Ensure FORCE_DEBUG_ADAFLAGS variables is
216
        propagated by gnatlib-sjlj and gnatlib-zcx targets.
217
        * gcc-interface/Make-lang.in: Update dependencies.
218
 
219
2012-02-17  Thomas Quinot  
220
 
221
        * sem_ch12.adb (Analyze_Package_Instantiation): For an
222
        instantiation in an RCI library unit, omit the instance body
223
        if the RCI library unit is the instance itself (E.2.3(18)),
224
        but include the body if the instantiation is within the RCI
225
        declaration (12.3(12)).
226
 
227
2012-02-17  Steve Baird  
228
 
229
        * sem_prag.adb (Analyze_PPC_In_Decl_Part): Pre'Class and
230
        Post'Class aspects can only be specified for a primitive operation
231
        of a tagged type.
232
 
233
2012-02-17  Yannick Moy  
234
 
235
        * gnat_rm.texi: Minor shuffling.
236
 
237
2012-02-17  Ed Schonberg  
238
 
239
        * aspects.adb: Expression functions can carry pre/postconditions.
240
        * par-ch6.adb (P_Subprogram): look for optional pre/postconditions
241
        in an expression function.
242
        * sem_prag (Check_Precondition_Postcondition): legal on expression
243
        functions.
244
 
245
2012-02-17  Vincent Pucci  
246
 
247
        * a-cdlili.adb, a-cidlli.adb, a-cihama.adb, a-cimutr.adb,
248
        * a-ciorma.adb, a-cohama.adb, a-coinve.adb, a-comutr.adb,
249
        * a-convec.adb, a-coorma.adb (Adjust): New routine.
250
        (Constant_Reference): Increment Busy and Lock counters.
251
        (Reference): Increase Busy and Lock counters.
252
        (Finalize): New routine.
253
        * a-cihase.adb, a-ciorse.adb, a-cohase.adb, a-coorse.adb:
254
        (Adjust): New routine.  (Constant_Reference): Increment Busy
255
        and Lock counters.
256
        (Finalize): New routine.
257
        * a-cdlili.ads, a-cidlli.ads, a-cihama.ads, a-cihase.ads,
258
        * a-cimutr.ads, a-ciorma.ads, a-ciorse.ads, a-cohama.ads,
259
        * a-cohase.ads, a-coinve.ads, a-comutr.ads, a-convec.ads,
260
        * a-coorma.ads, a-coorse: Controlled component added to the
261
        reference types.
262
 
263
2012-02-17  Robert Dewar  
264
 
265
        * restrict.adb (Check_Restriction): Add special handling for
266
        No_Obsolescent_Features.
267
 
268
2012-02-17  Hristian Kirtchev  
269
 
270
        * exp_util.adb (Find_Finalize_Address): When dealing with an
271
        internally built full view for a type with unknown discriminants,
272
        use the original record type.
273
 
274
2012-02-17  Robert Dewar  
275
 
276
        * sem_dim.adb: Minor reformatting.
277
 
278
2012-02-17  Yannick Moy  
279
 
280
        * gnat_rm.texi: Minor rewording.
281
 
282
2012-02-17  Thomas Quinot  
283
 
284
        * sem_aggr.adb: Minor reformatting.
285
 
286
2012-02-17  Robert Dewar  
287
 
288
        * gnat_ugn.texi: Update doc for -gnatw.m to include 2*x case.
289
 
290
2012-02-17  Vincent Pucci  
291
 
292
        * sem_dim.adb (Is_Dim_IO_Package_Entity): New routine.
293
        (Is_Dim_IO_Package_Instantiation): Is_Dim_IO_Package_Entity
294
        call added.
295
        (Is_Procedure_Put_Call): Is_Dim_IO_Package_Entity
296
        call added.
297
        * s-dim.ads: Make package Pure.
298
 
299
2012-02-17  Gary Dismukes  
300
 
301
        * prj-nmsc.adb: Minor reformatting.
302
 
303
2012-02-17  Yannick Moy  
304
 
305
        * gnat_rm.texi: Update GNAT RM with a separate chapter on restrictions.
306
 
307
2012-02-17  Yannick Moy  
308
 
309
        * gnat_ugn.texi: Fix typos.
310
 
311
2012-02-17  Pascal Obry  
312
 
313
        * prj-nmsc.adb: prj-nmsc.adb (Check_Aggregated): Check that an
314
        aggregate is not Externally_Built.
315
 
316
2012-02-17  Ed Schonberg  
317
 
318
        * sem_aggr.adb (Resolve_Record_Aggregate): If a composite
319
        component has a box association, copy the default value using
320
        the current scope as the scope of internal types, to prevent
321
        scoping anomalies in gigi.
322
 
323
2012-02-17  Robert Dewar  
324
 
325
        * sem_dim.adb, sem_dim.ads, s-tasren.adb, prj.adb, prj.ads, freeze.adb,
326
        sem_res.adb, exp_ch4.adb, sinput.adb, sinput.ads, exp_aggr.adb,
327
        exp_intr.adb, s-os_lib.adb: Minor reformatting.
328
 
329
2012-02-17  Ed Schonberg  
330
 
331
        * sem_ch6.adb (Is_Non_Overriding_Operation): Add warning if the
332
        old operation is abstract, the relevant type is not abstract,
333
        and the new subprogram fails to override.
334
 
335
2012-02-15  Eric Botcazou  
336
 
337
        * gcc-interface/trans.c (Identifier_to_gnu): Move block retrieving the
338
        type of the result to the end and execute it for a deferred constant of
339
        a discriminated type whose full view can be elaborated statically.
340
 
341
2012-02-15  Eric Botcazou  
342
 
343
        * gcc-interface/trans.c (gnat_to_gnu) : If the
344
        type is tagged, mark it as used for debugging purposes.
345
        : Likewise for a qualified expression.
346
 
347
2012-02-15  Eric Botcazou  
348
 
349
        * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
350
        return value in the by-reference return type case if this isn't the
351
        expression of an object declaration.  Tidy up.
352
 
353
2012-02-09  Tristan Gingold  
354
 
355
        * gcc-interface/Makefile.in: Remove .sym rule (not used).
356
        Remove adamsg.o object (requires native message compiler).
357
        * init.c (CMA$_EXIT_THREAD, MTH$_FLOOVEMAT, SS$_INTDIV): Define as a
358
        macro instead of as extern int.
359
        (ADA$_ALREADY_OPEN, ADA$_CONSTRAINT_ERRO, ADA$_DATA_ERROR)
360
        (ADA$_DEVICE_ERROR, ADA$_END_ERROR, ADA$_FAC_MODE_MISMAT)
361
        (ADA$_IOSYSFAILED, ADA$_KEYSIZERR, ADA$_KEY_MISMATCH)
362
        (ADA$_LAYOUT_ERROR, ADA$_LINEXCMRS, ADA$_MAXLINEXC)
363
        (ADA$_MODE_ERROR, ADA$_MRN_MISMATCH, ADA$_MRS_MISMATCH)
364
        (ADA$_NAME_ERROR, ADA$_NOT_OPEN, ADA$_ORG_MISMATCH)
365
        (ADA$_PROGRAM_ERROR, ADA$_RAT_MISMATCH, ADA$_RFM_MISMATCH)
366
        (ADA$_STAOVF, ADA$_STATUS_ERROR, ADA$_STORAGE_ERROR)
367
        (ADA$_UNSUPPORTED, ADA$_USE_ERROR): Likewise.
368
        (struct cond_except): Field cond is now an unsigned int.
369
        (dec_ada_cond_except_table): Adjust.
370
        (cond_except_table): Likewise.
371
        (cond_resignal_table): Likewise.
372
        (__gnat_default_resignal_p): Fix style.
373
 
374
2012-02-08  Vincent Celier  
375
 
376
        * gcc-interface/Make-lang.in: Add g-byorma.o to gnatbind objects
377
        (g-buorma is now imported by sinput).
378
        Update dependencies.
379
        * scn.adb (Initialize_Scanner): Call Check_For_BOM
380
        * sinput-p.adb (Source_File_Is_Subunit): Call Check_For_BOM
381
        * sinput.adb: New procedure Check_For_BOM
382
        * sinput.ads: New procedure Check_For_BOM
383
 
384
2012-02-08  Vincent Pucci  
385
 
386
        * impunit.adb: Dimension package names updated
387
        * Makefile.rtl: s-dim added
388
        * sem_dim.adb (Is_Procedure_Put_Call): minor changes
389
        (Is_Dim_IO_Package_Instantiation): minor changes
390
        * sem_dim.ads: minor changes in comments
391
        * snames.ads-tmpl: Name_Dim added Name_Dim_Float_IO and
392
        Name_Dim_Integer_IO removed
393
        * s-dim.ads: New package. Define the dimension terminology.
394
        * s-diflio.adb, s-diinio.adb, s-dimkio.ads, s-dimmks.ads,
395
        * s-dmotpr.ads: Package names updated.
396
        * s-diflio.ads, s-diinio.ads: Documentation added and package
397
        names updated.
398
 
399
2012-02-08  Gary Dismukes  
400
 
401
        * gcc-interface/utils2.c (build_call_alloc_dealloc_proc): Revise test
402
        for storage pools to test for an underlying record type rather than
403
        testing Is_Tagged_Type, so that simple storage pools will be handled
404
        the same as normal Ada storage pools.
405
 
406
2012-02-08  Yannick Moy  
407
 
408
        * gnat_rm.texi: Minor reshuffling to place restriction at
409
        appropriate place.
410
 
411
2012-02-08  Bob Duff  
412
 
413
        * warnsw.adb (Set_Warning_Switch): Set Warn_On_Suspicious_Modulus_Value
414
        False for '-gnatwA', to suppress these warnings.
415
 
416
2012-02-08  Vincent Celier  
417
 
418
        * sinput-p.adb (Source_File_Is_Subunit): Check for BOM before
419
        starting to scan, so that UTF8 encoding is taken into account.
420
 
421
2012-02-08  Arnaud Charlet  
422
 
423
        * s-tasren.adb, s-tasren.ads (Internal_Complete_Rendezvous): New
424
        function.
425
        (Complete_Rendezvous): Now call Internal_Complete_Rendezvous.
426
        (Exceptional_Complete_Rendezvous): Mark No_Return.
427
 
428
2012-02-08  Eric Botcazou  
429
 
430
        * exp_aggr.adb (Compile_Time_Known_Composite_Value):
431
        New predicate to compute whether a composite value can be
432
        evaluated at compile time.
433
        (Component_Not_OK_For_Backend): Use Compile_Time_Known_Value for all
434
        expressions of elementary type and Compile_Time_Known_Composite_Value
435
        for all other expressions.
436
        (Expand_Record_Aggregate): Convert to assignments in the case
437
        of a type with mutable components if the aggregate cannot be
438
        built statically.
439
 
440
2012-02-08  Gary Dismukes  
441
 
442
        * aspects.ads (type Aspect_Id): Add Simple_Storage_Pool_Type.
443
        (Impl_Defined_Aspects): Add association for
444
        Aspect_Simple_Storage_Pool_Type.
445
        (Aspect_Names): Add
446
        association for Aspect_Simple_Storage_Pool_Type.
447
        * aspects.adb:
448
        (Canonical_Aspect): Add association for Simple_Storage_Pool_Type.
449
        * exp_attr.adb (Expand_N_Attribute_Reference):
450
        Change name to Name_Simple_Storage_Pool_Type.
451
        * exp_ch4.adb (Expand_N_Allocator): Change
452
        name to Name_Simple_Storage_Pool_Type.
453
        * exp_intr.adb (Expand_Unc_Deallocation): Change name to
454
        Name_Simple_Storage_Pool_Type.  * freeze.adb (Freeze_Entity):
455
        Change names to Name_Simple_Storage_Pool_Type.  * par-prag.adb:
456
        Change names to Name_Simple_Storage_Pool_Type.  * sem_attr.adb:
457
        (Analyze_Attribute): Change name to Name_Simple_Storage_Pool_Type.
458
        * sem_ch13.adb (Analyze_Attribute_Definition_Clause):
459
        Change name to Name_Simple_Storage_Pool_Type.
460
        * sem_prag.adb:
461
        (Analyze_Pragma): Change name to Name_Simple_Storage_Pool_Type.
462
        (Sig_Flags): Change name to Name_Simple_Storage_Pool_Type.
463
        * sem_res.adb (Resolve_Allocator): Change name to
464
        Name_Simple_Storage_Pool_Type.  * snames.ads-tmpl:
465
        (Name_Simple_Storage_Pool_Type): New name constant.
466
        (type Pragma_Id): Change name to Name_Simple_Storage_Pool_Type and
467
        move to main pragma section because it no longer matches the
468
        attribute name.
469
        * snames.adb-tmpl (Get_Pragma_Id): Remove test for
470
        Name_Simple_Storage_Pool.
471
        (Is_Pragma_Name): Remove test for Name_Simple_Storage_Pool.
472
 
473
2012-02-08  Robert Dewar  
474
 
475
        * gnat_ugn.texi: Add some clarification to -gnatwA and -gnatws.
476
 
477
2012-02-08  Pascal Obry  
478
 
479
        * prj.adb (Compute_All_Imported_Projects): Use new
480
        For_Project_And_Aggregated_Context to ensure proper context is
481
        used for encapsulated aggregate libraries.
482
        * prj-proc.adb (Recursive_Process): Call
483
        Process_Aggregated_Projects earlier to ensure that all dependent
484
        projects are set with the proper encapsulated status.
485
 
486
2012-02-08  Pascal Obry  
487
 
488
        * s-os_lib.adb (Normalize_Arguments): Properly escape last \ in null
489
        terminated string.
490
 
491
2012-02-08  Pascal Obry  
492
 
493
        * prj.ads, prj.adb (For_Project_And_Aggregated_Context): New
494
        generic routine with a context parameter.
495
 
496
2012-02-08  Robert Dewar  
497
 
498
        * a-coinve.adb, sem_util.adb, sem_ch8.adb, a-cobove.adb,
499
        a-convec.adb: Minor reformatting and code reorganization.
500
 
501
2012-02-08  Steve Baird  
502
 
503
        * sem_cat.adb (In_Preelaborated_Unit): A child
504
        unit instantiation does not inherit preelaboration requirements
505
        from its parent.
506
 
507
2012-02-08  Gary Dismukes  
508
 
509
        * aspects.ads (type Aspect_Id): Add Aspect_Simple_Storage_Pool.
510
        (Impl_Defined_Aspects): Add entry for Aspect_Simple_Storage_Pool.
511
        (Aspect_Argument): Add Name entry for Aspect_Simple_Storage_Pool.
512
        (Aspect_Names): Add entry for Aspect_Simple_Storage_Pool.
513
        * aspects.adb (Canonical_Aspect): Add entry for
514
        Aspect_Simple_Storage_Pool.
515
        * exp_attr.adb (Expand_N_Attribute_Reference): Handle case of
516
        Attribute_Simple_Storage_Pool in the same way as Storage_Pool
517
        (add conversion, analyze/resolve). For the Storage_Size attribute,
518
        for the simple pool case, locate and use the simple pool type's
519
        Storage_Size function (if any), otherwise evaluate to zero.
520
        * exp_ch4.adb (Expand_N_Allocator): In the case of an allocator
521
        for an access type with an associated simple storage pool,
522
        locate and use the pool type's Allocate.
523
        * exp_intr.adb (Expand_Unc_Deallocation): In the case where the
524
        access type has a simple storage pool, locate the pool type's
525
        Deallocate procedure (if present) and use it as the procedure
526
        to call on the Free operation.
527
        * freeze.adb (Freeze_Entity): In the case of a full type for
528
        a private type defined with pragma Simple_Storage_Pool, check
529
        that the full type is also appropriate for the pragma. For
530
        a simple storage pool type, validate that the operations
531
        Allocate, Deallocate (if present), and Storage_Size
532
        (if present) are defined with appropriate expected profiles.
533
        (Validate_Simple_Pool_Op_Formal): New procedure
534
        (Validate_Simple_Pool_Operation): New procedure Add with and
535
        use of Rtsfind.
536
        * par-prag.adb: Add Pragma_Simple_Storage_Pool to case statement
537
        (no action required).
538
        * sem_attr.adb (Analyze_Attribute): For the case of the
539
        Storage_Pool attribute, give a warning if the prefix type has an
540
        associated simple storage pool, and rewrite the attribute as a
541
        raise of Program_Error. In the case of the Simple_Storage_Pool
542
        attribute, check that the prefix type has an associated simple
543
        storage pool, and set the attribute type to the pool's type.
544
        * sem_ch13.adb (Analyze_Aspect_Specifications): Add
545
        Aspect_Simple_Storage_Pool case choice.
546
        (Analyze_Attribute_Definition_Clause): Add
547
        Aspect_Simple_Storage_Pool to case for Ignore_Rep_Clauses
548
        (no action). Add handling for Simple_Storage_Pool attribute
549
        definition, requiring the name to denote a simple storage pool
550
        object.
551
        (Check_Aspect_At_Freeze_Point): For a simple storage pool
552
        aspect, set the type to that of the name specified for the aspect.
553
        * sem_prag.adb (Analyze_Pragma): Add handling for pragma
554
        Simple_Storage_Pool, requiring that it applies to a library-level
555
        type declared in a package declaration that is a limited private
556
        or limited record type.
557
        * sem_res.adb (Resolve_Allocator): Flag an attempt to call a
558
        build-in-place function in an allocator for an access type with
559
        a simple storage pool as unsupported.
560
        * snames.ads-tmpl: Add Name_Simple_Storage_Pool.
561
        (type Attribute_Id): Add Attribute_Simple_Storage_Pool.
562
        (type Pragma_Id): Add Pragma_Simple_Storage_Pool.
563
        * snames.adb-tmpl (Get_Pragma_Id): Handle case of
564
        Name_Simple_Storage_Pool.
565
        (Is_Pragma_Name): Return True for Name_Simple_Storage_Pool.
566
 
567
2012-02-08  Cyrille Comar  
568
 
569
        * projects.texi: Clarify doc for interfaces.
570
 
571
2012-02-07  Eric Botcazou  
572
 
573
        * gcc-interface/Make-lang.in (GCC_LINKERFLAGS): New variable.
574
        (GCC_LINK): Use it.
575
 
576
2012-02-01  Tristan Gingold  
577
 
578
        * gcc-interface/trans.c (Loop_Statement_to_gnu): Use sizetype
579
        instead of size_type_node.
580
 
581
2012-01-30  Nicolas Roche  
582
 
583
        * gcc-interface/Make-lang.in: Update dependencies.
584
        * gcc-interface/Makefile.in: Use system-vxworks-system-ppc-mils.ads
585
        when needed.
586
        Remove Linker_Options -crtbe when building sjlj run-time.
587
 
588
2012-01-30  Robert Dewar  
589
 
590
        * sem.adb (Analyze): Call Analyze_Mod for N_Op_Mod mode.
591
        * sem_ch3.adb (Modular_Type_Declaration): Warn on mod value of
592
        form 2 * small-literal.
593
        * sem_ch4.adb (Analyze_Mod): New procedure (warn on suspicious
594
        mod value).
595
        * sem_ch4.ads (Analyze_Mod): New procedure.
596
 
597
2012-01-30  Ed Schonberg  
598
 
599
        * sem_ch6.adb: sem_ch6.adb (Analyze_Expression_Function): Copy
600
        types and return expression when building spec for implicit
601
        body, to preserve global references that may be present in an
602
        instantiation.
603
 
604
2012-01-30  Matthew Heaney  
605
 
606
        * a-convec.adb, a-coinve.adb, a-cobove.adb (Sort,
607
        Reverse_Elements): Check for cursor tampering.
608
 
609
2012-01-30  Ed Schonberg  
610
 
611
        * sem_util.adb (Is_Fully_Initialized_Type): In Ada 2012, a
612
        type with aspect Default_Value or Default_Component_Value is
613
        fully initialized, and use of variables of such types do not
614
        generate warnings.
615
 
616
2012-01-30  Javier Miranda  
617
 
618
PR ada/15846
619
        * sem_ch8.adb (Analyze_Subprogram_Renaming):
620
        Handle self-renaming when the renamed entity is referenced using
621
        its expanded name.
622
 
623
2012-01-30  Vincent Celier  
624
 
625
        * projects.texi: Add documentation for attribute Interfaces.
626
 
627
2012-01-30  Hristian Kirtchev  
628
 
629
        * exp_ch7.adb (Build_Finalizer_Call): Set loc again.
630
        * exp_ch11.adb (Expand_At_End_Handler): Do not provide a source
631
        location for the wrapped call to the original AT_END routine
632
        and the subsequent return statement.
633
 
634
2012-01-30  Pascal Obry  
635
 
636
        * s-rannum.adb: Minor reformatting.
637
 
638
2012-01-30  Hristian Kirtchev  
639
 
640
        * a-calend-vms.adb, a-calend.adb: Increment the number of leap seconds
641
        to 25 and add the hard time value for 2012-06-30.
642
 
643
2012-01-30  Robert Dewar  
644
 
645
        * a-strhas.ads, einfo.adb, einfo.ads, exp_ch7.adb, exp_ch9.adb,
646
        freeze.adb, prj.adb, prj.ads, prj-nmsc.adb, prj-proc.adb, s-llflex.ads,
647
        s-ransee.adb, s-ransee.ads, sem_ch13.adb, sem_dim.adb, sem_prag.adb:
648
        Minor reformatting/code reorganization.
649
 
650
2012-01-30  Thomas Quinot  
651
 
652
        * s-rannum.adb, s-ransee.adb, s-ransee.ads (Get_Seed): Return
653
        Unsigned_64 rather than Duration.
654
        (System.Random_Numbers.Reset): Use full value of seed
655
        (do not truncate sub-second bits).
656
 
657
2012-01-30  Thomas Quinot  
658
 
659
        * sem_cat.adb, sem_ch12.adb: Minor reformatting.
660
 
661
2012-01-30  Yannick Moy  
662
 
663
        * gnat_ugn.texi: Minor correction of GNAT UG, to take into
664
        account changes to -gnatwa and more recent warnings.
665
 
666
2012-01-30  Hristian Kirtchev  
667
 
668
        * exp_ch7.adb (Build_Finalizer_Call): Do not provide a source
669
        location when creating a call to a finalizer.
670
        * exp_ch11.adb (Expand_Exception_Handlers): Do not provide
671
        a source location for the first actual of Save_Occurrence for
672
        consistency sake.
673
 
674
2012-01-30  Ed Schonberg  
675
 
676
        * einfo.ads, einfo,adb: New attribute on scalar types:
677
        Default_Aspect_Value New attribute on  array types:
678
        Default_Aspect_Component_Value Move attribute Related_Array_Object
679
        to a different position to accomodate new aspect attributes.
680
        * freeze.adb (Freeze_Entity): Use new attributes to retrieve value
681
        of defaults set with an aspect specification, rather than using
682
        the list of aspects attached to the type, to prevent issues with
683
        partial views.
684
        * sem_ch13.adb (Analyze_Aspect_Specifications): For aspects
685
        Default_Value and Default_Component _Value, store corresponding
686
        expression in type entity.
687
        (Check_Aspect_At_End_Of_Declaration): If the default aspects
688
        are declared on the full view, use the full view to resolve the
689
        correseponding expression.
690
        * exp_ch3.adb (Init_Component): Use attribute
691
        Default_Aspect_Component_Value to perform default initialization,
692
        rather than relying on the rep item list for the type.
693
        (Get_Simple_Init_Val): Ditto.
694
 
695
2012-01-30  Thomas Quinot  
696
 
697
        * a-strhas.ads: Document risk of collision attack.
698
 
699
2012-01-30  Yannick Moy  
700
 
701
        * gnat_ugn.texi: Minor update wrt warning switches.
702
 
703
2012-01-30  Vincent Celier  
704
 
705
        * prj-nmsc.adb (Check_Interfaces): Report an error when a
706
        unit from Library_Interface is not a unit of the project.
707
 
708
2012-01-30  Vincent Pucci  
709
 
710
        * sem_prag.adb (Make_Aspect_For_PPC_In_Gen_Sub_Decl): Parent
711
        links fixed inside PPC pragmas.
712
        * sem_ch12.adb: Move call to Make_Aspect_For_PPC_In_Gen_Sub_Decl.
713
 
714
2012-01-30  Thomas Quinot  
715
 
716
        * s-ransee.ads: Minor reformatting.
717
 
718
2012-01-30  Pascal Obry  
719
 
720
        * prj.ads, prj.adb (For_Each_Source): Add support for skipping
721
        sources coming from an encapsulated library.
722
 
723
2012-01-30  Ed Schonberg  
724
 
725
        * sem_ch3.adb (Process-Full_View): fix typo.
726
        * sem_ch13.adb (Aalyze_Aspect_Specifications): if predicates
727
        appear on a private type and the full view is available, ensure
728
        existence of freeze node for full view.
729
        (Build_Predicate_Function): Attach predicate function to both
730
        views of a private type.
731
 
732
2012-01-30  Vincent Celier  
733
 
734
        * prj-nmsc.adb (Check_Interfaces): Compute the Lib_Interface_ALIs
735
        for the project if either attribute Library_Interface or
736
        Interfaces is declared.
737
        (Check_Stand_Alone_Library): Use Lib_Interface_ALIs computed in
738
        Check_Interfaces.
739
 
740
2012-01-30  Pascal Obry  
741
 
742
        * prj-proc.adb (Recursive_Process): Set From_Encapsulated_Lib
743
        boolean value to true in the process list created by this routine.
744
        * prj.ads (Project_List_Element): New field From_Encapsulated_Lib.
745
        Continued work for KA06-021.
746
        * prj.adb (Compute_All_Imported_Projects): Set
747
        From_Encapsulated_Lib boolean flag.
748
 
749
2012-01-30  Vincent Pucci  
750
 
751
        * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Minor
752
        code clean up.
753
        * s-diflio.ads: Minor change.
754
 
755
2012-01-30  Javier Miranda  
756
 
757
        * exp_ch9.adb (Build_Dispatching_Requeue): Add missing call
758
        to Get_Entry_Index.  Required to generate code which provides
759
        the correct value of Entry_Index in the target entry.
760
 
761
2012-01-30  Nicolas Roche  
762
 
763
        * system-vxworks-ppc.ads: Add pragma Linker_Options -crtbe to
764
        fix issue with zcx on VxWorks5.
765
 
766
2012-01-30  Pascal Obry  
767
 
768
        * prj.ads, prj.adb (For_Every_Project_Imported): Remove
769
        In_Aggregate_Lib.
770
        (For_Every_Project_Imported_Context): New generic routine with
771
        a context parameter.
772
        * prj-nmsc.adb: Revert to use For_Every_Project_Imported Avoid
773
        distributed complexity.
774
        * prj-env.adb, prj-conf.adb, makeutl.adb, gnatcmd.adb: Ditto.
775
 
776
2012-01-30  Thomas Quinot  
777
 
778
        * exp_aggr.adb (Expand_Record_Aggregate): After creating the
779
        _parent aggregate for an extension aggregate, check whether it
780
        requires delayed (top-down) expansion.
781
 
782
2012-01-30  Vincent Pucci  
783
 
784
        * sem_dim.adb (Expand_Put_Call_With_Dimension_Symbol): Rewritten.
785
        * snames.ads-tmpl: Name_Item and Name_Symbols added.
786
        * s-diflio.adb, s-diflio.ads, s-diinio.adb, s-diinio.ads: Rename
787
        and change the position of parameter Symbols in every Put routine.
788
        * s-dimmks.ads: Convert long float type Mks_Type into long
789
        long float.
790
        * s-llflex.ads: Modifications in comments.
791
 
792
2012-01-30  Hristian Kirtchev  
793
 
794
        * sem_ch12.adb (Earlier): Do not use the
795
        top level source locations of the two input nodes.
796
 
797
2012-01-30  Robert Dewar  
798
 
799
        * einfo.ads, sem_prag.adb, sem_attr.adb, aspects.ads,
800
        sem_cat.adb, sem_aggr.adb, exp_aggr.adb: Minor reformatting.
801
 
802
2012-01-30  Robert Dewar  
803
 
804
        * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb: Minor reformatting.
805
 
806
2012-01-30  Olivier Hainque  
807
 
808
        * sigtramp-ppcvxw.c (CFI_COMMON_REGS): Add rule for r1 back +
809
        comments.
810
 
811
2012-01-30  Thomas Quinot  
812
 
813
        * gnat_rm.texi, sem_dist.adb, sem_dist.ads, einfo.ads, sem_prag.adb,
814
        sem_ch12.adb, sem_attr.adb, aspects.adb, aspects.ads, par-prag.adb,
815
        sem_cat.adb, snames.ads-tmpl (Sem_Dist.Is_Valid_Remote_Object_Type):
816
        New subprogram (extracted from
817
        Sem_Cat.Validate_Remote_Access_Object_Type_Declaration).
818
        (Einfo.Is_Remote_Types): Now applies to generic types. Update
819
        documentation accordingly.
820
        (Sem_Ch12.Analyze_Associations): A RACW type is acceptable as
821
        actual for a formal type to which a pragma Remote_Access_Type
822
        applies.
823
        (Aspects, Par.Prag, Sem_Prag): Support for new pramga/aspect
824
        Remote_Access_Type.
825
        (Sem_Attr.Analyze_Attribute, case Stub_Type): Attribute can
826
        be applied to a generic type if pragma Remote_Access_Type
827
        applies, in which case the type of the attribute is
828
        System.Partition_Interface.RACW_Stub_Type.
829
 
830
2012-01-27  Eric Botcazou  
831
 
832
        * gcc-interface/decl.c (gnat_to_gnu_entity) : Do not set
833
        an alignment on fields of the RETURN type built for the CICO mechanism.
834
 
835
2012-01-27  Eric Botcazou  
836
 
837
        * gcc-interface/trans.c (gnat_to_gnu): Avoid making a SAVE_EXPR for
838
        a call to a function that returns an unconstrained type with default
839
        discriminant.  Similarly, avoid doing the conversion to the nominal
840
        result type in this case.
841
 
842
2012-01-27  Eric Botcazou  
843
 
844
        * gcc-interface/ada-tree.h (DECL_ALIASED_P): New flag.
845
        * gcc-interface/decl.c (is_variable_size): Rename to...
846
        (type_has_variable_size): ...this.
847
        (adjust_packed): Adjust to above renaming.
848
        (gnat_to_gnu_field): Set DECL_ALIASED_P on the field.
849
        (field_is_artificial): New predicate.
850
        (field_is_aliased): Likewise.
851
        (field_has_self_size): Likewise.
852
        (field_has_variable_size): Likewise.
853
        (components_to_record): Record information for the final layout during
854
        the first pass on fields.
855
        If there is an aliased field placed after a field whose length depends
856
        on discriminants, put all the fields of the latter sort, last.
857
 
858
2012-01-27  Eric Botcazou  
859
 
860
        * gcc-interface/gigi.h (get_minimal_subprog_decl): Declare.
861
        * gcc-interface/decl.c (get_minimal_subprog_decl): New function.
862
        * gcc-interface/trans.c (Attribute_to_gnu): Use it for the prefix of an
863
        Access-like attribute in a dispatch table if the subprogram is public.
864
 
865
2012-01-27  Eric Botcazou  
866
 
867
        * gcc-interface/gigi.h (create_label_decl): Adjust.
868
        * gcc-interface/utils.c (create_label_decl): Add GNAT_NODE parameter
869
        and invoke gnat_pushdecl on it.  Remove obsolete settings.
870
        * gcc-interface/decl.c (gnat_to_gnu_entity) : Adjust call to
871
        create_label_decl.
872
        * gcc-interface/trans.c (gnat_to_gnu) 
873
        label for debugging purposes.
874
 
875
2012-01-27  Eric Botcazou  
876
 
877
        * gcc-interface/decl.c (gnat_to_gnu_entity) : For an aliased
878
        object with an unconstrained nominal subtype and if optimization isn't
879
        enabled, create a special VAR_DECL for debugging purposes.
880
 
881
2012-01-23  Robert Dewar  
882
 
883
        * sem_prag.ads, sem_prag.adb: Minor reformatting.
884
 
885
2012-01-23  Robert Dewar  
886
 
887
        * sem_ch13.adb (Analyze_Aspect_Specifications): Check for
888
        language defined aspect applied to renaming or formal type
889
        declaration (not permitted)
890
 
891
2012-01-23  Matthew Heaney  
892
 
893
        * a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb (Vet): Replaced
894
        comment with pragma Assert.
895
 
896
2012-01-23  Vincent Pucci  
897
 
898
        * sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
899
        to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.
900
        * sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New
901
        routine. In ASIS mode, convert any PPC pragmas into aspects in generic
902
        subprogram declaration in order to enable the analysis of PPC boolean
903
        expressions.
904
 
905
2012-01-23  Robert Dewar  
906
 
907
        * sem_ch3.adb (Analyze_Object_Declaration): Properly
908
        handle Current_Value for volatile variables (also propagate
909
        Treat_As_Volatile from type to object).
910
 
911
2012-01-23  Hristian Kirtchev  
912
 
913
        * sem_ch12.adb (Install_Body): Detect the case
914
        where the enclosing context is a package with a stub body that
915
        has already been replaced by the actual body. In such cases,
916
        the freeze node for the enclosing context must be inserted after
917
        the real body.
918
 
919
2012-01-23  Ed Schonberg  
920
 
921
        * sem_prag.adb (Analyze_Pragma, case Debug): Freeze the called
922
        subprogram before expanding the pragma into an if-statement with
923
        a block, to ensure that when the subprogram is null its body is
924
        properly generated before expansion.
925
 
926
2012-01-23  Hristian Kirtchev  
927
 
928
        * sem_ch12.adb (Analyze_Associations): Alphabetize local variables and
929
        constants. Rename Actual_Types to Actuals_To_Freeze. Rename Next_Formal
930
        to Saved_Formal.
931
        Freeze all eligible subprograms which appear as actuals in
932
        the instantiation.
933
        (Has_Fully_Defined_Profile): New routine.
934
        (Renames_Standard_Subprogram): New routine.
935
        (Earlier): Add local variable N. Comment update. Do not use source
936
        locations when trying to determine whether one node precedes another.
937
 
938
2012-01-23  Gary Dismukes  
939
 
940
        * exp_ch4.adb (Expand_Concatenate): In the case
941
        where the result of a concatentation can be null, set the to
942
        result have both the low and high bounds of the right operand (not
943
        just the high bound, as was the case prior to this fix). Also,
944
        fix the saved high bound setting (Last_Opnd_High_Bound) in the
945
        empty string literal case (should have been low bound minus one,
946
        rather than plus one).
947
 
948
2012-01-23  Thomas Quinot  
949
 
950
        * scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not
951
        omit statement SCOs for disabled pragmas.
952
 
953
2012-01-23  Matthew Heaney  
954
 
955
        * a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads,
956
        a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads,
957
        a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads,
958
        a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read,
959
        Cursor'Write): Declare in private part.
960
        (Reference_Type'Read, Reference_Type'Write): Ditto.
961
        (Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto.
962
 
963
2012-01-23  Robert Dewar  
964
 
965
        * a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor
966
        reformatting.
967
 
968
2012-01-23  Ed Schonberg  
969
 
970
        * sem_ch6.adb (Analyze_Subprogram_Declaration): Do not set the
971
        Corresponding_Body on a defaulted null formal subprogram.
972
        * sem_ch12.adb (Check_Formal_Package_Instance): No check needed
973
        on a defaulted formal subprogram that is a null procedure.
974
 
975
2012-01-23  Hristian Kirtchev  
976
 
977
        * exp_ch9.adb: Update the comments involving pragma Implemented.
978
        * sem_ch3.adb (Check_Pragma_Implemented (Entity_Id)): Add local
979
        constant Subp_Alias and local variable Impl_Subp. Properly
980
        handle aliases of synchronized wrappers. Code cleanup.
981
        (Check_Pragma_Implemented (Entity_Id; Entity_Id)): Add
982
        Name_Optional as part of the condition.
983
        * sem_prag.adb (Analyze_Pragma): Add "Optional" as one of the
984
        valid choices of implementation kind.
985
        (Check_Arg_Is_One_Of): New routine.
986
        * snames.ads-tmlp: Add Name_Optional.
987
 
988
2012-01-23  Ed Schonberg  
989
 
990
        * par-ch13.adb: Better error recovery in illegal aspect
991
        specification.
992
 
993
2012-01-23  Hristian Kirtchev  
994
 
995
        * a-calend.adb: Add with clause for Interfaces.C. Add constant
996
        Unix_Max.
997
        (Day_Of_Week): Call the internal UTC_Time_Offset.
998
        (Split): Call the internal UTC_Time_Offset.
999
        (Time_Of): Call the internal UTC_Time_Offset.
1000
        (Time_Zone_Operations.UTC_Time_Offset): Call internal UTC_Time_Offset.
1001
        (UTC_Time_Offset): New library-level routine.
1002
        * a-calend.ads (UTC_Time_Offset): Remove parameter
1003
        Is_Historic. Update related comment on usage.
1004
        * a-catizo.adb (UTC_Time_Offset): Removed.
1005
        (UTC_Time_Offset (Time)): Call Time_Zone_Operations.UTC_Time_Offset.
1006
        * a-caltizo.ads (UTC_Time_Offset): Removed.
1007
        (UTC_Time_Offset (Time)): Add back the default expression of parameter
1008
        Date.
1009
 
1010
2012-01-23  Robert Dewar  
1011
 
1012
        * sprint.ads, sprint.adb (Sprint_Node_List): Add New_Lines parameter
1013
        (pg,po,ps): Make sure each entry starts on new line.
1014
 
1015
2012-01-23  Hristian Kirtchev  
1016
 
1017
        * a-calend.ads, a-calend.adb: Define types int and int_Pointer. Update
1018
        the parameter profile of procedure localtime_tzoff and its associated
1019
        comment.
1020
        (Day_Of_Week): Do not treat the input date as historical
1021
        with respect to time zones.
1022
        (Split): Do not treat the input
1023
        date as historical with respect to time zones.  (Time_Of): Do
1024
        not treat the input constituents as forming a historical date
1025
        with respect to time zones.
1026
        (UTC_Time_Offset): Add new formal
1027
        parameter Is_Historic. Add local variable Flag. Update the call
1028
        to localtime_tzoff.
1029
        * a-catizo.ads, a-catizo.adb (UTC_Time_Offset): New routine.
1030
        (UTC_Time_Offset (Time)): Update the call to
1031
        Time_Zone_Operations.UTC_Time_Offset.
1032
        * sysdep.c (__gnat_localtime_tzoff): Update parameter
1033
        profile. Split the processing of offsets on Windows into two - one
1034
        part of historic time stamps and the other for the current time.
1035
 
1036
2012-01-23  Robert Dewar  
1037
 
1038
        * a-calend.adb: Minor reformatting.
1039
 
1040
2012-01-23  Ed Schonberg  
1041
 
1042
        * exp_ch9.adb, sem_ch9.adb: Handle array of access to synchronized
1043
        interface in requeue statement.
1044
 
1045
2012-01-23  Cyrille Comar  
1046
 
1047
        * projects.texi: Remove references to main units and replace
1048
        with references to main programs to be coherent with the
1049
        documentation.
1050
 
1051
2012-01-23  Robert Dewar  
1052
 
1053
        * s-utf_32.adb: Minor reformatting.
1054
 
1055
2012-01-23  Vincent Celier  
1056
 
1057
        * snames.ads-tmpl: Minor comment addition Indicate that
1058
        Name_Library_Encapsulated_Options is only used in gprbuild.
1059
 
1060
2012-01-23  Robert Dewar  
1061
 
1062
        * sem_ch10.adb (Analyze_Subunit): Properly save/restore cunit
1063
        restrictions.
1064
 
1065
2012-01-23  Ed Schonberg  
1066
 
1067
        * snames.ads-tmpl: Add Name_Synchronization.
1068
        * aspects.ads, aspects.adb: Add Aspect_Synchronization to
1069
        enumeration type and related maps.
1070
        * sem_ch13.adb (Analyze_Aspect_Specifications): Handle Aspect
1071
        Synchronization, build corresponding pragma Implemented.
1072
        * sem_util.adb (Implementation_Kind): Handle both explicit and
1073
        implicit pragma_argument association to retrieve the given
1074
        synchronization mode.
1075
 
1076
2012-01-23  Robert Dewar  
1077
 
1078
        * sem_ch10.adb, errout.adb: Minor reformatting.
1079
 
1080
2012-01-23  Ed Schonberg  
1081
 
1082
        * sem_res.adb (Resolve_Actuals): An actual in a call to an
1083
        Ada 2012 Reference function does not lead to a dangerous order
1084
        dependence.
1085
 
1086
2012-01-23  Gary Dismukes  
1087
 
1088
        * exp_util.adb (Is_Iterated_Container): Test
1089
        Is_Entity_Name when searching for calls to the default iterator,
1090
        to avoid blowing up on indirect calls which have an explicit
1091
        dereference as the call name.
1092
 
1093
2012-01-23  Thomas Quinot  
1094
 
1095
        * errout.adb (Set_Msg_Node): For an N_Expanded_Name, output
1096
        the complete expanded name, rather than just its Selector_Name.
1097
 
1098
2012-01-23  Thomas Quinot  
1099
 
1100
        * a-textio.adb (Put): Rewrite one-parameter Character version to
1101
        just call the two-parameter one with Current_Out.
1102
 
1103
2012-01-23  Hristian Kirtchev  
1104
 
1105
        * freeze.adb (Check_Current_Instance): Issue an
1106
        error when the prefix of 'Unchecked_Access or 'Access does not
1107
        denote a legal aliased view of a type.
1108
        (Freeze_Record_Type): Do not halt the processing of record components
1109
        once the Has_Controlled_Component is set as this bypasses the remaining
1110
        checks.
1111
        (Is_Aliased_View_Of_Type): New routine.
1112
 
1113
2012-01-23  Thomas Quinot  
1114
 
1115
        * errout.ads, freeze.adb: Minor reformatting.
1116
 
1117
2012-01-23  Thomas Quinot  
1118
 
1119
        * sem_ch10.adb, sem_prag.adb: Remove redundant apostrophes in error
1120
        messages.
1121
 
1122
2012-01-23  Olivier Hainque  
1123
 
1124
        * adadecode.c (__gnat_decode): Deal with empty input early,
1125
        preventing potential erroneous memory access later on.
1126
 
1127
2012-01-21  Eric Botcazou  
1128
 
1129
        PR ada/46192
1130
        * gcc-interface/decl.c (gnat_to_gnu_entity) : In the case of a
1131
        renaming, preserve the volatileness through the indirection, if any.
1132
 
1133
2012-01-14  Andreas Schwab  
1134
 
1135
        * gcc-interface/Makefile.in (OSCONS_EXTRACT): Add
1136
        $(GNATLIBCFLAGS).
1137
 
1138
2012-01-10  Pascal Obry  
1139
 
1140
        * prj-nmsc.adb (Check_Library_Attributes):
1141
        Kill check for object/source directories for aggregate libraries.
1142
 
1143
2012-01-10  Matthew Heaney  
1144
 
1145
        * a-cdlili.adb, a-cdlili.ads, a-cihama.adb, a-cihama.ads, a-coinve.adb,
1146
        a-coinve.ads, a-ciorse.adb, a-ciorse.ads, a-coorma.adb, a-coorma.ads,
1147
        a-cborma.adb, a-cborma.ads, a-cidlli.adb, a-cidlli.ads, a-cimutr.adb,
1148
        a-cimutr.ads, a-cihase.adb, a-cihase.ads, a-cohama.adb, a-cohama.ads,
1149
        a-coorse.adb, a-coorse.ads, a-cbhama.adb, a-cbhama.ads, a-cborse.adb,
1150
        a-cborse.ads, a-comutr.adb, a-comutr.ads, a-ciorma.adb, a-cobove.adb,
1151
        a-ciorma.ads, a-cobove.ads, a-convec.adb, a-convec.ads, a-cohase.adb,
1152
        a-cohase.ads, a-cbdlli.adb, a-cbdlli.ads, a-cbmutr.adb, a-cbmutr.ads,
1153
        a-cbhase.adb, a-cbhase.ads (Reference, Constant_Reference): Declare
1154
        container parameter as aliased in/in out.
1155
        Code clean ups.
1156
 
1157
2012-01-10  Bob Duff  
1158
 
1159
        * s-os_lib.ads: Improve comment.
1160
 
1161
2012-01-10  Geert Bosch  
1162
 
1163
        * s-gearop.adb (Forward_Eliminate): Avoid improper aliasing
1164
        for complex Scalar.
1165
 
1166
2012-01-10  Bob Duff  
1167
 
1168
        * sem_intr.adb (Check_Shift): Use RM_Size instead of Esize, when
1169
        checking that the 'Size is correct. If the type is "mod 2**12",
1170
        for example, it's illegal, but Esize is the 'Object_Size, which
1171
        will be something like 16 or 32, so the error ('Size = 12) was
1172
        not detected.
1173
        * gnat_rm.texi: Improve documentation of shift
1174
        and rotate intrinsics.
1175
 
1176
2012-01-10  Pascal Obry  
1177
 
1178
        * prj.adb (For_Every_Project_Imported): Fix
1179
        implementation to make sure we return each project only once
1180
        for aggragte libraries. It is fine to return a project twice for
1181
        aggregate projects, this was the case as a Project_Id is different
1182
        in each project tree. The new implementation use a table based on
1183
        the project name to ensure proper detection of duplicate project
1184
        in aggregate library. A new context is then created to continue
1185
        retrurning duplicate project for aggregate libraries.
1186
 
1187
2012-01-09  Eric Botcazou  
1188
 
1189
        * gcc-interface/trans.c (call_to_gnu): Create the temporary for the
1190
        return value in the variable-sized return type case if the target is
1191
        an array with fixed size.  However, do not create it if this is the
1192
        expression of an object declaration.
1193
 
1194
2012-01-09  Eric Botcazou  
1195
 
1196
        * gcc-interface/trans.c (addressable_p) : Fix thinko.
1197
 
1198
2012-01-06  Robert Dewar  
1199
 
1200
        * a-wichha.ads, a-wichun.ads, a-zchhan.ads, a-zchuni.ads,
1201
        s-utf_32.ads: Add pragma Pure
1202
        * s-utf_32.adb: Suppress warnings on non-static constants (now
1203
        that this is Pure).
1204
 
1205
2012-01-06  Bob Duff  
1206
 
1207
        * s-rpc.ads (Read, Write): Add overriding indicators.
1208
 
1209
2012-01-06  Robert Dewar  
1210
 
1211
        * gnat_rm.texi: Add documentation for conventions
1212
        Ada_Pass_By_Copy and Ada_Pass_By_Reference.
1213
 
1214
2012-01-06  Gary Dismukes  
1215
 
1216
        * a-tienio.adb (Put): Add exception message on
1217
        raise statements. Remove unneeded blocks and object declarations.
1218
 
1219
2012-01-06  Robert Dewar  
1220
 
1221
        * sem_prag.adb: Minor reformatting.
1222
 
1223
2012-01-06  Ed Schonberg  
1224
 
1225
        * sinfo.ads, sinfo.adb (Has_Prefixed_Call): New flag to indicate
1226
        that a selected component within a generic unit has been resolved
1227
        as a prefixed call with local references.
1228
        * sem_ch3.adb (Is_Visible_Component): In an instance body a selected
1229
        component is always visible.
1230
        * sem_ch4.adb (Analyze_Selected_Component): If the node is a
1231
        prefixed call in an instance, do not look for visible components
1232
        of the type.
1233
        * sem_ch12.adb (Reset_Entity): If a selected component has resolved
1234
        to a prefixed call, mark the node accordingly when prefix and
1235
        selector are local references.
1236
 
1237
2012-01-02  Eric Botcazou  
1238
 
1239
        * gnatvsn.ads (Current_Year): Bump to 2012.
1240
 
1241
Copyright (C) 2012 Free Software Foundation, Inc.
1242
 
1243
Copying and distribution of this file, with or without modification,
1244
are permitted in any medium without royalty provided the copyright
1245
notice and this notice are preserved.

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.