aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/exp_ch4.adb
AgeCommit message (Expand)AuthorFilesLines
2020-11-30[Ada] Implement inheritance for Default_Initial_Condition and address other gapsGary Dismukes1-0/+18
2020-11-30[Ada] Confusion in Transform_Function_Array and internal subprogramsArnaud Charlet1-54/+191
2020-11-27[Ada] Restore general case for folding comparison of static stringsPiotr Trojanek1-1/+11
2020-11-27[Ada] Move down call to Narrow_Large_Operation in Expand_N_Op_MultiplyEric Botcazou1-10/+10
2020-11-27[Ada] Optimize generation of checks for fixed-point typesEric Botcazou1-32/+3
2020-11-26[Ada] Add support for 128-bit fixed-point types on 64-bit platformsEric Botcazou1-21/+8
2020-11-26[Ada] Memory leak in concatenation with Initialize_ScalarsBob Duff1-0/+9
2020-11-26[Ada] Incorrect runtime accessibility check on access discriminantJustin Squirek1-1/+1
2020-11-24[Ada] Reuse Is_Packed_Array where possiblePiotr Trojanek1-2/+1
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