]> git.ipfire.org Git - thirdparty/gcc.git/history - gcc/ada
projects / thirdparty / gcc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Ada] Avoid "others => <>" association in resolved record aggregates
[thirdparty/gcc.git] / gcc / ada /
2020-06-11  Piotr Trojanek[Ada] Avoid "others => <>" association in resolved... tree | commitdiff
2020-06-11  Bob Duff[Ada] Put_Image attribute tree | commitdiff
2020-06-11  Piotr Trojanek[Ada] Skip unnecessary iterations over constraint expre... tree | commitdiff
2020-06-11  Piotr Trojanek[Ada] Move duplicated routines for building itypes... tree | commitdiff
2020-06-11  Piotr Trojanek[Ada] Refine type for sorting case-choices tables tree | commitdiff
2020-06-11  Piotr Trojanek[Ada] Create constrained itypes for nested record aggre... tree | commitdiff
2020-06-11  Eric Botcazou[Ada] Consolidate handling of implicit dereferences... tree | commitdiff
2020-06-11  Piotr Trojanek[Ada] Remove a dubious optimization for Object Specific... tree | commitdiff
2020-06-11  Piotr Trojanek[Ada] Make Object Specific Dispatch tables constant tree | commitdiff
2020-06-11  Piotr Trojanek[Ada] Remove useless code in Backend_Processing_Possible tree | commitdiff
2020-06-11  Piotr Trojanek[Ada] Fix punctuation in comment of Building_Static_Dis... tree | commitdiff
2020-06-11  Arnaud Charlet[Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preel... tree | commitdiff
2020-06-11  Javier Miranda[Ada] Crash on dispatching conditional entry call tree | commitdiff
2020-06-11  Bob Duff[Ada] Fix unnesting crash with Predicate_Failure/no... tree | commitdiff
2020-06-11  Bob Duff[Ada] Put_Image attribute tree | commitdiff
2020-06-11  Piotr Trojanek[Ada] Simplify iteration over formal parameters for... tree | commitdiff
2020-06-11  Ghjuvan Lacambre[Ada] Generate predicate checks for on assignments... tree | commitdiff
2020-06-11  Justin Squirek[Ada] Missing accessibility error on object in type... tree | commitdiff
2020-06-11  Arnaud Charlet[Ada] Remove aspects that were commented out tree | commitdiff
2020-06-11  Arnaud Charlet[Ada] Add fallback on Integer_Arithmetic tree | commitdiff
2020-06-11  GCC AdministratorDaily bump. tree | commitdiff
2020-06-10  Arnaud Charlet[Ada] AI12-0364 Add a modular atomic arithmetic package tree | commitdiff
2020-06-10  Arnaud Charlet[Ada] AI12-0311 New checks for language-defined units tree | commitdiff
2020-06-10  Ghjuvan Lacambre[Ada] Don't build equivalent record aggregate if type... tree | commitdiff
2020-06-10  Arnaud Charlet[Ada] Ada 202x AI12-0192 "requires late initialization" tree | commitdiff
2020-06-10  Eric Botcazou[Ada] Add missing Sloc on new explicit dereferences tree | commitdiff
2020-06-10  Ed Schonberg[Ada] Additional warnings on overlapping actuals of... tree | commitdiff
2020-06-10  Eric Botcazou[Ada] Implement AI12-0162 Memberships and Unchecked_Unions tree | commitdiff
2020-06-10  Eric Botcazou[Ada] Remove obsolete code in Resolve_Call tree | commitdiff
2020-06-10  Eric Botcazou[Ada] Insert explicit dereferences when building actual... tree | commitdiff
2020-06-10  Bob Duff[Ada] Disable unwanted warnings in Assertion_Policy... tree | commitdiff
2020-06-10  Vasiliy Fofanov[Ada] Fix gnatmetric switches description tree | commitdiff
2020-06-10  Arnaud Charlet[Ada] Update headers tree | commitdiff
2020-06-10  Eric Botcazou[Ada] Improve code generated for dynamic discriminated... tree | commitdiff
2020-06-10  Arnaud Charlet[Ada] Remove more references to ASIS tree | commitdiff
2020-06-10  Arnaud Charlet[Ada] Fix typo in exception message tree | commitdiff
2020-06-10  Piotr Trojanek[Ada] Fix minor typo in comment of membership choice... tree | commitdiff
2020-06-10  Piotr Trojanek[Ada] Revert workaround for expansion of Enum_Rep in... tree | commitdiff
2020-06-10  Piotr Trojanek[Ada] Fold Enum_Rep attribute in evaluation and not... tree | commitdiff
2020-06-10  Javier Miranda[Ada] Classwide controlled obj not dispatching tree | commitdiff
2020-06-10  Ed Schonberg[Ada] Ada_2020 AI12-0220: Pre/Postconditions on Access_... tree | commitdiff
2020-06-10  Ghjuvan Lacambre[Ada] Fix assertion failure on functions with contracts tree | commitdiff
2020-06-10  Piotr Trojanek[Ada] Simplify detection of static membership choices tree | commitdiff
2020-06-10  Piotr Trojanek[Ada] Minor fix style and typos in comments tree | commitdiff
2020-06-10  Piotr Trojanek[Ada] Remove unreferenced GNATprove utility routine... tree | commitdiff
2020-06-10  Arnaud Charlet[Ada] Remove Determine_License tree | commitdiff
2020-06-10  Justin Squirek[Ada] Incorrect accessibility checks on functions calls tree | commitdiff
2020-06-10  Ghjuvan Lacambre[Ada] Reject illegal bodies for null procedures tree | commitdiff
2020-06-10  Eric Botcazou[Ada] Fix incorrect insertion of post-call actions... tree | commitdiff
2020-06-10  Gary Dismukes[Ada] Minor reformatting and some typo fixes tree | commitdiff
2020-06-10  GCC AdministratorDaily bump. tree | commitdiff
2020-06-09  Javier Miranda[Ada] Missing check on private overriding of dispatchin... tree | commitdiff
2020-06-09  Eric Botcazou[Ada] Small enhancement in XEinfo utility tree | commitdiff
2020-06-09  Eric Botcazou[Ada] Implement AI12-0028: Import of variadic C functions tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Code clean ups and comments updates tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Improve handling of null unbounded strings tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Remove kludge for AI05-0087 tree | commitdiff
2020-06-09  Eric Botcazou[Ada] Small cleanup in Einfo unit tree | commitdiff
2020-06-09  Ed Schonberg[Ada] Ada2020 AI12-0282: Shared variable control aspect... tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Improve handling of aggregates in Side_Effect_Free tree | commitdiff
2020-06-09  Ghjuvan Lacambre[Ada] Fix wrong type being used for range check generation tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Expand more others aggregates statically tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Code refactoring on calls to Set_Debug_Info_Needed tree | commitdiff
2020-06-09  Justin Squirek[Ada] Missing documentation for Returns_By_Ref tree | commitdiff
2020-06-09  Justin Squirek[Ada] Spurious overlap error on zero-sized arrays with... tree | commitdiff
2020-06-09  Bob Duff[Ada] Write_Invocation_Graph_Vertex: include lib item... tree | commitdiff
2020-06-09  Eric Botcazou[Ada] Propagate DIC, Invariant and Predicate attributes... tree | commitdiff
2020-06-09  Justin Squirek[Ada] Crash on exit statement within predicated loop tree | commitdiff
2020-06-09  Bob Duff[Ada] gnatbind: Correct assertions in Add_Edge_Kind_Check tree | commitdiff
2020-06-09  Bob Duff[Ada] Add debugging message tree | commitdiff
2020-06-09  Eric Botcazou[Ada] Remove bypass for instance bodies from Is_Visible... tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Membership test against a non-excluding subtype tree | commitdiff
2020-06-09  Ed Schonberg[Ada] Ada2020 AI12-0282: Shared variable control aspect... tree | commitdiff
2020-06-09  Bob Duff[Ada] gnatpp: documentation for --no-separate-return... tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Add missing tag with -gnatw.d tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Refine implementation of AI05-0149 missing conver... tree | commitdiff
2020-06-09  Ed Schonberg[Ada] Spurious error on instantiations with Taft_Amendm... tree | commitdiff
2020-06-09  Piotr Trojanek[Ada] Annotate Ada.Synchronous_Barriers with SPARK_Mode... tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] AI1-0201 Relational operators of static string... tree | commitdiff
2020-06-09  Arnaud Charlet[Ada] Ada2020: AI12-0301 Predicates and Default_Value tree | commitdiff
2020-06-09  Bob Duff[Ada] Disable assertion regarding Body_Before_Spec_Edge tree | commitdiff
2020-06-09  GCC AdministratorDaily bump. tree | commitdiff
2020-06-08  Steve Baird[Ada] Implement AI12-0073 (Ravenscar disallows Synchron... tree | commitdiff
2020-06-08  Arnaud Charlet[Ada] AI12-0204 Renaming of a prefixed view tree | commitdiff
2020-06-08  Arnaud Charlet[Ada] AI12-0085 Missing aspect cases for Remote_Types tree | commitdiff
2020-06-08  Justin Squirek[Ada] Spurious error on call to controlled primitive tree | commitdiff
2020-06-08  Piotr Trojanek[Ada] Port a modified expansion of Enum_Rep from GNAT... tree | commitdiff
2020-06-08  Piotr Trojanek[Ada] Style cleanups in new code for Pure_Barriers tree | commitdiff
2020-06-08  Steve Baird[Ada] Implement AI12-0291 (Jorvik profile) tree | commitdiff
2020-06-08  Arnaud Charlet[Ada] AI12-0228 Properties of qualified expressions... tree | commitdiff
2020-06-08  Arnaud Charlet[Ada] Fix handling of 'Enum_Rep and renamings tree | commitdiff
2020-06-08  Eric Botcazou[Ada] Remove the Has_Dynamic_Range_Check flag tree | commitdiff
2020-06-08  Steve Baird[Ada] Implement AI12-0290 (Simple_Barriers restriction) tree | commitdiff
2020-06-08  Richard Kenner[Ada] Issue with unnesting of 'First/Last and renaming tree | commitdiff
2020-06-08  Gary Dismukes[Ada] Implement predicate checks on qualified expressio... tree | commitdiff
2020-06-08  Piotr Trojanek[Ada] Restore Snames.Name_SPARK as it used in the GNATp... tree | commitdiff
2020-06-08  Arnaud Charlet[Ada] Remove processing of SPARK_05 restriction tree | commitdiff
2020-06-08  Arnaud Charlet[Ada] AI12-0287 Legality Rules for null exclusions... tree | commitdiff
2020-06-08  Arnaud Charlet[Ada] Ada.Text_IO: fix typo tree | commitdiff
2020-06-08  Eric Botcazou[Ada] Do not warn on partial access to atomic object... tree | commitdiff
next
Mirror of https://gcc.gnu.org/git/gcc.git