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_ch12.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2021-05-07
[Ada] Minor reformattings
Bob Duff
1
-56
/
+56
2021-05-07
[Ada] Variable-sized node types -- cleanup
Bob Duff
1
-32
/
+32
2021-05-07
[Ada] Variable-sized node types
Bob Duff
1
-50
/
+61
2021-05-05
[Ada] Remove redundant checks for empty lists
Piotr Trojanek
1
-10
/
+5
2021-05-04
[Ada] Fix inconsistent iteration with First_Formal and Next_Entity
Piotr Trojanek
1
-2
/
+2
2021-05-03
[Ada] Update copyright notice
Arnaud Charlet
1
-1
/
+1
2021-05-03
[Ada] Fix calls to Error_Msg_NE instead of Error_Msg_N
Piotr Trojanek
1
-6
/
+6
2021-05-03
[Ada] Remove leading and trailing spaces in error messages
Piotr Trojanek
1
-1
/
+1
2020-12-17
[Ada] Fixes for GNAT error/warning messages
Yannick Moy
1
-5
/
+5
2020-11-27
[Ada] Fix tree for expanded instantiations corresponding to formal packages
Arnaud Charlet
1
-1
/
+1
2020-11-26
[Ada] Spurious error on formal package with overloaded subprograms
Ed Schonberg
1
-0
/
+10
2020-11-26
[Ada] Fix casing of "circular instantiation" error
Piotr Trojanek
1
-4
/
+4
2020-11-25
[Ada] Remove dead and duplicated diagnostics for generic access types
Piotr Trojanek
1
-18
/
+3
2020-11-24
[Ada] Reuse In_Same_List where possible
Piotr Trojanek
1
-5
/
+3
2020-11-24
[Ada] Fix internal error on multiple nested instantiations
Eric Botcazou
1
-11
/
+8
2020-10-26
[Ada] Fix GNATprove crash on generics with access types
Yannick Moy
1
-1
/
+9
2020-10-26
[Ada] Do not instantiate generic bodies outside of main unit in GNATprove
Yannick Moy
1
-0
/
+10
2020-10-23
[Ada] Implement new legality rules introduced in C.6(12) by AI12-0363
Eric Botcazou
1
-9
/
+18
2020-10-21
[Ada] Fix problematic placement of freeze node after instantiation
Eric Botcazou
1
-6
/
+1
2020-10-21
[Ada] Spurious error in current instance used as formal package
Javier Miranda
1
-132
/
+90
2020-10-21
[Ada] Use helper function in Freeze_Subprogram_Body
Eric Botcazou
1
-12
/
+4
2020-10-20
[Ada] Spurious error in current instance used as formal package
Javier Miranda
1
-0
/
+175
2020-10-20
[Ada] Support for new aspect Subprogram_Variant on recursive subprograms
Piotr Trojanek
1
-0
/
+1
2020-10-16
[Ada] Crash in generic renaming declaration of child unit
Javier Miranda
1
-0
/
+49
2020-10-15
[Ada] Assert failure on incorrect code
Arnaud Charlet
1
-1
/
+6
2020-10-15
[Ada] Simplify membership tests with N_Entity subtype
Piotr Trojanek
1
-10
/
+3
2020-07-27
[Ada] Use membership tests in front-end
Arnaud Charlet
1
-92
/
+90
2020-07-27
[Ada] Remove obsolete special case in Switch_View
Eric Botcazou
1
-13
/
+16
2020-07-16
[Ada] Spurious error in instance nested in formal package
Ed Schonberg
1
-0
/
+15
2020-07-08
[Ada] Accept aspect Relaxed_Initialization on generic subprograms
Piotr Trojanek
1
-7
/
+7
2020-07-08
[Ada] Analyze aspects once generic subprograms are recognized
Piotr Trojanek
1
-7
/
+7
2020-07-07
[Ada] Use Is_Generic_Subprogram where possible
Piotr Trojanek
1
-2
/
+1
2020-07-07
[Ada] ACATS 4.1H - BC60005 - null exclusion matching for formal subprograms
Arnaud Charlet
1
-3
/
+2
2020-07-06
[Ada] Hang on generic declaration with ambiguous formal package
Justin Squirek
1
-4
/
+13
2020-06-17
[Ada] Add assertions to Preserve_Comes_From_Source and reuse it
Piotr Trojanek
1
-3
/
+3
2020-06-17
[Ada] Fix casing from GNATProve to GNATprove
Piotr Trojanek
1
-2
/
+2
2020-06-16
[Ada] Implement AI12-0351 Matching for actuals for formal derived types
Eric Botcazou
1
-2
/
+10
2020-06-12
[Ada] Compiler locks up with -gnatX and formal subprogram with aspects
Ed Schonberg
1
-7
/
+14
2020-06-12
[Ada] Compiler crash on instance with overloaded actual and aspects
Ed Schonberg
1
-18
/
+69
2020-06-11
[Ada] Allow specifying volatility refinement aspects for types
Steve Baird
1
-0
/
+47
2020-06-11
[Ada] Crash on dispatching conditional entry call
Javier Miranda
1
-0
/
+1
2020-06-10
[Ada] Minor reformatting and some typo fixes
Gary Dismukes
1
-3
/
+3
2020-06-09
[Ada] Remove kludge for AI05-0087
Arnaud Charlet
1
-22
/
+8
2020-06-09
[Ada] Ada2020 AI12-0282: Shared variable control aspects in generics
Ed Schonberg
1
-2
/
+21
2020-06-09
[Ada] Ada2020 AI12-0282: Shared variable control aspects in generics
Ed Schonberg
1
-37
/
+39
2020-06-08
[Ada] Remove processing of SPARK_05 restriction
Arnaud Charlet
1
-8
/
+0
2020-06-08
[Ada] AI12-0287 Legality Rules for null exclusions in renaming are too fierce
Arnaud Charlet
1
-13
/
+21
2020-06-05
[Ada] Minor wording changes wrt Ada 202x
Arnaud Charlet
1
-5
/
+5
2020-06-04
[Ada] Ada_2020: contracts for formal subprograms
Ed Schonberg
1
-3
/
+210
2020-06-04
[Ada] Put_Image attribute
Bob Duff
1
-0
/
+1
[next]