aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)AuthorFilesLines
4 daysada: Implement first half of Generalized FinalizationEric Botcazou1-4/+5
11 daysada: 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
2023-05-29ada: Fix crash on vector initializationMarc Poulhiès1-0/+3
2023-05-26ada: Crash on loop in dispatching conditional entry callJavier Miranda1-10/+0
2023-05-26ada: Cleanups in handling of aggregatesPiotr Trojanek1-1/+0
2023-05-26ada: Duplicate declaration of _master entityJavier Miranda1-0/+5
2023-05-25ada: Deconstruct a no longer used parameter of New_Copy_TreePiotr Trojanek1-9/+4
2023-05-25ada: Add Entry_Cancel_Parameter to E_LabelBob Duff1-2/+4
2023-05-23ada: Accept and analyze new aspect Exceptional_CasesPiotr Trojanek1-0/+1
2023-05-23ada: Rework fix for internal error on quantified expression with predicated typeEric Botcazou1-3/+0
2023-05-23ada: Fix internal error on quantified expression with predicated typeEric Botcazou1-6/+9
2023-05-22ada: Remove unreferenced utility routine Is_Actual_Tagged_ParameterPiotr Trojanek1-4/+0
2023-05-22ada: Update Controlling_Argument when copying treesPiotr Trojanek1-0/+1
2023-05-16ada: Implement inheritance of user-defined literal aspects for untagged typesEric Botcazou1-3/+3
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-03ada: Make Sem_Util.Is_Aliased_View predicate more robustEric Botcazou1-2/+2
2023-01-03ada: Simplify [Small_]Integer_Type_ForBob Duff1-9/+9
2022-12-06ada: Allow No_Caching on volatile typesYannick Moy1-3/+8
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-130/+0
2022-11-07ada: New warning about noncomposing user-defined "="Bob Duff1-1/+1
2022-11-07ada: Inline composite node kind AST queriesPiotr Trojanek1-1/+2
2022-11-07ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprovePiotr Trojanek1-0/+4
2022-11-04ada: Fix loop unnesting issue.Marc Poulhiès1-5/+9
2022-10-06ada: Add C declarations for Storage Model supportMarc Poulhiès1-0/+10
2022-09-12[Ada] Fix issues with compiling ACATS test for user-defined literalsGary Dismukes1-1/+3
2022-09-06[Ada] Place "at end" on body nodesBob Duff1-1/+0
2022-09-05[Ada] Remove no longer referenced GNATprove utility routine for itypesPiotr Trojanek1-5/+0
2022-07-13[Ada] Add support for defaulted Storage_Model_Type aspect and subaspectsGary Dismukes1-5/+10
2022-07-12[Ada] Refine heuristics for unreachable-code warningsBob Duff1-3/+0
generated by cgit v1.1 at 2024-07-01 02:20:13 +0000