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/existing-fp8
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
/
einfo-utils.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2025-01-07
Update copyright years.
Marc Poulhiès
1
-1
/
+1
2025-01-06
ada: Support new SPARK aspect Exit_Cases
Claire Dross
1
-0
/
+1
2024-12-13
ada: Fix code indentation
Piotr Trojanek
1
-5
/
+5
2024-08-02
ada: Clean up handling of inlining of finalizer procedures
Richard Kenner
1
-9
/
+0
2024-06-21
ada: Small cleanup in processing of primitive operations
Eric Botcazou
1
-2
/
+2
2024-06-21
ada: Generic formal/actual matching -- misc cleanup
Bob Duff
1
-9
/
+20
2024-05-06
ada: Deconstruct support for abstract states with Relaxed_Initialization
Piotr Trojanek
1
-14
/
+0
2024-01-22
Update copyright years.
Marc Poulhiès
1
-1
/
+1
2023-11-28
ada: Add new predicate Is_Address_Compatible_Type
Sebastian Poeplau
1
-0
/
+5
2023-10-19
ada: Support new SPARK aspect Side_Effects
Yannick Moy
1
-0
/
+1
2023-09-15
ada: Clean up scope depth and related code (tech debt)
Bob Duff
1
-3
/
+3
2023-07-28
ada: Fix unsupported dispatching constructor call
Javier Miranda
1
-1
/
+1
2023-07-28
ada: Allow calls to Number_Formals when no formals are present
Piotr Trojanek
1
-2
/
+2
2023-06-13
ada: Implement new aspect Always_Terminates for SPARK
Piotr Trojanek
1
-0
/
+1
2023-05-25
ada: Use procedural variant of Next_Index where possible
Piotr Trojanek
1
-1
/
+1
2023-05-23
ada: Accept and analyze new aspect Exceptional_Cases
Piotr Trojanek
1
-0
/
+1
2023-05-22
ada: Remove extra parentheses
Arnaud Charlet
1
-1
/
+1
2023-05-15
ada: Use Inline aspect instead of pragma in Einfo.Utils
Bob Duff
1
-22
/
+21
2023-05-15
ada: Remove duplicated code in Proc_Next_Component_Or_Discriminant
Bob Duff
1
-5
/
+1
2023-01-09
ada: Update copyright notice
Arnaud Charlet
1
-1
/
+1
2022-09-05
[Ada] Cleanup expansion of attribute Priority
Piotr Trojanek
1
-1
/
+1
2022-07-04
[Ada] Assertions in Einfo.Utils
Bob Duff
1
-31
/
+30
2022-06-01
[Ada] Incorrect code for anonymous access-to-function with convention C
Bob Duff
1
-5
/
+4
2022-05-19
[Ada] Fix bug in handling of Predicate_Failure aspect
Steve Baird
1
-84
/
+0
2022-05-16
[Ada] Fix implementation issues with equality for untagged record types
Eric Botcazou
1
-0
/
+2
2022-01-11
[Ada] Update copyright notice and bump Gnatvsn.Current_Year
Arnaud Charlet
1
-1
/
+1
2022-01-05
[Ada] Renamed_Entity should return Entity_Id
Bob Duff
1
-6
/
+6
2021-10-25
[Ada] Make Declaration_Node return nondeclarations in fewer cases
Bob Duff
1
-0
/
+24
2021-10-25
[Ada] Renamed_Or_Alias cleanup
Bob Duff
1
-6
/
+69
2021-10-20
[Ada] tech debt: Clean up Uint fields, such as Esize
Bob Duff
1
-48
/
+24
2021-10-04
[Ada] Declaration_Node for Itypes returns Empty or declaration
Bob Duff
1
-8
/
+13
2021-10-04
[Ada] Entities in E_Loop scopes are not library-level entities
Javier Miranda
1
-19
/
+12
2021-09-23
[Ada] Add N_Has_Bounds and N_Is_Index
Richard Kenner
1
-0
/
+2
2021-09-23
[Ada] Cleanup and efficiency improvements
Bob Duff
1
-1
/
+3
2021-09-22
[Ada] Fix conformance errors and erroneous code
Bob Duff
1
-2
/
+2
2021-09-22
[Ada] Fix infinite loop in compilation of illegal code
Yannick Moy
1
-2
/
+1
2021-09-21
[Ada] Clean up uses of Esize and RM_Size
Bob Duff
1
-36
/
+70
2021-09-20
[Ada] Present and No functions for type Uint
Bob Duff
1
-10
/
+10
2021-09-20
[Ada] Clean up Uint fields, remove unused routines
Bob Duff
1
-179
/
+98
2021-07-12
[Ada] Clean up Uint fields
Bob Duff
1
-8
/
+17
2021-07-08
[Ada] Remove Unknown_ functions
Bob Duff
1
-40
/
+0
2021-07-07
[Ada] Assertion errors on concurrent types with -gnatc and extensions enabled
Gary Dismukes
1
-6
/
+6
2021-07-07
[Ada] Fix bugs in Value_Size clauses and refactor
Bob Duff
1
-3
/
+14
2021-06-29
[Ada] Expose symmetry between Known_ and Unknown_ query routines
Piotr Trojanek
1
-13
/
+7
2021-06-29
[Ada] tech debt: clean up Component_Size
Bob Duff
1
-6
/
+4
2021-06-18
[Ada] Remove AAMP from compiler sources
Bob Duff
1
-14
/
+29
2021-06-17
[Ada] Fix varsize node name conflict
Bob Duff
1
-1
/
+1
2021-06-15
[Ada] Allow Known_Static_Component_Size (etc) on private types
Bob Duff
1
-5
/
+5
2021-06-15
[Ada] Variable-sized node types -- cleanup
Bob Duff
1
-15
/
+19
2021-05-07
[Ada] Robust detection of access-to-subprogram and access-to-object types
Piotr Trojanek
1
-4
/
+5
[next]