aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_warn.adb
AgeCommit message (Expand)AuthorFilesLines
2022-07-04[Ada] Avoid unwanted warnings for statically-known-successful assertionsSteve Baird1-2/+7
2022-06-01[Ada] Fix "formal parameter & is not referenced" not being properly taggedGhjuvan Lacambre1-1/+2
2022-06-01[Ada] Adjust warning switchesGhjuvan Lacambre1-11/+12
2022-05-30[Ada] Fix Warn_On_All_Unread_Out_Parameters not being properly taggedGhjuvan Lacambre1-1/+1
2022-05-30[Ada] Deconstruct deferred referencesPiotr Trojanek1-7/+0
2022-05-12[Ada] Add more dummy names in Sem_Warn.Has_Junk_NameArnaud Charlet1-1/+3
2022-05-11[Ada] Detect infinite loops with operators in exit conditionsPiotr Trojanek1-7/+9
2022-05-10[Ada] Simplify call to overloaded Earlier_In_Extended_UnitPiotr Trojanek1-1/+1
2022-05-10[Ada] Prevent search for references in postconditions from going too farPiotr Trojanek1-0/+5
2022-05-10[Ada] Remove tiny and incomplete optimization for unset referencesPiotr Trojanek1-9/+0
2022-05-10[Ada] Check declare and qualified expressions for unset referencesPiotr Trojanek1-6/+4
2022-01-11[Ada] Task arrays trigger spurious unreferenced warningsJustin Squirek1-6/+3
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-10[Ada] Task arrays trigger spurious unreferenced warningsJustin Squirek1-1/+8
2022-01-07[Ada] Cleanup and modification of unreferenced warningsJustin Squirek1-6/+7
2021-12-02[Ada] Simplify iteration over record componentsPiotr Trojanek1-5/+4
2021-12-02[Ada] Refactor nested loops in warning on unassigned out parameterPiotr Trojanek1-23/+21
2021-12-02[Ada] Remove duplicated condition in warnings about read-before-writePiotr Trojanek1-9/+7
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-6/+6
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-2/+2
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
generated by cgit v1.1 at 2024-09-29 00:02:52 +0000