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

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

projects / thirdparty / gcc.git / history

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

2021-07-12	Bob Duff	[Ada] Clean up Uint fields	blob \| commitdiff \| raw
2021-07-09	Justin Squirek	[Ada] Incremental patch for restriction No_Dynamic_Acce...	blob \| commitdiff \| raw \| diff to current
2021-07-08	Bob Duff	[Ada] Remove Unknown_ functions	blob \| commitdiff \| raw \| diff to current
2021-07-08	Arnaud Charlet	[Ada] Spurious warning in generic instance	blob \| commitdiff \| raw \| diff to current
2021-07-08	Arnaud Charlet	[Ada] Revert meaning of -gnatd_b	blob \| commitdiff \| raw \| diff to current
2021-07-07	Gary Dismukes	[Ada] Implement new legality checks specified by AI12...	blob \| commitdiff \| raw \| diff to current
2021-07-07	Yannick Moy	[Ada] Simplify handling of sure errors in GNATprove...	blob \| commitdiff \| raw \| diff to current
2021-07-06	Piotr Trojanek	[Ada] Simplify returning from Enclosing_Comp_Unit_Node	blob \| commitdiff \| raw \| diff to current
2021-07-06	Gary Dismukes	[Ada] Removal of various ??? comments plus related...	blob \| commitdiff \| raw \| diff to current
2021-07-06	Bob Duff	[Ada] Transient scope cleanup	blob \| commitdiff \| raw \| diff to current
2021-07-05	Piotr Trojanek	[Ada] Reject overlays in Global/Depends/Initializes...	blob \| commitdiff \| raw \| diff to current
2021-07-05	Steve Baird	[Ada] Fix some "current instance" bugs	blob \| commitdiff \| raw \| diff to current
2021-07-05	Piotr Trojanek	[Ada] Simplify and reuse Is_Concurrent_Interface	blob \| commitdiff \| raw \| diff to current
2021-07-05	Piotr Trojanek	[Ada] Fix excessive check for alignment of overlaying...	blob \| commitdiff \| raw \| diff to current
2021-07-05	Justin Squirek	[Ada] INOX: prototype alternative accessibility model	blob \| commitdiff \| raw \| diff to current
2021-07-05	Piotr Trojanek	[Ada] Cleanup checking for compatible alignment	blob \| commitdiff \| raw \| diff to current
2021-07-05	Steve Baird	[Ada] Add Ada 2022 Image and Put_Image support for...	blob \| commitdiff \| raw \| diff to current
2021-07-05	Bob Duff	[Ada] Clean up Get_Index_Bounds	blob \| commitdiff \| raw \| diff to current
2021-07-05	Bob Duff	[Ada] Refactoring related to Returns_By_Ref	blob \| commitdiff \| raw \| diff to current
2021-06-29	Richard Kenner	[Ada] Make copies of entities being declared when copyi...	blob \| commitdiff \| raw \| diff to current
2021-06-29	Piotr Trojanek	[Ada] Fix style in Get_Fullest_View	blob \| commitdiff \| raw \| diff to current
2021-06-29	Piotr Trojanek	[Ada] Accept arrays and scalars as type views that...	blob \| commitdiff \| raw \| diff to current
2021-06-29	Bob Duff	[Ada] tech debt: Parent (Empty) is not allowed	blob \| commitdiff \| raw \| diff to current
2021-06-29	Piotr Trojanek	[Ada] Rewrite Validated_View in recursive style	blob \| commitdiff \| raw \| diff to current
2021-06-21	Bob Duff	[Ada] Improve efficiency of small slice assignments...	blob \| commitdiff \| raw \| diff to current
2021-06-21	Piotr Trojanek	[Ada] Disable wrong computation of offsets within multi...	blob \| commitdiff \| raw \| diff to current
2021-06-21	Piotr Trojanek	[Ada] Skip overlay checks on protected components with...	blob \| commitdiff \| raw \| diff to current
2021-06-21	Piotr Trojanek	[Ada] Simplify detection of statically overlapping...	blob \| commitdiff \| raw \| diff to current
2021-06-21	Piotr Trojanek	[Ada] Fix detection of overlapping actuals with renamings	blob \| commitdiff \| raw \| diff to current
2021-06-18	Piotr Trojanek	[Ada] Fix detection of overlapping slices indexed by...	blob \| commitdiff \| raw \| diff to current
2021-06-18	Piotr Trojanek	[Ada] Fix detection of overlapping actuals with renamings	blob \| commitdiff \| raw \| diff to current
2021-06-18	Piotr Trojanek	[Ada] Reuse Package_Specification in Is_Incomplete_Or_P...	blob \| commitdiff \| raw \| diff to current
2021-06-18	Arnaud Charlet	[Ada] Premature freezing of types	blob \| commitdiff \| raw \| diff to current
2021-06-18	Piotr Trojanek	[Ada] Reuse First_Actual in Address_Value	blob \| commitdiff \| raw \| diff to current
2021-06-18	Bob Duff	[Ada] Warn on 'in out' param containing access in priva...	blob \| commitdiff \| raw \| diff to current
2021-06-18	Arnaud Charlet	[Ada] Update comments related to TBD	blob \| commitdiff \| raw \| diff to current
2021-06-17	Gary Dismukes	[Ada] Implementation of Inox feature of fixed lower...	blob \| commitdiff \| raw \| diff to current
2021-06-17	Bob Duff	[Ada] Warn on 'in out' param containing access in prede...	blob \| commitdiff \| raw \| diff to current
2021-06-17	Piotr Trojanek	[Ada] Fix detection of valid renamings for overlapping...	blob \| commitdiff \| raw \| diff to current
2021-06-17	Piotr Trojanek	[Ada] Remove dubious wrapper of a recursive function	blob \| commitdiff \| raw \| diff to current
2021-06-17	Piotr Trojanek	[Ada] Fix detection of slices that denote the same...	blob \| commitdiff \| raw \| diff to current
2021-06-16	Piotr Trojanek	[Ada] Fix Is_Volatile_Function for functions declared...	blob \| commitdiff \| raw \| diff to current
2021-06-16	Piotr Trojanek	[Ada] Ignore volatile restrictions in preanalysis	blob \| commitdiff \| raw \| diff to current
2021-06-16	Piotr Trojanek	[Ada] Fix detection of volatile expressions in restrict...	blob \| commitdiff \| raw \| diff to current
2021-06-16	Piotr Trojanek	[Ada] Adapt Is_Actual_Parameter to also work for entry...	blob \| commitdiff \| raw \| diff to current
2021-06-16	Justin Squirek	[Ada] Spurious accessibility error on "for of" loop...	blob \| commitdiff \| raw \| diff to current
2021-06-16	Eric Botcazou	[Ada] Make Incomplete_Or_Partial_View independent of...	blob \| commitdiff \| raw \| diff to current
2021-06-16	Eric Botcazou	[Ada] Use more straightforward implementation for Curre...	blob \| commitdiff \| raw \| diff to current
2021-06-15	Piotr Trojanek	[Ada] Fix detection of access-to-variable types	blob \| commitdiff \| raw \| diff to current
2021-06-15	Ed Schonberg	[Ada] AI12-0138: Iterators and other nonoverridable...	blob \| commitdiff \| raw \| diff to current
2021-06-15	Piotr Trojanek	[Ada] Remove redundant guard from Find_Overlaid_Entity	blob \| commitdiff \| raw \| diff to current
2021-06-15	Bob Duff	[Ada] Variable-sized node types -- cleanup	blob \| commitdiff \| raw \| diff to current
2021-06-15	Arnaud Charlet	[Ada] Rename Ada 202* to Ada 2022	blob \| commitdiff \| raw \| diff to current
2021-06-15	Steve Baird	[Ada] Avoid inappropriate error messages regarding...	blob \| commitdiff \| raw \| diff to current
2021-06-15	Bob Duff	[Ada] Fix bug in subtype of private type with invariants	blob \| commitdiff \| raw \| diff to current
2021-06-15	Piotr Trojanek	[Ada] Robust switching from incomplete to access types	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Minor reformattings	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Variable-sized node types -- cleanup	blob \| commitdiff \| raw \| diff to current
2021-05-07	Bob Duff	[Ada] Variable-sized node types	blob \| commitdiff \| raw \| diff to current
2021-05-07	Piotr Trojanek	[Ada] Remove End_Interp_List from the overloaded resolu...	blob \| commitdiff \| raw \| diff to current
2021-05-07	Eric Botcazou	[Ada] Fix signature mismatch for Defining_Entity	blob \| commitdiff \| raw \| diff to current
2021-05-07	Justin Squirek	[Ada] Implement aspect No_Controlled_Parts	blob \| commitdiff \| raw \| diff to current
2021-05-07	Claire Dross	[Ada] Move Has_Inferable_Discriminants to Sem_Util	blob \| commitdiff \| raw \| diff to current
2021-05-06	Piotr Trojanek	[Ada] Set Raises_CE flag only in Apply_Compile_Time_Con...	blob \| commitdiff \| raw \| diff to current
2021-05-05	Piotr Trojanek	[Ada] Reuse Has_Defaulted_Discriminants where possible	blob \| commitdiff \| raw \| diff to current
2021-05-05	Piotr Trojanek	[Ada] Remove unnecessary parameter of Apply_Compile_Tim...	blob \| commitdiff \| raw \| diff to current
2021-05-03	Piotr Trojanek	[Ada] Reuse Is_Universal_Numeric_Type where possible	blob \| commitdiff \| raw \| diff to current
2021-05-03	Arnaud Charlet	[Ada] Update copyright notice	blob \| commitdiff \| raw \| diff to current
2021-05-03	Piotr Trojanek	[Ada] Replace calls to RTE with Is_RTE where possible	blob \| commitdiff \| raw \| diff to current
2021-05-03	Justin Squirek	[Ada] Spurious accessibility error on call in return...	blob \| commitdiff \| raw \| diff to current
2021-05-03	Arnaud Charlet	[Ada] Spurious warning on postcondition and result	blob \| commitdiff \| raw \| diff to current
2021-05-03	Ed Schonberg	[Ada] Compiler aborts on a constrained subtype of a...	blob \| commitdiff \| raw \| diff to current
2021-04-29	Ed Schonberg	[Ada] Crash on predicated constrained out_parameter	blob \| commitdiff \| raw \| diff to current
2021-04-28	Piotr Trojanek	[Ada] Style fixes related to calls to List_Length	blob \| commitdiff \| raw \| diff to current
2021-04-28	Arnaud Charlet	[Ada] Bad handling of 'Valid_Scalars and arrays	blob \| commitdiff \| raw \| diff to current
2020-12-17	Arnaud Charlet	[Ada] Remove unused subprograms in validsw	blob \| commitdiff \| raw \| diff to current
2020-12-17	Arnaud Charlet	[Ada] Code cleanup: remove Old_Requires_Transient_Scope	blob \| commitdiff \| raw \| diff to current
2020-12-17	Piotr Trojanek	[Ada] Prevent In_Check_Node routine from going too...	blob \| commitdiff \| raw \| diff to current
2020-12-17	Arnaud Charlet	[Ada] Remove discriminant checks processing in gigi	blob \| commitdiff \| raw \| diff to current
2020-12-17	Arnaud Charlet	[Ada] Assert failure on b38105a in -gnat95 mode	blob \| commitdiff \| raw \| diff to current
2020-12-17	Yannick Moy	[Ada] Fixes for GNAT error/warning messages	blob \| commitdiff \| raw \| diff to current
2020-12-15	Justin Squirek	[Ada] Postcondition checks performed before finalization	blob \| commitdiff \| raw \| diff to current
2020-12-15	Arnaud Charlet	[Ada] Transform_Function_Array issues	blob \| commitdiff \| raw \| diff to current
2020-12-15	Piotr Trojanek	[Ada] Remove redundant calls to UI_To_Int in relational...	blob \| commitdiff \| raw \| diff to current
2020-12-14	Justin Squirek	[Ada] Incorrect accessibility level on type in formal...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Gary Dismukes	[Ada] Implement inheritance for Default_Initial_Conditi...	blob \| commitdiff \| raw \| diff to current
2020-11-30	Ed Schonberg	[Ada] Spurious visibility error in subprogram body...	blob \| commitdiff \| raw \| diff to current
2020-11-27	Piotr Trojanek	[Ada] Reuse Append_New_Elmt where possible	blob \| commitdiff \| raw \| diff to current
2020-11-27	Steve Baird	[Ada] Implement AI12-0187 (Stable properties of abstrac...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Piotr Trojanek	[Ada] Remove duplicated calls to Set_Entity	blob \| commitdiff \| raw \| diff to current
2020-11-26	Piotr Trojanek	[Ada] Reuse Is_Concurrent_Type when detecting protected...	blob \| commitdiff \| raw \| diff to current
2020-11-26	Bob Duff	[Ada] Pass base type to Set_Has_Own_Invariants	blob \| commitdiff \| raw \| diff to current
2020-11-25	Piotr Trojanek	[Ada] Document attribute Has_Tagged_Values in GNAT RM	blob \| commitdiff \| raw \| diff to current
2020-11-25	Yannick Moy	[Ada] Minimize side-effect removal in GNATprove mode	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Reuse Is_Packed_Array where possible	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Cleanup expansion of attribute Constrained	blob \| commitdiff \| raw \| diff to current
2020-11-24	Piotr Trojanek	[Ada] Recognize delta and extension aggregates as objects	blob \| commitdiff \| raw \| diff to current
2020-11-24	Yannick Moy	[Ada] Handle correctly current instance of PO in local...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Justin Squirek	[Ada] Further Ada 2020 work on accessibility checking	blob \| commitdiff \| raw \| diff to current
2020-10-23	Eric Botcazou	[Ada] Implement new legality rules introduced in C...	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom