aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.ads
AgeCommit message (Expand)AuthorFilesLines
2018-05-24[Ada] Quadratic compile time with tagged typesJustin Squirek1-3/+3
2018-05-24[Ada] Fix crash on formal containersHristian Kirtchev1-0/+4
2018-05-22[Ada] In-place initialization for Initialize_ScalarsHristian Kirtchev1-0/+35
2018-05-22[Ada] Allow attribute 'Valid_Scalars on private typesHristian Kirtchev1-5/+9
2018-05-22[Ada] No error on misplaced pragma Pure_FunctionJustin Squirek1-0/+6
2018-05-21[Ada] Spurious error on early call region of tagged typeHristian Kirtchev1-0/+12
2018-05-21[Ada] Placement of pragma Elaboration_ChecksHristian Kirtchev1-0/+5
2018-01-11[Ada] Prohibit concurrent types in Ghost regionsHristian Kirtchev1-5/+33
2018-01-11[Ada] Bump copyright notices to 2018Arnaud Charlet1-1/+1
2017-12-15gnat_and_program_execution.rst: Update section "Dynamic Stack Usage Analysis"...Pierre-Marie de Rodat1-6/+8
2017-12-15[multiple changes]Pierre-Marie de Rodat1-0/+3
2017-12-05sem_util.adb (Contains_Refined_State): Remove.Pierre-Marie de Rodat1-7/+0
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-9/+12
2017-11-16[multiple changes]Pierre-Marie de Rodat1-3/+4
2017-11-16[multiple changes]Pierre-Marie de Rodat1-1/+8
2017-11-16sem_ch6.adb (Create_Extra_Formals): The type of the BIP_Object_Access formal ...Bob Duff1-0/+6
2017-11-08[multiple changes]Pierre-Marie de Rodat1-0/+5
2017-11-08exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...Hristian Kirtchev1-0/+4
2017-10-14[multiple changes]Pierre-Marie de Rodat1-3/+3
2017-10-14[multiple changes]Pierre-Marie de Rodat1-0/+5
2017-10-09[multiple changes]Pierre-Marie de Rodat1-39/+88
2017-09-18sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for reference ...Pierre-Marie de Rodat1-1/+1
2017-09-12[multiple changes]Arnaud Charlet1-0/+21
2017-09-08sem_aux.adb, [...] (Get_Called_Entity): New function to return the entity ass...Yannick Moy1-0/+6
2017-09-08[multiple changes]Arnaud Charlet1-36/+68
2017-09-08[multiple changes]Arnaud Charlet1-1/+7
2017-09-08[multiple changes]Arnaud Charlet1-0/+6
2017-09-08[multiple changes]Arnaud Charlet1-3/+1
2017-09-08[multiple changes]Arnaud Charlet1-7/+8
2017-09-08[multiple changes]Arnaud Charlet1-0/+8
2017-09-08[multiple changes]Arnaud Charlet1-2/+3
2017-09-08[multiple changes]Arnaud Charlet1-5/+12
2017-09-07[multiple changes]Arnaud Charlet1-0/+3
2017-09-07[multiple changes]Arnaud Charlet1-0/+5
2017-09-06[multiple changes]Arnaud Charlet1-2/+3
2017-09-06exp_util.adb (Side_Effect_Free): For CodePeer (only) treat uses of 'Image and...Steve Baird1-1/+1
2017-09-06[multiple changes]Arnaud Charlet1-4/+3
2017-09-06[multiple changes]Arnaud Charlet1-12/+9
2017-09-06sem_prag.adb (Analyze_Depends_In_Decl_Part): Add continuation message for mis...Yannick Moy1-0/+4
2017-09-06Minor reformatting.Arnaud Charlet1-6/+6
2017-09-06[multiple changes]Arnaud Charlet1-0/+12
2017-09-06[multiple changes]Arnaud Charlet1-3/+4
2017-09-06[multiple changes]Arnaud Charlet1-0/+10
2017-05-02[multiple changes]Arnaud Charlet1-0/+8
2017-04-28[multiple changes]Arnaud Charlet1-0/+5
2017-04-27sinput.adb: Minor code cleanup.Bob Duff1-3/+0
2017-04-27einfo.ads: Minor fixes in comments.Arnaud Charlet1-5/+5
2017-04-27sem_util.adb, [...] (Build_Class_Wide_Clone_Body): Build body of subprogram t...Ed Schonberg1-0/+46
2017-04-27[multiple changes]Arnaud Charlet1-0/+4
2017-04-27[multiple changes]Arnaud Charlet1-0/+4
generated by cgit v1.1 at 2024-11-07 01:06:45 +0000