aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
2020-10-23[Ada] Further Ada 2020 work on accessibility checkingJustin Squirek1-32/+35
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-2/+2
2020-10-22[Ada] Reimplementation of accessibility checkingJustin Squirek1-27/+16
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-33/+51
2020-10-19[Ada] Missing check on array concatenationArnaud Charlet1-2/+3
2020-10-19[Ada] No range check on fixed point to integer conversionArnaud Charlet1-15/+46
2020-10-16[Ada] Reduce use of primary stack on string concatenationArnaud Charlet1-23/+91
2020-10-15[Ada] Add support for compile time evaluation of Shift_Right_ArithmeticArnaud Charlet1-40/+53
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-50/+44
2020-07-23[Ada] Ada2020: AI12-0027 Access values and unaliased componentArnaud Charlet1-2/+2
2020-07-16[Ada] Spurious accessibility error on allocator in generic instanceJustin Squirek1-15/+25
2020-07-16[Ada] AI12-0042: Type invariant checking rulesGary Dismukes1-0/+33
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-7/+6
2020-07-10[Ada] Small cleanup throughout Exp_Ch4Eric Botcazou1-33/+32
2020-07-08[Ada] Do not apply constraint checks on allocator with No_InitializationEric Botcazou1-2/+3
2020-07-08[Ada] Small tweak to Narrow_Large_Operation procedureEric Botcazou1-3/+5
2020-07-07[Ada] ACATS 4.1K - C452003Arnaud Charlet1-33/+53
2020-07-06[Ada] Various typo fixes and reformatting of commentsGary Dismukes1-5/+5
2020-06-26Take into account range info to optimize range tests into bit testsEric Botcazou1-5/+8
2020-06-18[Ada] Fix small inefficiency in previous change to expanderEric Botcazou1-11/+33
2020-06-18[Ada] Narrow large arithmetic and comparison operationsEric Botcazou1-13/+343
2020-06-18[Ada] Small cleanup in constraint checking code for allocatorsEric Botcazou1-43/+58
2020-06-18[Ada] Fix invalid expression sharing in Expand_Array_EqualityEric Botcazou1-9/+8
2020-06-18[Ada] Small improvement to Optimize_Length_ComparisonEric Botcazou1-2/+3
2020-06-17[Ada] Fix incorrect operand sharing after expansionEric Botcazou1-7/+6
2020-06-17[Ada] Add assertions to Preserve_Comes_From_Source and reuse itPiotr Trojanek1-2/+2
2020-06-17[Ada] Deal with second specific superflat case in Optimize_Length_ComparisonEric Botcazou1-14/+82
2020-06-17[Ada] Fix small oversight in change to Optimize_Length_ComparisonEric Botcazou1-16/+27
2020-06-17[Ada] Optimize length checks generated for slice assignmentsEric Botcazou1-63/+126
2020-06-16[Ada] Expand 'Pos and 'Val for enumeration types with standard representationEric Botcazou1-2/+4
2020-06-16[Ada] ACATS C452005/C452006 memberships use wrong equality operationArnaud Charlet1-3/+6
2020-06-16[Ada] ACATS 4.1K - B452001 - No errors detectedArnaud Charlet1-0/+5
2020-06-15[Ada] Implement AI12-0343 Return Statement ChecksEric Botcazou1-71/+18
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-12/+10
2020-06-15[Ada] Bad access checks on if/case expression as actualJustin Squirek1-8/+78
2020-06-11[Ada] Consolidate handling of implicit dereferences into semantic analysisEric Botcazou1-47/+6
2020-06-10[Ada] Implement AI12-0162 Memberships and Unchecked_UnionsEric Botcazou1-11/+12
2020-06-10[Ada] Minor fix style and typos in commentsPiotr Trojanek1-1/+1
2020-06-09[Ada] Code clean ups and comments updatesArnaud Charlet1-1/+1
2020-06-09[Ada] Membership test against a non-excluding subtypeArnaud Charlet1-33/+36
2020-06-08[Ada] AI12-0085 Missing aspect cases for Remote_TypesArnaud Charlet1-1/+1
2020-06-08[Ada] Implement predicate checks on qualified expressions (AI12-0100)Gary Dismukes1-0/+4
2020-06-03[Ada] Small improvement to Expand_N_Unchecked_Type_ConversionEric Botcazou1-3/+3
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-1/+1
2020-06-02[Ada] CCG: regressions on ACATS c460007, c46013a, cd1009dJavier Miranda1-0/+52
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Remove degenerate Treat_Fixed_As_Integer mechanismEric Botcazou1-36/+17
2020-06-02[Ada] Address potentially uninitialized variables and dead codeArnaud Charlet1-4/+7
2019-12-13[Ada] Adding support for unsupported type conversion in CCGJavier Miranda1-0/+21
2019-12-13[Ada] Implement AI12-0101Steve Baird1-36/+98
generated by cgit v1.1 at 2025-03-30 09:07:05 +0000