aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_warn.adb
AgeCommit message (Expand)AuthorFilesLines
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-12-06ada: Suppress warning for specific constant valid conditionEric Botcazou1-1/+39
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-0/+1
2022-11-21ada: Move warnings switchesBob Duff1-1/+2
2022-11-07ada: Suppress warnings on derived True/FalseBob Duff1-70/+49
2022-11-07ada: Flip warning suppression routine to positive meaningPiotr Trojanek1-16/+11
2022-11-07ada: Cleanup detection of code within generic instancesPiotr Trojanek1-1/+0
2022-11-07ada: Remove redundant suppression for non-modified IN OUT parametersPiotr Trojanek1-6/+4
2022-11-07ada: Don't reuse operator nodes in expansionPiotr Trojanek1-25/+0
2022-11-07ada: Fix missing tag for with of an obsolescent functionPiotr Trojanek1-1/+1
2022-11-04ada: Cleanup code for warnings about unreferenced formal parametersPiotr Trojanek1-9/+0
2022-11-04ada: Cleanup code for unreferenced variablesPiotr Trojanek1-19/+10
2022-11-04ada: Cleanup code for warnings about unset referencesPiotr Trojanek1-12/+6
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-1/+1
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
generated by cgit v1.1 at 2025-03-05 01:58:49 +0000