gcc.gnu.org Git - gcc.git/history

]> gcc.gnu.org Git - gcc.git/history - gcc/ada/checks.adb

2021-07-07	Bob Duff	[Ada] Transient scope cleanup	blob \| commitdiff \| raw
2021-07-06	Gary Dismukes	[Ada] Removal of various ??? comments plus related...	blob \| commitdiff \| raw \| diff to current
2021-07-05	Justin Squirek	[Ada] INOX: prototype alternative accessibility model	blob \| commitdiff \| raw \| diff to current
2021-07-05	Bob Duff	[Ada] Clean up Get_Index_Bounds	blob \| commitdiff \| raw \| diff to current
2021-06-29	Bob Duff	[Ada] tech debt: Parent (Empty) is not allowed	blob \| commitdiff \| raw \| diff to current
2021-06-21	Gary Dismukes	[Ada] Implement fixed-lower-bound consistency checks...	blob \| commitdiff \| raw \| diff to current
2021-06-18	Bob Duff	[Ada] Remove AAMP from compiler sources	blob \| commitdiff \| raw \| diff to current
2021-06-17	Gary Dismukes	[Ada] Implementation of Inox feature of fixed lower...	blob \| commitdiff \| raw \| diff to current
2021-06-17	Piotr Trojanek	[Ada] Use source casing in messages for aliasing checks	blob \| commitdiff \| raw \| diff to current
2021-06-17	Piotr Trojanek	[Ada] Apply aliasing checks only to names and not to...	blob \| commitdiff \| raw \| diff to current
2021-06-16	Piotr Trojanek	[Ada] Fix aliasing check for actual parameters passed...	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Variable-sized node types -- cleanup	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Variable-sized node types	blob \| commitdiff \| raw \| diff to current
2021-05-06	Justin Squirek	[Ada] Spurious constraint error on conversion of access...	blob \| commitdiff \| raw \| diff to current
2021-05-04	Arnaud Charlet	[Ada] Address some ??? comments in checks.adb	blob \| commitdiff \| raw \| diff to current
2021-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw \| diff to current
2021-05-03	Piotr Trojanek	[Ada] Replace calls to RTE with Is_RTE where possible	blob \| commitdiff \| raw \| diff to current
2021-04-29	Justin Squirek	[Ada] Missing access-to-discriminated conversion check	blob \| commitdiff \| raw \| diff to current
2020-12-17	Arnaud Charlet	[Ada] Remove unused subprograms in validsw	blob \| commitdiff \| raw \| diff to current
2020-12-17	Justin Squirek	[Ada] Crash on discriminant check with current instance	blob \| commitdiff \| raw \| diff to current
2020-12-17	Yannick Moy	[Ada] Fixes for GNAT error/warning messages	blob \| commitdiff \| raw \| diff to current
2020-11-27	Yannick Moy	[Ada] Do not apply range checks inside generics in...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Eric Botcazou	[Ada] Optimize generation of checks for fixed-point...	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Fix minor typos in comments	blob \| commitdiff \| raw \| diff to current
2020-10-23	Justin Squirek	[Ada] Further Ada 2020 work on accessibility checking	blob \| commitdiff \| raw \| diff to current
2020-10-22	Eric Botcazou	[Ada] Fix bogus error on conversion from Float to 128...	blob \| commitdiff \| raw \| diff to current
2020-10-22	Justin Squirek	[Ada] Reimplementation of accessibility checking	blob \| commitdiff \| raw \| diff to current
2020-10-21	Eric Botcazou	[Ada] Basic support for 128-bit types	blob \| commitdiff \| raw \| diff to current
2020-10-19	Arnaud Charlet	[Ada] No range check on fixed point to integer conversion	blob \| commitdiff \| raw \| diff to current
2020-10-16	Piotr Trojanek	[Ada] Assorted style cleanups	blob \| commitdiff \| raw \| diff to current
2020-10-15	Steve Baird	[Ada] Get finalization right when a function returns...	blob \| commitdiff \| raw \| diff to current
2020-07-27	Arnaud Charlet	[Ada] Use membership tests in front-end	blob \| commitdiff \| raw \| diff to current
2020-07-10	Arnaud Charlet	[Ada] Use small limit for aggregates inside subprograms	blob \| commitdiff \| raw \| diff to current
2020-07-10	Eric Botcazou	[Ada] Fix internal error on if-expression in call retur...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Eric Botcazou	[Ada] Move generation of range checks for entry familie...	blob \| commitdiff \| raw \| diff to current
2020-07-06	Piotr Trojanek	[Ada] Avoid forced loading of System.Priority in CodePe...	blob \| commitdiff \| raw \| diff to current
2020-06-19	Eric Botcazou	[Ada] Small cleanup in Apply_Range_Check implementation	blob \| commitdiff \| raw \| diff to current
2020-06-19	Piotr Trojanek	[Ada] Remove repeated testing of Check_Validity_Of_Para...	blob \| commitdiff \| raw \| diff to current
2020-06-18	Eric Botcazou	[Ada] Improve compile-time evaluation of value ranges	blob \| commitdiff \| raw \| diff to current
2020-06-18	Piotr Trojanek	[Ada] Fix failed assertion on a slice indexed by a...	blob \| commitdiff \| raw \| diff to current
2020-06-18	Piotr Trojanek	[Ada] Cleanups in code related to static expressions	blob \| commitdiff \| raw \| diff to current
2020-06-17	Eric Botcazou	[Ada] Add early return to Apply_Universal_Integer_Attri...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Eric Botcazou	[Ada] Do not generate useless length check for array...	blob \| commitdiff \| raw \| diff to current
2020-06-17	Piotr Trojanek	[Ada] Remove unnecessary special-casing of GNATprove...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Piotr Trojanek	[Ada] Minor casing of " The " after a comma in docs...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Piotr Trojanek	[Ada] Iterate with procedural version of Next routine...	blob \| commitdiff \| raw \| diff to current
2020-06-11	Eric Botcazou	[Ada] Consolidate handling of implicit dereferences...	blob \| commitdiff \| raw \| diff to current
2020-06-09	Eric Botcazou	[Ada] Propagate DIC, Invariant and Predicate attributes...	blob \| commitdiff \| raw \| diff to current
2020-06-08	Eric Botcazou	[Ada] Remove the Has_Dynamic_Range_Check flag	blob \| commitdiff \| raw \| diff to current
2020-06-08	Gary Dismukes	[Ada] Implement predicate checks on qualified expressio...	blob \| commitdiff \| raw \| diff to current
2020-06-05	Eric Botcazou	[Ada] Make the Has_Dynamic_Range_Check flag obsolete	blob \| commitdiff \| raw \| diff to current
2020-06-05	Eric Botcazou	[Ada] Rename parameter of routines in Checks	blob \| commitdiff \| raw \| diff to current
2020-06-04	Eric Botcazou	[Ada] Remove obsolete reference to gigi in comment	blob \| commitdiff \| raw \| diff to current
2020-06-03	Piotr Trojanek	[Ada] Iterate with procedural versions of Next_......	blob \| commitdiff \| raw \| diff to current
2020-06-03	Eric Botcazou	[Ada] Avoid creating temporaries in Universal_Integer...	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Remove ASIS_Mode	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw \| diff to current
2020-06-02	Arnaud Charlet	[Ada] Address potentially uninitialized variables and...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Gary Dismukes	[Ada] Minor reformatting and U.S. spelling adjustment	blob \| commitdiff \| raw \| diff to current
2019-12-16	Ed Schonberg	[Ada] Crash on conversion in branch of if-expression	blob \| commitdiff \| raw \| diff to current
2019-09-18	Eric Botcazou	[Ada] Fix spurious alignment warning on simple address...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Piotr Trojanek	[Ada] Minor refactorings/reformattings	blob \| commitdiff \| raw \| diff to current
2019-08-21	Yannick Moy	[Ada] Avoid spurious error in GNATprove mode on non...	blob \| commitdiff \| raw \| diff to current
2019-08-20	Gary Dismukes	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2019-08-19	Gary Dismukes	[Ada] Improve warnings about "too few elements" and...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Fix leak of Do_Range_Check flag in -gnatVa mode	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Fix missing range check for In/Out parameter...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Fix incorrect Do_Range_Check on type conversion	blob \| commitdiff \| raw \| diff to current
2019-07-23	Eric Botcazou	[Ada] Plug small loophole in Generate_Range_Check	blob \| commitdiff \| raw \| diff to current
2019-07-23	Eric Botcazou	[Ada] Eliminate redundant overflow checks for conversio...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Eric Botcazou	[Ada] Overhaul code implementing conversions involving...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Piotr Trojanek	[Ada] Minor refactoring	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-11	Justin Squirek	[Ada] No warning for guaranteed accessibility check...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Justin Squirek	[Ada] Incorrect accessibility check	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-05	Ed Schonberg	[Ada] Compiler abort on a dynamic predicate used in...	blob \| commitdiff \| raw \| diff to current
2019-07-01	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-01	Ed Schonberg	[Ada] Wrong code with -gnatVa on lock-free protected...	blob \| commitdiff \| raw \| diff to current
2019-01-08	Pierre-Marie de...	[Ada] Bump copyright years to 2019	blob \| commitdiff \| raw \| diff to current
2018-12-11	Hristian Kirtchev	[Ada] Volatility, validity checks, and System.Aux_DEC	blob \| commitdiff \| raw \| diff to current
2018-12-03	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-11-14	Ed Schonberg	[Ada] Enhance constraints propagation to ease the work...	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-11-14	Hristian Kirtchev	[Ada] Limited function violates No_Exception_Propagation	blob \| commitdiff \| raw \| diff to current
2018-10-09	Ed Schonberg	[Ada] Preserve Do_Range_Check flags in SPARK mode	blob \| commitdiff \| raw \| diff to current
2018-09-26	Ed Schonberg	[Ada] Missing front-end code for constraint checks...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Javier Miranda	[Ada] ICE on mix of tagged and limited interfaces	blob \| commitdiff \| raw \| diff to current
2018-08-21	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-08-21	Javier Miranda	[Ada] Enumeration types with non-standard representation	blob \| commitdiff \| raw \| diff to current
2018-07-31	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-07-17	Arnaud Charlet	[Ada] Add provision for floating-point in Apply_Divisio...	blob \| commitdiff \| raw \| diff to current
2018-05-31	Ed Schonberg	[Ada] Illegal copy of limited object	blob \| commitdiff \| raw \| diff to current
2018-05-30	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-30	Arnaud Charlet	[Ada] Ignore out of range values for System.Priority...	blob \| commitdiff \| raw \| diff to current
2018-05-23	Arnaud Charlet	[Ada] Fix various defects found by static analysis	blob \| commitdiff \| raw \| diff to current
2018-05-21	Piotr Trojanek	[Ada] Fix inconstent subprogram body headers	blob \| commitdiff \| raw \| diff to current
2018-01-11	Arnaud Charlet	[Ada] Bump copyright notices to 2018	blob \| commitdiff \| raw \| diff to current
2017-12-15	Pierre-Marie de...	exp_unst.adb (Unnest_Subprograms): Nothing to do if...	blob \| commitdiff \| raw \| diff to current
next

GNU Compiler Collection

RSS Atom

This page took 1.673655 seconds and 108 git commands to generate.