aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/einfo.adb
AgeCommit message (Expand)AuthorFilesLines
2024-01-22Update copyright years.Marc Poulhiès1-1/+1
2023-01-09ada: Update copyright noticeArnaud Charlet1-1/+1
2022-01-11[Ada] Update copyright notice and bump Gnatvsn.Current_YearArnaud Charlet1-1/+1
2021-05-07[Ada] Variable-sized node typesBob Duff1-11570/+1
2021-05-05[Ada] Speed up enumeration'Value with perfect hash functionPiotr Trojanek1-0/+16
2021-05-03[Ada] Replace low-level membership test with a high-level Is_Record_TypePiotr Trojanek1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-04-28[Ada] Assert failure on complex code with private type and discriminantArnaud Charlet1-1/+3
2020-12-15[Ada] Postcondition checks performed before finalizationJustin Squirek1-1/+3
2020-11-30[Ada] Implement inheritance for Default_Initial_Condition and address other gapsGary Dismukes1-15/+68
2020-11-25[Ada] Simplify Ekind tests with wrappers and membership testsPiotr Trojanek1-13/+10
2020-11-25[Ada] Simplify Is_Standard_xxx_Type routines with membership testsPiotr Trojanek1-31/+9
2020-11-25[Ada] Consistently use explicit Entity_Id type instead of aliasPiotr Trojanek1-11/+11
2020-11-24[Ada] AI12-0394 Named Numbers and User-Defined Numeric LiteralsArnaud Charlet1-2/+4
2020-10-23[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363Eric Botcazou1-9/+9
2020-10-23[Ada] Update header of front-end filesArnaud Charlet1-10/+4
2020-10-22[Ada] ACATS 4.1H - B853001 - missed errors for renamed limitedJavier Miranda1-1/+13
2020-10-22[Ada] AI12-0095 Formal types and Constrained Partial ViewsGary Dismukes1-1/+1
2020-10-20[Ada] Replace low-level Ekind membership tests with high-level Is_FormalPiotr Trojanek1-2/+2
2020-10-20[Ada] Flexible AST node structureBob Duff1-3/+0
2020-10-20[Ada] Support for new aspect Subprogram_Variant on recursive subprogramsPiotr Trojanek1-1/+2
2020-10-15[Ada] Wrong use of Scope_Depth_ValueArnaud Charlet1-13/+23
2020-07-27[Ada] Use membership tests in front-endArnaud Charlet1-387/+376
2020-07-23[Ada] Stub CUDA_Execute and CUDA_Global pragmasArnaud Charlet1-0/+14
2020-07-16[Ada] Incorrect static accessibility error in return aggregateJustin Squirek1-0/+6
2020-07-10[Ada] Fix crash on quantified expression in expression functionEric Botcazou1-0/+1
2020-07-07[Ada] Use Is_Generic_Subprogram where possiblePiotr Trojanek1-6/+2
2020-06-18[Ada] ACATS 4.1L - B452002 - Wrong universal access "=" rulesArnaud Charlet1-0/+5
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-11/+24
2020-06-17[Ada] Support aspect Relaxed_Initialization on private types and constantsPiotr Trojanek1-2/+1
2020-06-16[Ada] Reuse Is_Object where possiblePiotr Trojanek1-1/+1
2020-06-15[Ada] Implement AI12-0343 Return Statement ChecksEric Botcazou1-1/+3
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek1-0/+15
2020-06-12[Ada] Reuse Is_Entry where possiblePiotr Trojanek1-4/+3
2020-06-12[Ada] Implement AI12-0269 No_Return for functionsEric Botcazou1-2/+1
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-2/+7
2020-06-10[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram typesEd Schonberg1-0/+16
2020-06-09[Ada] Small cleanup in Einfo unitEric Botcazou1-52/+52
2020-06-05[Ada] Simplify iteration over componentsPiotr Trojanek1-1/+1
2020-06-05[Ada] Assertion_Policy (Ignore) ignores invariantsBob Duff1-14/+1
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-8/+8
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Reuse Is_Package_Or_Generic_Package where possiblePiotr Trojanek1-11/+11
2019-10-10[Ada] Assertion_Policy (Ignore) ignores invariantsBob Duff1-1/+14
2019-09-18[Ada] Spurious run time error on anonymous access formalsJustin Squirek1-0/+16
2019-08-21[Ada] Minor refactorings/reformattingsPiotr Trojanek1-7/+5
2019-08-14[Ada] Compiler speedup with inlining across unitsEric Botcazou1-2/+2
2019-08-14[Ada] Minor refactoring in EinfoPiotr Trojanek1-1/+1
2019-08-12[Ada] New aspect/pragma No_Caching for analysis of volatile dataYannick Moy1-0/+1
2019-07-22[Ada] Remove obsolete Is_For_Access_Subtype machineryEric Botcazou1-14/+0
generated by cgit v1.1 at 2024-08-28 02:01:05 +0000