aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_attr.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Enforce matching of extra formalsJavier Miranda1-10/+31
2022-11-07ada: Remove useless validity suppression for attribute InputPiotr Trojanek1-3/+2
2022-11-04ada: Fix for validity checks combined with aliasing checksJustin Squirek1-5/+11
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-1/+1
2022-09-12[Ada] Fix validity checking on renamed Old attribute prefixPiotr Trojanek1-1/+11
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-22/+25
2022-09-12[Ada] Revert "Enforce matching of extra formals"Javier Miranda1-31/+10
2022-09-06[Ada] Enable lock free protected implementation by defaultSteve Baird1-1/+0
2022-09-06[Ada] Enforce matching of extra formalsJavier Miranda1-10/+31
2022-09-06[Ada] Cleanup unnecessary shadowing in expansion of attribute OldPiotr Trojanek1-1/+0
2022-09-06[Ada] Cope with scalar subtypes that have a non-scalar basetype.Steve Baird1-1/+4
2022-09-06[Ada] Bad Valid_Scalars result if signed int component type signed has partia...Steve Baird1-24/+24
2022-09-06[Ada] Improve detection of illegal Iterable aspectsPiotr Trojanek1-2/+3
2022-09-05[Ada] Cleanup expansion of attribute PriorityPiotr Trojanek1-15/+16
2022-09-05[Ada] Fix expansion of attribute PriorityPiotr Trojanek1-4/+6
2022-05-19[Ada] Wrong interface dynamic dispatch via access parameterJavier Miranda1-52/+84
2022-05-18[Ada] Ada2022: AI12-0143 Index attribute for entry familiesJavier Miranda1-0/+18
2022-05-16[Ada] Fix expansion of attribute Loop_Entry wrt value propagationPiotr Trojanek1-10/+18
2022-05-13[Ada] Wrong address for class-wide interface access conversionJavier Miranda1-4/+25
2022-05-10[Ada] Optimize nonstandard boolean validity checkingAlexandre Oliva1-1/+5
2022-05-09[Ada] Fix invalid memory access on finalization of class-wide typeJustin Squirek1-1/+15
2022-05-09[Ada] Fix package installation for private array type of private elementEd Schonberg1-1/+14
2022-01-11[Ada] Remove extra space in single object declarationsPiotr Trojanek1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-05[Ada] Remove explicit "in" in internal parameter associationPiotr Trojanek1-2/+0
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-0/+2
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-2/+2
2021-10-20[Ada] tech debt: Clean up Uint fields, such as EsizeBob Duff1-3/+2
2021-10-05[Ada] Remove left-overs of Unaligned_Valid attributeEric Botcazou1-2/+1
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+14
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-1/+1
2021-09-20[Ada] Present and No functions for type UintBob Duff1-1/+1
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes1-0/+15
2021-09-14Fix PR ada/101970Eric Botcazou1-10/+13
2021-07-07[Ada] Transient scope cleanupBob Duff1-8/+6
2021-07-06[Ada] Implement missing constraint checks for default streaming operationsSteve Baird1-18/+8
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-0/+1
2021-07-01Use intermediate integer type with proper signednessEric Botcazou1-4/+3
2021-06-29[Ada] Accept arrays and scalars as type views that can be validatedPiotr Trojanek1-4/+4
2021-06-29[Ada] Consistently use Validated_View for Valid_Scalars on recordsPiotr Trojanek1-1/+1
2021-06-21[Ada] Implement 'Valid_Value attributeBob Duff1-8/+10
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-2/+2
2021-05-07[Ada] Minor reformattingsBob Duff1-48/+48
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-3/+3
2021-05-07[Ada] Variable-sized node typesBob Duff1-3/+8
2021-05-05[Ada] Fix expansion of attributes Input/Output for unchecked union typesPiotr Trojanek1-6/+8
2021-05-05[Ada] Reuse Has_Defaulted_Discriminants where possiblePiotr Trojanek1-8/+2
2021-05-05[Ada] Implement tiered support for floating-point output operationsEric Botcazou1-5/+5
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Replace calls to RTE with Is_RTE where possiblePiotr Trojanek1-1/+1
generated by cgit v1.1 at 2024-09-18 08:35:00 +0000