aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
AgeCommit message (Expand)AuthorFilesLines
2020-07-27[Ada] AI12-0377 View conversions and out parameters revisitedArnaud Charlet1-15/+22
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-128/+123
2020-07-27[Ada] Ada2020: AI12-0027 Access values and unaliased componentJavier Miranda1-1/+17
2020-07-23[Ada] Ada2020: AI12-0027 Access values and unaliased componentArnaud Charlet1-17/+1
2020-07-15[Ada] Assert failure with -gnatwrArnaud Charlet1-4/+3
2020-07-15[Ada] Fix slices and qualified expressions being effectively volatilePiotr Trojanek1-1/+1
2020-07-15[Ada] Extend static functionsArnaud Charlet1-9/+8
2020-07-10[Ada] Ada2020: AI12-0368 Declare expressions can be staticBob Duff1-8/+92
2020-07-10[Ada] Fix assertion failure on (in-)out function parameterYannick Moy1-0/+1
2020-07-10[Ada] Part of implementation of AI12-0212: container aggregatesEd Schonberg1-0/+11
2020-07-07[Ada] Move generation of range checks for entry families to expanderEric Botcazou1-8/+15
2020-07-06[Ada] Visibility error with aggregate in Declare_ExpressionEd Schonberg1-2/+54
2020-07-06[Ada] Remove special case for processing null range in GNATprovePiotr Trojanek1-6/+1
2020-06-19[Ada] Fix small fallout of previous change for allocatorEric Botcazou1-1/+3
2020-06-19[Ada] Plug small loophole in implementation of AI12-0100Eric Botcazou1-13/+4
2020-06-18[Ada] ACATS 4.1L - B452002 - Wrong universal access "=" rulesArnaud Charlet1-10/+10
2020-06-17[Ada] Improve error message on anonymous access parameter conversionArnaud Charlet1-1/+1
2020-06-17[Ada] Couple of small tweaks related to integer conversionsEric Botcazou1-0/+12
2020-06-17[Ada] Add assertions to Preserve_Comes_From_Source and reuse itPiotr Trojanek1-1/+1
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-1/+36
2020-06-16[Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)Steve Baird1-0/+81
2020-06-15[Ada] Incorrect accessibility checks on functions callsJustin Squirek1-4/+7
2020-06-15[Ada] Use uniform type resolution for membership testsEric Botcazou1-14/+13
2020-06-12[Ada] Fix anonymous-to-named access type implicit conversion legality checkingSteve Baird1-6/+83
2020-06-12[Ada] AI12-0074 View conversions and out parameters passed by copyArnaud Charlet1-56/+81
2020-06-12[Ada] Fix handling of Ada 83 OUT parameter ruleArnaud Charlet1-2/+24
2020-06-12[Ada] Reuse Is_Entry where possiblePiotr Trojanek1-4/+3
2020-06-12[Ada] Detect overlapping actuals in entry callsPiotr Trojanek1-0/+7
2020-06-11[Ada] Fix missing insertion of explicit dereference in instanceEric Botcazou1-0/+11
2020-06-11[Ada] Iterate with procedural version of Next routine where possiblePiotr Trojanek1-2/+2
2020-06-11[Ada] Update SPARK RM rule numbers after removing a redundant rulePiotr Trojanek1-7/+7
2020-06-11[Ada] Consolidate handling of implicit dereferences into semantic analysisEric Botcazou1-11/+41
2020-06-10[Ada] Remove obsolete code in Resolve_CallEric Botcazou1-20/+0
2020-06-10[Ada] Minor fix style and typos in commentsPiotr Trojanek1-1/+1
2020-06-10[Ada] Incorrect accessibility checks on functions callsJustin Squirek1-0/+8
2020-06-09[Ada] Fix wrong type being used for range check generationGhjuvan Lacambre1-2/+4
2020-06-09[Ada] Refine implementation of AI05-0149 missing conversion checksArnaud Charlet1-1/+1
2020-06-08[Ada] Implement predicate checks on qualified expressions (AI12-0100)Gary Dismukes1-22/+10
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-268/+0
2020-06-08[Ada] Do not warn on partial access to atomic object with address clauseEric Botcazou1-7/+9
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-2/+2
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-112/+2
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Get rid of more references to Universal_Integer in expanded codeEric Botcazou1-4/+13
2020-06-02[Ada] Get rid of more references to Universal_Integer in expanded codeEric Botcazou1-25/+53
2019-12-18[Ada] Missing accessibility actuals on calls to interface conversion functionsGary Dismukes1-0/+27
2019-12-16[Ada] Do not issue restriction violations on ignored ghost codeYannick Moy1-1/+7
2019-12-16[Ada] Implement new legality rules introduced in C.6(13) by AI12-0128Eric Botcazou1-3/+19
2019-12-13[Ada] Better error message for aliased formal and atomic actualEric Botcazou1-1/+1
2019-12-13[Ada] Detect illegal implicit type conversionsSteve Baird1-2/+2
generated by cgit v1.1 at 2025-01-17 00:13:03 +0000