aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)AuthorFilesLines
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
2022-07-12[Ada] Remove out-of-range warning in unreachable codeBob Duff1-0/+7
2022-07-06[Ada] Support ghost generic formal parametersYannick Moy1-0/+11
2022-07-05[Ada] Fix comments mentioning ancient flags related to objects referencesPiotr Trojanek1-1/+1
2022-06-01[Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_StackEric Botcazou1-6/+6
2022-06-01[Ada] Fix predicate check on object declarationMarc Poulhiès1-0/+10
2022-06-01[Ada] Issue a warning on entity hidden in use_clause with -gnatwhYannick Moy1-0/+12
2022-05-19[Ada] Mark Requires_Transient_Scope as InlineEric Botcazou1-0/+1
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird1-0/+20
2022-05-19[Ada] Casing style on record componentsBob Duff1-3/+2
2022-05-19[Ada] Get rid of secondary stack for controlled componentsEric Botcazou1-13/+16
2022-05-18[Ada] Crash building VSS with compiler built with assertionsJavier Miranda1-0/+2
2022-05-16[Ada] Revise Storage_Model_Support operations to do checks and take objects a...Gary Dismukes1-51/+61
2022-05-16[Ada] Fix internal error on predicate aspect with iteratorEric Botcazou1-0/+3
2022-05-16[Ada] Fix implementation issues with equality for untagged record typesEric Botcazou1-1/+1
generated by cgit v1.1 at 2024-11-02 16:45:38 +0000