aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
AgeCommit message (Expand)AuthorFilesLines
2023-05-26ada: Add missing guards in Selected_Range_ChecksEric Botcazou1-0/+2
2023-05-22ada: Incorrect constant folding in postcondition involving 'OldJustin Squirek1-1/+12
2023-05-22ada: Remove extra parenthesesArnaud Charlet1-5/+5
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2023-01-03ada: Make Apply_Discriminant_Check.Denotes_Explicit_Dereference more robustEric Botcazou1-10/+18
2022-12-06ada: Accessibility code reorganization and bug fixesJustin Squirek1-113/+0
2022-11-14ada: Crash on applying 'Pos to expression of a type derived from a formal typeGary Dismukes1-3/+4
2022-11-07ada: Deconstruct Safe_To_Capture_In_Parameter_ValuePiotr Trojanek1-117/+3
2022-11-07ada: Don't reuse operator nodes in expansionPiotr Trojanek1-11/+16
2022-11-04ada: Refactor: replace uses of `not Present(X)` with `No (X)`Ghjuvan Lacambre1-2/+2
2022-09-12[Ada] Fix bugs in check-related warnings.Bob Duff1-10/+17
2022-09-06[Ada] Cope with scalar subtypes that have a non-scalar basetype.Steve Baird1-1/+2
2022-07-04[Ada] Use static stack allocation for small string if-expressionsEric Botcazou1-8/+91
2022-06-01[Ada] Fix predicate check on object declarationMarc Poulhiès1-6/+20
2022-05-16[Ada] Handle case-expression inside if-expression in -gnato2Etienne Servais1-0/+5
2022-05-10[Ada] Fix incorrect range computationMarc Poulhiès1-13/+40
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2022-01-06[Ada] Fix style in calls to Compile_Time_Constraint_ErrorPiotr Trojanek1-6/+6
2021-11-09[Ada] Fix detection of array aggregates with single others associationsPiotr Trojanek1-0/+2
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-1/+1
2021-10-25[Ada] Renamed_Or_Alias cleanupBob Duff1-2/+3
2021-10-20[Ada] Factor out machine rounding operationsEric Botcazou1-4/+4
2021-10-20[Ada] Fix type conversion handling in validity checksMarc Poulhiès1-1/+10
2021-10-04[Ada] Fix comment about expansion of slicesPiotr Trojanek1-1/+1
2021-10-01[Ada] Improved checking for invalid index values when accessing array elementsSteve Baird1-3/+20
2021-09-21[Ada] Clean up uses of Esize and RM_SizeBob Duff1-0/+1
2021-09-20[Ada] Present and No functions for type UintBob Duff1-9/+9
2021-07-07[Ada] Optimize away certain elaboration checksBob Duff1-8/+15
2021-07-07[Ada] Simplify handling of sure errors in GNATprove modeYannick Moy1-7/+0
2021-07-07[Ada] Transient scope cleanupBob Duff1-4/+2
2021-07-06[Ada] Removal of various ??? comments plus related code changesGary Dismukes1-4/+0
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-1/+10
2021-07-05[Ada] Clean up Get_Index_BoundsBob Duff1-33/+36
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-0/+4
2021-06-21[Ada] Implement fixed-lower-bound consistency checks for qualified_expressionsGary Dismukes1-0/+50
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-0/+5
2021-06-17[Ada] Implementation of Inox feature of fixed lower bounds on array types/sub...Gary Dismukes1-10/+45
2021-06-17[Ada] Use source casing in messages for aliasing checksPiotr Trojanek1-10/+10
2021-06-17[Ada] Apply aliasing checks only to names and not to objects as actualsPiotr Trojanek1-17/+4
2021-06-16[Ada] Fix aliasing check for actual parameters passed by referencePiotr Trojanek1-18/+40
2021-05-07[Ada] Minor reformattingsBob Duff1-43/+43
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-1/+1
2021-05-07[Ada] Variable-sized node typesBob Duff1-3/+6
2021-05-06[Ada] Spurious constraint error on conversion of access typesJustin Squirek1-0/+14
2021-05-04[Ada] Address some ??? comments in checks.adbArnaud Charlet1-121/+80
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Replace calls to RTE with Is_RTE where possiblePiotr Trojanek1-3/+1
2021-04-29[Ada] Missing access-to-discriminated conversion checkJustin Squirek1-77/+124
2020-12-17[Ada] Remove unused subprograms in validswArnaud Charlet1-15/+1
2020-12-17[Ada] Crash on discriminant check with current instanceJustin Squirek1-0/+34
generated by cgit v1.1 at 2025-01-04 00:11:06 +0000