aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_attr.adb
AgeCommit message (Expand)AuthorFilesLines
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
2019-12-16[Ada] Prototype implementastion of Ada2020 Map-reduce constructEd Schonberg1-0/+115
2019-12-16[Ada] Bad warning: Size in Compile_Time_Error in nested instanceBob Duff1-2/+5
2019-12-12[Ada] Missing error on incorrect use of Result attributeJustin Squirek1-0/+1
2019-12-12[Ada] Crash on Descriptor_Size attributeBob Duff1-0/+3
2019-09-19[Ada] Memory leak with 'Range of a function call in a loopBob Duff1-0/+10
2019-07-08[Ada] Spurious error reported by pragma Compile_Time_ErrorJavier Miranda1-2/+13
2019-07-04[Ada] Minor reformattingHristian Kirtchev1-1/+1
2019-07-04[Ada] Spurious error on 'First in a generic contextEd Schonberg1-1/+4
2019-07-01[Ada] More permissive use of GNAT attribute Enum_RepEd Schonberg1-3/+5
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
generated by cgit v1.1 at 2024-10-28 10:50:00 +0000