aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_warn.adb
AgeCommit message (Expand)AuthorFilesLines
2024-06-10ada: Unreferenced warning on abstract subprogramJustin Squirek1-4/+8
2024-05-14ada: Fix typo in diagnostic messageRonan Desplanques1-1/+1
2024-05-14ada: Fix overlap warning suppressionRonan Desplanques1-20/+13
2024-05-06ada: Spurious reference warning on qualified expressionJustin Squirek1-1/+2
2024-05-06ada: Spurious reference warning on qualified expressionJustin Squirek1-0/+4
2024-05-06ada: Spurious reference warning on qualified expressionJustin Squirek1-10/+10
2024-05-06ada: Spurious reference warning on qualified expressionJustin Squirek1-0/+10
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-21ada: Small consistency fix for -gnatwv warningEric Botcazou1-8/+38
2023-07-28ada: Improve defense against illegal code in check for infinite loopsPiotr Trojanek1-1/+3
2023-05-22ada: Remove redundant protection against empty listsPiotr Trojanek1-1/+1
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