summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
AgeCommit message (Expand)Author
2025-11-21ada: Fix memory leak for unconstrained limited arrays in anonymous contextsEric Botcazou
2025-11-03ada: Remove workaround for a freezing issue with address of a slicePiotr Trojanek
2025-11-03ada: Direct attribute definition for constructorsDenis Mazzucato
2025-11-03ada: Get rid of Sy/Sm mixing (Chars)Bob Duff
2025-09-30Ada: Fix internal error on ill-formed Reduce attribute in Ada 2022Eric Botcazou
2025-09-19ada: Incorrect expansion of VADS Size attribute applied to an array typeGary Dismukes
2025-09-15ada: Implement Super aspect and improve implementation of related features.Steve Baird
2025-09-11ada: Fix compile time evaluation needed for static unfoldingsDenis Mazzucato
2025-09-09ada: Unsigned_Base_Range aspectJavier Miranda
2025-08-04ada: Update Assertion_Policy handling in GNATProve modeViljar Indus
2025-07-22ada: Only fold array attributes in SPARK when prefix is safe to evaluatePiotr Trojanek
2025-07-03ada: Remove unnecessary "return;" statementsBob Duff
2025-07-03ada: Support Potentially_Invalid aspect in the frontendJoffrey Huguet
2025-06-10ada: Remove redundant guard against attribute with no expressionsPiotr Trojanek
2025-06-09ada: Remove redundant error checkingRonan Desplanques
2025-06-06ada: Add new aspect Program_Exit for SPARKPiotr Trojanek
2025-06-06ada: Initial prototype of constructorssquirek
2025-06-05ada: Reject Valid_Value arguments originating from StandardViljar Indus
2025-01-13ada: Remove redundant parentheses inside unary operatorsPiotr Trojanek
2025-01-07Update copyright years.Marc Poulhiès
2025-01-07ada: Cleanup preanalysis of static expressions (part 2)Javier Miranda
2025-01-07ada: Untangle check for restriction No_Implementation_AttributesPiotr Trojanek
2025-01-07ada: Handle attributes related to Ada 2012 iterators as internalPiotr Trojanek
2025-01-03ada: Remove extra checks for raising a constraint errorPiotr Trojanek
2025-01-03ada: Assorted style cleanupsPiotr Trojanek
2024-12-13ada: Cleanup preanalysis of static expressionsJavier Miranda
2024-12-12ada: Fix reference manual clausesRonan Desplanques
2024-12-12ada: Fix pragma Compile_Time_Error for sizes of nonstatic array typesEric Botcazou
2024-11-04ada: Initial implementation of Extended_Access aspect (FE portion only)Steve Baird
2024-10-08ada: Missing constraint check for 'Length attribute referenceSteve Baird
2024-08-08ada: Futher refinements to mutably tagged typesJustin Squirek
2024-08-01ada: Crash on access attribute with overloaded prefix denoting reference objectGary Dismukes
2024-08-01ada: Style fixes: remove blank lines following 'begin' keywordsGhjuvan Lacambre
2024-08-01ada: Remove support for bodies in -gnatcegArnaud Charlet
2024-07-02ada: Compiler accepts an illegal Unchecked_Access attribute referenceSteve Baird
2024-06-21ada: Fix for Default_Component_Value with declare expressionsPiotr Trojanek
2024-06-20ada: Reference to nonexistent operator in reduction expression acceptedSteve Baird
2024-06-20ada: Fix list of attributes defined by Ada 2022Piotr Trojanek
2024-06-14ada: Add prototype for mutably tagged typesJustin Squirek
2024-06-14ada: Allow implicit dereferenced for uses of 'SuperJustin Squirek
2024-06-13ada: Missing support for 'Old with overloaded functionJavier Miranda
2024-06-10ada: Further refine 'Super attributeJustin Squirek
2024-06-10ada: Skip processing of NUL character for attribute Type_KeyPiotr Trojanek
2024-05-20ada: Further refine 'Super attributeJustin Squirek
2024-05-20ada: Fix list of attributes defined by Ada 2012Piotr Trojanek
2024-05-20ada: Apply restriction No_Implementation_Attributes to source nodes onlyPiotr Trojanek
2024-05-20ada: Remove repeated condition in check for implementation attributesPiotr Trojanek
2024-05-20ada: Fix static 'Img for enumeration type with Discard_NamesPiotr Trojanek
2024-05-20ada: Fix for attribute Width on enumeration types with Discard_NamePiotr Trojanek
2024-05-17ada: Remove superfluous Relocate_Node callsRonan Desplanques
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-31 19:19:16 +0000