riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
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
2020-12-17	[Ada] Fixes for GNAT error/warning messages	Yannick Moy	1	-3/+3
2020-11-27	[Ada] Do not apply range checks inside generics in GNATprove mode	Yannick Moy	1	-3/+3
2020-11-27	[Ada] Optimize generation of checks for fixed-point types	Eric Botcazou	1	-77/+111
2020-11-24	[Ada] Fix minor typos in comments	Piotr Trojanek	1	-1/+1
2020-10-23	[Ada] Further Ada 2020 work on accessibility checking	Justin Squirek	1	-9/+24
2020-10-22	[Ada] Fix bogus error on conversion from Float to 128-bit unsigned	Eric Botcazou	1	-0/+18
2020-10-22	[Ada] Reimplementation of accessibility checking	Justin Squirek	1	-8/+4
2020-10-21	[Ada] Basic support for 128-bit types	Eric Botcazou	1	-17/+30
2020-10-19	[Ada] No range check on fixed point to integer conversion	Arnaud Charlet	1	-6/+1
2020-10-16	[Ada] Assorted style cleanups	Piotr Trojanek	1	-1/+1
2020-10-15	[Ada] Get finalization right when a function returns a function call	Steve Baird	1	-10/+14
2020-07-27	[Ada] Use membership tests in front-end	Arnaud Charlet	1	-32/+29