index
:
riscv-gnu-toolchain/gcc.git
devel/analyzer
devel/autopar_devel
devel/autopar_europar_2021
devel/bypass-asm
devel/c++-contracts
devel/c++-coroutines
devel/c++-modules
devel/c++-name-lookup
devel/coarray_native
devel/fortran_unsigned
devel/gccgo
devel/gfortran-caf
devel/gimple-linterchange
devel/gomp-5_0-branch
devel/icpp2021
devel/ira-select
devel/ix86/evex512
devel/jlaw/crc
devel/loop-unswitch-support-switches
devel/lto-offload
devel/m2link
devel/modula-2
devel/mold-lto-plugin
devel/mold-lto-plugin-v2
devel/omp/gcc-10
devel/omp/gcc-11
devel/omp/gcc-12
devel/omp/gcc-13
devel/omp/gcc-14
devel/omp/gcc-9
devel/omp/ompd
devel/power-ieee128
devel/range-gen3
devel/ranger
devel/rust/master
devel/sphinx
devel/ssa-range
devel/subreg-coalesce
devel/unified-autovect
master
releases/egcs-1.0
releases/egcs-1.1
releases/gcc-10
releases/gcc-11
releases/gcc-12
releases/gcc-13
releases/gcc-14
releases/gcc-2.95
releases/gcc-2.95.2.1-branch
releases/gcc-3.0
releases/gcc-3.1
releases/gcc-3.2
releases/gcc-3.3
releases/gcc-3.4
releases/gcc-4.0
releases/gcc-4.1
releases/gcc-4.2
releases/gcc-4.3
releases/gcc-4.4
releases/gcc-4.5
releases/gcc-4.6
releases/gcc-4.7
releases/gcc-4.8
releases/gcc-4.9
releases/gcc-5
releases/gcc-6
releases/gcc-7
releases/gcc-8
releases/gcc-9
releases/libgcj-2.95
trunk
Unnamed repository; edit this file 'description' to name the repository.
root
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gcc
/
ada
/
sem_util.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2017-12-15
exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use Component_Size of the inne...
Pierre-Marie de Rodat
1
-5
/
+18
2017-12-15
einfo.ads: Comment fix.
Pierre-Marie de Rodat
1
-66
/
+175
2017-12-15
gnat_and_program_execution.rst: Update section "Dynamic Stack Usage Analysis"...
Pierre-Marie de Rodat
1
-25
/
+48
2017-12-15
[multiple changes]
Pierre-Marie de Rodat
1
-0
/
+24
2017-12-05
sem_util.adb (Contains_Refined_State): Remove.
Pierre-Marie de Rodat
1
-203
/
+0
2017-12-05
[multiple changes]
Pierre-Marie de Rodat
1
-11
/
+1
2017-12-05
[multiple changes]
Pierre-Marie de Rodat
1
-2
/
+12
2017-11-16
opt.ads: Elaboration warnings are now on by default.
Hristian Kirtchev
1
-4
/
+12
2017-11-16
[multiple changes]
Pierre-Marie de Rodat
1
-0
/
+6
2017-11-16
[multiple changes]
Pierre-Marie de Rodat
1
-2
/
+3
2017-11-16
[multiple changes]
Pierre-Marie de Rodat
1
-0
/
+436
2017-11-16
sem_ch6.adb (Create_Extra_Formals): The type of the BIP_Object_Access formal ...
Bob Duff
1
-0
/
+34
2017-11-09
[multiple changes]
Pierre-Marie de Rodat
1
-3
/
+4
2017-11-09
[multiple changes]
Pierre-Marie de Rodat
1
-1
/
+1
2017-11-09
[multiple changes]
Pierre-Marie de Rodat
1
-3
/
+3
2017-11-08
[multiple changes]
Pierre-Marie de Rodat
1
-0
/
+60
2017-11-08
lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove special-case for consta...
Pierre-Marie de Rodat
1
-4
/
+6
2017-11-08
exp_ch3.adb (Expand_N_Object_Declaration): Save and restore relevant SPARK-re...
Hristian Kirtchev
1
-34
/
+30
2017-11-08
sem_util.adb (Subprogram_Name): Append suffix for overloaded subprograms.
Arnaud Charlet
1
-0
/
+22
2017-11-08
[multiple changes]
Pierre-Marie de Rodat
1
-13
/
+48
2017-10-20
s-osinte__linux.ads (Relative_Timed_Wait): Add variable needed for using mono...
Pierre-Marie de Rodat
1
-4
/
+20
2017-10-20
[multiple changes]
Pierre-Marie de Rodat
1
-1
/
+1
2017-10-20
sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to compare a...
Pierre-Marie de Rodat
1
-4
/
+5
2017-10-14
[multiple changes]
Pierre-Marie de Rodat
1
-2
/
+2
2017-10-14
[multiple changes]
Pierre-Marie de Rodat
1
-0
/
+45
2017-10-09
[multiple changes]
Pierre-Marie de Rodat
1
-13
/
+20
2017-10-09
[multiple changes]
Pierre-Marie de Rodat
1
-1
/
+10
2017-10-09
[multiple changes]
Pierre-Marie de Rodat
1
-290
/
+748
2017-10-09
exp_ch6.adb: (Make_Build_In_Place_Call_In_Object_Declaration): Remove the cod...
Pierre-Marie de Rodat
1
-0
/
+11
2017-10-09
exp_ch6.adb (Expand_N_Extended_Return_Statement): Add self-checking code so i...
Pierre-Marie de Rodat
1
-1
/
+12
2017-09-25
[multiple changes]
Pierre-Marie de Rodat
1
-24
/
+0
2017-09-18
sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for reference ...
Pierre-Marie de Rodat
1
-8
/
+6
2017-09-18
[multiple changes]
Pierre-Marie de Rodat
1
-1
/
+1
2017-09-12
[multiple changes]
Arnaud Charlet
1
-0
/
+139
2017-09-12
sem_ch6.adb (Analyze_Expression_Function): Call Check_Dynamically_Tagged_Expr...
Bob Duff
1
-1
/
+0
2017-09-11
sem_util.adb (Check_Result_And_Post_State): Do not issue a warning about miss...
Yannick Moy
1
-7
/
+111
2017-09-08
sem_aux.adb, [...] (Get_Called_Entity): New function to return the entity ass...
Yannick Moy
1
-31
/
+18
2017-09-08
[multiple changes]
Arnaud Charlet
1
-9
/
+13
2017-09-08
[multiple changes]
Arnaud Charlet
1
-610
/
+1187
2017-09-08
[multiple changes]
Arnaud Charlet
1
-0
/
+1
2017-09-08
[multiple changes]
Arnaud Charlet
1
-2
/
+143
2017-09-08
[multiple changes]
Arnaud Charlet
1
-0
/
+14
2017-09-08
[multiple changes]
Arnaud Charlet
1
-0
/
+2
2017-09-08
[multiple changes]
Arnaud Charlet
1
-6
/
+7
2017-09-08
[multiple changes]
Arnaud Charlet
1
-30
/
+9
2017-09-08
[multiple changes]
Arnaud Charlet
1
-1
/
+47
2017-09-08
[multiple changes]
Arnaud Charlet
1
-1
/
+6
2017-09-08
[multiple changes]
Arnaud Charlet
1
-4
/
+12
2017-09-08
[multiple changes]
Arnaud Charlet
1
-51
/
+86
2017-09-07
[multiple changes]
Arnaud Charlet
1
-0
/
+16
[next]