aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
AgeCommit message (Expand)AuthorFilesLines
29 hoursada: Update Assertion_Policy handling in GNATProve modeViljar Indus1-1/+1
2025-07-22ada: Only fold array attributes in SPARK when prefix is safe to evaluatePiotr Trojanek1-0/+42
2025-07-03ada: Remove unnecessary "return;" statementsBob Duff1-1/+0
2025-07-03ada: Support Potentially_Invalid aspect in the frontendJoffrey Huguet1-2/+3
2025-06-10ada: Remove redundant guard against attribute with no expressionsPiotr Trojanek1-1/+0
2025-06-09ada: Remove redundant error checkingRonan Desplanques1-11/+7
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek1-0/+7
2025-06-06ada: Initial prototype of constructorssquirek1-41/+93
2025-06-05ada: Reject Valid_Value arguments originating from StandardViljar Indus1-2/+3
2025-01-13ada: Remove redundant parentheses inside unary operatorsPiotr Trojanek1-2/+2
2025-01-07Update copyright years.Marc Poulhiès1-1/+1
2025-01-07ada: Cleanup preanalysis of static expressions (part 2)Javier Miranda1-8/+17
2025-01-07ada: Untangle check for restriction No_Implementation_AttributesPiotr Trojanek1-9/+6
2025-01-07ada: Handle attributes related to Ada 2012 iterators as internalPiotr Trojanek1-25/+7
2025-01-03ada: Remove extra checks for raising a constraint errorPiotr Trojanek1-3/+1
2025-01-03ada: Assorted style cleanupsPiotr Trojanek1-1/+1
2024-12-13ada: Cleanup preanalysis of static expressionsJavier Miranda1-1/+2
2024-12-12ada: Fix reference manual clausesRonan Desplanques1-2/+3
2024-12-12ada: Fix pragma Compile_Time_Error for sizes of nonstatic array typesEric Botcazou1-1/+8
2024-11-04ada: Initial implementation of Extended_Access aspect (FE portion only)Steve Baird1-1/+9
2024-10-08ada: Missing constraint check for 'Length attribute referenceSteve Baird1-1/+32
2024-08-08ada: Futher refinements to mutably tagged typesJustin Squirek1-0/+7
2024-08-01ada: Crash on access attribute with overloaded prefix denoting reference objectGary Dismukes1-1/+36
2024-08-01ada: Style fixes: remove blank lines following 'begin' keywordsGhjuvan Lacambre1-1/+0
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet1-65/+12
2024-07-02ada: Compiler accepts an illegal Unchecked_Access attribute referenceSteve Baird1-0/+7
2024-06-21ada: Fix for Default_Component_Value with declare expressionsPiotr Trojanek1-1/+3
2024-06-20ada: Reference to nonexistent operator in reduction expression acceptedSteve Baird1-27/+83
2024-06-20ada: 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
generated by cgit v1.1 at 2025-08-05 17:45:53 +0000