aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_prag.adb
AgeCommit message (Expand)AuthorFilesLines
2020-06-16[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-47/+4
2020-06-15[Ada] Do expect task discriminants in Global and Depends contractsPiotr Trojanek1-2/+16
2020-06-15[Ada] Crash in tagged type constructor with task componentsJavier Miranda1-0/+49
2020-06-15[Ada] Do not expect task discriminants in Global and Depends contractsPiotr Trojanek1-6/+2
2020-06-15[Ada] Support aspect Relaxed_Initialization and attribute InitializedPiotr Trojanek1-10/+17
2020-06-12[Ada] Alphabetic ordering for name and pragmasPiotr Trojanek1-8/+8
2020-06-12[Ada] Implement AI12-0269 No_Return for functionsEric Botcazou1-2/+12
2020-06-11[Ada] Allow specifying volatility refinement aspects for typesSteve Baird1-19/+48
2020-06-10[Ada] Disable unwanted warnings in Assertion_Policy(Ignore) modeBob Duff1-14/+0
2020-06-10[Ada] Remove more references to ASISArnaud Charlet1-2/+1
2020-06-10[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram typesEd Schonberg1-1/+197
2020-06-09[Ada] Implement AI12-0028: Import of variadic C functionsEric Botcazou1-55/+120
2020-06-08[Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers)Steve Baird1-5/+26
2020-06-08[Ada] Implement AI12-0291 (Jorvik profile)Steve Baird1-4/+11
2020-06-05[Ada] Replace ? by ?? in Error_Msg_NArnaud Charlet1-1/+1
2020-06-05[Ada] AI12-0207 Convention of anonymous access typesArnaud Charlet1-17/+29
2020-06-05[Ada] Assertion_Policy (Ignore) ignores invariantsBob Duff1-9/+14
2020-06-05[Ada] Minor wording changes wrt Ada 202xArnaud Charlet1-3/+3
2020-06-04[Ada] Ada_2020: contracts for formal subprogramsEd Schonberg1-0/+14
2020-06-04[Ada] Remove OpenACC supportArnaud Charlet1-695/+0
2020-06-03[Ada] Improve handling of SPARK_Mode in generic instancesYannick Moy1-10/+17
2020-06-03[Ada] Iterate with procedural versions of Next_... routines where possiblePiotr Trojanek1-1/+1
2020-06-02[Ada] Remove ASIS_ModeArnaud Charlet1-47/+25
2020-06-02[Ada] Bump copyright yearArnaud Charlet1-1/+1
2020-06-02[Ada] Accept objects from nested packages in Initializes contractPiotr Trojanek1-7/+16
2020-06-02[Ada] Address potentially uninitialized variables and dead codeArnaud Charlet1-1/+1
2020-06-02[Ada] Allow GNATprove to set overflow modeYannick Moy1-2/+60
2020-05-25[Ada] Change pragma Compile_Time_Error to force compile-time evaluationYannick Moy1-15/+57
2019-12-18[Ada] AI12-0282: shared variable control aspects on formal typesEd Schonberg1-6/+22
2019-12-16[Ada] Fix couple of oversights in the implementation of AI12-0128Eric Botcazou1-11/+10
2019-12-16[Ada] Implement new legality rules introduced in C.6(13) by AI12-0128Eric Botcazou1-102/+247
2019-12-13[Ada] Pragma Linker_Section in subprogram instantiations in CCGJavier Miranda1-0/+20
2019-12-13[Ada] Avoid spurious errors on Global/Depends in instantiationsYannick Moy1-35/+26
2019-10-10[Ada] Various minor typo fixesGary Dismukes1-1/+1
2019-10-10[Ada] T'Size in pragma Compile_Time_ErrorBob Duff1-0/+9
2019-10-10[Ada] Assertion_Policy (Ignore) ignores invariantsBob Duff1-0/+9
2019-10-10[Ada] Mention GNAT Studio instead of GPSAnthony Leonardo Gracio1-3/+4
2019-10-10[Ada] Use declared type for deciding on SPARK pointer rulesPiotr Trojanek1-2/+1
2019-09-19[Ada] Accept concatentation arguments to pragma AnnotateSteve Baird1-11/+55
2019-09-19[Ada] Use declared type for deciding on SPARK pointer rulesYannick Moy1-7/+1
2019-09-19[Ada] Allow constants of access type in Global contractsYannick Moy1-5/+30
2019-08-21[Ada] Do not rewrite argument of pragma Entry_Queue_Length in analysisPiotr Trojanek1-9/+0
2019-08-21[Ada] Max_Entry_Queue_Length aspect for protected entriesJustin Squirek1-4/+4
2019-08-20[Ada] Suppress Initialize_Scalars for Persistent_BSSBob Duff1-3/+19
2019-08-20[Ada] New pragma Aggregate_Individually_AssignPatrick Bernardi1-0/+13
2019-08-20[Ada] Pragma Warning_As_Error works for style warningsBob Duff1-51/+22
2019-08-19[Ada] Fix bogus compilation error with Elaborate_Body and -gnatNEric Botcazou1-2/+3
2019-08-14[Ada] Warn about unknown condition in Compile_Time_WarningBob Duff1-22/+51
2019-08-14[Ada] Defer processing of unknown CTW/E conditions to the back endBob Duff1-63/+14
2019-08-14[Ada] Tweak the sloc of Compile_Time_Warning warningsBob Duff1-3/+4
generated by cgit v1.1 at 2025-08-04 09:59:08 +0000