aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch5.adb
AgeCommit message (Expand)AuthorFilesLines
2020-12-17[Ada] Prevent early exits without restoring a global variablePiotr Trojanek1-2/+3
2020-12-17[Ada] Reduce scopes of local variables for case and if statementsPiotr Trojanek1-16/+17
2020-12-17[Ada] Remove discriminant checks processing in gigiArnaud Charlet1-1/+4
2020-12-17[Ada] Fixes for GNAT error/warning messagesYannick Moy1-4/+6
2020-12-16[Ada] Handle iterator filters on loop specifications over containersEd Schonberg1-1/+7
2020-11-30[Ada] Minor reuse Is_AssignablePiotr Trojanek1-2/+1
2020-11-30[Ada] Simplify analysis of assignment statementsPiotr Trojanek1-32/+26
2020-11-30[Ada] Minor reuse Is_Protected_ComponentPiotr Trojanek1-3/+1
2020-10-16[Ada] Add Max_Integer_Size attribute and couple of helper functionsEric Botcazou1-1/+3
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-19/+16
2020-07-08[Ada] Ada_2020 AI12-0250 : Implement Iterator filters.Ed Schonberg1-0/+8
2020-07-08[Ada] Style cleanups related to Current_ConditionPiotr Trojanek1-1/+1
2020-07-07[Ada] Minor cleanup with Is_AssignablePiotr Trojanek1-3/+1
2020-07-06[Ada] Crash when an exception handler is executed with -gnatdkPiotr Trojanek1-1/+8
2020-06-17[Ada] Do not generate useless length check for array initializationEric Botcazou1-2/+2
2020-06-17[Ada] Fix expansion of "for X of Y loop" in GNATprovePiotr Trojanek1-4/+6
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-3/+3
2020-06-12[Ada] Small cleanup in handling of Ada 2012 implicit dereferencesEric Botcazou1-15/+2
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-6/+6
2020-06-08[Ada] AI12-0204 Renaming of a prefixed viewArnaud Charlet1-1/+1
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-81/+5
2020-06-04[Ada] Remove OpenACC supportArnaud Charlet1-32/+0
2020-06-03[Ada] Remove more cases of empty loopsArnaud Charlet1-15/+20
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Address potentially uninitialized variables and dead codeArnaud Charlet1-1/+1
2019-12-16[Ada] AI12-0001: Independence and Representation clauses for atomic objectsEric Botcazou1-2/+3
2019-12-12[Ada] Missing dereference in bound of slice in element iteratorEd Schonberg1-0/+21
2019-08-20[Ada] Minor reformattingsGary Dismukes1-6/+5
2019-08-12[Ada] Hang on loop in generic with subtype indication specifying a rangeGary Dismukes1-1/+6
2019-07-23[Ada] Iterators are view-specificEd Schonberg1-1/+10
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-4/+4
2019-06-18re PR ada/80590 (non-bootstrap build failure of Ada runtime)Arnaud Charlet1-27/+48
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-11-14[Ada] Crash on ignored Ghost assignmentHristian Kirtchev1-11/+7
2018-09-26[Ada] Add a No_Return annotation to ease static analysisHristian Kirtchev1-1/+2
2018-09-26[Ada] Spurious dependency on secondary stackHristian Kirtchev1-194/+341
2018-09-26[Ada] Minor reformattingsHristian Kirtchev1-2/+1
2018-09-26[Ada] Front-end support for OpenACC pragmasOlivier Hainque1-0/+31
2018-09-26[Ada] Crash on expression functions within quantified expressionsJustin Squirek1-4/+17
2018-07-17[Ada] Minor reformattingHristian Kirtchev1-14/+16
2018-07-17[Ada] Secondary stack leak in loop iteratorJavier Miranda1-65/+115
2018-05-30[Ada] Spell preanalysis, preanalyze correctlyBob Duff1-3/+3
2018-05-30[Ada] Secondary stack leak in "for X of ..." loopsBob Duff1-5/+7
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-3/+4
2018-05-23[Ada] Minor reformattingsHristian Kirtchev1-10/+8
2018-05-23[Ada] Missing legality check on iterator over formal containerEd Schonberg1-31/+38
2018-05-23[Ada] Crash on predicate involving qualified expression in instanceEd Schonberg1-0/+11
2018-05-21[Ada] Premature secondary stack reclamationHristian Kirtchev1-21/+16
2018-01-11[Ada] Detection of illegal constituent assignmentsHristian Kirtchev1-5/+70
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1