aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)Author
2024-06-20ada: Streamline propagation of controlled flags on typesEric Botcazou
2024-06-13ada: Missing support for 'Old with overloaded functionJavier Miranda
2024-06-10ada: Tune code related to potentially unevaluated expressionsPiotr Trojanek
2024-05-17ada: Expose utility routine for processing of Depends contracts in SPARKPiotr Trojanek
2024-05-16ada: Fix reference to RM clause in commentRonan Desplanques
2024-05-13ada: Refactor repeated code for querying Boolean-valued aspectsPiotr Trojanek
2024-05-13ada: Rewrite Append_Entity_Name; skip irrelevant namesBob Duff
2024-05-07ada: Prevent calculation of negative stack countsPiotr Trojanek
2024-05-06ada: Deconstruct support for abstract states with Relaxed_InitializationPiotr Trojanek
2024-01-22Update copyright years.Marc Poulhiès
2023-12-19ada: Restore object constraint optimizationRonan Desplanques
2023-11-30ada: Remove SPARK legality checksYannick Moy
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy
2023-11-21ada: Compiler error reporting illegal prefix on legal loop iterator with "in"Gary Dismukes
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy
2023-10-10ada: Remove superfluous setter procedureEric Botcazou
2023-09-15ada: Clean up scope depth and related code (tech debt)Bob Duff
2023-07-18ada: Improve error message for ambiguous subprogram callEric Botcazou
2023-07-18ada: Fix Valid_Scalars attribute applied to types from limited withEric Botcazou
2023-06-13ada: Implement new aspect Always_Terminates for SPARKPiotr Trojanek
2023-06-13ada: Remove unreferenced routine Is_Inherited_Operation_For_TypePiotr Trojanek
2023-06-13ada: Support new GNAT-specific aspect Ghost_PredicateYannick Moy
2023-05-29ada: Fix crash on vector initializationMarc Poulhiès
2023-05-26ada: Crash on loop in dispatching conditional entry callJavier Miranda
2023-05-26ada: Cleanups in handling of aggregatesPiotr Trojanek
2023-05-26ada: Duplicate declaration of _master entityJavier Miranda
2023-05-25ada: Deconstruct a no longer used parameter of New_Copy_TreePiotr Trojanek
2023-05-25ada: Add Entry_Cancel_Parameter to E_LabelBob Duff
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek
2023-05-23ada: Rework fix for internal error on quantified expression with predicated typeEric Botcazou
2023-05-23ada: Fix internal error on quantified expression with predicated typeEric Botcazou
2023-05-22ada: Remove unreferenced utility routine Is_Actual_Tagged_ParameterPiotr Trojanek
2023-05-22ada: Update Controlling_Argument when copying treesPiotr Trojanek
2023-05-16ada: Implement inheritance of user-defined literal aspects for untagged typesEric Botcazou
2023-01-09ada: Update copyright noticeArnaud Charlet
2023-01-03ada: Make Sem_Util.Is_Aliased_View predicate more robustEric Botcazou
2023-01-03ada: Simplify [Small_]Integer_Type_ForBob Duff
2022-12-06ada: Allow No_Caching on volatile typesYannick Moy
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek
2022-11-07ada: New warning about noncomposing user-defined "="Bob Duff
2022-11-07ada: Inline composite node kind AST queriesPiotr Trojanek
2022-11-07ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprovePiotr Trojanek
2022-11-04ada: Fix loop unnesting issue.Marc Poulhiès
2022-10-06ada: Add C declarations for Storage Model supportMarc Poulhiès
2022-09-12[Ada] Fix issues with compiling ACATS test for user-defined literalsGary Dismukes
2022-09-06[Ada] Place "at end" on body nodesBob Duff
2022-09-05[Ada] Remove no longer referenced GNATprove utility routine for itypesPiotr Trojanek
2022-07-13[Ada] Add support for defaulted Storage_Model_Type aspect and subaspectsGary Dismukes
2022-07-12[Ada] Refine heuristics for unreachable-code warningsBob Duff
2022-07-12[Ada] Remove out-of-range warning in unreachable codeBob Duff
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 19:20:47 +0000