aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_util.adb
AgeCommit message (Expand)AuthorFilesLines
2017-12-15exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of the inne...Pierre-Marie de Rodat1-5/+18
2017-12-15einfo.ads: Comment fix.Pierre-Marie de Rodat1-66/+175
2017-12-15gnat_and_program_execution.rst: Update section "Dynamic Stack Usage Analysis"...Pierre-Marie de Rodat1-25/+48
2017-12-15[multiple changes]Pierre-Marie de Rodat1-0/+24
2017-12-05sem_util.adb (Contains_Refined_State): Remove.Pierre-Marie de Rodat1-203/+0
2017-12-05[multiple changes]Pierre-Marie de Rodat1-11/+1
2017-12-05[multiple changes]Pierre-Marie de Rodat1-2/+12
2017-11-16opt.ads: Elaboration warnings are now on by default.Hristian Kirtchev1-4/+12
2017-11-16[multiple changes]Pierre-Marie de Rodat1-0/+6
2017-11-16[multiple changes]Pierre-Marie de Rodat1-2/+3
2017-11-16[multiple changes]Pierre-Marie de Rodat1-0/+436
2017-11-16sem_ch6.adb (Create_Extra_Formals): The type of the BIP_Object_Access formal ...Bob Duff1-0/+34
2017-11-09[multiple changes]Pierre-Marie de Rodat1-3/+4
2017-11-09[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-11-09[multiple changes]Pierre-Marie de Rodat1-3/+3
2017-11-08[multiple changes]Pierre-Marie de Rodat1-0/+60
2017-11-08lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...Pierre-Marie de Rodat1-4/+6
2017-11-08exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...Hristian Kirtchev1-34/+30
2017-11-08sem_util.adb (Subprogram_Name): Append suffix for overloaded subprograms.Arnaud Charlet1-0/+22
2017-11-08[multiple changes]Pierre-Marie de Rodat1-13/+48
2017-10-20s-osinte__linux.ads (Relative_Timed_Wait): Add variable needed for using mono...Pierre-Marie de Rodat1-4/+20
2017-10-20[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-10-20sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a...Pierre-Marie de Rodat1-4/+5
2017-10-14[multiple changes]Pierre-Marie de Rodat1-2/+2
2017-10-14[multiple changes]Pierre-Marie de Rodat1-0/+45
2017-10-09[multiple changes]Pierre-Marie de Rodat1-13/+20
2017-10-09[multiple changes]Pierre-Marie de Rodat1-1/+10
2017-10-09[multiple changes]Pierre-Marie de Rodat1-290/+748
2017-10-09exp_ch6.adb: (Make_Build_In_Place_Call_In_Object_Declaration): Remove the cod...Pierre-Marie de Rodat1-0/+11
2017-10-09exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i...Pierre-Marie de Rodat1-1/+12
2017-09-25[multiple changes]Pierre-Marie de Rodat1-24/+0
2017-09-18sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for reference ...Pierre-Marie de Rodat1-8/+6
2017-09-18[multiple changes]Pierre-Marie de Rodat1-1/+1
2017-09-12[multiple changes]Arnaud Charlet1-0/+139
2017-09-12sem_ch6.adb (Analyze_Expression_Function): Call Check_Dynamically_Tagged_Expr...Bob Duff1-1/+0
2017-09-11sem_util.adb (Check_Result_And_Post_State): Do not issue a warning about miss...Yannick Moy1-7/+111
2017-09-08sem_aux.adb, [...] (Get_Called_Entity): New function to return the entity ass...Yannick Moy1-31/+18
2017-09-08[multiple changes]Arnaud Charlet1-9/+13
2017-09-08[multiple changes]Arnaud Charlet1-610/+1187
2017-09-08[multiple changes]Arnaud Charlet1-0/+1
2017-09-08[multiple changes]Arnaud Charlet1-2/+143
2017-09-08[multiple changes]Arnaud Charlet1-0/+14
2017-09-08[multiple changes]Arnaud Charlet1-0/+2
2017-09-08[multiple changes]Arnaud Charlet1-6/+7
2017-09-08[multiple changes]Arnaud Charlet1-30/+9
2017-09-08[multiple changes]Arnaud Charlet1-1/+47
2017-09-08[multiple changes]Arnaud Charlet1-1/+6
2017-09-08[multiple changes]Arnaud Charlet1-4/+12
2017-09-08[multiple changes]Arnaud Charlet1-51/+86
2017-09-07[multiple changes]Arnaud Charlet1-0/+16
generated by cgit v1.1 at 2024-08-19 04:40:04 +0000