aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
AgeCommit message (Expand)AuthorFilesLines
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
2020-06-15[Ada] Update 'Loop_Entry checking to match changes in 'Old rules.Steve Baird1-3/+3
2020-06-12[Ada] Implement AI12-0369Steve Baird1-87/+2
2020-06-12[Ada] Put_Image: preload type Sink, change what types have it enabledBob Duff1-1/+0
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-5/+3
2020-06-10[Ada] Fold Enum_Rep attribute in evaluation and not in expansionPiotr Trojanek1-2/+6
2020-06-08[Ada] AI12-0085 Missing aspect cases for Remote_TypesArnaud Charlet1-4/+4
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-72/+1
2020-06-05[Ada] Support 'Reduce under -gnatXArnaud Charlet1-0/+5
2020-06-05[Ada] Put_Image attributeBob Duff1-4/+4
2020-06-05[Ada] AI12-0237 Getting the representation of an enumeration valueArnaud Charlet1-2/+13
2020-06-04[Ada] Put_Image attributeBob Duff1-0/+57
2020-06-04[Ada] Set convention and inlined flag on default null procedureEric Botcazou1-0/+1
2020-06-03[Ada] Incorrect accessibility checking on aliased formalsJustin Squirek1-1/+11
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-2/+2
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Typo corrections and minor reformattingGary Dismukes1-4/+4
2019-12-18[Ada] Fix three-letter typos like "sss" in comments and docsPiotr Trojanek1-1/+1
generated by cgit v1.1 at 2024-08-18 19:16:57 +0000