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_ch6.ads
Age
Commit message (
Expand
)
Author
Files
Lines
2024-01-22
Update copyright years.
Marc Poulhiès
1
-1
/
+1
2023-10-19
ada: Support new SPARK aspect Side_Effects
Yannick Moy
1
-0
/
+4
2023-05-22
ada: Add Is_Past_Self_Hiding_Point flag
Bob Duff
1
-3
/
+0
2023-01-09
ada: Update copyright notice
Arnaud Charlet
1
-1
/
+1
2022-11-08
ada: Enforce matching of extra formals
Javier Miranda
1
-0
/
+19
2022-09-12
[Ada] Revert "Enforce matching of extra formals"
Javier Miranda
1
-16
/
+0
2022-09-06
[Ada] Enforce matching of extra formals
Javier Miranda
1
-0
/
+16
2022-01-11
[Ada] Update copyright notice and bump Gnatvsn.Current_Year
Arnaud Charlet
1
-1
/
+1
2021-06-29
[Ada] Overriding errors on renamings and instances overriding predefined oper...
Gary Dismukes
1
-0
/
+3
2021-06-21
[Ada] INOX: prototype "when" constructs
Justin Squirek
1
-0
/
+1
2021-05-03
[Ada] Update copyright notice
Arnaud Charlet
1
-1
/
+1
2020-06-18
[Ada] ACATS 4.1J - B854003 - Subtype conformance check missed
Arnaud Charlet
1
-0
/
+10
2020-06-02
[Ada] Bump copyright year
Arnaud Charlet
1
-1
/
+1
2019-07-09
[Ada] Reformat comments
Piotr Trojanek
1
-1
/
+1
2019-01-08
[Ada] Bump copyright years to 2019
Pierre-Marie de Rodat
1
-1
/
+1
2018-12-11
[Ada] Spurious errors on aspect specifications in generic units
Ed Schonberg
1
-1
/
+2
2018-01-11
[Ada] Bump copyright notices to 2018
Arnaud Charlet
1
-1
/
+1
2016-05-02
exp_ch9.adb, [...]: Minor reformatting and typo fixes.
Gary Dismukes
1
-3
/
+3
2016-05-02
[multiple changes]
Arnaud Charlet
1
-1
/
+10
2015-10-23
[multiple changes]
Arnaud Charlet
1
-25
/
+0
2015-03-02
[multiple changes]
Arnaud Charlet
1
-7
/
+14
2014-07-29
sem_ch6.adb: Move Build_Body_To_Inline...
Ed Schonberg
1
-33
/
+0
2014-06-11
[multiple changes]
Arnaud Charlet
1
-1
/
+3
2014-01-27
[multiple changes]
Arnaud Charlet
1
-2
/
+1
2013-10-13
einfo.adb: Add node/list usage for Refined_State and Refinement_Constituents.
Hristian Kirtchev
1
-3
/
+3
2013-10-10
[multiple changes]
Arnaud Charlet
1
-1
/
+13
2013-09-10
[multiple changes]
Arnaud Charlet
1
-0
/
+7
2013-04-24
exp_ch6.adb: Remove with and use clause for Sem_Prag.
Hristian Kirtchev
1
-5
/
+5
2013-01-02
[multiple changes]
Arnaud Charlet
1
-7
/
+8
2013-01-02
errout.adb (Set_Msg_Insertion_Warning): Correct typo causing tests to fail if...
Robert Dewar
1
-6
/
+10
2012-03-15
sem_ch6.ads: Minor comment updates.
Robert Dewar
1
-3
/
+9
2012-03-15
[multiple changes]
Arnaud Charlet
1
-2
/
+3
2012-03-07
sem_ch3.adb (Analyze_Object_Declaration): If the object declaration has an in...
Javier Miranda
1
-6
/
+26
2011-09-05
[multiple changes]
Arnaud Charlet
1
-0
/
+3
2011-09-02
[multiple changes]
Arnaud Charlet
1
-1
/
+5
2011-08-02
[multiple changes]
Arnaud Charlet
1
-1
/
+1
2011-08-01
sem_ch3.adb, [...]: Minor reformatting
Robert Dewar
1
-7
/
+7
2011-08-01
[multiple changes]
Arnaud Charlet
1
-1
/
+1
2011-08-01
[multiple changes]
Arnaud Charlet
1
-1
/
+1
2010-10-26
[multiple changes]
Arnaud Charlet
1
-3
/
+4
2010-10-12
[multiple changes]
Arnaud Charlet
1
-0
/
+4
2010-10-07
gnat_rm.texi, [...]: Change spelling parametrize(d) => parameterize(d).
Robert Dewar
1
-1
/
+1
2010-10-07
exp_util.adb (Insert_Actions): Add handling of N_Parametrized_Expression.
Robert Dewar
1
-0
/
+1
2010-09-09
[multiple changes]
Arnaud Charlet
1
-1
/
+3
2010-09-09
sem_ch3.adb (Derive_Subprogram): The code that checks if a dispatching primit...
Javier Miranda
1
-4
/
+4
2009-04-20
[multiple changes]
Arnaud Charlet
1
-10
/
+16
2009-04-10
[multiple changes]
Arnaud Charlet
1
-1
/
+3
2009-04-10
sem_ch6.ads (Check_Subtype_Conformant): Add ??? comment for undocumented formal.
Thomas Quinot
1
-1
/
+2
2008-07-30
einfo.adb: Flag245 is now used.
Hristian Kirtchev
1
-3
/
+5
2008-05-26
einfo.ads (Abstract_Interface_Alias): Renamed as Interface_Alias.
Javier Miranda
1
-4
/
+16
[next]