aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch6.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-27ada: Overridden operation field not correctly set for controlling result wrap...Martin Clochard1-47/+35
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-2/+8
2024-06-13ada: List subprogram body entities in scopesYannick Moy1-0/+9
2024-06-10ada: Storage_Error in indirect call to function returning limited typeJavier Miranda1-5/+7
2024-05-16ada: Avoid checking parameters of protected proceduresViljar Indus1-2/+5
2024-05-16ada: Fix bogus error on function returning noncontrolling result in private partEric Botcazou1-14/+9
2024-05-14ada: Update of SPARK RM legality rules on ghost codeYannick Moy1-7/+7
2024-05-13ada: Deconstruct flag Split_PPC since splitting now is done in expansionPiotr Trojanek1-3/+1
2024-05-13ada: Replace finalization masters with finalization collectionsEric Botcazou1-6/+6
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Cannot requeue to a procedure implemented by an entryJavier Miranda1-0/+1
2024-01-09ada: More aggressive inlining of subprogram calls in GNATprove modePiotr Trojanek1-1/+4
2023-11-30ada: Remove SPARK legality checksYannick Moy1-2/+2
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy1-2/+2
2023-11-07ada: Rename Is_Limited_View to reflect actual queryYannick Moy1-3/+3
2023-11-07ada: Implement Aspects as fields under nodesViljar Indus1-26/+10
2023-11-07ada: New Local_Restrictions and User_Aspect aspects.Steve Baird1-0/+10
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy1-28/+75
2023-09-15ada: Crash on creation of extra formals on type extensionJavier Miranda1-5/+22
2023-09-14ada: Assertion failure adding extra formals to late overriding subp.Javier Miranda1-1/+2
2023-09-05ada: Crash on creation of extra formals on type extensionJavier Miranda1-4/+4
2023-07-28ada: Fix unsupported dispatching constructor callJavier Miranda1-77/+108
2023-07-28ada: Leave detection of missing return in functions to GNATprovePiotr Trojanek1-9/+2
2023-06-20ada: Further fixes to handling of private views in instancesEric Botcazou1-12/+5
2023-05-29ada: Cleanup detection of type support subprogram entitiesPiotr Trojanek1-42/+31
2023-05-29ada: Fix wrong finalization for call to BIP function in conditional expressionEric Botcazou1-3/+9
2023-05-26ada: Fix late extra formals creationRonan Desplanques1-0/+1
2023-05-25ada: Fix crash during function return analysisMarc Poulhiès1-0/+1
2023-05-25ada: Remove unused initial value of a local variablePiotr Trojanek1-1/+1
2023-05-25ada: Remove redundant guards from calls to Move_AspectsPiotr Trojanek1-6/+2
2023-05-25ada: Fix SPARK context not restored when Load_Unit is failingMarc Poulhiès1-1/+1
2023-05-23ada: Fix expression pretty-printer for SPARK counterexamplesPiotr Trojanek1-0/+7
2023-05-22ada: Rename Is_Past_Self_Hiding_Point flag to be Is_Not_Self_HiddenBob Duff1-2/+2
2023-05-22ada: Add Is_Past_Self_Hiding_Point flagBob Duff1-0/+8
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-5/+5
2023-05-15ada: Clean up vanishing entity fieldsBob Duff1-6/+14
2023-03-06Fix assertion failure on VSS libraryJavier Miranda1-0/+15
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-12-06ada: Elide the copy in extended returns for nonlimited by-reference typesEric Botcazou1-135/+0
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-516/+3
2022-11-21ada: Move warnings switchesBob Duff1-1/+1
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-279/+905
2022-11-04ada: Simplify detection of controlling formalsPiotr Trojanek1-3/+3
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-8/+8
2022-10-06ada: Minor potential bug in sem_ch6.adbSteve Baird1-1/+1
2022-09-20replace "the the" typosMartin Liska1-1/+1
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-46/+39
2022-09-12[Ada] Do not mark user parameters of protected subprograms as artificialEric Botcazou1-1/+11
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-902/+278
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-278/+902
generated by cgit v1.1 at 2024-07-19 18:55:22 +0000