aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
AgeCommit message (Expand)AuthorFilesLines
2022-11-08ada: Compile-time simplification of 'Image incorrectly ignores Put_ImageSteve Baird1-1/+3
2022-11-08ada: Clean up call to check if aspects are presentPiotr Trojanek1-2/+2
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-1/+1
2022-11-04ada: Allow enabling a restricted set of language extensions.Steve Baird1-1/+1
2022-09-29ada: Further tweak new expansion of contractsEric Botcazou1-3/+5
2022-09-12[Ada] Reject 'Valid_Scalars on Unchecked_Union regardless of privacyPiotr Trojanek1-10/+10
2022-09-12[Ada] Temporary tweak new expansion of contractsEric Botcazou1-3/+3
2022-09-12[Ada] Tech debt: Expansion of contractsJustin Squirek1-17/+16
2022-09-06[Ada] Enable lock free protected implementation by defaultSteve Baird1-43/+1
2022-07-13[Ada] Handle bodies-to-inline just like generic templatesPiotr Trojanek1-2/+2
2022-07-12[Ada] Simplify rewriting of attributes into Boolean literalsPiotr Trojanek1-6/+1
2022-07-05[Ada] Remove kludge for validity checks on Long_Float typePiotr Trojanek1-37/+4
2022-07-05[Ada] Spurious error on qualified prefix in Pack.Func'ResultYannick Moy1-0/+6
2022-07-05[Ada] Remove unnecessary dead code after calls to nonreturning proceduresPiotr Trojanek1-3/+0
2022-07-05[Ada] Remove return statements after procedure calls that don't returnPiotr Trojanek1-10/+0
2022-07-05[Ada] Fix clearly unintentional dead analysis of attribute Code_AddressPiotr Trojanek1-1/+1
2022-07-04[Ada] Refactor duplicated resolution of Count and Index attributesPiotr Trojanek1-14/+4
2022-07-04[Ada] Tech debt: Remove code duplicationJustin Squirek1-16/+3
2022-07-04[Ada] Fix missing error on 'Access of constrained arrayBob Duff1-3/+1
2022-05-30[Ada] Do not analyze expression functions for dispatch tablesEric Botcazou1-4/+8
2022-05-19[Ada] Support Ada 2022 null array aggregatesEd Schonberg1-0/+26
2022-05-18[Ada] Ada2022: AI12-0143 Index attribute for entry familiesJavier Miranda1-0/+250
2022-05-17[Ada] Allow 'Reduce with -gnat2022Arnaud Charlet1-5/+1
2022-05-16[Ada] Remove useless code related to current value propagationPiotr Trojanek1-1/+0
2022-05-13[Ada] Crash in task body reference to discriminantJavier Miranda1-0/+22
2022-05-09[Ada] Remove repeated analysis of attribute prefixesPiotr Trojanek1-8/+0
2022-05-09[Ada] Remove redundant call to Set_Etype for attribute Bit_OrderPiotr Trojanek1-1/+0
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-07[Ada] Fix the check of the 'Old prefixEtienne Servais1-1/+4
2022-01-07[Ada] Fix typo on "Placement" in commentEtienne Servais1-1/+1
2022-01-06[Ada] Spurious error when using current instance of typeJustin Squirek1-1/+9
2022-01-06[Ada] New restriction No_Tagged_Type_RegistrationBob Duff1-0/+9
2022-01-06[Ada] Removal of technical debtJustin Squirek1-5/+16
2021-12-01[Ada] Spurious warning when using 'Type_Key on generic formalJustin Squirek1-0/+1
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-0/+22
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-1/+1
2021-10-20[Ada] Factor out machine rounding operationsEric Botcazou1-5/+3
2021-10-11[Ada] Valid postconditions incorrectly rejected.Steve Baird1-0/+18
2021-10-04[Ada] Incremental patch for restriction No_Dynamic_Accessibility_ChecksJustin Squirek1-21/+38
2021-10-04[Ada] Fix for a static Leading_Part attribute raising constraint errorPiotr Trojanek1-2/+16
2021-10-01[Ada] Crash on improper use of GNAT attribute Type_KeyEd Schonberg1-1/+3
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-0/+10
2021-09-22[Ada] Fix conformance errors and erroneous codeBob Duff1-1/+1
2021-09-22[Ada] Removal of technical debtJustin Squirek1-8/+0
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-6/+8
2021-09-20[Ada] Present and No functions for type UintBob Duff1-2/+2
2021-09-20[Ada] Implementation of Preelaborable_Initialization attribute for AI12-0409Gary Dismukes1-18/+75
2021-07-07[Ada] Implement new legality checks specified by AI12-0412Gary Dismukes1-0/+19
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-3/+10
2021-06-21[Ada] Add Ada.Strings.Text_Buffers and replace uses of Ada.Strings.Text_OutputSteve Baird1-3/+6
generated by cgit v1.1 at 2024-07-18 06:45:21 +0000