|
| 1 | +2025-10-28 Eric Botcazou <ebotcazou@adacore.com> |
| 2 | + |
| 3 | + PR ada/48039 |
| 4 | + * sem_ch12.adb (Analyze_Subprogram_Instantiation): Call |
| 5 | + Remove_Homonym to remove the enclosing package from visibility. |
| 6 | + |
| 7 | +2025-10-28 Eric Botcazou <ebotcazou@adacore.com> |
| 8 | + |
| 9 | + * exp_util.adb (Remove_Side_Effects): Use separately the Etype of |
| 10 | + the expression to build new nodes and its Underlying_Type to drive |
| 11 | + part of the processing. |
| 12 | + |
| 13 | +2025-10-28 Johannes Kliemann <kliemann@adacore.com> |
| 14 | + |
| 15 | + * adaint.c: Remove __gnat_enable_signals, __gnat_disable_signals |
| 16 | + and related code for QNX. |
| 17 | + * libgnarl/s-taprop__qnx.adb: Disable and enable |
| 18 | + signals in Ada. |
| 19 | + |
| 20 | +2025-10-28 Alexandre Oliva <oliva@adacore.com> |
| 21 | + |
| 22 | + * sem_ch13.adb (Analyze_Aspect_Export_Import): Skip |
| 23 | + Set_Is_Imported on E_Exception. |
| 24 | + * sem_prag.adb (Process_Import_Or_Interface): Explain |
| 25 | + why not Set_Is_Imported. |
| 26 | + |
| 27 | +2025-10-28 Denis Mazzucato <mazzucato@adacore.com> |
| 28 | + |
| 29 | + * sem_util.adb (Collect_Primitive_Operations): Avoid setting |
| 30 | + Is_Primitive for noninherited and nonoverriding subprograms not |
| 31 | + declared immediately within a package specification. |
| 32 | + * sem_ch13.adb (Check_Nonoverridable_Aspect_Subprograms): Better |
| 33 | + error posting to allow multiple errors on same type but different |
| 34 | + aggregate subprogram. |
| 35 | + |
| 36 | +2025-10-28 Ronan Desplanques <desplanques@adacore.com> |
| 37 | + |
| 38 | + * table.ads (Clear, Is_Empty): New subprograms. |
| 39 | + * table.adb (Clear, Is_Empty): Likewise. |
| 40 | + (Init): Use new subprogram. |
| 41 | + * atree.adb (Traverse_Func_With_Parent): Use new subprograms. |
| 42 | + * fmap.adb (Empty_Tables): Use new subprogram. |
| 43 | + * par_sco.adb (Process_Pending_Decisions): Likewise. |
| 44 | + * sem_elab.adb (Check_Elab_Call): Likewise. |
| 45 | + * sem_ch12.adb (Build_Local_Package, Analyze_Package_Instantiation, |
| 46 | + Analyze_Subprogram_Instantiation): Likewise. |
| 47 | + (Save_And_Reset): Use Table.Table.First. |
| 48 | + |
| 49 | +2025-10-28 Eric Botcazou <ebotcazou@adacore.com> |
| 50 | + |
| 51 | + PR ada/122063 |
| 52 | + * exp_fixd.adb (Build_Double_Divide_Code): Convert the result of the |
| 53 | + multiply. |
| 54 | + (Build_Multiply): Use base types of operands to size the operation. |
| 55 | + (Build_Rem): Likewise. |
| 56 | + (Build_Scaled_Divide_Code): Convert the result of the multiply. |
| 57 | + |
| 58 | +2025-10-28 Tonu Naks <naks@adacore.com> |
| 59 | + |
| 60 | + * doc/gnat_rm/obsolescent_features.rst: typo |
| 61 | + * gnat_rm.texi: Regenerate. |
| 62 | + |
| 63 | +2025-10-28 Javier Miranda <miranda@adacore.com> |
| 64 | + |
| 65 | + * aspects.adb (Get_Aspect_Id): Enable aspect Unsigned_Base_Range |
| 66 | + using -gnatd.u |
| 67 | + * debug.adb (Debug_Flag_Dot_U): Document this switch. |
| 68 | + * einfo-utils.adb (Is_Modular_Integer_Type): Return True if |
| 69 | + the entity is a modular integer type and its base type does |
| 70 | + not have the attribute has_unsigned_base_range_aspect. |
| 71 | + (Is_Signed_Integer_Type): Return True if the entity is a signed |
| 72 | + integer type, or it is a modular integer type and its base type |
| 73 | + has the attribute has_unsigned_base_range_aspect. |
| 74 | + * einfo.ads (E_Modular_Integer_Type): Add documentation of |
| 75 | + Has_Unsigned_Base_Range_Aspect. |
| 76 | + * par-ch4.adb (Scan_Apostrophe): Enable attribute Unsigned_Base_Range |
| 77 | + using -gnatd.u |
| 78 | + * sem_ch13.adb (Analyze_One_Aspect): Check general language |
| 79 | + restrictions on aspect Unsigned_Base_Range. For Unsigned_Base_Range |
| 80 | + aspect, do not delay the generation of the pragma becase we need |
| 81 | + to process it before any type or subtype derivation is analyzed. |
| 82 | + * sem_ch3.adb (Build_Scalar_Bound): Disable code analyzing the |
| 83 | + bound with the base type of the parent type because, for unsigned |
| 84 | + base range types, their base type is a modular type but their |
| 85 | + type is a signed integer type. |
| 86 | + * sem_prag.adb (Analyze_Pragma): Enable pragma Unsigned_Base_Range |
| 87 | + using -gnatd.u. Check more errors on Unsigned_Base_Range pragma, |
| 88 | + and create the new base type only when required. |
| 89 | + |
| 90 | +2025-10-28 Ronan Desplanques <desplanques@adacore.com> |
| 91 | + |
| 92 | + * sem_ch12.adb (Build_Local_Package) |
| 93 | + (Analyze_Package_Instantiation, Analyze_Subprogram_Instantiation): |
| 94 | + Fix Set_Last calls. |
| 95 | + (Set_Instance_Of): Use Table.Table.Append. |
| 96 | + (Save_And_Reset): Remove useless call. Remove defensive code. |
| 97 | + (Restore): Remove incorrect Set_Last call and adapt to |
| 98 | + Set_Instance_Of change. |
| 99 | + |
| 100 | +2025-10-28 Denis Mazzucato <mazzucato@adacore.com> |
| 101 | + |
| 102 | + * sem_prag.adb (Analyze_Pragma): Add enclosing quotation when the |
| 103 | + invalid switch ends with a space. |
| 104 | + |
| 105 | +2025-10-28 Eric Botcazou <ebotcazou@adacore.com> |
| 106 | + |
| 107 | + PR ada/59234 |
| 108 | + * sem_ch12.adb (Analyze_Formal_Package_Declaration): Mark the |
| 109 | + special name built for the formal in the parent of a child unit |
| 110 | + as internal. |
| 111 | + |
| 112 | +2025-10-28 Eric Botcazou <ebotcazou@adacore.com> |
| 113 | + |
| 114 | + PR ada/34511 |
| 115 | + * sem_ch12.adb (Analyze_Associations): Add Parent_Installed formal |
| 116 | + parameter and pass it in call to Analyze_One_Association. |
| 117 | + (Analyze_One_Association): Add Parent_Installed formal parameter |
| 118 | + and pass it in call to Instantiate_Formal_Subprogram. |
| 119 | + (Analyze_Formal_Package_Declaration): Pass Parent_Installed in call |
| 120 | + to Analyze_Associations. |
| 121 | + (Analyze_Package_Instantiation): Likewise. |
| 122 | + (Analyze_Subprogram_Instantiation): Likewise. |
| 123 | + (Instantiate_Formal_Subprogram): Add Parent_Installed formal |
| 124 | + parameter and prune references to the parent unit(s) only if |
| 125 | + it is true. |
| 126 | + |
1 | 127 | 2025-10-27 Eric Botcazou <ebotcazou@adacore.com> |
2 | 128 |
|
3 | 129 | PR ada/29958 |
|
0 commit comments