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_eval.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2024-05-07
ada: Reject non-statically compatible extended return statement
Javier Miranda
1
-2
/
+2
2024-01-22
Update copyright years.
Marc Poulhiès
1
-1
/
+1
2023-11-07
ada: Cleanup more "not Present"
Piotr Trojanek
1
-1
/
+1
2023-06-13
ada: Support new GNAT-specific aspect Ghost_Predicate
Yannick Moy
1
-5
/
+12
2023-05-26
ada: Enhance Is_Null_Range and Not_Null_Range predicates
Eric Botcazou
1
-3
/
+5
2023-05-25
ada: Add Entry_Cancel_Parameter to E_Label
Bob Duff
1
-1
/
+1
2023-05-22
ada: Remove extra parentheses
Arnaud Charlet
1
-4
/
+4
2023-01-09
ada: Update copyright notice
Arnaud Charlet
1
-1
/
+1
2022-11-21
ada: Move warnings switches
Bob Duff
1
-0
/
+1
2022-11-08
ada: Enforce matching of extra formals
Javier Miranda
1
-0
/
+1
2022-11-04
ada: Static intrinsic functions are a core language extension.
Steve Baird
1
-2
/
+3
2022-11-04
ada: Allow enabling a restricted set of language extensions.
Steve Baird
1
-1
/
+1
2022-09-12
[Ada] Revert "Enforce matching of extra formals"
Javier Miranda
1
-1
/
+0
2022-09-06
[Ada] Enforce matching of extra formals
Javier Miranda
1
-0
/
+1
2022-07-05
[Ada] Remove exception propagation during bootstrap
Arnaud Charlet
1
-2
/
+2
2022-06-02
[Ada] Remove redundant checks for missing lists
Piotr Trojanek
1
-10
/
+8
2022-05-19
[Ada] Support Ada 2022 null array aggregates
Ed Schonberg
1
-3
/
+12
2022-05-10
[Ada] Fix oversight for case expression in Eval_Integer_Literal
Eric Botcazou
1
-1
/
+1
2022-01-11
[Ada] Deconstruct a VMS utility routine which is only used by GNATprove
Piotr Trojanek
1
-84
/
+0
2022-01-11
[Ada] Remove extra space in single object declarations
Piotr Trojanek
1
-1
/
+1
2022-01-11
[Ada] Update copyright notice and bump Gnatvsn.Current_Year
Arnaud Charlet
1
-1
/
+1
2022-01-07
[Ada] Cleanup and modification of unreferenced warnings
Justin Squirek
1
-1
/
+1
2022-01-06
[Ada] Move messages on division by zero to the right operand
Piotr Trojanek
1
-1
/
+5
2022-01-06
[Ada] Remove unnecessary guards for non-empty lists
Piotr Trojanek
1
-7
/
+5
2021-10-20
[Ada] Fix problematic conversion of real literal in static context
Eric Botcazou
1
-12
/
+23
2021-10-20
[Ada] Factor out machine rounding operations
Eric Botcazou
1
-14
/
+24
2021-10-20
[Ada] Small cleanup in Eval_Integer_Literal
Eric Botcazou
1
-15
/
+12
2021-09-23
[Ada] Cleanup and efficiency improvements
Bob Duff
1
-1
/
+2
2021-09-21
[Ada] Remove if_expression
Bob Duff
1
-6
/
+14
2021-09-21
[Ada] Fix ignored dynamic predicates specified through "predicate" aspect
Ghjuvan Lacambre
1
-0
/
+2
2021-09-20
[Ada] Present and No functions for type Uint
Bob Duff
1
-2
/
+2
2021-07-07
[Ada] Stronger assertion about flag for checking static expressions
Piotr Trojanek
1
-4
/
+3
2021-06-18
[Ada] Update comments related to TBD
Arnaud Charlet
1
-1
/
+1
2021-06-15
[Ada] Add support for folding more and/or expressions
Arnaud Charlet
1
-44
/
+102
2021-06-15
[Ada] Rename Ada 202* to Ada 2022
Arnaud Charlet
1
-15
/
+15
2021-05-07
[Ada] Minor reformattings
Bob Duff
1
-36
/
+36
2021-05-07
[Ada] Variable-sized node types
Bob Duff
1
-5
/
+9
2021-05-07
[Ada] Computation of Shift_Left and large signed values
Arnaud Charlet
1
-17
/
+19
2021-05-06
[Ada] Make Is_OK_Static_Subtype use Is_Static_Subtype
Ghjuvan Lacambre
1
-12
/
+11
2021-05-06
[Ada] Set Raises_CE flag only in Apply_Compile_Time_Constraint_Error
Piotr Trojanek
1
-2
/
+0
2021-05-05
[Ada] Remove redundant explicit calls to UI_From_Int in comparisons
Piotr Trojanek
1
-1
/
+1
2021-05-05
[Ada] Set constraint error on real division just like on integer division
Piotr Trojanek
1
-0
/
+1
2021-05-03
[Ada] Reuse Is_Universal_Numeric_Type where possible
Piotr Trojanek
1
-5
/
+2
2021-05-03
[Ada] Update copyright notice
Arnaud Charlet
1
-1
/
+1
2021-05-03
[Ada] Replace calls to RTE with Is_RTE where possible
Piotr Trojanek
1
-1
/
+3
2021-04-29
[Ada] Fix evaluation of expressions in inlined code
Yannick Moy
1
-17
/
+44
2021-04-28
[Ada] Fix recent optimization in evaluation of selected component for GNATprove
Arnaud Charlet
1
-1
/
+3
2021-04-28
[Ada] Simplify folding of selected components with qualified prefixes
Piotr Trojanek
1
-5
/
+1
2021-04-28
[Ada] Incorrect discriminant check on call to access to subprogram
Arnaud Charlet
1
-1
/
+35
2020-12-17
[Ada] Remove discriminant checks processing in gigi
Arnaud Charlet
1
-0
/
+69
[next]