Show patches with: Submitter = Pierre-Marie de Rodat       |   20 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[Ada] Extend No_Dependence restriction to code generation [Ada] Extend No_Dependence restriction to code generation - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Revert recent change in debug info for vector array types [Ada] Revert recent change in debug info for vector array types - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Use actual types instead of formal types consistently in debug info [Ada] Use actual types instead of formal types consistently in debug info - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Generate debug info entry for user-defined access subtype [Ada] Generate debug info entry for user-defined access subtype - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Do not generate DW_TAG_typedef for constrained array types [Ada] Do not generate DW_TAG_typedef for constrained array types - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix internal error on comparison with access function parameter [Ada] Fix internal error on comparison with access function parameter - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix internal error on instance of Ada.Task_Attributes at -O [Ada] Fix internal error on instance of Ada.Task_Attributes at -O - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix wrong access check with access-to-unconstrained-array [Ada] Fix wrong access check with access-to-unconstrained-array - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Add support for defaulted Storage_Model_Type aspect and subaspects [Ada] Add support for defaulted Storage_Model_Type aspect and subaspects - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix for visibility of aspect expressions inside generic units [Ada] Fix for visibility of aspect expressions inside generic units - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Handle bodies-to-inline just like generic templates [Ada] Handle bodies-to-inline just like generic templates - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Clarify hardening command-line options that require explicit choices [Ada] Clarify hardening command-line options that require explicit choices - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix incorrect handling of Ghost aspect [Ada] Fix incorrect handling of Ghost aspect - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix proof of runtime unit System.Arith_64 [Ada] Fix proof of runtime unit System.Arith_64 - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix crash on frontend inlining of functions with single returns [Ada] Fix crash on frontend inlining of functions with single returns - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Plug legality loophole for equality operator of untagged record types [Ada] Plug legality loophole for equality operator of untagged record types - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix if expression returning slice [Ada] Fix if expression returning slice - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix internal error on untagged record type with equality operator [Ada] Fix internal error on untagged record type with equality operator - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Fix CodePeer warnings in GNAT sources [Ada] Fix CodePeer warnings in GNAT sources - - - --- 2022-07-13 Pierre-Marie de Rodat New
[Ada] Refine type for checking number of pragma arguments [Ada] Refine type for checking number of pragma arguments - - - --- 2022-07-13 Pierre-Marie de Rodat New