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/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_util.ads
Age
Commit message (
Expand
)
Author
Files
Lines
2024-06-20
ada: Streamline propagation of controlled flags on types
Eric Botcazou
1
-0
/
+11
2024-06-13
ada: Missing support for 'Old with overloaded function
Javier Miranda
1
-0
/
+3
2024-06-10
ada: Tune code related to potentially unevaluated expressions
Piotr Trojanek
1
-1
/
+1
2024-05-17
ada: Expose utility routine for processing of Depends contracts in SPARK
Piotr Trojanek
1
-0
/
+5
2024-05-16
ada: Fix reference to RM clause in comment
Ronan Desplanques
1
-1
/
+1
2024-05-13
ada: Refactor repeated code for querying Boolean-valued aspects
Piotr Trojanek
1
-0
/
+6
2024-05-13
ada: Rewrite Append_Entity_Name; skip irrelevant names
Bob Duff
1
-4
/
+3
2024-05-07
ada: Prevent calculation of negative stack counts
Piotr Trojanek
1
-1
/
+1
2024-05-06
ada: Deconstruct support for abstract states with Relaxed_Initialization
Piotr Trojanek
1
-3
/
+3
2024-01-22
Update copyright years.
Marc Poulhiès
1
-1
/
+1
2023-12-19
ada: Restore object constraint optimization
Ronan Desplanques
1
-6
/
+5
2023-11-30
ada: Remove SPARK legality checks
Yannick Moy
1
-18
/
+1
2023-11-30
ada: Fix spelling of functions with(out) "side effects"
Yannick Moy
1
-1
/
+1
2023-11-21
ada: Compiler error reporting illegal prefix on legal loop iterator with "in"
Gary Dismukes
1
-0
/
+7
2023-10-19
ada: Support new SPARK aspect Side_Effects
Yannick Moy
1
-0
/
+4
2023-10-10
ada: Remove superfluous setter procedure
Eric Botcazou
1
-3
/
+0
2023-09-15
ada: Clean up scope depth and related code (tech debt)
Bob Duff
1
-1
/
+2
2023-07-18
ada: Improve error message for ambiguous subprogram call
Eric Botcazou
1
-2
/
+6
2023-07-18
ada: Fix Valid_Scalars attribute applied to types from limited with
Eric Botcazou
1
-2
/
+2
2023-06-13
ada: Implement new aspect Always_Terminates for SPARK
Piotr Trojanek
1
-0
/
+1
2023-06-13
ada: Remove unreferenced routine Is_Inherited_Operation_For_Type
Piotr Trojanek
1
-6
/
+0
2023-06-13
ada: Support new GNAT-specific aspect Ghost_Predicate
Yannick Moy
1
-2
/
+7
2023-05-29
ada: Fix crash on vector initialization
Marc Poulhiès
1
-0
/
+3
2023-05-26
ada: Crash on loop in dispatching conditional entry call
Javier Miranda
1
-10
/
+0
2023-05-26
ada: Cleanups in handling of aggregates
Piotr Trojanek
1
-1
/
+0
2023-05-26
ada: Duplicate declaration of _master entity
Javier Miranda
1
-0
/
+5
2023-05-25
ada: Deconstruct a no longer used parameter of New_Copy_Tree
Piotr Trojanek
1
-9
/
+4
2023-05-25
ada: Add Entry_Cancel_Parameter to E_Label
Bob Duff
1
-2
/
+4
2023-05-23
ada: Accept and analyze new aspect Exceptional_Cases
Piotr Trojanek
1
-0
/
+1
2023-05-23
ada: Rework fix for internal error on quantified expression with predicated type
Eric Botcazou
1
-3
/
+0
2023-05-23
ada: Fix internal error on quantified expression with predicated type
Eric Botcazou
1
-6
/
+9
2023-05-22
ada: Remove unreferenced utility routine Is_Actual_Tagged_Parameter
Piotr Trojanek
1
-4
/
+0
2023-05-22
ada: Update Controlling_Argument when copying trees
Piotr Trojanek
1
-0
/
+1
2023-05-16
ada: Implement inheritance of user-defined literal aspects for untagged types
Eric Botcazou
1
-3
/
+3
2023-01-09
ada: Update copyright notice
Arnaud Charlet
1
-1
/
+1
2023-01-03
ada: Make Sem_Util.Is_Aliased_View predicate more robust
Eric Botcazou
1
-2
/
+2
2023-01-03
ada: Simplify [Small_]Integer_Type_For
Bob Duff
1
-9
/
+9
2022-12-06
ada: Allow No_Caching on volatile types
Yannick Moy
1
-3
/
+8
2022-12-06
ada: Accessibility code reorganization and bug fixes
Justin Squirek
1
-130
/
+0
2022-11-07
ada: New warning about noncomposing user-defined "="
Bob Duff
1
-1
/
+1
2022-11-07
ada: Inline composite node kind AST queries
Piotr Trojanek
1
-1
/
+2
2022-11-07
ada: Allow reuse of Enclosing_Declaration_Or_Statement by GNATprove
Piotr Trojanek
1
-0
/
+4
2022-11-04
ada: Fix loop unnesting issue.
Marc Poulhiès
1
-5
/
+9
2022-10-06
ada: Add C declarations for Storage Model support
Marc Poulhiès
1
-0
/
+10
2022-09-12
[Ada] Fix issues with compiling ACATS test for user-defined literals
Gary Dismukes
1
-1
/
+3
2022-09-06
[Ada] Place "at end" on body nodes
Bob Duff
1
-1
/
+0
2022-09-05
[Ada] Remove no longer referenced GNATprove utility routine for itypes
Piotr Trojanek
1
-5
/
+0
2022-07-13
[Ada] Add support for defaulted Storage_Model_Type aspect and subaspects
Gary Dismukes
1
-5
/
+10
2022-07-12
[Ada] Refine heuristics for unreachable-code warnings
Bob Duff
1
-3
/
+0
2022-07-12
[Ada] Remove out-of-range warning in unreachable code
Bob Duff
1
-0
/
+7
[next]