aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)AuthorFilesLines
5 daysada: Update Assertion_Policy handling in GNATProve modeViljar Indus1-0/+12
2025-07-22ada: Fix minor issues in commentsRonan Desplanques1-5/+5
2025-07-22ada: Fix unnecessary extra RE_Activation_Chain_Access with No_Task_PartsDenis Mazzucato1-2/+2
2025-07-22ada: Adding support to defer the addition of extra formalsJavier Miranda1-1/+5
2025-07-03ada: Support Potentially_Invalid aspect in the frontendJoffrey Huguet1-0/+6
2025-06-30ada: Sort subprogram declaration in alphabetic orderPiotr Trojanek1-21/+21
2025-06-30ada: Tune name and commend document of a ghost utility routinePiotr Trojanek1-6/+4
2025-06-30ada: Fix detection of ghost objects in assignment statementsPiotr Trojanek1-2/+3
2025-06-12ada: Assorted minor cleanups and tweaksEric Botcazou1-3/+3
2025-06-09ada: Emit more warnings on unsupported overlayMarc Poulhiès1-3/+7
2025-06-09ada: Add example in Current_Entity_In_Scope commentRonan Desplanques1-1/+15
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek1-0/+1
2025-06-06ada: Initial prototype of constructorssquirek1-0/+7
2025-06-06ada: Remove Size_Check_Code field from entitiesEric Botcazou1-6/+0
2025-06-05ada: Implement use implies with experimental extensionsquirek1-0/+4
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-06ada: Support new SPARK aspect Exit_CasesClaire Dross1-0/+1
2025-01-03ada: Improve and correct support for inheritance of nonoverriding aspectsGary Dismukes1-4/+18
2024-12-13ada: Cleanup preanalysis of static expressionsJavier Miranda1-2/+10
2024-12-13ada: Implement new rules about effectively volatile types in SPARKPiotr Trojanek1-0/+4
2024-12-13ada: Remove unused parameter from volatile type queriesPiotr Trojanek1-13/+2
2024-11-14ada: Fix internal error on misplaced iterated component associationEric Botcazou1-4/+0
2024-11-04ada: Split Library_Unit using multiple wrappersBob Duff1-2/+2
2024-11-04ada: Initial implementation of Extended_Access aspect (FE portion only)Steve Baird1-1/+10
2024-10-25ada: Disable self-referential with_clausesBob Duff1-1/+1
2024-10-25ada: Inspect deferred constant completions in missing contextsRaphaël AMIARD1-0/+5
2024-08-01ada: Allow making empty aggregates positionalRonan Desplanques1-0/+3
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-4/+5
2024-06-20ada: Streamline propagation of controlled flags on typesEric Botcazou1-0/+11
2024-06-13ada: Missing support for 'Old with overloaded functionJavier Miranda1-0/+3
2024-06-10ada: Tune code related to potentially unevaluated expressionsPiotr Trojanek1-1/+1
2024-05-17ada: Expose utility routine for processing of Depends contracts in SPARKPiotr Trojanek1-0/+5
2024-05-16ada: Fix reference to RM clause in commentRonan Desplanques1-1/+1
2024-05-13ada: Refactor repeated code for querying Boolean-valued aspectsPiotr Trojanek1-0/+6
2024-05-13ada: Rewrite Append_Entity_Name; skip irrelevant namesBob Duff1-4/+3
2024-05-07ada: Prevent calculation of negative stack countsPiotr Trojanek1-1/+1
2024-05-06ada: Deconstruct support for abstract states with Relaxed_InitializationPiotr Trojanek1-3/+3
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-12-19ada: Restore object constraint optimizationRonan Desplanques1-6/+5
2023-11-30ada: Remove SPARK legality checksYannick Moy1-18/+1
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy1-1/+1
2023-11-21ada: Compiler error reporting illegal prefix on legal loop iterator with "in"Gary Dismukes1-0/+7
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-0/+4
2023-10-10ada: Remove superfluous setter procedureEric Botcazou1-3/+0
2023-09-15ada: Clean up scope depth and related code (tech debt)Bob Duff1-1/+2
2023-07-18ada: Improve error message for ambiguous subprogram callEric Botcazou1-2/+6
2023-07-18ada: Fix Valid_Scalars attribute applied to types from limited withEric Botcazou1-2/+2
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek1-0/+1
2023-06-13ada: Remove unreferenced routine Is_Inherited_Operation_For_TypePiotr Trojanek1-6/+0
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy1-2/+7
generated by cgit v1.1 at 2025-08-09 14:00:36 +0000