aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/einfo.ads
AgeCommit message (Expand)AuthorFilesLines
2024-11-12ada: Get rid of Kill_Range_Checks flag on entitiesEric Botcazou1-8/+0
2024-11-04ada: Split Library_Unit using multiple wrappersBob Duff1-9/+6
2024-11-04ada: Missing precondition runtime check in inherited primitiveJavier Miranda1-3/+6
2024-08-23ada: First controlling parameter aspectJavier Miranda1-0/+9
2024-08-02ada: Clean up handling of inlining of finalizer proceduresRichard Kenner1-1/+1
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou1-0/+6
2024-08-01ada: Define No_Return flag only for subprogramsEric Botcazou1-3/+3
2024-08-01ada: Implement full relaxed finalization semantics for controlled objectsEric Botcazou1-2/+16
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet1-20/+0
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-2/+9
2024-06-21ada: Small cleanup in processing of primitive operationsEric Botcazou1-16/+18
2024-06-21ada: Generic formal/actual matching -- misc cleanupBob Duff1-14/+15
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+8
2024-06-10ada: Fix references to Ada RM in commentsPiotr Trojanek1-1/+1
2024-05-17ada: Document secondary usage of Materialize_Entity flagEric Botcazou1-2/+3
2024-05-13ada: Replace finalization masters with finalization collectionsEric Botcazou1-21/+21
2024-05-07ada: Fix bad interaction between homogeneous finalization master and BIP prot...Eric Botcazou1-9/+0
2024-05-07ada: Remove obsolete field Postconditions_ProcEric Botcazou1-3/+0
2024-05-06ada: Deconstruct support for abstract states with Relaxed_InitializationPiotr Trojanek1-5/+0
2024-05-06ada: Rework processing of special objects needing finalizationEric Botcazou1-5/+3
2024-05-06ada: Partial implementation of redesign of support for object finalizationEric Botcazou1-11/+12
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-12-19ada: Rename Is_Constr_Subt_For_UN_Aliased flagEric Botcazou1-7/+7
2023-12-19ada: Further cleanup in finalization machineryEric Botcazou1-9/+7
2023-09-26ada: Fix missing finalization of extended return object on abnormal completionEric Botcazou1-4/+4
2023-07-28ada: Fix unsupported dispatching constructor callJavier Miranda1-1/+1
2023-07-28ada: Allow calls to Number_Formals when no formals are presentPiotr Trojanek1-1/+1
2023-06-20ada: Fix fallout of fix to handling of private views in instancesEric Botcazou1-1/+1
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-0/+5
2023-05-26ada: Fix typos "statment" and "condtion"Bob Duff1-1/+1
2023-05-26ada: Fix missing finalization in library-level instance bodyEric Botcazou1-6/+6
2023-05-25ada: Add Entry_Cancel_Parameter to E_LabelBob Duff1-0/+3
2023-05-25ada: Minor fixes in description of scope depthEric Botcazou1-3/+3
2023-05-23ada: Fix latent issue in support for protected entriesEric Botcazou1-21/+0
2023-05-23ada: Add mention of what LSP stands forRonan Desplanques1-1/+2
2023-05-22ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_HiddenBob Duff1-2/+2
2023-05-22ada: Add Is_Past_Self_Hiding_Point flagBob Duff1-0/+13
2023-05-15ada: Improve comment on First_EntityBob Duff1-5/+6
2023-05-15ada: Clean up vanishing entity fieldsBob Duff1-16/+11
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: Fix incorrect warning about unreferenced packed arraysBob Duff1-3/+3
2022-12-06ada: Elide the copy in extended returns for nonlimited by-reference typesEric Botcazou1-3/+5
2022-11-04ada: Fix various typos in node and entity description commentsPiotr Trojanek1-6/+7
2022-09-29ada: Remove duplicated doc comment sectionRonan Desplanques1-37/+3
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-6/+8
2022-07-12[Ada] Spurious use_type clause warningJustin Squirek1-0/+4
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou1-9/+21
2022-06-02[Ada] Fix references to old variables that have been refactoredMarc Poulhiès1-4/+4
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird1-15/+11
2022-05-18[Ada] Ada2022: AI12-0143 Index attribute for entry familiesJavier Miranda1-1/+2
generated by cgit v1.1 at 2025-01-16 22:02:17 +0000