aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_prag.adb
AgeCommit message (Expand)AuthorFilesLines
2022-01-05[Ada] Remove Compiler_Unit[_Warning] pragmasMarc Poulhiès1-54/+0
2021-12-01[Ada] Fix crash on pragma Compile_Time_Warning/ErrorBob Duff1-2/+6
2021-12-01[Ada] Improve messages on incorrect state refinement in SPARKYannick Moy1-26/+103
2021-11-10[Ada] ACATS BDC1002 shall not error on arbitrary aspectEtienne Servais1-25/+46
2021-11-09[Ada] Improve integration of strub with type systemsAlexandre Oliva1-2/+25
2021-11-09[Ada] Guard against illegal items in Global but not DependsPiotr Trojanek1-1/+9
2021-10-25[Ada] Change format of the ?? warning insertion sequenceEtienne Servais1-1/+1
2021-10-20Avoid exception propagation during bootstrapArnaud Charlet1-5/+69
2021-10-11[Ada] Simplify membership tests with N_Generic_DeclarationPiotr Trojanek1-3/+1
2021-10-05[Ada] Forbids use of Compile_Time_(Error|Warning) as configuration pragmaEtienne Servais1-0/+10
2021-10-04[Ada] Implement CUDA_DeviceGhjuvan Lacambre1-4/+5
2021-10-01[Ada] Stub CUDA_Device aspectGhjuvan Lacambre1-2/+34
2021-10-01[Ada] Ada2022: AI12-0195 overriding class-wide pre/postconditionsJavier Miranda1-34/+4
2021-09-22[Ada] Allow more cases of import with Relaxed_RM_SemanticsArnaud Charlet1-1/+5
2021-09-20[Ada] Clean up Uint fields, remove unused routinesBob Duff1-1/+1
2021-09-20[Ada] Accept volatile properties on constant objectsPiotr Trojanek1-4/+4
2021-07-12[Ada] Clean up Uint fieldsBob Duff1-1/+1
2021-07-07[Ada] Simplify code by reusing Remove on list of primitive operationsPiotr Trojanek1-7/+1
2021-07-05[Ada] Reject overlays in Global/Depends/Initializes contractsPiotr Trojanek1-0/+44
2021-07-05[Ada] Adapt SPARK RM rule on non-effectively volatile abstract stateYannick Moy1-2/+5
2021-07-05[Ada] INOX: prototype alternative accessibility modelJustin Squirek1-0/+35
2021-07-05[Ada] Turn GNAT_Annotate into its own pragmaGhjuvan Lacambre1-1/+2
2021-06-29[Ada] tech debt: Parent (Empty) is not allowedBob Duff1-4/+10
2021-06-18[Ada] Remove AAMP from compiler sourcesBob Duff1-33/+2
2021-06-18[Ada] Do not clear Is_True_Constant flag on imported constantsEric Botcazou1-2/+8
2021-06-18[Ada] Replace Opt.Extensions_Allowed by Ada_VersionArnaud Charlet1-4/+1
2021-06-18[Ada] Ada2020: Special handling of types derived from runtimeJavier Miranda1-6/+45
2021-06-17[Ada] Clarify error for unsupported ELIMINATED overflow modePiotr Trojanek1-1/+2
2021-06-17[Ada] Removal of technical debtJustin Squirek1-9/+18
2021-06-15[Ada] Fix detection of access-to-variable typesPiotr Trojanek1-2/+2
2021-06-15[Ada] Rename Ada 202* to Ada 2022Arnaud Charlet1-22/+22
2021-05-07[Ada] Minor reformattingsBob Duff1-62/+62
2021-05-07[Ada] Variable-sized node types -- cleanupBob Duff1-1/+1
2021-05-07[Ada] Variable-sized node typesBob Duff1-3/+8
2021-05-04[Ada] Simplify iteration over formal parameters for Global/Depends checkPiotr Trojanek1-2/+2
2021-05-04[Ada] Fix handling of access-to-variable objects in Global and DependsPiotr Trojanek1-14/+20
2021-05-04[Ada] Reuse Is_Formal_Object where convenientPiotr Trojanek1-6/+2
2021-05-04[Ada] Reject constants of access-to-variable type as function globalsPiotr Trojanek1-8/+22
2021-05-04[Ada] Simplify use of a global name buffer for Global/Depends errorsPiotr Trojanek1-12/+5
2021-05-04[Ada] Reject formals of mode IN appearing as global outputsPiotr Trojanek1-9/+5
2021-05-04[Ada] Check entries for formals of mode IN appearing as global outputsPiotr Trojanek1-2/+2
2021-05-04[Ada] Fix reference to SPARK RM rule in commentPiotr Trojanek1-1/+1
2021-05-03[Ada] Update copyright noticeArnaud Charlet1-1/+1
2021-05-03[Ada] Remove leading and trailing spaces in error messagesPiotr Trojanek1-1/+1
2021-05-03[Ada] Remove confusing warning on type exportArnaud Charlet1-4/+0
2021-05-03[Ada] Expansion in _postconditions confusing CodePeerJustin Squirek1-2/+7
2021-05-03[Ada] Code and style cleanups for CUDAPiotr Trojanek1-5/+6
2021-04-29[Ada] Extend Find_Related_Context to deal with child instancesPiotr Trojanek1-0/+11
2021-04-28[Ada] Use spans instead of locations for compiler diagnosticsYannick Moy1-9/+8
2020-12-17[Ada] Fixes for GNAT error/warning messagesYannick Moy1-7/+7
generated by cgit v1.1 at 2024-10-06 20:43:59 +0000