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/nothrow-detection
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/sh-lra
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
/
freeze.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2024-08-29
ada: Use the same warning character in continuation messages
Viljar Indus
1
-2
/
+2
2024-08-29
ada: Use consistent type continuations messages
Viljar Indus
1
-4
/
+4
2024-08-23
ada: First controlling parameter aspect
Javier Miranda
1
-0
/
+279
2024-08-06
ada: Spurious error on the default value of a derived scalar type
Javier Miranda
1
-1
/
+18
2024-08-06
ada: Fix propagation of SPARK_Mode for renaming-as-body
Yannick Moy
1
-0
/
+7
2024-08-02
ada: Fix crash on expression function returning tagged type in nested package
Eric Botcazou
1
-71
/
+109
2024-08-01
ada: Style fixes: remove blank lines following 'begin' keywords
Ghjuvan Lacambre
1
-2
/
+0
2024-08-01
ada: Remove support for bodies in -gnatceg
Arnaud Charlet
1
-12
/
+0
2024-07-02
ada: Bug box for expression function with list comprehension
Bob Duff
1
-0
/
+1
2024-06-27
ada: Implement first half of Generalized Finalization
Eric Botcazou
1
-2
/
+10
2024-06-21
ada: Fix incorrect handling of packed array with aliased composite components
Eric Botcazou
1
-99
/
+91
2024-06-20
ada: Fix crash on real literal in declare expression of expression function
Eric Botcazou
1
-2
/
+3
2024-06-20
ada: Enforce strict alignment for array types with aliased component
Eric Botcazou
1
-12
/
+18
2024-06-20
ada: Streamline propagation of controlled flags on types
Eric Botcazou
1
-6
/
+16
2024-06-20
ada: Remove redundant conditions from freezing code
Piotr Trojanek
1
-1
/
+0
2024-06-20
ada: Fix style in freezing code
Piotr Trojanek
1
-5
/
+3
2024-06-20
ada: Do not compute Has_Controlled_Component twice during freezing
Eric Botcazou
1
-3
/
+6
2024-06-14
ada: Add prototype for mutably tagged types
Justin Squirek
1
-6
/
+2
2024-06-14
ada: Couple of small cleanups in semantic analysis of aspects
Eric Botcazou
1
-16
/
+1
2024-06-13
ada: Missing postcondition runtime check in inherited primitive
Javier Miranda
1
-72
/
+233
2024-06-10
ada: For freezing, treat an extension or delta aggregate like a regular aggre...
Steve Baird
1
-1
/
+3
2024-06-10
ada: Missing style check for extra parentheses in operators
Justin Squirek
1
-1
/
+1
2024-05-20
ada: Get rid of secondary stack for indefinite record types with size clause
Eric Botcazou
1
-0
/
+1
2024-05-20
ada: Reject too-strict alignment specifications.
Steve Baird
1
-2
/
+6
2024-05-14
ada: Update of SPARK RM legality rules on ghost code
Yannick Moy
1
-1
/
+1
2024-05-13
ada: Replace finalization masters with finalization collections
Eric Botcazou
1
-4
/
+4
2024-05-06
ada: Don't propagate convention to internal subprograms
Richard Kenner
1
-11
/
+17
2024-01-22
Update copyright years.
Marc Poulhiès
1
-1
/
+1
2024-01-09
ada: Fix internal error on class-wide allocator inside if-expression
Eric Botcazou
1
-2
/
+11
2023-11-30
ada: Remove SPARK legality checks
Yannick Moy
1
-71
/
+0
2023-11-30
ada: Crash initializing component of private record type
Javier Miranda
1
-85
/
+89
2023-11-07
ada: Rename Is_Limited_View to reflect actual query
Yannick Moy
1
-2
/
+3
2023-11-07
ada: New Local_Restrictions and User_Aspect aspects.
Steve Baird
1
-0
/
+8
2023-09-05
ada: Fix assertion failure on very peculiar enumeration type
Eric Botcazou
1
-0
/
+14
2023-07-06
ada: Finalization not performed for component of protected type
Steve Baird
1
-1
/
+14
2023-05-30
ada: Fix internal error on array constant in expression function
Eric Botcazou
1
-4
/
+21
2023-05-29
ada: Fix spurious error on imported generic function with precondition
Eric Botcazou
1
-7
/
+1
2023-05-25
ada: Minor adjustments to Standard_Address
Eric Botcazou
1
-4
/
+14
2023-05-25
ada: Handle controlling access parameters in DTWs
Ronan Desplanques
1
-5
/
+2
2023-05-23
ada: Add tags to warnings controlled by Warn_On_Redundant_Constructs
Piotr Trojanek
1
-1
/
+1
2023-05-22
ada: Remove extra parentheses
Arnaud Charlet
1
-4
/
+4
2023-05-22
ada: Fix error and crash on imported function with precondition and 'Base
Eric Botcazou
1
-3
/
+4
2023-05-16
ada: Fix crash on iterated component in expression function
Eric Botcazou
1
-6
/
+8
2023-01-09
ada: Update copyright notice
Arnaud Charlet
1
-1
/
+1
2023-01-05
ada: Flag renaming-as-spec as a body to inline
Piotr Trojanek
1
-7
/
+6
2023-01-05
ada: Remove unhelpful special case for renamed bodies in GNATprove mode
Piotr Trojanek
1
-5
/
+2
2023-01-05
ada: Further adjust freezing for expansion of contracts
Eric Botcazou
1
-1
/
+6
2022-11-14
ada: Flag unsupported dispatching constructor calls
Javier Miranda
1
-0
/
+3
2022-11-08
ada: Enforce matching of extra formals
Javier Miranda
1
-92
/
+23
2022-11-07
ada: Fix inherited postconditions in inlined subprograms
Bob Duff
1
-5
/
+10
[next]