aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch8.adb
AgeCommit message (Expand)AuthorFilesLines
2025-07-22ada: Nested use_type_clause with "all" cancels use_type_clause with wider scopeGary Dismukes1-1/+9
2025-07-04ada: Pragma Short_Circuit_And_OrBob Duff1-0/+34
2025-06-09ada: Back out removal of renaming tranformationBob Duff1-0/+23
2025-06-09ada: Constraint check on tagged build-in-place object declsBob Duff1-23/+0
2025-06-09ada: Fix assertion failure on error pathRonan Desplanques1-0/+1
2025-06-09ada: Add Ada RM clause mentionRonan Desplanques1-1/+2
2025-06-06ada: Remove dead codeRonan Desplanques1-20/+0
2025-06-05ada: Implement use implies with experimental extensionsquirek1-0/+39
2025-06-05ada: Mark the types of operator arguments as usedViljar Indus1-0/+5
2025-04-12Ada: Natural/Positive not ignored in subprogram renamingEric Botcazou1-1/+2
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-07ada: Improved checking of uses of package renamingsSteve Baird1-3/+4
2025-01-06ada: Fix predicate involving array indexing rejected in generic packageEric Botcazou1-3/+6
2024-12-13ada: Cleanup preanalysis of static expressionsJavier Miranda1-5/+9
2024-11-12ada: Fix internal error on invalid prefix with assertions enabledEric Botcazou1-1/+1
2024-11-04ada: Split Library_Unit using multiple wrappersBob Duff1-2/+3
2024-10-25ada: Disable self-referential with_clausesBob Duff1-1/+1
2024-10-25ada: Spurious error compiling CC51011Javier Miranda1-0/+5
2024-08-29ada: Fix assertion failure on private limited with clauseEric Botcazou1-0/+1
2024-08-06ada: Reject use-clause conflicts in the run-time libraryBob Duff1-1/+3
2024-08-02ada: Reject illegal uses of type/subtype current instanceSteve Baird1-10/+14
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-0/+9
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Fix uses of not PresentPiotr Trojanek1-1/+1
2024-01-09ada: Fix bug in Sem_Util.Enclosing_DeclarationSteve Baird1-10/+0
2024-01-09ada: Error compiling Ada 2022 object renaming with no subtype markSteve Baird1-1/+13
2023-12-19ada: Cope with Sem_Util.Enclosing_Declaration oddness.Steve Baird1-1/+11
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy1-1/+1
2023-11-30ada: Name resolution in expanded instancesSteve Baird1-0/+338
2023-11-07ada: Rename Is_Limited_View to reflect actual queryYannick Moy1-1/+1
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-15/+5
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+6
2023-09-15ada: Clean up scope depth and related code (tech debt)Bob Duff1-3/+2
2023-05-25ada: Switch from E_Void to Is_Not_Self_HiddenBob Duff1-13/+21
2023-05-23ada: Add tags to warnings controlled by Warn_On_Redundant_ConstructsPiotr Trojanek1-5/+5
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-6/+6
2023-05-15ada: Clean up vanishing entity fieldsBob Duff1-2/+6
2023-05-15ada: Simplify lookup of predecessor in homonym chainRonan Desplanques1-2/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-05ada: Spurious error on Lock_Free protected type with discriminantsJustin Squirek1-5/+7
2022-11-24ada: Spurious error on Lock_Free protected type with discriminantsJustin Squirek1-17/+12
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-4/+4
2022-11-04ada: Improve efficiency of scope stack restorationPiotr Trojanek1-2/+2
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird1-2/+2
2022-07-12[Ada] Spurious use_type clause warningJustin Squirek1-3/+14
2022-07-05[Ada] Misc cleanup related to finalizationBob Duff1-1/+1
2022-06-02[Ada] Remove redundant checks for missing listsPiotr Trojanek1-13/+11
2022-06-01[Ada] Issue a warning on entity hidden in use_clause with -gnatwhYannick Moy1-0/+5
2022-05-19[Ada] Fix continuation message without a prior errorPiotr Trojanek1-0/+2