aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.adb
AgeCommit message (Expand)AuthorFilesLines
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
2020-07-10[Ada] Potentially unevaluated nested expressionsJavier Miranda1-92/+119
2020-07-10[Ada] Fix detection of volatile properties in SPARKYannick Moy1-0/+8
2020-07-10[Ada] Remove references to non-existing E_Protected_ObjectPiotr Trojanek1-8/+0
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-0/+11
2020-07-10[Ada] Fix failing assertions related to volatile objectsPiotr Trojanek1-3/+7
2020-07-08[Ada] Minor reformatting and typo fixGary Dismukes1-1/+1
2020-07-08[Ada] ACATS 4.1R - BD10001 - Error missedArnaud Charlet1-1/+1
2020-07-08[Ada] Update entities on class-wide condition function creationEd Schonberg1-1/+22
2020-07-08[Ada] Add utility function to recognize attribute 'Loop_EntryYannick Moy1-0/+10
2020-07-08[Ada] Remove excessive validity checks on in-parametersPiotr Trojanek1-8/+10
2020-07-08[Ada] Allow boolean expressions in aspect Relaxed_InitializationPiotr Trojanek1-2/+20
2020-07-07[Ada] Ada2020: AI12-0198 potentially unevaluated components of arraysJavier Miranda1-2/+1
2020-07-07[Ada] ACATS 4.1H - BC60005 - null exclusion matching for formal subprogramsArnaud Charlet1-1/+2
2020-07-07[Ada] Ada2020: AI12-0198 potentially unevaluated components of arraysJavier Miranda1-0/+3
2020-07-07[Ada] Ada2020: AI12-0198 potentially unevaluated components of arraysJavier Miranda1-189/+234
2020-07-06[Ada] Ada2020: AI12-0198 potentially unevaluated array componentsJavier Miranda1-8/+214
2020-07-06[Ada] Predicates and the current instance of a subtype (AI12-0068)Gary Dismukes1-1/+59
2020-06-18[Ada] Implement AI12-0032 fixes for 'Old attribute accessibilitySteve Baird1-0/+12
2020-06-18[Ada] Properly test for Protected_Body_SubprogramRichard Kenner1-2/+1
2020-06-18[Ada] The definition of constants in declare expressions is an interfering co...Claire Dross1-0/+1
2020-06-17[Ada] Support aspect Relaxed_Initialization on private types and constantsPiotr Trojanek1-1/+8
2020-06-17[Ada] Fix comment of Get_Iterable_Type_PrimitivePiotr Trojanek1-0/+10
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-1/+75
2020-06-16[Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)Steve Baird1-0/+57
generated by cgit v1.1 at 2025-03-30 05:29:46 +0000