aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.adb
AgeCommit message (Expand)AuthorFilesLines
2020-11-30[Ada] Implement inheritance for Default_Initial_Condition and address other gapsGary Dismukes1-1/+9
2020-11-30[Ada] Spurious visibility error in subprogram body in with_clauseEd Schonberg1-0/+7
2020-11-27[Ada] Reuse Append_New_Elmt where possiblePiotr Trojanek1-10/+2
2020-11-27[Ada] Implement AI12-0187 (Stable properties of abstract data types)Steve Baird1-3/+2
2020-11-26[Ada] Remove duplicated calls to Set_EntityPiotr Trojanek1-2/+0
2020-11-26[Ada] Reuse Is_Concurrent_Type when detecting protected or task typesPiotr Trojanek1-1/+1
2020-11-26[Ada] Pass base type to Set_Has_Own_InvariantsBob Duff1-1/+1
2020-11-25[Ada] Document attribute Has_Tagged_Values in GNAT RMPiotr Trojanek1-1/+1
2020-11-25[Ada] Minimize side-effect removal in GNATprove modeYannick Moy1-0/+2
2020-11-24[Ada] Reuse Is_Packed_Array where possiblePiotr Trojanek1-2/+1
2020-11-24[Ada] Cleanup expansion of attribute ConstrainedPiotr Trojanek1-1/+1
2020-11-24[Ada] Recognize delta and extension aggregates as objectsPiotr Trojanek1-1/+4
2020-11-24[Ada] Handle correctly current instance of PO in local subprogram GlobalYannick Moy1-15/+28
2020-10-23[Ada] Further Ada 2020 work on accessibility checkingJustin Squirek1-189/+383
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-17/+18
2020-10-23[Ada] Iterative patch for accessibility cleanupJustin Squirek1-20/+85
2020-10-22[Ada] AI12-0211: Consistency of inherited nonoverridable aspectsSteve Baird1-1/+241
2020-10-22[Ada] Implement AI12-0280's interactions with container aggregatesSteve Baird1-56/+91
2020-10-22[Ada] Wrong accessibility for conversion to named accessJustin Squirek1-0/+7
2020-10-22[Ada] Implement AI12-0030: Stream attribute availabilitySteve Baird1-0/+66
2020-10-22[Ada] Reimplementation of accessibility checkingJustin Squirek1-539/+620
2020-10-22[Ada] AI12-0307: uniform resolution rules for aggregatesEd Schonberg1-0/+21
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-5/+15
2020-10-21[Ada] Fix typos and style in comments related to Default_Initial_ConditionPiotr Trojanek1-1/+1
2020-10-20[Ada] Refine result type of Get_AccessibilityPiotr Trojanek1-1/+1
2020-10-20[Ada] Replace low-level Ekind membership tests with high-level Is_FormalPiotr Trojanek1-1/+1
2020-10-20[Ada] Implement AI12-0280 Making 'Old more flexibleSteve Baird1-0/+909
2020-10-20[Ada] Fix comments as volatility properties can apply to objectsYannick Moy1-1/+1
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+14
2020-10-19[Ada] Expanded names in ghost assignmentsBob Duff1-16/+12
2020-10-16[Ada] Assorted style cleanupsPiotr Trojanek1-1/+1
2020-10-16[Ada] Constants no longer synchronised if they are access-to-variableChris Martin1-2/+15
2020-10-16[Ada] Detect qualified type names for AI12-0027Piotr Trojanek1-1/+1
2020-10-16[Ada] SPARK: update for effectively volatile types and objectsYannick Moy1-12/+101
2020-10-15[Ada] Fix access to uninitialized global variable when emitting errorPiotr Trojanek1-1/+1
2020-10-15[Ada] Code cleanupArnaud Charlet1-11/+2
2020-10-15[Ada] AI12-0385 Predefined shifts and rotates should be staticArnaud Charlet1-4/+9
2020-09-03Look at fullest view when checking for static types in unnestingArnaud Charlet1-0/+73
2020-07-27[Ada] Ada2020: AI12-0027 Access values and unaliased componentJavier Miranda1-0/+37
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-468/+422
2020-07-16[Ada] AI12-0373 Additional check on Integer_Literal functionArnaud Charlet1-18/+7
2020-07-16[Ada] Incorrect static accessibility error in return aggregateJustin Squirek1-1/+16
2020-07-16[Ada] Ada2020: AI12-0107 convention of By_Protected_ProcedureJavier Miranda1-0/+11
2020-07-15[Ada] Cleanup code related to object overlaysPiotr Trojanek1-2/+2
2020-07-15[Ada] Target name is an object referencePiotr Trojanek1-0/+5
2020-07-15[Ada] Guard against access to wrong fields in Is_RenamingGhjuvan Lacambre1-2/+22
2020-07-15[Ada] Missing error on operator callArnaud Charlet1-5/+5
2020-07-15[Ada] Fix slices and qualified expressions being effectively volatilePiotr Trojanek1-2/+9
2020-07-15[Ada] Cleanup condition for an effectively volatile array typePiotr Trojanek1-14/+16
2020-07-15[Ada] Extend static functionsArnaud Charlet1-21/+22
generated by cgit v1.1 at 2025-03-30 02:35:48 +0000