aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
AgeCommit message (Expand)AuthorFilesLines
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-121/+114
2020-07-10[Ada] Fix internal error on if-expression in call returning tagged typeEric Botcazou1-0/+21
2020-07-07[Ada] Move generation of range checks for entry families to expanderEric Botcazou1-1/+1
2020-07-06[Ada] Avoid forced loading of System.Priority in CodePeer modePiotr Trojanek1-1/+1
2020-06-19[Ada] Small cleanup in Apply_Range_Check implementationEric Botcazou1-122/+101
2020-06-19[Ada] Remove repeated testing of Check_Validity_Of_ParametersPiotr Trojanek1-10/+8
2020-06-18[Ada] Improve compile-time evaluation of value rangesEric Botcazou1-432/+506
2020-06-18[Ada] Fix failed assertion on a slice indexed by a subtype_indicationPiotr Trojanek1-0/+4
2020-06-18[Ada] Cleanups in code related to static expressionsPiotr Trojanek1-5/+3
2020-06-17[Ada] Add early return to Apply_Universal_Integer_Attribute_ChecksEric Botcazou1-0/+5
2020-06-17[Ada] Do not generate useless length check for array initializationEric Botcazou1-0/+28
2020-06-17[Ada] Remove unnecessary special-casing of GNATprove expansionPiotr Trojanek1-5/+5
2020-06-16[Ada] Minor casing of " The " after a comma in docs and commentsPiotr Trojanek1-1/+1
2020-06-11[Ada] Iterate with procedural version of Next routine where possiblePiotr Trojanek1-1/+1
2020-06-11[Ada] Consolidate handling of implicit dereferences into semantic analysisEric Botcazou1-0/+9
2020-06-09[Ada] Propagate DIC, Invariant and Predicate attributes to viewsEric Botcazou1-12/+30
2020-06-08[Ada] Remove the Has_Dynamic_Range_Check flagEric Botcazou1-60/+14
2020-06-08[Ada] Implement predicate checks on qualified expressions (AI12-0100)Gary Dismukes1-1/+7
2020-06-05[Ada] Make the Has_Dynamic_Range_Check flag obsoleteEric Botcazou1-2/+10
2020-06-05[Ada] Rename parameter of routines in ChecksEric Botcazou1-129/+129
2020-06-04[Ada] Remove obsolete reference to gigi in commentEric Botcazou1-3/+0
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-2/+2
2020-06-03[Ada] Avoid creating temporaries in Universal_Integer for range checksEric Botcazou1-2/+32
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-1/+1
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Address potentially uninitialized variables and dead codeArnaud Charlet1-2/+2
2019-12-16[Ada] Minor reformatting and U.S. spelling adjustmentGary Dismukes1-9/+8
2019-12-16[Ada] Crash on conversion in branch of if-expressionEd Schonberg1-1/+11
2019-09-18[Ada] Fix spurious alignment warning on simple address clauseEric Botcazou1-2/+21
2019-08-21[Ada] Minor refactorings/reformattingsPiotr Trojanek1-1/+1
2019-08-21[Ada] Avoid spurious error in GNATprove mode on non-null access typesYannick Moy1-0/+6
2019-08-20[Ada] Minor reformattingsGary Dismukes1-1/+1
2019-08-19[Ada] Improve warnings about "too few elements" and "too many elements"Gary Dismukes1-2/+42
2019-08-12[Ada] Fix leak of Do_Range_Check flag in -gnatVa modeEric Botcazou1-8/+5
2019-08-12[Ada] Fix missing range check for In/Out parameter with -gnatVaEric Botcazou1-1/+7
2019-08-12[Ada] Fix incorrect Do_Range_Check on type conversionEric Botcazou1-3/+8
2019-07-23[Ada] Plug small loophole in Generate_Range_CheckEric Botcazou1-35/+33
2019-07-23[Ada] Eliminate redundant overflow checks for conversions from fixed-pointEric Botcazou1-1/+1
2019-07-22[Ada] Overhaul code implementing conversions involving fixed-point typesEric Botcazou1-2/+3
2019-07-11[Ada] Minor refactoringPiotr Trojanek1-1/+1
2019-07-11[Ada] Minor reformattingHristian Kirtchev1-9/+9
2019-07-11[Ada] No warning for guaranteed accessibility check failuresJustin Squirek1-5/+20
2019-07-05[Ada] Incorrect accessibility checkJustin Squirek1-2/+17
2019-07-05[Ada] Minor reformattingHristian Kirtchev1-1/+1
2019-07-05[Ada] Compiler abort on a dynamic predicate used in a preconditionEd Schonberg1-0/+35
2019-07-01[Ada] Minor reformattingHristian Kirtchev1-4/+4
2019-07-01[Ada] Wrong code with -gnatVa on lock-free protected objectsEd Schonberg1-0/+13
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-11[Ada] Volatility, validity checks, and System.Aux_DECHristian Kirtchev1-17/+17
2018-12-03[Ada] Minor reformattingsHristian Kirtchev1-1/+0
generated by cgit v1.1 at 2024-08-19 14:39:27 +0000