aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_prag.adb
AgeCommit message (Expand)AuthorFilesLines
2018-10-09[Ada] Ignore pragmas Compile_Time_Error/Warning in GNATprove modeYannick Moy1-0/+11
2018-09-26[Ada] SPARK: minor error message enhancementElisa Barboni1-1/+4
2018-09-26[Ada] Minor reformattingsHristian Kirtchev1-139/+253
2018-09-26[Ada] Front-end support for OpenACC pragmasOlivier Hainque1-0/+581
2018-07-31[Ada] Spurious error on the placement of aspect GlobalHristian Kirtchev1-0/+10
2018-07-17[Ada] Spurious error on Part_Of indicatorHristian Kirtchev1-5/+8
2018-07-17[Ada] Spurious error on unused Part_Of constituentHristian Kirtchev1-1/+18
2018-07-16[Ada] Missing error on hidden state in instantiationHristian Kirtchev1-3/+3
2018-06-11[Ada] Minor reformattingHristian Kirtchev1-5/+5
2018-06-11[Ada] Reject violation of SPARK 6.1.4(12) with enclosing task unitYannick Moy1-11/+30
2018-06-11[Ada] Minor reformattingArnaud Charlet1-4/+4
2018-06-11[Ada] Do not force Part_Of on generic unitsYannick Moy1-12/+16
2018-05-31[Ada] Simplify call to Unique_Defining_Entity on protected entry declarationsPiotr Trojanek1-1/+1
2018-05-31[Ada] Set Etype on rewriteen Max_Queue_Length expressionsPiotr Trojanek1-0/+1
2018-05-31[Ada] Fix check on placement of multiple loop (in)variant pragmasYannick Moy1-15/+19
2018-05-30[Ada] Implement pragma Max_Entry_Queue_DepthJustin Squirek1-2/+11
2018-05-30[Ada] Simplify conditions by removing always true conjunctsPiotr Trojanek1-3/+1
2018-05-28[Ada] Spurious error on aspect VolatileHristian Kirtchev1-3/+5
2018-05-25[Ada] Minor reformattingHristian Kirtchev1-9/+8
2018-05-25[Ada] Fix handling of Loop_Entry for CodePeer/SPARKYannick Moy1-3/+16
2018-05-25[Ada] Detect misplaced assertions between loop invariantsYannick Moy1-2/+7
2018-05-24[Ada] Simplify routines with a local Result variablePiotr Trojanek1-10/+6
2018-05-24[Ada] Spurious error on pragma Independent_ComponentsHristian Kirtchev1-0/+32
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-13/+18
2018-05-23[Ada] Implementation of AI12-0131: legality of class-wide preconditionEd Schonberg1-1/+3
2018-05-23[Ada] Suppression of elaboration-related warningsHristian Kirtchev1-0/+7
2018-05-23[Ada] Minor reformattingHristian Kirtchev1-4/+3
2018-05-22[Ada] In-place initialization for Initialize_ScalarsHristian Kirtchev1-7/+173
2018-05-22[Ada] Prohibit output dependency items on functionsHristian Kirtchev1-0/+11
2018-05-22[Ada] Crash on pragma Compile_Time_Warning with declared string constantEd Schonberg1-1/+8
2018-05-22[Ada] No error on misplaced pragma Pure_FunctionJustin Squirek1-4/+26
2018-05-21[Ada] Aspects on stubsHristian Kirtchev1-76/+18
2018-05-21[Ada] Placement of pragma Elaboration_ChecksHristian Kirtchev1-3/+105
2018-05-21[Ada] Fix inconstent subprogram body headersPiotr Trojanek1-6/+6
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2018-01-11[Ada] Handling of pragma PredicateEd Schonberg1-0/+7
2018-01-11[Ada] Wrong column in sloc of "expect name" error for loop variantJustin Squirek1-1/+1
2017-12-15exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of the inne...Pierre-Marie de Rodat1-16/+16
2017-12-15[multiple changes]Pierre-Marie de Rodat1-71/+43
2017-12-15einfo.ads: Comment fix.Pierre-Marie de Rodat1-120/+239
2017-12-15gnat_and_program_execution.rst: Update section "Dynamic Stack Usage Analysis"...Pierre-Marie de Rodat1-18/+7
2017-12-05[multiple changes]Pierre-Marie de Rodat1-0/+59
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-18/+0
2017-11-16[multiple changes]Pierre-Marie de Rodat1-0/+10
2017-11-09[multiple changes]Pierre-Marie de Rodat1-6/+6
2017-11-09[multiple changes]Pierre-Marie de Rodat1-23/+28
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-6/+7
2017-11-09gnat1drv.adb (Adjust_Global_Switches): Suppress warnings in codepeer mode her...Pierre-Marie de Rodat1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-3/+3
generated by cgit v1.1 at 2025-02-05 10:01:14 +0000