aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Clean up call to check if aspects are presentPiotr Trojanek1-8/+6
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-2/+5
2022-11-07ada: Deconstruct Safe_To_Capture_In_Parameter_ValuePiotr Trojanek1-1/+4
2022-11-07ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprovePiotr Trojanek1-0/+27
2022-11-04ada: Cleanup code for warnings about unset referencesPiotr Trojanek1-0/+13
2022-11-04ada: Remove redundant calls in handling of aspect specificationsPiotr Trojanek1-2/+0
2022-11-04ada: Avoid repeated iteration over private protected componentsPiotr Trojanek1-14/+11
2022-11-04ada: Fix loop unnesting issue.Marc Poulhiès1-2/+6
2022-11-04ada: Fix repeated killing of private entity valuesPiotr Trojanek1-29/+9
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-8/+8
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird1-1/+1
2022-09-29ada: Fix checking of Refined_State with nested package renamingsPiotr Trojanek1-1/+4
2022-09-26ada: Make Original_Aspect_Pragma_Name more preciseTucker Taft1-0/+8
2022-09-26ada: Improve accessibility check generationJustin Squirek1-3/+13
2022-09-12[Ada] Storage_Error raised analyzing type with call in its range constraintJustin Squirek1-2/+14
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-4/+16
2022-09-12[Ada] Fix issues with compiling ACATS test for user-defined literalsGary Dismukes1-28/+70
2022-09-12[Ada] Fix bugs in check-related warnings.Bob Duff1-2/+0
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-5/+2
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-2/+5
2022-09-06[Ada] Place "at end" on body nodesBob Duff1-50/+3
2022-09-06[Ada] Improve detection of illegal Iterable aspectsPiotr Trojanek1-1/+1
2022-09-05[Ada] Remove no longer referenced GNATprove utility routine for itypesPiotr Trojanek1-13/+0
2022-09-05[Ada] Fix double identifiers in iterated component associationPiotr Trojanek1-0/+3
2022-07-13[Ada] Add support for defaulted Storage_Model_Type aspect and subaspectsGary Dismukes1-9/+28
2022-07-12[Ada] Do not create large objects for indefinite protected typesEric Botcazou1-9/+26
2022-07-12[Ada] Refine heuristics for unreachable-code warningsBob Duff1-12/+0
2022-07-12[Ada] Remove out-of-range warning in unreachable codeBob Duff1-27/+29
2022-07-12[Ada] Remove excessive guard in detection of access-to-variable objectsPiotr Trojanek1-1/+0
2022-07-06[Ada] Deferred constant considered as not preelaborableYannick Moy1-2/+3
2022-07-06[Ada] Support ghost generic formal parametersYannick Moy1-0/+45
2022-07-05[Ada] Couple of small cleanups for Cloned_SubtypeEric Botcazou1-2/+1
2022-07-05[Ada] Cleanup repeated code for aggregate constraints checksPiotr Trojanek1-15/+10
2022-07-04[Ada] Tech debt: Remove code duplicationJustin Squirek1-34/+20
2022-07-04[Ada] Incorrect accessibility check on return of discriminated typeJustin Squirek1-6/+6
2022-06-02[Ada] Remove redundant checks for missing listsPiotr Trojanek1-17/+13
2022-06-02[Ada] Get rid of secondary stack for most calls returning tagged typesEric Botcazou1-18/+26
2022-06-02[Ada] Propagate Has_Inherit{able,ed}_Invariants to base typesEric Botcazou1-4/+4
2022-06-01[Ada] Rename Returns_On_Secondary_Stack into Needs_Secondary_StackEric Botcazou1-267/+266
2022-06-01[Ada] Fix predicate check on object declarationMarc Poulhiès1-0/+74
2022-06-01[Ada] Adjust reference in commentEric Botcazou1-1/+1
2022-06-01[Ada] Fix composability of return on the secondary stackEric Botcazou1-14/+47
2022-06-01[Ada] Issue a warning on entity hidden in use_clause with -gnatwhYannick Moy1-41/+66
2022-05-30[Ada] Add insertion character for overlay modification warningsGhjuvan Lacambre1-1/+1
2022-05-30[Ada] Deconstruct deferred referencesPiotr Trojanek1-2/+2
2022-05-19[Ada] Fix bug in handling of Predicate_Failure aspectSteve Baird1-13/+75
2022-05-19[Ada] Get rid of secondary stack for controlled componentsEric Botcazou1-113/+79
2022-05-18[Ada] Crash building VSS with compiler built with assertionsJavier Miranda1-0/+5
2022-05-16[Ada] Revise Storage_Model_Support operations to do checks and take objects a...Gary Dismukes1-69/+82
2022-05-16[Ada] Fix internal error on predicate aspect with iteratorEric Botcazou1-13/+29
generated by cgit v1.1 at 2024-07-18 06:54:37 +0000