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_prag.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2020-07-10
[Ada] Fix failing assertions related to volatile objects
Piotr Trojanek
1
-3
/
+6
2020-07-08
[Ada] ACATS 4.1R - BD10001 - Error missed
Arnaud Charlet
1
-2
/
+25
2020-07-07
[Ada] Ensure No_Specification_Of_Aspect forbids pragmas and repr. clauses
Ghjuvan Lacambre
1
-0
/
+7
2020-06-19
[Ada] Remove second warning for convention C_Variadic_n
Eric Botcazou
1
-11
/
+2
2020-06-18
[Ada] Add second warning for convention C_Variadic_n
Eric Botcazou
1
-0
/
+10
2020-06-18
[Ada] Do not treat pragma Compile_Time_Warning as error even with -gnatwe
Ghjuvan Lacambre
1
-4
/
+8
2020-06-17
[Ada] Ada2020: AI12-0279 more dispatching points with aspect Yield
Javier Miranda
1
-1
/
+13
2020-06-17
[Ada] Various typo corrections plus minor reformatting
Gary Dismukes
1
-2
/
+2
2020-06-17
[Ada] Ada_2020 AI12-0220 Pre/Postconditions on Access_To_Subprogram types
Ed Schonberg
1
-189
/
+4
2020-06-17
[Ada] Fix casing from GNATProve to GNATprove
Piotr Trojanek
1
-1
/
+1
2020-06-16
[Ada] Crash in tagged type constructor with task components
Javier Miranda
1
-47
/
+4
2020-06-15
[Ada] Do expect task discriminants in Global and Depends contracts
Piotr Trojanek
1
-2
/
+16
2020-06-15
[Ada] Crash in tagged type constructor with task components
Javier Miranda
1
-0
/
+49
2020-06-15
[Ada] Do not expect task discriminants in Global and Depends contracts
Piotr Trojanek
1
-6
/
+2
2020-06-15
[Ada] Support aspect Relaxed_Initialization and attribute Initialized
Piotr Trojanek
1
-10
/
+17
2020-06-12
[Ada] Alphabetic ordering for name and pragmas
Piotr Trojanek
1
-8
/
+8
2020-06-12
[Ada] Implement AI12-0269 No_Return for functions
Eric Botcazou
1
-2
/
+12
2020-06-11
[Ada] Allow specifying volatility refinement aspects for types
Steve Baird
1
-19
/
+48
2020-06-10
[Ada] Disable unwanted warnings in Assertion_Policy(Ignore) mode
Bob Duff
1
-14
/
+0
2020-06-10
[Ada] Remove more references to ASIS
Arnaud Charlet
1
-2
/
+1
2020-06-10
[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_To_Subprogram types
Ed Schonberg
1
-1
/
+197
2020-06-09
[Ada] Implement AI12-0028: Import of variadic C functions
Eric Botcazou
1
-55
/
+120
2020-06-08
[Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers)
Steve Baird
1
-5
/
+26
2020-06-08
[Ada] Implement AI12-0291 (Jorvik profile)
Steve Baird
1
-4
/
+11
2020-06-05
[Ada] Replace ? by ?? in Error_Msg_N
Arnaud Charlet
1
-1
/
+1
2020-06-05
[Ada] AI12-0207 Convention of anonymous access types
Arnaud Charlet
1
-17
/
+29
2020-06-05
[Ada] Assertion_Policy (Ignore) ignores invariants
Bob Duff
1
-9
/
+14
2020-06-05
[Ada] Minor wording changes wrt Ada 202x
Arnaud Charlet
1
-3
/
+3
2020-06-04
[Ada] Ada_2020: contracts for formal subprograms
Ed Schonberg
1
-0
/
+14
2020-06-04
[Ada] Remove OpenACC support
Arnaud Charlet
1
-695
/
+0
2020-06-03
[Ada] Improve handling of SPARK_Mode in generic instances
Yannick Moy
1
-10
/
+17
2020-06-03
[Ada] Iterate with procedural versions of Next_... routines where possible
Piotr Trojanek
1
-1
/
+1
2020-06-02
[Ada] Remove ASIS_Mode
Arnaud Charlet
1
-47
/
+25
2020-06-02
[Ada] Bump copyright year
Arnaud Charlet
1
-1
/
+1
2020-06-02
[Ada] Accept objects from nested packages in Initializes contract
Piotr Trojanek
1
-7
/
+16
2020-06-02
[Ada] Address potentially uninitialized variables and dead code
Arnaud Charlet
1
-1
/
+1
2020-06-02
[Ada] Allow GNATprove to set overflow mode
Yannick Moy
1
-2
/
+60
2020-05-25
[Ada] Change pragma Compile_Time_Error to force compile-time evaluation
Yannick Moy
1
-15
/
+57
2019-12-18
[Ada] AI12-0282: shared variable control aspects on formal types
Ed Schonberg
1
-6
/
+22
2019-12-16
[Ada] Fix couple of oversights in the implementation of AI12-0128
Eric Botcazou
1
-11
/
+10
2019-12-16
[Ada] Implement new legality rules introduced in C.6(13) by AI12-0128
Eric Botcazou
1
-102
/
+247
2019-12-13
[Ada] Pragma Linker_Section in subprogram instantiations in CCG
Javier Miranda
1
-0
/
+20
2019-12-13
[Ada] Avoid spurious errors on Global/Depends in instantiations
Yannick Moy
1
-35
/
+26
2019-10-10
[Ada] Various minor typo fixes
Gary Dismukes
1
-1
/
+1
2019-10-10
[Ada] T'Size in pragma Compile_Time_Error
Bob Duff
1
-0
/
+9
2019-10-10
[Ada] Assertion_Policy (Ignore) ignores invariants
Bob Duff
1
-0
/
+9
2019-10-10
[Ada] Mention GNAT Studio instead of GPS
Anthony Leonardo Gracio
1
-3
/
+4
2019-10-10
[Ada] Use declared type for deciding on SPARK pointer rules
Piotr Trojanek
1
-2
/
+1
2019-09-19
[Ada] Accept concatentation arguments to pragma Annotate
Steve Baird
1
-11
/
+55
2019-09-19
[Ada] Use declared type for deciding on SPARK pointer rules
Yannick Moy
1
-7
/
+1
[next]