aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
AgeCommit message (Expand)AuthorFilesLines
2023-06-15ada: Reject Loop_Entry inside prefix of Loop_EntryYannick Moy1-3/+18
2023-06-13ada: Fix spurious error on call to function returning private in genericEric Botcazou1-2/+6
2023-06-13ada: Mark attribute Initialized as ghost codeYannick Moy1-0/+7
2023-05-29ada: Analyze pre/post on access-to-subprogram without a wrapperPiotr Trojanek1-0/+13
2023-05-26ada: Fix crash on 'Img as generic actual functionBob Duff1-13/+12
2023-05-26ada: Reject thin 'Unrestricted_Access value to aliased constrained arrayEric Botcazou1-23/+51
2023-05-25ada: Set Is_Not_Self_Hidden flag in more casesBob Duff1-1/+1
2023-05-25ada: Restrict use of formal parameters within exceptional casesPiotr Trojanek1-0/+8
2023-05-22ada: Fix crash caused by incorrect expansion of iterated componentMarc Poulhiès1-1/+3
2023-05-16ada: Spurious error analyzing 'old or 'result in class-wide conditionsJavier Miranda1-2/+21
2023-05-15ada: Update comment after SPARK RM changeYannick Moy1-1/+1
2023-05-15ada: Improve check of attribute referenceRonan Desplanques1-2/+4
2023-05-15ada: Add Check_Error_Detected before "raise Bad_Attribute"Bob Duff1-0/+1
2023-05-15ada: Reject attribute Initialize on unchecked unionsPiotr Trojanek1-1/+8
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-128/+5
2022-12-01ada: Use the address type of a Storage_Model_Type for 'AddressGary Dismukes1-1/+28
2022-11-21ada: Move warnings switchesBob Duff1-0/+1
2022-11-14ada: Remove incorrect comments about initializationBob Duff1-1/+1
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
generated by cgit v1.1 at 2025-01-19 05:03:09 +0000