aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_warn.adb
AgeCommit message (Expand)AuthorFilesLines
2021-06-29[Ada] More robust guard against cascaded errors with overlapping actualsPiotr Trojanek1-3/+7
2021-06-18[Ada] Warn about overlapping actuals in all versions of AdaPiotr Trojanek1-10/+4
2021-06-18[Ada] Fix asymmetries in detection of overlapping actualsPiotr Trojanek1-11/+30
2021-06-18[Ada] Warn on 'in out' param containing access in private typeBob Duff1-12/+12
2021-06-18[Ada] Remove dead code for overlapping actuals in prefix notationPiotr Trojanek1-36/+6
2021-06-17[Ada] Warn on 'in out' param containing access in predefined private typeBob Duff1-4/+7
2021-06-17[Ada] Check all pairs of actuals for overlappingPiotr Trojanek1-9/+5
2021-06-17[Ada] Fix handling of generic types in check for overlapping actualsPiotr Trojanek1-7/+10
2021-06-17[Ada] Remove dead code for overlapping actuals and prefix notationPiotr Trojanek1-6/+0
2021-06-17[Ada] Cleanup redundant conditions in checks for overlapping actualsPiotr Trojanek1-127/+106
2021-06-17[Ada] Minor comment cleanupArnaud Charlet1-1/+1
2021-05-07[Ada] Minor reformattingsBob Duff1-28/+28
2021-05-07[Ada] Variable-sized node typesBob Duff1-3/+7
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Spurious warning about premature use of selected componentEd Schonberg1-0/+11
2020-12-16[Ada] Simplify membership tests with N_Delay_Statement subtypePiotr Trojanek1-3/+1
2020-12-14[Ada] Fix warning control character for message on IN OUT parameterYannick Moy1-3/+3
2020-10-26[Ada] Suppress warnings on unreferenced parameters of dispatching opsArnaud Charlet1-11/+18
2020-10-22[Ada] Reduce scope of local variables for detecting extra WITH clausesPiotr Trojanek1-10/+12
2020-10-22[Ada] Cleanup repeated code in checks for unused WITH clausesPiotr Trojanek1-51/+43
2020-10-20[Ada] New warning on not fully initialized box aggregateArnaud Charlet1-2/+8
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-33/+35
2020-07-06[Ada] Crash when an exception handler is executed with -gnatdkPiotr Trojanek1-0/+7
2020-06-19[Ada] Spurious condition warning on type conversion in returnJustin Squirek1-0/+1
2020-06-19[Ada] Add missing warning tag for some overlapping actuals warningsArnaud Charlet1-3/+3
2020-06-17[Ada] Various typo corrections plus minor reformattingGary Dismukes1-2/+2
2020-06-16[Ada] Fix typo in comment about overlapping actualsPiotr Trojanek1-1/+1
2020-06-16[Ada] Implement AI12-0216 on restricting overlap errors in callsEd Schonberg1-30/+13
2020-06-12[Ada] Remove redundant iterations in checks for overlapping actualsPiotr Trojanek1-60/+42
2020-06-12[Ada] Remove suppression for overlapping actuals in internal unitsPiotr Trojanek1-8/+2
2020-06-11[Ada] Iterate with procedural version of Next routine where possiblePiotr Trojanek1-1/+1
2020-06-11[Ada] Additional warnings on overlapping actuals of composite typesEd Schonberg1-109/+138
2020-06-11[Ada] Consolidate handling of implicit dereferences into semantic analysisEric Botcazou1-1/+1
2020-06-11[Ada] Simplify iteration over formal parameters for aliasing errorPiotr Trojanek1-4/+4
2020-06-10[Ada] Additional warnings on overlapping actuals of composite typesEd Schonberg1-1/+17
2020-06-09[Ada] Add missing tag with -gnatw.dArnaud Charlet1-2/+2
2020-06-04[Ada] New procedure Register_Global_Unhandled_ActionArnaud Charlet1-4/+3
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2019-10-10[Ada] Spurious warning on call with out parameter in expression functionEd Schonberg1-0/+6
2019-10-10[Ada] Mention GNAT Studio instead of GPSAnthony Leonardo Gracio1-4/+4
2019-08-19[Ada] Suppress warnings on unreferenced parameters of dispatching opsBob Duff1-5/+25
2019-08-19[Ada] Improve placement of warning on formals of generic subprogramsEd Schonberg1-1/+46
2019-07-22[Ada] Misleading warning on variable not assignedEd Schonberg1-2/+6
2019-07-22[Ada] Fix spurious loop warning for function with Out parameterEric Botcazou1-0/+5
2019-07-09[Ada] Reformat commentsPiotr Trojanek1-1/+1
2019-07-03[Ada] Improve warnings about infinite loopsBob Duff1-3/+10
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-07-17[Ada] Fix RM rule referencesPiotr Trojanek1-3/+2
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-15gnat_and_program_execution.rst: Update section "Dynamic Stack Usage Analysis"...Pierre-Marie de Rodat1-10/+5