aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)AuthorFilesLines
2020-10-21[Ada] Basic support for 128-bit typesEric Botcazou1-1/+1
2020-10-20[Ada] Refine result type of Get_AccessibilityPiotr Trojanek1-1/+1
2020-10-20[Ada] Implement AI12-0280 Making 'Old more flexibleSteve Baird1-1/+87
2020-10-20[Ada] Fix comments as volatility properties can apply to objectsYannick Moy1-4/+4
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-0/+7
2020-10-19[Ada] Expanded names in ghost assignmentsBob Duff1-0/+3
2020-10-16[Ada] Constants no longer synchronised if they are access-to-variableChris Martin1-1/+4
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-3/+24
2020-09-03Look at fullest view when checking for static types in unnestingArnaud Charlet1-0/+6
2020-07-27[Ada] Ada2020: AI12-0027 Access values and unaliased componentJavier Miranda1-0/+10
2020-07-16[Ada] Ada2020: AI12-0107 convention of By_Protected_ProcedureJavier Miranda1-0/+4
2020-07-15[Ada] Extend static functionsArnaud Charlet1-6/+6
2020-07-10[Ada] Use small limit for aggregates inside subprogramsArnaud Charlet1-0/+5
2020-07-08[Ada] Accept aspect Relaxed_Initialization on generic subprogramsPiotr Trojanek1-1/+1
2020-07-08[Ada] ACATS 4.1R - BD10001 - Error missedArnaud Charlet1-1/+1
2020-07-08[Ada] Add utility function to recognize attribute 'Loop_EntryYannick Moy1-0/+3
2020-07-08[Ada] Remove excessive validity checks on in-parametersPiotr Trojanek1-7/+8
2020-07-08[Ada] Allow boolean expressions in aspect Relaxed_InitializationPiotr Trojanek1-3/+3
2020-07-07[Ada] Ada2020: AI12-0198 potentially unevaluated components of arraysJavier Miranda1-5/+5
2020-07-06[Ada] Ada2020: AI12-0198 potentially unevaluated array componentsJavier Miranda1-0/+10
2020-07-06[Ada] Predicates and the current instance of a subtype (AI12-0068)Gary Dismukes1-0/+7
2020-06-19[Ada] Add comments about attribute 'Valid_Scalars on private tagged typesPiotr Trojanek1-4/+4
2020-06-17[Ada] Support aspect Relaxed_Initialization on private types and constantsPiotr Trojanek1-3/+4
2020-06-17[Ada] Fix comment of Get_Iterable_Type_PrimitivePiotr Trojanek1-2/+2
2020-06-17[Ada] Implement static expression functions for Ada 202x (AI12-0075)Gary Dismukes1-0/+9
2020-06-16[Ada] Implement AI12-0249, AI12-0295 (user-defined numeric & string literals)Steve Baird1-0/+4
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-2/+3
2020-06-15[Ada] Bad access checks on if/case expression as actualJustin Squirek1-0/+4
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek1-0/+5
2020-06-15[Ada] Remove unreferenced and dubious Is_Renaming_DeclarationPiotr Trojanek1-3/+0
2020-06-12[Ada] Implement AI12-0369Steve Baird1-0/+9
2020-06-11[Ada] Update SPARK RM rule numbers after removing a redundant rulePiotr Trojanek1-1/+1
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-12/+21
2020-06-11[Ada] Move duplicated routines for building itypes to Sem_UtilPiotr Trojanek1-8/+49
2020-06-11[Ada] Consolidate handling of implicit dereferences into semantic analysisEric Botcazou1-0/+5
2020-06-11[Ada] Crash on dispatching conditional entry callJavier Miranda1-0/+10
2020-06-10[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram typesEd Schonberg1-0/+4
2020-06-10[Ada] Incorrect accessibility checks on functions callsJustin Squirek1-4/+15
2020-06-09[Ada] Code refactoring on calls to Set_Debug_Info_NeededArnaud Charlet1-0/+4
2020-06-09[Ada] Propagate DIC, Invariant and Predicate attributes to viewsEric Botcazou1-5/+11
2020-06-09[Ada] Ada2020: AI12-0301 Predicates and Default_ValueArnaud Charlet1-1/+2
2020-06-08[Ada] Remove processing of SPARK_05 restrictionArnaud Charlet1-11/+0
2020-06-05[Ada] Add comment about function only used in CodePeerYannick Moy1-0/+1
2020-06-05[Ada] Put_Image attributeBob Duff1-7/+2
2020-06-03[Ada] Remove more cases of empty loopsArnaud Charlet1-0/+7
2020-06-03[Ada] Incorrect accessibility checking on aliased formalsJustin Squirek1-0/+11
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Unnesting bugs with array renamings generated for quantified exprGary Dismukes1-3/+4
2019-12-18[Ada] Fix three-letter typos like "sss" in comments and docsPiotr Trojanek1-1/+1
generated by cgit v1.1 at 2025-02-19 17:24:18 +0000