]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada/sem_ch8.adb
[Ada] Follow-on cleanups for Uint fields
[thirdparty/gcc.git] / gcc / ada / sem_ch8.adb
2021-10-25  Bob Duff[Ada] Follow-on cleanups for Uint fields
2021-10-25  Etienne Servais[Ada] Change format of the ?? warning insertion sequence
2021-10-25  Ghjuvan Lacambre[Ada] Initialize variable to Empty
2021-10-25  Javier Miranda[Ada] Ada 2022: Class-wide types and formal abstract...
2021-10-25  Bob Duff[Ada] Renamed_Or_Alias cleanup
2021-10-20  Bob Duff[Ada] tech debt: Clean up Uint fields, such as Esize
2021-10-04  Javier Miranda[Ada] Fix latent problem in Sem_Ch8.Build_Class_Wide_Wr...
2021-09-22  Bob Duff[Ada] Fix conformance errors and erroneous code
2021-09-20  Bob Duff[Ada] Clean up Uint fields, remove unused routines
2021-07-07  Gary Dismukes[Ada] Implement new legality checks specified by AI12...
2021-07-06  Bob Duff[Ada] Transient scope cleanup
2021-07-06  Gary Dismukes[Ada] Support for Object.Op subprogram-call notation...
2021-06-29  Gary Dismukes[Ada] Overriding errors on renamings and instances...
2021-06-17  Justin Squirek[Ada] Removal of technical debt
2021-06-17  Bob Duff[Ada] Fix varsize node name conflict
2021-06-16  Piotr Trojanek[Ada] Remove extra parens around a function call
2021-06-15  Arnaud Charlet[Ada] Rename Ada 202* to Ada 2022
2021-05-07  Bob Duff[Ada] Minor reformattings
2021-05-07  Bob Duff[Ada] Variable-sized node types -- cleanup
2021-05-07  Bob Duff[Ada] Variable-sized node types
2021-05-03  Arnaud Charlet[Ada] Update copyright notice
2021-05-03  Piotr Trojanek[Ada] Replace calls to RTE with Is_RTE where possible
2021-05-03  Piotr Trojanek[Ada] Remove leading and trailing spaces in error messages
2021-04-29  Arnaud Charlet[Ada] Self reference access discriminant
2021-04-29  Arnaud Charlet[Ada] Ada 2020 AI12-0401: Renaming of qualified express...
2021-04-29  Gary Dismukes[Ada] Warning for 'Class applied to untagged incomplete...
2021-03-02  Eric BotcazouFix PR ada/99095
2020-12-17  Piotr Trojanek[Ada] Consistent wording for missing -gnat2020 switch
2020-12-17  Arnaud Charlet[Ada] Remove discriminant checks processing in gigi
2020-12-17  Yannick Moy[Ada] Fixes for GNAT error/warning messages
2020-11-30  Bob Duff[Ada] Crash on ghost assignment check for illegal code
2020-11-26  Arnaud Charlet[Ada] Ada 2020 AI12-0401 Renaming of qualified expressi...
2020-11-26  Piotr Trojanek[Ada] Reuse Is_Generic_Subprogram where possible
2020-11-26  Piotr Trojanek[Ada] Reuse Is_Concurrent_Type when detecting protected...
2020-11-24  Piotr Trojanek[Ada] Reuse Is_Packed_Array where possible
2020-10-26  Arnaud Charlet[Ada] Improve error on missing with clause
2020-10-23  Johannes Kanig[Ada] GNATprove: remove support for external axiomatiza...
2020-10-22  Javier Miranda[Ada] ACATS 4.1H - B853001 - missed errors for renamed...
2020-10-20  Arnaud Charlet[Ada] Spurious discriminant check on "for of" loop
2020-10-20  Bob Duff[Ada] Flexible AST node structure
2020-10-19  Bob Duff[Ada] Expanded names in ghost assignments
2020-10-19  Javier Miranda[Ada] Crash in expression function defined in protected...
2020-10-15  Arnaud Charlet[Ada] Wrong use of Scope_Depth_Value
2020-07-27  Arnaud Charlet[Ada] Assert failure on incorrect code
2020-07-27  Arnaud Charlet[Ada] AI12-0383 Renaming values
2020-07-27  Arnaud Charlet[Ada] Use membership tests in front-end
2020-07-16  Arnaud Charlet[Ada] AI12-0132 Freezing of renames_as_body
2020-07-16  Arnaud Charlet[Ada] Spurious redundant use clause warning
2020-07-10  Piotr Trojanek[Ada] Revert mistaken negation related to references...
2020-07-10  Piotr Trojanek[Ada] Fix detection of actual parameters for procedure...
2020-07-07  Piotr Trojanek[Ada] Use Is_Generic_Subprogram where possible
2020-07-07  Piotr Trojanek[Ada] Fix typo in code to get a better error message
2020-07-07  Arnaud Charlet[Ada] ACATS 4.1H - BC60005 - null exclusion matching...
2020-06-18  Arnaud Charlet[Ada] ACATS 4.1J - B854003 - Subtype conformance check...
2020-06-17  Javier Miranda[Ada] Ada2020: AI12-0279 more dispatching points with...
2020-06-17  Piotr Trojanek[Ada] Fix casing from GNATProve to GNATprove
2020-06-16  Piotr Trojanek[Ada] Accept renamings of folded string aggregates
2020-06-15  Arnaud Charlet[Ada] Improve error message on premature usage of subtypes
2020-06-12  Eric Botcazou[Ada] Implement AI12-0269 No_Return for functions
2020-06-11  Piotr Trojanek[Ada] Iterate with procedural version of Next routine...
2020-06-11  Eric Botcazou[Ada] Consolidate handling of implicit dereferences...
2020-06-10  Arnaud Charlet[Ada] Remove more references to ASIS
2020-06-08  Arnaud Charlet[Ada] AI12-0204 Renaming of a prefixed view
2020-06-08  Arnaud Charlet[Ada] AI12-0228 Properties of qualified expressions...
2020-06-08  Arnaud Charlet[Ada] Remove processing of SPARK_05 restriction
2020-06-08  Arnaud Charlet[Ada] AI12-0287 Legality Rules for null exclusions...
2020-06-08  Arnaud Charlet[Ada] AI12-0226 Make objects more consistent
2020-06-05  Piotr Trojanek[Ada] Use Is_Incomplete_Type instead of a low-level...
2020-06-04  Bob Duff[Ada] Put_Image attribute
2020-06-04  Gary Dismukes[Ada] Implement AI12-0275 (Make subtype_mark optional...
2020-06-03  Piotr Trojanek[Ada] Iterate with procedural versions of Next_......
2020-06-02  Arnaud Charlet[Ada] Bump copyright year
2020-06-02  Piotr Trojanek[Ada] Reuse Is_Package_Or_Generic_Package where possible
2019-12-18  Bob Duff[Ada] Bad "already use-visible" warning re: use in...
2019-12-16  Eric Botcazou[Ada] Fully propagate representation aspects through...
2019-12-12  Ed Schonberg[Ada] Improve error message for dispatching subprogram...
2019-10-12  Eric Botcazoure PR ada/91995 (gnat miscompilation and bootstrap...
2019-09-18  Justin Squirek[Ada] Spurious ineffective use_clause warning
2019-08-21  Piotr Trojanek[Ada] Replace low-level membership tests with high...
2019-08-13  Ed Schonberg[Ada] Add conformance check on actual subp. in instance...
2019-08-13  Eric Botcazou[Ada] Spurious error on nested instantiation
2019-07-22  Eric Botcazou[Ada] Fix spurious visibility error for tagged type...
2019-07-22  Eric Botcazou[Ada] Internal error on iterator for limited private...
2019-07-11  Hristian Kirtchev[Ada] Minor reformatting
2019-07-11  Hristian Kirtchev[Ada] Internal crash on illegal renaming
2019-07-10  Ed Schonberg[Ada] Crash on aggregate for limited type in extended...
2019-07-09  Piotr Trojanek[Ada] Reformat comments
2019-07-03  Justin Squirek[Ada] Incorrect expansion on renamings of formal parameters
2019-07-03  Hristian Kirtchev[Ada] ABE checks v3.0, foundations of Elaboration order...
2019-07-03  Ed Schonberg[Ada] Spurious error on predicate of subtype in generic
2019-01-08  Pierre-Marie de... [Ada] Bump copyright years to 2019
2018-11-14  Justin Squirek[Ada] Crash on use of generic formal package
2018-11-14  Hristian Kirtchev[Ada] Crash on ignored Ghost assignment
2018-09-26  Justin Squirek[Ada] Spurious ineffective use_clause warning
2018-07-17  Hristian Kirtchev[Ada] New ignored Ghost code removal mechanism
2018-06-11  Hristian Kirtchev[Ada] Performance degradation with references
2018-05-30  Bob Duff[Ada] Spell preanalysis, preanalyze correctly
2018-05-28  Justin Squirek[Ada] Misleading warning on unresolvable package name
2018-05-25  Justin Squirek[Ada] Minor reformatting
2018-05-24  Ed Schonberg[Ada] Infinite loop in the compiler when warning on...
next