aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_ch3.adb
AgeCommit message (Expand)AuthorFilesLines
2020-07-10[Ada] Cleanup excessive conditions in Check_CompletionPiotr Trojanek1-15/+17
2020-07-10[Ada] Remove references to non-existing E_Protected_ObjectPiotr Trojanek1-8/+2
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-2/+1
2020-07-10[Ada] Revert too late setting of Ekind on discriminantsPiotr Trojanek1-3/+6
2020-07-10[Ada] Fix failing assertions related to volatile objectsPiotr Trojanek1-2/+2
2020-07-06[Ada] Crash on declaration with aggregate for unchecked unionEd Schonberg1-10/+20
2020-06-19[Ada] Fix small fallout of previous change for Analyze_Selected_ComponentEric Botcazou1-2/+5
2020-06-19[Ada] Small cleanup in Apply_Range_Check implementationEric Botcazou1-41/+23
2020-06-18[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-6/+20
2020-06-18[Ada] Cleanups in code related to static expressionsPiotr Trojanek1-1/+1
2020-06-18[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-0/+5
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-0/+11
2020-06-17[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-0/+6
2020-06-17[Ada] Various typo corrections plus minor reformattingGary Dismukes1-15/+13
2020-06-17[Ada] Ada_2020 AI12-0220 Pre/Postconditions on Access_To_Subprogram typesEd Schonberg1-0/+156
2020-06-17[Ada] Remove unnecessary special-casing of GNATprove expansionPiotr Trojanek1-2/+2
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-1/+1
2020-06-16[Ada] Implement AI12-0351 Matching for actuals for formal derived typesEric Botcazou1-42/+53
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-1/+10
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek1-1/+1
2020-06-12[Ada] Simplify getting discriminant value from a list of constraintsPiotr Trojanek1-8/+12
2020-06-12[Ada] Implement AI12-0269 No_Return for functionsEric Botcazou1-3/+17
2020-06-11[Ada] Iterate with procedural version of Next routine where possiblePiotr Trojanek1-1/+1
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-0/+21
2020-06-11[Ada] Skip unnecessary iterations over constraint expressionsPiotr Trojanek1-1/+4
2020-06-11[Ada] Move duplicated routines for building itypes to Sem_UtilPiotr Trojanek1-110/+2
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-23/+0
2020-06-10[Ada] Classwide controlled obj not dispatchingJavier Miranda1-13/+19
2020-06-09[Ada] Propagate DIC, Invariant and Predicate attributes to viewsEric Botcazou1-29/+31
2020-06-09[Ada] Remove bypass for instance bodies from Is_Visible_ComponentEric Botcazou1-33/+0
2020-06-09[Ada] Ada2020: AI12-0301 Predicates and Default_ValueArnaud Charlet1-2/+4
2020-06-08[Ada] Remove the Has_Dynamic_Range_Check flagEric Botcazou1-21/+2
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-266/+9
2020-06-05[Ada] Subtype inherits Atomic flag from base typeEd Schonberg1-0/+9
2020-06-05[Ada] Make the Has_Dynamic_Range_Check flag obsoleteEric Botcazou1-13/+21
2020-06-05[Ada] Fix assertion failure on double rederivation of private typeEric Botcazou1-19/+45
2020-06-04[Ada] Fix a couple of oversights in previous changeEric Botcazou1-4/+16
2020-06-04[Ada] Alignment clause ignored on completion derived from private typeEric Botcazou1-8/+23
2020-06-04[Ada] Small tweak to special handling of private index typesEric Botcazou1-3/+6
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-4/+4
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-125/+10
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Improved support for aspect alignment in CCGJavier Miranda1-1/+5
2020-06-02[Ada] Two typo fixesGary Dismukes1-2/+2
2020-06-02[Ada] Fix small oversight in latest change for Replace_DiscriminantsEric Botcazou1-1/+12
2020-06-02[Ada] Do not set the bounds of integer types to be universalEric Botcazou1-11/+15
2020-06-02[Ada] Fix bogus error for clause on derived type with variant partEric Botcazou1-29/+30
2019-12-18[Ada] Wrong error on hidden must-override primitiveBob Duff1-2/+11
2019-12-16[Ada] AI12-0001: Independence and Representation clauses for atomic objectsEric Botcazou1-22/+48
2019-12-13[Ada] Implement AI12-0109 (prohibit some "early" derivations)Steve Baird1-3/+11
generated by cgit v1.1 at 2024-08-19 14:08:38 +0000