aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_prag.adb
AgeCommit message (Expand)AuthorFilesLines
2020-07-10[Ada] Fix failing assertions related to volatile objectsPiotr Trojanek1-3/+6
2020-07-08[Ada] ACATS 4.1R - BD10001 - Error missedArnaud Charlet1-2/+25
2020-07-07[Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clausesGhjuvan Lacambre1-0/+7
2020-06-19[Ada] Remove second warning for convention C_Variadic_nEric Botcazou1-11/+2
2020-06-18[Ada] Add second warning for convention C_Variadic_nEric Botcazou1-0/+10
2020-06-18[Ada] Do not treat pragma Compile_Time_Warning as error even with -gnatweGhjuvan Lacambre1-4/+8
2020-06-17[Ada] Ada2020: AI12-0279 more dispatching points with aspect YieldJavier Miranda1-1/+13
2020-06-17[Ada] Various typo corrections plus minor reformattingGary Dismukes1-2/+2
2020-06-17[Ada] Ada_2020 AI12-0220 Pre/Postconditions on Access_To_Subprogram typesEd Schonberg1-189/+4
2020-06-17[Ada] Fix casing from GNATProve to GNATprovePiotr Trojanek1-1/+1
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