aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/einfo.ads
AgeCommit message (Expand)AuthorFilesLines
2020-06-18[Ada] ACATS 4.1L - B452002 - Wrong universal access "=" rulesArnaud Charlet1-0/+4
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-0/+11
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-1/+1
2020-06-15[Ada] Implement AI12-0343 Return Statement ChecksEric Botcazou1-0/+5
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-2/+2
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek1-0/+6
2020-06-12[Ada] Implement AI12-0269 No_Return for functionsEric Botcazou1-2/+2
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-3/+3
2020-06-10[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram typesEd Schonberg1-0/+14
2020-06-10[Ada] Minor reformatting and some typo fixesGary Dismukes1-4/+4
2020-06-09[Ada] Small enhancement in XEinfo utilityEric Botcazou1-7/+9
2020-06-09[Ada] Small cleanup in Einfo unitEric Botcazou1-62/+121
2020-06-09[Ada] Missing documentation for Returns_By_RefJustin Squirek1-3/+5
2020-06-09[Ada] Propagate DIC, Invariant and Predicate attributes to viewsEric Botcazou1-4/+9
2020-06-05[Ada] Assertion_Policy (Ignore) ignores invariantsBob Duff1-9/+0
2020-06-03[Ada] Improve 'Val implementation for some enumeration typesEric Botcazou1-8/+10
2020-06-03[Ada] Fix typo in commentEric Botcazou1-1/+1
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-1/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-12-18[Ada] Einfo: fix typo in commentPiotr Trojanek1-1/+1
2019-12-18[Ada] Document the introduction of the Object_Size attribute in Ada 2020Eric Botcazou1-14/+21
2019-12-16[Ada] AI12-0001: Independence and Representation clauses for atomic objectsEric Botcazou1-11/+14
2019-12-13[Ada] Implement AI12-0109 (prohibit some "early" derivations)Steve Baird1-4/+4
2019-12-12[Ada] Mark Ada subprograms and variables referenced from gigiEric Botcazou1-0/+6
2019-10-10[Ada] Assertion_Policy (Ignore) ignores invariantsBob Duff1-2/+11
2019-09-18[Ada] Spurious run time error on anonymous access formalsJustin Squirek1-0/+13
2019-08-20[Ada] Minor reformattingsGary Dismukes1-7/+7
2019-08-19[Ada] Einfo: update comments for E_Function and E_ProcedureGary Dismukes1-3/+3
2019-08-14[Ada] Compiler speedup with inlining across unitsEric Botcazou1-5/+6
2019-08-12[Ada] New aspect/pragma No_Caching for analysis of volatile dataYannick Moy1-0/+1
2019-07-22[Ada] Remove obsolete Is_For_Access_Subtype machineryEric Botcazou1-11/+0
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-07-09[Ada] Einfo: fix a typoPiotr Trojanek1-1/+1
2019-07-05[Ada] Typo fixesPiotr Trojanek1-1/+1
2019-07-03[Ada] Spell "laid" correctlyBob Duff1-2/+2
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Fix elaboration of record with 1-element dynamic arrayEric Botcazou1-4/+4
2018-10-09[Ada] Einfo: minor comment fixEric Botcazou1-1/+1
2018-08-21[Ada] Einfo: remove obsolete codeBob Duff1-35/+0
2018-08-21[Ada] Crash on entry in generic with dynamic elaboration checksHristian Kirtchev1-7/+8
2018-07-17[Ada] Consistent spelling of "i.e." in docs and commentsPiotr Trojanek1-1/+1
2018-07-17[Ada] Einfo: update documentation for Scalar_RangeEd Schonberg1-2/+3
2018-07-16[Ada] Einfo: minor tweak in commentEric Botcazou1-2/+2
2018-05-31[Ada] Minor comment improvementEd Schonberg1-0/+4
2018-05-31[Ada] Post warning on object size clause for subtypeEric Botcazou1-1/+12
2018-05-30[Ada] Update documentation of Sinfo.Package_Instantiation fieldPiotr Trojanek1-1/+1
2018-05-30[Ada] Secondary stack leak in "for X of ..." loopsBob Duff1-0/+11
2018-05-29[Ada] Clarify use of Activation_Record_ComponentEd Schonberg1-7/+5
2018-05-28[Ada] Unnesting: allow uplevel references to exceptionsEd Schonberg1-0/+1
2018-05-28[Ada] Introduce a new Needs_Activation_Record entity flagEd Schonberg1-0/+11
generated by cgit v1.1 at 2024-11-06 17:01:38 +0000