summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch5.adb
Commit message (Expand)AuthorAgeFilesLines
* [Ada] Prevent early exits without restoring a global variablePiotr Trojanek2020-12-171-2/+3
* [Ada] Reduce scopes of local variables for case and if statementsPiotr Trojanek2020-12-171-16/+17
* [Ada] Remove discriminant checks processing in gigiArnaud Charlet2020-12-171-1/+4
* [Ada] Fixes for GNAT error/warning messagesYannick Moy2020-12-171-4/+6
* [Ada] Handle iterator filters on loop specifications over containersEd Schonberg2020-12-161-1/+7
* [Ada] Minor reuse Is_AssignablePiotr Trojanek2020-11-301-2/+1
* [Ada] Simplify analysis of assignment statementsPiotr Trojanek2020-11-301-32/+26
* [Ada] Minor reuse Is_Protected_ComponentPiotr Trojanek2020-11-301-3/+1
* [Ada] Add Max_Integer_Size attribute and couple of helper functionsEric Botcazou2020-10-161-1/+3
* [Ada] Use membership tests in front-endArnaud Charlet2020-07-271-19/+16
* [Ada] Ada_2020 AI12-0250 : Implement Iterator filters.Ed Schonberg2020-07-081-0/+8
* [Ada] Style cleanups related to Current_ConditionPiotr Trojanek2020-07-081-1/+1
* [Ada] Minor cleanup with Is_AssignablePiotr Trojanek2020-07-071-3/+1
* [Ada] Crash when an exception handler is executed with -gnatdkPiotr Trojanek2020-07-061-1/+8
* [Ada] Do not generate useless length check for array initializationEric Botcazou2020-06-171-2/+2
* [Ada] Fix expansion of "for X of Y loop" in GNATprovePiotr Trojanek2020-06-171-4/+6
* [Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek2020-06-161-3/+3
* [Ada] Small cleanup in handling of Ada 2012 implicit dereferencesEric Botcazou2020-06-121-15/+2
* [Ada] Remove more references to ASISArnaud Charlet2020-06-101-6/+6
* [Ada] AI12-0204 Renaming of a prefixed viewArnaud Charlet2020-06-081-1/+1
* [Ada] Remove processing of SPARK_05 restrictionArnaud Charlet2020-06-081-81/+5
* [Ada] Remove OpenACC supportArnaud Charlet2020-06-041-32/+0
* [Ada] Remove more cases of empty loopsArnaud Charlet2020-06-031-15/+20
* [Ada] Bump copyright yearArnaud Charlet2020-06-021-1/+1
* [Ada] Address potentially uninitialized variables and dead codeArnaud Charlet2020-06-021-1/+1
* [Ada] AI12-0001: Independence and Representation clauses for atomic objectsEric Botcazou2019-12-161-2/+3
* [Ada] Missing dereference in bound of slice in element iteratorEd Schonberg2019-12-121-0/+21
* [Ada] Minor reformattingsGary Dismukes2019-08-201-6/+5
* [Ada] Hang on loop in generic with subtype indication specifying a rangeGary Dismukes2019-08-121-1/+6
* [Ada] Iterators are view-specificEd Schonberg2019-07-231-1/+10
* [Ada] Reformat commentsPiotr Trojanek2019-07-091-4/+4
* re PR ada/80590 (non-bootstrap build failure of Ada runtime)Arnaud Charlet2019-06-181-27/+48
* [Ada] Bump copyright years to 2019Pierre-Marie de Rodat2019-01-081-1/+1
* [Ada] Crash on ignored Ghost assignmentHristian Kirtchev2018-11-141-11/+7
* [Ada] Add a No_Return annotation to ease static analysisHristian Kirtchev2018-09-261-1/+2
* [Ada] Spurious dependency on secondary stackHristian Kirtchev2018-09-261-194/+341
* [Ada] Minor reformattingsHristian Kirtchev2018-09-261-2/+1
* [Ada] Front-end support for OpenACC pragmasOlivier Hainque2018-09-261-0/+31
* [Ada] Crash on expression functions within quantified expressionsJustin Squirek2018-09-261-4/+17
* [Ada] Minor reformattingHristian Kirtchev2018-07-171-14/+16
* [Ada] Secondary stack leak in loop iteratorJavier Miranda2018-07-171-65/+115
* [Ada] Spell preanalysis, preanalyze correctlyBob Duff2018-05-301-3/+3
* [Ada] Secondary stack leak in "for X of ..." loopsBob Duff2018-05-301-5/+7
* [Ada] Fix crash on formal containersHristian Kirtchev2018-05-241-3/+4
* [Ada] Minor reformattingsHristian Kirtchev2018-05-231-10/+8
* [Ada] Missing legality check on iterator over formal containerEd Schonberg2018-05-231-31/+38
* [Ada] Crash on predicate involving qualified expression in instanceEd Schonberg2018-05-231-0/+11
* [Ada] Premature secondary stack reclamationHristian Kirtchev2018-05-211-21/+16
* [Ada] Detection of illegal constituent assignmentsHristian Kirtchev2018-01-111-5/+70
* [Ada] Bump copyright notices to 2018Arnaud Charlet2018-01-111-1/+1
View Lorry Controller Status