aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
AgeCommit message (Expand)AuthorFilesLines
2020-11-30[Ada] Expand integer-only implementation of ordinary fixed-point typesEric Botcazou1-0/+25
2020-11-27[Ada] Restore access type instead of mode out parameterPiotr Trojanek1-4/+4
2020-11-27[Ada] Change parameter from access type to mode outPiotr Trojanek1-4/+4
2020-11-26[Ada] Issue advice for error regarding Old/Loop_Entry on unevaluated expr.Yannick Moy1-4/+12
2020-11-25[Ada] Document attribute Has_Tagged_Values in GNAT RMPiotr Trojanek1-6/+5
2020-11-25[Ada] Remove repeated calls to Attribute_NamePiotr Trojanek1-7/+7
2020-11-25[Ada] Reuse Is_Named_Number where possiblePiotr Trojanek1-1/+1
2020-11-24[Ada] Accept local objects in the prefix of attribute Loop_EntryPiotr Trojanek1-1/+5
2020-10-26[Ada] Avoid crash on use of Ada 2020 featureBob Duff1-1/+1
2020-10-23[Ada] Further Ada 2020 work on accessibility checkingJustin Squirek1-5/+15
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-1/+22
2020-10-23[Ada] Missing detection of unused with_clauseArnaud Charlet1-0/+9
2020-10-22[Ada] Implement AI12-0030: Stream attribute availabilitySteve Baird1-4/+10
2020-10-22[Ada] Reimplementation of accessibility checkingJustin Squirek1-3/+6
2020-10-22[Ada] Fix oversight in Eval_Attribute for Bit_PositionEric Botcazou1-1/+1
2020-10-20[Ada] Implement AI12-0280 Making 'Old more flexibleSteve Baird1-2/+19
2020-10-20[Ada] Make attribute Update an obsolescent featureClaire Dross1-0/+5
2020-10-16[Ada] Assorted style cleanupsPiotr Trojanek1-2/+2
2020-10-16[Ada] Improvements to implementation of Ada_2020 attribute ReduceEd Schonberg1-1/+22
2020-10-16[Ada] Add Max_Integer_Size attribute and couple of helper functionsEric Botcazou1-0/+8
2020-07-27[Ada] Ada2020: wording of 'Image messagesBob Duff1-11/+6
2020-07-27[Ada] Remove disabled codeArnaud Charlet1-13/+0
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-82/+78
2020-07-23[Ada] Ada2020: AI12-0027 Access values and unaliased componentArnaud Charlet1-0/+83
2020-07-16[Ada] Ada2020: AI12-0107 convention of By_Protected_ProcedureJavier Miranda1-4/+25
2020-07-15[Ada] Wrong resolution of 'access in protected subprogramJavier Miranda1-1/+23
2020-07-15[Ada] Extend static functionsArnaud Charlet1-1/+1
2020-07-08[Ada] Minor reformatting and typo fixGary Dismukes1-7/+7
2020-07-08[Ada] Accept aspect Relaxed_Initialization on generic subprogramsPiotr Trojanek1-2/+10
2020-07-07[Ada] Simplify statically known Max_Size_In_Storage_Elements attribute in mor...Steve Baird1-3/+13
2020-07-07[Ada] Move generation of range checks for entry families to expanderEric Botcazou1-1/+1
2020-07-07[Ada] Remove extra checks for non-static context from resolving 'UpdatePiotr Trojanek1-3/+0
2020-07-07[Ada] Set range checks for for 'Update on arrays in GNATprove expansionPiotr Trojanek1-22/+0
2020-07-06[Ada] Fix evaluation of Enum_Rep applied to imported constantPiotr Trojanek1-0/+2
2020-07-06[Ada] Set range checks flag on 'Update for GNATprove in expansionPiotr Trojanek1-28/+0
2020-07-06[Ada] Predicates and the current instance of a subtype (AI12-0068)Gary Dismukes1-10/+28
2020-07-06[Ada] Simplify implicit loading of Tasking_State in GNATprove_ModePiotr Trojanek1-15/+10
2020-07-06[Ada] Remove obsolete code in Eval_AttributeEric Botcazou1-10/+0
2020-06-19[Ada] Reject junk expressions in attribute UpdatePiotr Trojanek1-1/+6
2020-06-19[Ada] Add comments about attribute 'Valid_Scalars on private tagged typesPiotr Trojanek1-0/+4
2020-06-18[Ada] Small cleanup in the attribute code of the expanderEric Botcazou1-0/+5
2020-06-18[Ada] Fix host/target confusion for attribute To_AddressEric Botcazou1-3/+3
2020-06-18[Ada] Improve compile-time evaluation of value rangesEric Botcazou1-29/+142
2020-06-17[Ada] Support aspect Relaxed_Initialization on private types and constantsPiotr Trojanek1-2/+1
2020-06-16[Ada] Declare expressionsBob Duff1-0/+8
2020-06-16[Ada] Check if attribute Passed_By_Reference is called on incomplete typesGhjuvan Lacambre1-0/+1
2020-06-15[Ada] T'Image calls T'Put_ImageBob Duff1-3/+1
2020-06-15[Ada] Missing errors on aspect checkingArnaud Charlet1-3/+20
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek1-0/+30
2020-06-15[Ada] Clean up error handling of 'ImageBob Duff1-30/+39