aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Expand)AuthorFilesLines
2022-10-12Daily bump.GCC Administrator1-0/+5
2022-10-12Enable support for atomic primitives on SPARC/LinuxEric Botcazou1-0/+1
2022-10-07Daily bump.GCC Administrator1-0/+147
2022-10-06ada: Implementation of support for storage models in gigiEric Botcazou7-61/+605
2022-10-06ada: Minor potential bug in sem_ch6.adbSteve Baird1-1/+1
2022-10-06ada: Reject conditional goto in lock-free protected subprogramsPiotr Trojanek1-1/+1
2022-10-06ada: Cleanup related to lock-free protected subprogramsPiotr Trojanek3-11/+9
2022-10-06ada: hardened conditionals: exemplify codegen changesAlexandre Oliva2-4/+94
2022-10-06ada: hardened booleans: exemplify codegen changesAlexandre Oliva2-7/+48
2022-10-06ada: stack scrubbing: exemplify codegen changesAlexandre Oliva2-2/+103
2022-10-06ada: Fix inserting of validity checks in lock-free protected subprogramsPiotr Trojanek1-1/+1
2022-10-06ada: Add C declarations for Storage Model supportMarc Poulhiès2-0/+20
2022-10-06ada: Incorrect inferences drawn from if/elsif/while conditions with -gnatVoSteve Baird1-1/+16
2022-10-06ada: Accessibility error incorrectly flagged on call within Pre'Class expressionGary Dismukes1-1/+6
2022-10-06ada: Clean up slice-of-component optimizationBob Duff1-2/+4
2022-10-06ada: Do not issue compiler warnings in GNATprove modeYannick Moy1-0/+7
2022-10-06ada: Disable slice-of-component optimization in some casesBob Duff1-0/+10
2022-10-06ada: Fix spurious warning on unreferenced refinement constituentsPiotr Trojanek1-1/+10
2022-09-30Daily bump.GCC Administrator1-0/+21
2022-09-29ada: Remove duplicated doc comment sectionRonan Desplanques1-37/+3
2022-09-29ada: Further tweak new expansion of contractsEric Botcazou2-6/+48
2022-09-29ada: Improve efficiency of slice-of-component assignmentBob Duff1-24/+71
2022-09-29ada: Fix checking of Refined_State with nested package renamingsPiotr Trojanek1-1/+4
2022-09-27Daily bump.GCC Administrator1-0/+99
2022-09-26ada: Doc: rename Valid_Image to Valid_ValueGhjuvan Lacambre3-16/+16
2022-09-26ada: Fix location of pragmas coming from aspects in top-level instancesPiotr Trojanek1-2/+5
2022-09-26ada: Remove unreferenced Rtsfind entriesPiotr Trojanek1-109/+2
2022-09-26ada: Remove unreferenced C macro from OS constants templatePiotr Trojanek1-3/+0
2022-09-26ada: Document Long_Long_Long_Size parameter for -gnateTEric Botcazou2-1/+5
2022-09-26ada: Improve CUDA host-side and device-side binder supportSteve Baird1-5/+4
2022-09-26ada: Document support for the mold linkerKévin Le Gouguec2-8/+30
2022-09-26ada: Make Original_Aspect_Pragma_Name more preciseTucker Taft1-0/+8
2022-09-26ada: Delay expansion of iterator specification in preanalysisPiotr Trojanek1-8/+3
2022-09-26ada: Delay expansion of iterated component associationPiotr Trojanek1-4/+5
2022-09-26ada: Only reject volatile ghost objects when SPARK_Mode is OnPiotr Trojanek1-1/+1
2022-09-26ada: Improve accessibility check generationJustin Squirek1-3/+13
2022-09-26ada: Remove GNATmetric's documentation from GNAT's documentationBoris Yakobowski1-1119/+1
2022-09-26ada: Remove socket definitions for ancient MinGWPiotr Trojanek2-11/+0
2022-09-26ada: Remove definition of MAXPATHLEN for ancient MinGWPiotr Trojanek1-6/+0
2022-09-26ada: Deconstruct build support for ancient MinGWPiotr Trojanek6-49/+5
2022-09-26ada: Tune comment of routine for detecting junk namesPiotr Trojanek1-6/+3
2022-09-26Small tweaks.Eric Botcazou1-6/+6
2022-09-21Daily bump.GCC Administrator1-0/+6
2022-09-20replace "the the" typosMartin Liska3-3/+3
2022-09-16Daily bump.GCC Administrator1-0/+4
2022-09-15Move void_list_node init to common codeRichard Biener1-1/+0
2022-09-13Daily bump.GCC Administrator1-0/+498
2022-09-12[Ada] Fix immediate assertion failure with -gnatd.1Eric Botcazou1-1/+5
2022-09-12[Ada] Storage_Error raised analyzing type with call in its range constraintJustin Squirek1-2/+14
2022-09-12[Ada] Improve CUDA host-side and device-side binder supportSteve Baird1-0/+3
generated by cgit v1.1 at 2024-10-07 05:19:51 +0000