aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2023-10-20Daily bump.GCC Administrator1-0/+75
2023-10-19ada: Support new SPARK aspect Side_EffectsYannick Moy18-760/+1162
2023-10-19ada: Refactor code to remove GNATcheck violationSheri Bernstein1-35/+40
2023-10-19ada: Add pragma Annotate for GNATcheck exemptionsSheri Bernstein1-0/+8
2023-10-19ada: Document gnatbind -Q switchPatrick Bernardi5-21/+59
2023-10-19ada: Seize opportunity to reuse List_LengthRonan Desplanques1-7/+1
2023-10-19ada: Simplify "not Present" with "No"Piotr Trojanek1-1/+1
2023-10-11Daily bump.GCC Administrator1-0/+56
2023-10-10ada: Fix internal error on too large representation clause for small componentEric Botcazou1-1/+13
2023-10-10ada: Tweak internal subprogram in Ada.DirectoriesRonan Desplanques1-21/+25
2023-10-10ada: Remove superfluous setter procedureEric Botcazou3-13/+1
2023-10-10ada: Fix bad finalization of limited aggregate in conditional expressionEric Botcazou1-3/+10
2023-10-10ada: Fix infinite loop with multiple limited with clausesEric Botcazou1-63/+107
2023-10-10ada: Fix filesystem entry filteringRonan Desplanques1-14/+16
2023-10-10ada: Tweak documentation commentsRonan Desplanques4-36/+11
2023-10-10ada: Crash processing pragmas Compile_Time_Error and Compile_Time_WarningJavier Miranda1-6/+19
2023-10-04Daily bump.GCC Administrator1-0/+4
2023-10-03diagnostics: add ctors to text_info; add m_ prefixes to fieldsDavid Malcolm1-4/+1
2023-10-03Daily bump.GCC Administrator1-0/+5
2023-10-02diagnostics: group together source printing fields of diagnostic_contextDavid Malcolm1-1/+1
2023-09-28Daily bump.GCC Administrator1-0/+80
2023-09-26ada: Fix missing call to Finalize_Protection for simple protected objectsEric Botcazou2-11/+40
2023-09-26ada: Fix deferred constant wrongly rejectedEric Botcazou1-2/+4
2023-09-26ada: Fix unnesting generated loops with nested finalization procedureMarc Poulhiès2-10/+85
2023-09-26ada: Crash processing the accessibility level of an actual parameterJavier Miranda1-7/+17
2023-09-26ada: Fix missing finalization of extended return object on abnormal completionEric Botcazou4-12/+12
2023-09-26ada: Update personality function for CHERI purecapDaniel King1-3/+36
2023-09-26ada: Fix conversions between addresses and integersDaniel King2-5/+6
2023-09-26ada: Add CHERI variant of System.Stream_AttributesDaniel King1-0/+1019
2023-09-26ada: Define CHERI exception typesDaniel King1-0/+16
2023-09-26ada: Make minor corrections to CUDA-related commentsRonan Desplanques2-5/+4
2023-09-26ada: Dimensional analysis when used with elementary functionsDerek Schacht2-2/+29
2023-09-26ada: Clarify RM references that justify a constraint checkYannick Moy1-3/+4
2023-09-20Daily bump.GCC Administrator1-0/+30
2023-09-19ada: TSS finalize address subprogram generation for constrained...Richard Wai2-2/+30
2023-09-19ada: Private extensions with the keyword "synchronized" are always limited.Richard Wai1-3/+9
2023-09-19ada: Refine upper array bound for bit packed arrayMarc Poulhiès3-0/+123
2023-09-19ada: Crash processing type invariants on child subprogramJavier Miranda1-1/+24
2023-09-16Daily bump.GCC Administrator1-0/+123
2023-09-15ada: Fix minor glitch in finish_record_typeEric Botcazou1-1/+1
2023-09-15ada: Explicitly analyze and expand null array aggregatesPiotr Trojanek2-2/+8
2023-09-15ada: Fix wrong optimization of extended return for discriminated record typeEric Botcazou1-0/+1
2023-09-15ada: Do not perform local-exception-to-goto optimization on barrier functionsPatrick Bernardi2-29/+21
2023-09-15ada: Generate runtime restrictions list when the standard library is suppressedPatrick Bernardi1-6/+4
2023-09-15ada: Fix internal error on misaligned component with variable nominal sizeEric Botcazou1-3/+6
2023-09-15ada: Fix internal error on aggregate nested in container aggregateEric Botcazou1-7/+9
2023-09-15ada: Remove GNAT Pro details regarding moldKévin Le Gouguec1-22/+0
2023-09-15ada: Fix internal error on expression function with Refined_Post aspectEric Botcazou1-0/+3
2023-09-15ada: Clean up scope depth and related code (tech debt)Bob Duff13-84/+231
2023-09-15ada: Crash on creation of extra formals on type extensionJavier Miranda3-66/+24