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

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

projects / thirdparty / gcc.git / history

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

2020-06-02	Arnaud Charlet	[Ada] Remove ASIS_Mode	blob \| commitdiff \| raw
2020-06-02	Arnaud Charlet	[Ada] Bump copyright year	blob \| commitdiff \| raw \| diff to current
2020-06-02	Eric Botcazou	[Ada] Get rid of more references to Universal_Integer...	blob \| commitdiff \| raw \| diff to current
2020-06-02	Eric Botcazou	[Ada] Get rid of more references to Universal_Integer...	blob \| commitdiff \| raw \| diff to current
2019-12-18	Gary Dismukes	[Ada] Missing accessibility actuals on calls to interfa...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Yannick Moy	[Ada] Do not issue restriction violations on ignored...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Eric Botcazou	[Ada] Implement new legality rules introduced in C...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Eric Botcazou	[Ada] Better error message for aliased formal and atomi...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Steve Baird	[Ada] Detect illegal implicit type conversions	blob \| commitdiff \| raw \| diff to current
2019-12-13	Ed Schonberg	[Ada] Crash on implicit dereference not made explicit	blob \| commitdiff \| raw \| diff to current
2019-12-13	Yannick Moy	[Ada] Prevent inlining inside condition of while loop...	blob \| commitdiff \| raw \| diff to current
2019-12-13	Justin Squirek	[Ada] Missing accessibility checks on conditionals	blob \| commitdiff \| raw \| diff to current
2019-12-12	Gary Dismukes	[Ada] Fix various typos, plus minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-12-12	Ed Schonberg	[Ada] Fix processing of standard predefined operators	blob \| commitdiff \| raw \| diff to current
2019-10-10	Anthony Leonardo...	[Ada] Mention GNAT Studio instead of GPS	blob \| commitdiff \| raw \| diff to current
2019-09-19	Eric Botcazou	[Ada] Implement Machine_Rounding attribute in line...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Ed Schonberg	[Ada] Crash on universal case expression in fixed-point...	blob \| commitdiff \| raw \| diff to current
2019-08-19	Ed Schonberg	[Ada] Crash on object initialization that is call to...	blob \| commitdiff \| raw \| diff to current
2019-08-19	Yannick Moy	[Ada] Do not skip non-aliasing checking when inlining...	blob \| commitdiff \| raw \| diff to current
2019-08-13	Javier Miranda	[Ada] Wrong dispatching call in type with aspect Implic...	blob \| commitdiff \| raw \| diff to current
2019-08-13	Yannick Moy	[Ada] Avoid crash in GNATprove due to inlining inside...	blob \| commitdiff \| raw \| diff to current
2019-08-13	Yannick Moy	[Ada] Avoid spurious errors on dimensionality checking...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eric Botcazou	[Ada] Add special bypass for obsolete code pattern	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-07-22	Javier Miranda	[Ada] Spurious error passing access to class-wide inter...	blob \| commitdiff \| raw \| diff to current
2019-07-22	Ed Schonberg	[Ada] Spurious warning about a useless assignment	blob \| commitdiff \| raw \| diff to current
2019-07-11	Yannick Moy	[Ada] Avoid spurious errors on dimensionality checking...	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-11	Hristian Kirtchev	[Ada] Link error due to negated intrinsic comparison	blob \| commitdiff \| raw \| diff to current
2019-07-11	Yannick Moy	[Ada] Avoid spurious warning on wrong order of operator...	blob \| commitdiff \| raw \| diff to current
2019-07-10	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-10	Ed Schonberg	[Ada] Spurious error on overloaded equality in postcond...	blob \| commitdiff \| raw \| diff to current
2019-07-09	Piotr Trojanek	[Ada] Reformat comments	blob \| commitdiff \| raw \| diff to current
2019-07-09	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2019-07-09	Ed Schonberg	[Ada] Wrong resolution of equality operator with overlo...	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Failure to detect trivial infinite recursion	blob \| commitdiff \| raw \| diff to current
2019-07-05	Hristian Kirtchev	[Ada] Failure to detect trivial infinite recursion	blob \| commitdiff \| raw \| diff to current
2019-07-05	Piotr Trojanek	[Ada] Typo fixes	blob \| commitdiff \| raw \| diff to current
2019-07-05	Yannick Moy	[Ada] Fix inlining in GNATprove inside quantified expre...	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-03	Ed Schonberg	[Ada] Spurious error on dependent expression that is...	blob \| commitdiff \| raw \| diff to current
2018-12-03	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ed Schonberg	[Ada] Missing check on if-expression	blob \| commitdiff \| raw \| diff to current
2018-11-14	Ed Schonberg	[Ada] Missing constraint check on if-expression returni...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Yannick Moy	[Ada] Issue info message on inlined subprograms in...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Javier Miranda	[Ada] Mimic the C++ ABI when passing class-wide convers...	blob \| commitdiff \| raw \| diff to current
2018-09-26	Gary Dismukes	[Ada] Fix miscellaneous typos	blob \| commitdiff \| raw \| diff to current
2018-08-21	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-08-21	Ed Schonberg	[Ada] Spurious ambiguity error on call returning an...	blob \| commitdiff \| raw \| diff to current
2018-08-21	Ed Schonberg	[Ada] Compiler abort on call to expr. function for...	blob \| commitdiff \| raw \| diff to current
2018-07-31	Hristian Kirtchev	[Ada] Secondary stack leak with access-to-subprogram	blob \| commitdiff \| raw \| diff to current
2018-07-31	Javier Miranda	[Ada] Fix a freezing issue	blob \| commitdiff \| raw \| diff to current
2018-07-31	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-07-31	Bob Duff	[Ada] Spurious error -- "allocation from empty storage...	blob \| commitdiff \| raw \| diff to current
2018-07-17	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-07-17	Javier Miranda	[Ada] Crash processing abstract state aspect of a package	blob \| commitdiff \| raw \| diff to current
2018-07-16	Yannick Moy	[Ada] Adjust inlining in GNATprove mode for predicate...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Hristian Kirtchev	[Ada] Performance degradation with references	blob \| commitdiff \| raw \| diff to current
2018-05-31	Ed Schonberg	[Ada] Static predicate check on characters of a string...	blob \| commitdiff \| raw \| diff to current
2018-05-30	Gary Dismukes	[Ada] Fix several typos	blob \| commitdiff \| raw \| diff to current
2018-05-30	Bob Duff	[Ada] Spell preanalysis, preanalyze correctly	blob \| commitdiff \| raw \| diff to current
2018-05-30	Piotr Trojanek	[Ada] Reuse Is_Rewrite_Substitution where possible	blob \| commitdiff \| raw \| diff to current
2018-05-30	Ed Schonberg	[Ada] Refine logic to set Needs_Activation_Record on...	blob \| commitdiff \| raw \| diff to current
2018-05-28	Justin Squirek	[Ada] Spurious constraint error on array of null-exclud...	blob \| commitdiff \| raw \| diff to current
2018-05-28	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-28	Yannick Moy	[Ada] Further evaluation of type bounds in GNATprove...	blob \| commitdiff \| raw \| diff to current
2018-05-25	Ed Schonberg	[Ada] Spurious error on fixed-point operation whose...	blob \| commitdiff \| raw \| diff to current
2018-05-25	Javier Miranda	[Ada] Membership test of class-wide interface	blob \| commitdiff \| raw \| diff to current
2018-05-24	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2018-05-24	Justin Squirek	[Ada] Ineffective use warning is suppressed when perfor...	blob \| commitdiff \| raw \| diff to current
2018-05-22	Ed Schonberg	[Ada] Ada2020: Reduction expressions	blob \| commitdiff \| raw \| diff to current
2018-05-22	Hristian Kirtchev	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2018-05-21	Ed Schonberg	[Ada] Error message on invalid conversion involving...	blob \| commitdiff \| raw \| diff to current
2018-01-11	Hristian Kirtchev	[Ada] Secondary stack leaks during object initialization	blob \| commitdiff \| raw \| diff to current
2018-01-11	Hristian Kirtchev	[Ada] Secondary stack leak due to controlled component	blob \| commitdiff \| raw \| diff to current
2018-01-11	Hristian Kirtchev	[Ada] Minor reformatting	blob \| commitdiff \| raw \| diff to current
2017-12-15	Pierre-Marie de...	exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use...	blob \| commitdiff \| raw \| diff to current
2017-12-15	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-12-15	Pierre-Marie de...	einfo.ads: Comment fix.	blob \| commitdiff \| raw \| diff to current
2017-12-05	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-12-05	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-16	Hristian Kirtchev	opt.ads: Elaboration warnings are now on by default.	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-11-09	Pierre-Marie de...	exp_ch3.adb, [...]: Minor reformatting.	blob \| commitdiff \| raw \| diff to current
2017-11-09	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-11-09	Pierre-Marie de...	gnat1drv.adb (Adjust_Global_Switches): Suppress warning...	blob \| commitdiff \| raw \| diff to current
2017-11-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-08	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-11-08	Pierre-Marie de...	lib-xref-spark_specific.adb (Add_SPARK_Xrefs): Remove...	blob \| commitdiff \| raw \| diff to current
2017-11-08	Hristian Kirtchev	exp_ch3.adb (Expand_N_Object_Declaration): Save and...	blob \| commitdiff \| raw \| diff to current
2017-10-20	Pierre-Marie de...	exp_aggr.adb (Initialize_Array_Component): Avoid adjust...	blob \| commitdiff \| raw \| diff to current
2017-10-09	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-10-09	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-29	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-25	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-25	Pierre-Marie de...	[multiple changes]	blob \| commitdiff \| raw \| diff to current
2017-09-25	Pierre-Marie de...	exp_imgv.adb (Expand_Image_Attribute): Disable the...	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom