git.ipfire.org Git - thirdparty/gcc.git/history

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

projects / thirdparty / gcc.git / history

[thirdparty/gcc.git] / gcc / ada / checks.adb

2020-06-02	Arnaud Charlet	[Ada] Address potentially uninitialized variables and...	blob \| commitdiff \| raw
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
2017-12-05	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-16	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-14	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-10-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-08	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-07-25	Eric Botcazou	gimple.c (gimple_assign_set_rhs_with_ops): Do not ask...	blob \| commitdiff \| raw \| diff to current
2017-05-02	Arnaud Charlet	Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2017-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-28	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-27	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-25	Hristian Kirtchev	checks.adb (Insert_Valid_Check): Code cleanup.	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-25	Yannick Moy	checks.adb (Apply_Scalar_Range_Check): Analyze precisel...	blob \| commitdiff \| raw \| diff to current
2017-04-25	Yannick Moy	checks.adb (Determine_Range_R): Special case type conve...	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-04-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-23	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Hristian Kirtchev	sem_aggr.adb, [...]: Update all eligible case statement...	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-13	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-06	Arnaud Charlet	Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2017-01-06	Bob Duff	snames.ads-tmpl (Renamed): New name for the pragma...	blob \| commitdiff \| raw \| diff to current
2017-01-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-06	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-01-06	Ed Schonberg	exp_ch5.adb (Get_Default_Iterator): For a derived type...	blob \| commitdiff \| raw \| diff to current
2016-07-04	Bob Duff	sem_eval.adb (Decompose_Expr): Set 'out' parameters...	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-22	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-06-14	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-05-02	Hristian Kirtchev	checks.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2016-05-02	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-19	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2016-04-18	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-11-25	Arnaud Charlet	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2015-11-24	Gary Dismukes	sem_ch3.adb, [...]: Minor reformatting, rewording,...	blob \| commitdiff \| raw \| diff to current
next

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom