aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/einfo.adb
AgeCommit message (Expand)AuthorFilesLines
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
2019-07-05[Ada] Stabilization of Elaboration order v4.0Hristian Kirtchev1-1/+1
2019-07-01[Ada] Remove a SPARK rule about implicit GlobalPiotr Trojanek1-2/+2
2019-01-08[Ada] Bump copyright years to 2019Pierre-Marie de Rodat1-1/+1
2018-12-03[Ada] Fix assertion failures with -gnatde and -gnatdvEric Botcazou1-1/+3
2018-08-21[Ada] Einfo: remove obsolete codeBob Duff1-40/+0
2018-08-21[Ada] Crash on entry in generic with dynamic elaboration checksHristian Kirtchev1-5/+7
2018-07-31[Ada] Print the Is_Activation_Record flagArnaud Charlet1-0/+1
generated by cgit v1.1 at 2024-11-05 21:40:14 +0000