aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
AgeCommit message (Expand)AuthorFilesLines
9 daysada: Fix for Default_Component_Value with declare expressionsPiotr Trojanek1-1/+3
10 daysada: Reference to nonexistent operator in reduction expression acceptedSteve Baird1-27/+83
10 daysada: Fix list of attributes defined by Ada 2022Piotr Trojanek1-1/+3
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek1-1/+9
2024-06-14ada: Allow implicit dereferenced for uses of 'SuperJustin Squirek1-0/+1
2024-06-13ada: Missing support for 'Old with overloaded functionJavier Miranda1-1/+36
2024-06-10ada: Further refine 'Super attributeJustin Squirek1-0/+6
2024-06-10ada: Skip processing of NUL character for attribute Type_KeyPiotr Trojanek1-4/+4
2024-05-20ada: Further refine 'Super attributeJustin Squirek1-4/+0
2024-05-20ada: Fix list of attributes defined by Ada 2012Piotr Trojanek1-1/+4
2024-05-20ada: Apply restriction No_Implementation_Attributes to source nodes onlyPiotr Trojanek1-13/+14
2024-05-20ada: Remove repeated condition in check for implementation attributesPiotr Trojanek1-1/+1
2024-05-20ada: Fix static 'Img for enumeration type with Discard_NamesPiotr Trojanek1-3/+16
2024-05-20ada: Fix for attribute Width on enumeration types with Discard_NamePiotr Trojanek1-3/+4
2024-05-17ada: Remove superfluous Relocate_Node callsRonan Desplanques1-1/+1
2024-05-17ada: Add support for 'Object_Size to pragma Compile_Time_{Warning,Error}Eric Botcazou1-64/+65
2024-05-16ada: Implement new experimental attribute 'SuperJustin Squirek1-0/+57
2024-05-16ada: Formal_Derived_Type'Size is not staticSteve Baird1-0/+10
2024-05-13ada: Revert recent change for Put_Image and Object_Size attributesPiotr Trojanek1-3/+1
2024-05-13ada: Attributes Put_Image and Object_Size are defined by Ada 2022Piotr Trojanek1-1/+3
2024-05-13ada: Fix pragma Compile_Time_Error for alignment of array typesEric Botcazou1-5/+7
2024-05-07ada: Simplify detection of the enclosing scopePiotr Trojanek1-4/+1
2024-05-07ada: Reduce scope in the analysis of access attributesPiotr Trojanek1-7/+8
2024-05-07ada: Fix detection of components with per-object constraintsPiotr Trojanek1-8/+12
2024-05-06ada: Extend Round attribute to ordinary fixed point typesEric Botcazou1-1/+6
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2024-01-09ada: Do not count comparison of addresses as a modificationViljar Indus1-2/+6
2023-11-28ada: Fix internal error on declare expression in expression functionEric Botcazou1-0/+20
2023-11-21ada: Fix internal error on 'Address of task componentEric Botcazou1-8/+2
2023-11-07ada: Rename Is_Limited_View to reflect actual queryYannick Moy1-2/+2
2023-10-10ada: Crash processing pragmas Compile_Time_Error and Compile_Time_WarningJavier Miranda1-6/+19
2023-09-05ada: Compiler hangs on invalid postconditionSteve Baird1-1/+3
2023-07-06ada: Evaluate static expressions in Range attributesViljar Indus1-3/+13
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
generated by cgit v1.1 at 2024-06-30 12:05:42 +0000