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
/
checks.adb
Age
Commit message (
Expand
)
Author
Files
Lines
2023-05-26
ada: Add missing guards in Selected_Range_Checks
Eric Botcazou
1
-0
/
+2
2023-05-22
ada: Incorrect constant folding in postcondition involving 'Old
Justin Squirek
1
-1
/
+12
2023-05-22
ada: Remove extra parentheses
Arnaud Charlet
1
-5
/
+5
2023-01-09
ada: Update copyright notice
Arnaud Charlet
1
-1
/
+1
2023-01-03
ada: Make Apply_Discriminant_Check.Denotes_Explicit_Dereference more robust
Eric Botcazou
1
-10
/
+18
2022-12-06
ada: Accessibility code reorganization and bug fixes
Justin Squirek
1
-113
/
+0
2022-11-14
ada: Crash on applying 'Pos to expression of a type derived from a formal type
Gary Dismukes
1
-3
/
+4
2022-11-07
ada: Deconstruct Safe_To_Capture_In_Parameter_Value
Piotr Trojanek
1
-117
/
+3
2022-11-07
ada: Don't reuse operator nodes in expansion
Piotr Trojanek
1
-11
/
+16
2022-11-04
ada: Refactor: replace uses of `not Present(X)` with `No (X)`
Ghjuvan Lacambre
1
-2
/
+2
2022-09-12
[Ada] Fix bugs in check-related warnings.
Bob Duff
1
-10
/
+17
2022-09-06
[Ada] Cope with scalar subtypes that have a non-scalar basetype.
Steve Baird
1
-1
/
+2
2022-07-04
[Ada] Use static stack allocation for small string if-expressions
Eric Botcazou
1
-8
/
+91
2022-06-01
[Ada] Fix predicate check on object declaration
Marc Poulhiès
1
-6
/
+20
2022-05-16
[Ada] Handle case-expression inside if-expression in -gnato2
Etienne Servais
1
-0
/
+5
2022-05-10
[Ada] Fix incorrect range computation
Marc Poulhiès
1
-13
/
+40
2022-01-11
[Ada] Update copyright notice and bump Gnatvsn.Current_Year
Arnaud Charlet
1
-1
/
+1
2022-01-06
[Ada] Fix style in calls to Compile_Time_Constraint_Error
Piotr Trojanek
1
-6
/
+6
2021-11-09
[Ada] Fix detection of array aggregates with single others associations
Piotr Trojanek
1
-0
/
+2
2021-10-25
[Ada] Change format of the ?? warning insertion sequence
Etienne Servais
1
-1
/
+1
2021-10-25
[Ada] Renamed_Or_Alias cleanup
Bob Duff
1
-2
/
+3
2021-10-20
[Ada] Factor out machine rounding operations
Eric Botcazou
1
-4
/
+4
2021-10-20
[Ada] Fix type conversion handling in validity checks
Marc Poulhiès
1
-1
/
+10
2021-10-04
[Ada] Fix comment about expansion of slices
Piotr Trojanek
1
-1
/
+1
2021-10-01
[Ada] Improved checking for invalid index values when accessing array elements
Steve Baird
1
-3
/
+20
2021-09-21
[Ada] Clean up uses of Esize and RM_Size
Bob Duff
1
-0
/
+1
2021-09-20
[Ada] Present and No functions for type Uint
Bob Duff
1
-9
/
+9
2021-07-07
[Ada] Optimize away certain elaboration checks
Bob Duff
1
-8
/
+15
2021-07-07
[Ada] Simplify handling of sure errors in GNATprove mode
Yannick Moy
1
-7
/
+0
2021-07-07
[Ada] Transient scope cleanup
Bob Duff
1
-4
/
+2
2021-07-06
[Ada] Removal of various ??? comments plus related code changes
Gary Dismukes
1
-4
/
+0
2021-07-05
[Ada] INOX: prototype alternative accessibility model
Justin Squirek
1
-1
/
+10
2021-07-05
[Ada] Clean up Get_Index_Bounds
Bob Duff
1
-33
/
+36
2021-06-29
[Ada] tech debt: Parent (Empty) is not allowed
Bob Duff
1
-0
/
+4
2021-06-21
[Ada] Implement fixed-lower-bound consistency checks for qualified_expressions
Gary Dismukes
1
-0
/
+50
2021-06-18
[Ada] Remove AAMP from compiler sources
Bob Duff
1
-0
/
+5
2021-06-17
[Ada] Implementation of Inox feature of fixed lower bounds on array types/sub...
Gary Dismukes
1
-10
/
+45
2021-06-17
[Ada] Use source casing in messages for aliasing checks
Piotr Trojanek
1
-10
/
+10
2021-06-17
[Ada] Apply aliasing checks only to names and not to objects as actuals
Piotr Trojanek
1
-17
/
+4
2021-06-16
[Ada] Fix aliasing check for actual parameters passed by reference
Piotr Trojanek
1
-18
/
+40
2021-05-07
[Ada] Minor reformattings
Bob Duff
1
-43
/
+43
2021-05-07
[Ada] Variable-sized node types -- cleanup
Bob Duff
1
-1
/
+1
2021-05-07
[Ada] Variable-sized node types
Bob Duff
1
-3
/
+6
2021-05-06
[Ada] Spurious constraint error on conversion of access types
Justin Squirek
1
-0
/
+14
2021-05-04
[Ada] Address some ??? comments in checks.adb
Arnaud Charlet
1
-121
/
+80
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
-3
/
+1
2021-04-29
[Ada] Missing access-to-discriminated conversion check
Justin Squirek
1
-77
/
+124
2020-12-17
[Ada] Remove unused subprograms in validsw
Arnaud Charlet
1
-15
/
+1
2020-12-17
[Ada] Crash on discriminant check with current instance
Justin Squirek
1
-0
/
+34
[next]