]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sem_ch6.adb
[Ada] Spurious accessibility error on return aggregate in GNATprove mode
[thirdparty/gcc.git] / gcc / ada / sem_ch6.adb
2020-06-02  Justin Squirek[Ada] Spurious accessibility error on return aggregate...
2020-05-25  Justin Squirek[Ada] Spurious accessibility error on return aggregate...
2019-12-18  Justin Squirek[Ada] Missing accessibility check on access discriminants
2019-12-16  Eric Botcazou[Ada] AI12-0001: Independence and Representation clause...
2019-12-13  Justin Squirek[Ada] Spurious error on overriding controlled primitive
2019-12-12  Steve Baird[Ada] Tighten up semantic checking for protected subpro...
2019-10-10  Gary Dismukes[Ada] Various minor typo fixes
2019-10-10  Eric Botcazou[Ada] Fix awkward placement of freeze node for actual...
2019-09-18  Justin Squirek[Ada] Spurious run time error on anonymous access formals
2019-09-17  Javier Miranda[Ada] Adding assertions on extra formals for BIP functi...
2019-08-19  Ed Schonberg[Ada] Legality of protected subp. implementing interfac...
2019-08-12  Bob Duff[Ada] Do not suppress checks in instances of internal...
2019-08-12  Ed Schonberg[Ada] Improper error message on equality op with differ...
2019-07-10  Hristian Kirtchev[Ada] Spurious error on discriminant of incomplete...
2019-07-10  Hristian Kirtchev[Ada] Minor reformatting
2019-07-09  Ed Schonberg[Ada] Crash/infinite loop on program with multiple...
2019-07-09  Piotr Trojanek[Ada] Reformat comments
2019-07-04  Gary Dismukes[Ada] Expr. func. with private formal rejected in neste...
2019-07-03  Justin Squirek[Ada] Missing consistency check for constant modifier
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-12-11  Yannick Moy[Ada] Do not expand code inside ignored ghost bodies
2018-12-11  Hristian Kirtchev[Ada] Minor reformatting
2018-12-11  Ed Schonberg[Ada] Spurious errors on aspect specifications in gener...
2018-11-14  Hristian Kirtchev[Ada] Spurious error on Ghost null procedure
2018-11-14  Hristian Kirtchev[Ada] Minor reformatting
2018-10-09  Ed Schonberg[Ada] Spurious error message on visibiliy change in...
2018-09-26  Ed Schonberg[Ada] Missing predicate check on return value
2018-08-21  Hristian Kirtchev[Ada] Minor reformattings
2018-08-21  Ed Schonberg[Ada] Crash on expression function and tagged types
2018-08-21  Ed Schonberg[Ada] Spurious crash on expression function as completi...
2018-08-21  Ed Schonberg[Ada] Spurious error on overriding protected function...
2018-07-17  Ed Schonberg[Ada] Missing check on illegal equality operation in...
2018-07-17  Javier Miranda[Ada] Crash processing abstract state aspect of a package
2018-06-11  Yannick Moy[Ada] Mark parameters as coming from source for GNATprove
2018-05-31  Piotr Trojanek[Ada] Detect returning procedures annotated with No_Return
2018-05-30  Bob Duff[Ada] Spell preanalysis, preanalyze correctly
2018-05-28  Hristian Kirtchev[Ada] Minor reformatting
2018-05-25  Ed Schonberg[Ada] Crash on classwide precondition on subprogram...
2018-05-24  Justin Squirek[Ada] Quadratic compile time with tagged types
2018-05-24  Hristian Kirtchev[Ada] Fix crash on formal containers
2018-05-23  Hristian Kirtchev[Ada] Suppression of elaboration-related warnings
2018-05-23  Hristian Kirtchev[Ada] Minor reformatting
2018-05-22  Justin Squirek[Ada] Missing warning for unreferenced formals in expre...
2018-05-22  Ed Schonberg[Ada] Better error message on illegal 'Access on formal...
2018-05-22  Hristian Kirtchev[Ada] Missing error on illegal categorization dependency
2018-05-21  Hristian Kirtchev[Ada] Aspects on stubs
2018-05-21  Hristian Kirtchev[Ada] Spurious error on early call region of tagged...
2018-05-21  Hristian Kirtchev[Ada] Placement of pragma Elaboration_Checks
2018-05-21  Yannick Moy[Ada] Spurious error in inlining for GNATprove on prefi...
2018-05-21  Piotr Trojanek[Ada] Fix inconstent subprogram body headers
2018-01-11  Hristian Kirtchev[Ada] Missing diagnostic of categorization dependency
2018-01-11  Ed Schonberg[Ada] Crash on expression function as completion, with...
2017-12-15  Pierre-Marie de... exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Use...
2017-12-15  Pierre-Marie de... [multiple changes]
2017-12-15  Pierre-Marie de... einfo.ads: Comment fix.
2017-12-15  Pierre-Marie de... exp_unst.adb (Unnest_Subprograms): Nothing to do if...
2017-12-05  Pierre-Marie de... [multiple changes]
2017-11-16  Pierre-Marie de... [multiple changes]
2017-11-16  Bob Duffsem_ch6.adb (Create_Extra_Formals): The type of the...
2017-11-09  Pierre-Marie de... [multiple changes]
2017-11-09  Pierre-Marie de... [multiple changes]
2017-11-08  Pierre-Marie de... [multiple changes]
2017-10-20  Pierre-Marie de... sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with...
2017-10-09  Pierre-Marie de... [multiple changes]
2017-10-09  Pierre-Marie de... exp_ch6.adb (Expand_N_Extended_Return_Statement): Add...
2017-09-29  Pierre-Marie de... [multiple changes]
2017-09-25  Pierre-Marie de... [multiple changes]
2017-09-18  Pierre-Marie de... sem_ch4.adb (Complete_Object_Operation): Do not insert...
2017-09-18  Pierre-Marie de... [multiple changes]
2017-09-12  Arnaud Charlet[multiple changes]
2017-09-12  Bob Duffsem_ch6.adb (Analyze_Expression_Function): Call Check_D...
2017-09-11  Arnaud Charlet[multiple changes]
2017-09-08  Arnaud Charlet[multiple changes]
2017-09-08  Arnaud Charlet[multiple changes]
2017-09-08  Arnaud Charlet[multiple changes]
2017-09-08  Arnaud Charlet[multiple changes]
2017-09-08  Arnaud Charlet[multiple changes]
2017-09-07  Arnaud Charlet[multiple changes]
2017-09-07  Arnaud Charlet[multiple changes]
2017-09-06  Hristian Kirtchevexp_attr.adb, [...]: Minor reformatting.
2017-09-06  Arnaud Charlet[multiple changes]
2017-09-06  Arnaud Charlet[multiple changes]
2017-09-06  Arnaud Charlet[multiple changes]
2017-05-02  Arnaud Charlet[multiple changes]
2017-05-02  Arnaud Charlet[multiple changes]
2017-05-02  Arnaud Charlet[multiple changes]
2017-05-02  Arnaud Charlet[multiple changes]
2017-05-02  Arnaud Charlet[multiple changes]
2017-04-28  Arnaud CharletMinor reformatting.
2017-04-28  Arnaud Charlet[multiple changes]
2017-04-27  Arnaud Charlet[multiple changes]
2017-04-27  Arnaud Charlet[multiple changes]
2017-04-27  Ed Schonbergsem_util.adb, [...] (Build_Class_Wide_Clone_Body):...
2017-04-27  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Hristian Kirtchevcontracts.adb (Analyze_Entry_Or_Subprogram_Body_Contrac...
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Ed Schonbergsem_ch6.adb (Analyze_Expression_Function): If expressio...
2017-04-25  Arnaud Charlet[multiple changes]
2017-04-25  Arnaud Charlet[multiple changes]
next