aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
AgeCommit message (Expand)AuthorFilesLines
2024-08-02ada: Implement No_Raise aspect & pragma on subprogramsEric Botcazou1-0/+85
2024-06-27ada: Implement first half of Generalized FinalizationEric Botcazou1-2/+4
2024-06-21ada: Fix missing index check with declare expressionEric Botcazou1-10/+26
2024-05-16ada: Redundant validity checksSteve Baird1-0/+3
2024-05-16ada: Fix reason code for length checkRonan Desplanques1-5/+8
2024-05-16ada: Fix comments about Get_Ranged_ChecksRonan Desplanques1-2/+2
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-11-30ada: Rework fix for wrong finalization of qualified aggregate in allocatorEric Botcazou1-49/+38
2023-11-30ada: Fix spelling of functions with(out) "side effects"Yannick Moy1-1/+1
2023-11-30ada: Fix wrong finalization for qualified aggregate of limited type in allocatorEric Botcazou1-0/+21
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
generated by cgit v1.1 at 2024-08-18 05:42:14 +0000