git.libre-soc.org Git - gcc.git/search

2020-07-27	Arnaud Charlet	[Ada] Assert failure on incorrect code	commit \| commitdiff \| tree
2020-07-27	Arnaud Charlet	[Ada] Switch Ada_Version_Runtime to Ada 2020	commit \| commitdiff \| tree
2020-07-27	Arnaud Charlet	[Ada] AI12-0383 Renaming values	commit \| commitdiff \| tree
2020-07-27	Arnaud Charlet	[Ada] AI12-0377 View conversions and out parameters...	commit \| commitdiff \| tree
2020-07-27	Arnaud Charlet	[Ada] Remove disabled code	commit \| commitdiff \| tree
2020-07-27	Arnaud Charlet	[Ada] Use membership tests in front-end	commit \| commitdiff \| tree
2020-07-23	Arnaud Charlet	[Ada] Stub CUDA_Execute and CUDA_Global pragmas	commit \| commitdiff \| tree
2020-07-23	Arnaud Charlet	[Ada] Ada2020: AI12-0027 Access values and unaliased...	commit \| commitdiff \| tree
2020-07-23	Arnaud Charlet	[Ada] Add push/pop capability in Output	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] AI12-0132 Freezing of renames_as_body	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] Wrong execution of Tan on large argument	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] AI12-0004 Normalization and allowed characters	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] AI12-0373 Additional check on Integer_Literal...	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] Disable Initialize_Scalars on runtime files	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] Spurious redundant use clause warning	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] Overflow in string streaming	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] Add centralized capacity check in Generic_Bignums	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Ongoing work for AI12-0212: container aggregates	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Fix logic in Allocate_Any_Controlled	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Spurious error on Predicate_Failure aspect	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Mention -gnat2020 in error message	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Remove doc on obsolete tools	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Assert failure with -gnatwr	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Missing error on operator call	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] ACATS 4.1P [BDB4001] - 13.11.4(22-23/3) not enforced	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Documentation cleanups	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Extend static functions	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Potential access to uninitialized variable	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Fix potentially uninitialized variable flagged...	commit \| commitdiff \| tree
2020-07-10	Arnaud Charlet	[Ada] Preserve casing of output files	commit \| commitdiff \| tree
2020-07-10	Arnaud Charlet	[Ada] Use small limit for aggregates inside subprograms	commit \| commitdiff \| tree
2020-07-10	Arnaud Charlet	[Ada] Make System.Generic_Bignums more flexible	commit \| commitdiff \| tree
2020-07-10	Arnaud Charlet	[Ada] Crash in Walk_Library_Items on ghost units	commit \| commitdiff \| tree
2020-07-08	Arnaud Charlet	[Ada] Clean up in Interfaces.C.Extensions	commit \| commitdiff \| tree
2020-07-08	Arnaud Charlet	[Ada] ACATS 4.1R - BD10001 - Error missed	commit \| commitdiff \| tree
2020-07-07	Arnaud Charlet	[Ada] Assert failure on invalid Variable_Indexing	commit \| commitdiff \| tree
2020-07-07	Arnaud Charlet	[Ada] ACATS 4.1J - B854003 - Subtype conformance check...	commit \| commitdiff \| tree
2020-07-07	Arnaud Charlet	[Ada] ACATS 4.1K - C452003	commit \| commitdiff \| tree
2020-07-07	Arnaud Charlet	[Ada] ACATS 4.1H - BC60005 - null exclusion matching...	commit \| commitdiff \| tree
2020-07-07	Arnaud Charlet	[Ada] Add support for XDR streaming in the default...	commit \| commitdiff \| tree
2020-07-07	Arnaud Charlet	[Ada] Spurious elaboration warnings with -gnatc and...	commit \| commitdiff \| tree
2020-07-06	Arnaud Charlet	[Ada] AI12-0366 Changes to Big_Integer and Big_Real	commit \| commitdiff \| tree
2020-07-06	Arnaud Charlet	[Ada] AI12-0376 Relax RM 13.1(10) rule wrt primitive...	commit \| commitdiff \| tree
2020-07-06	Arnaud Charlet	[Ada] Default_Initial_Condition check done after extended...	commit \| commitdiff \| tree
2020-06-19	Arnaud Charlet	[Ada] AI12-0366 Changes to Big_Integer and Big_Real 2020-06-19 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-19	Arnaud Charlet	[Ada] universal_access equality and 'Access attributes 2020-06-19 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-19	Arnaud Charlet	[Ada] Add missing warning tag for some overlapping... 2020-06-19 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-18	Arnaud Charlet	[Ada] ACATS 4.1J - B854003 - Subtype conformance check... 2020-06-18 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-18	Arnaud Charlet	[Ada] Add support for XDR streaming in the default... 2020-06-18 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-18	Arnaud Charlet	[Ada] Profile mismatch between C and Ada functions 2020-06-18 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-18	Arnaud Charlet	[Ada] Suppress CodePeer message on possible uninitialized... 2020-06-18 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-18	Arnaud Charlet	[Ada] ACATS 4.1L - B452002 - Wrong universal access... 2020-06-18 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-17	Arnaud Charlet	[Ada] ACATS 4.1H - BA12018 - Missed errors for private... 2020-06-17 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-17	Arnaud Charlet	[Ada] Improve error message on anonymous access parameter... 2020-06-17 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-17	Arnaud Charlet	[Ada] Remove obsolete comments in Big_Numbers 2020-06-17 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-16	Arnaud Charlet	[Ada] ACATS C452005/C452006 memberships use wrong equality... 2020-06-16 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-16	Arnaud Charlet	[Ada] ACATS 4.1P - C432003 - Errors missed on extension... 2020-06-16 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-16	Arnaud Charlet	[Ada] ACATS 4.1P - BC55001 - Error missed 2020-06-16 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-16	Arnaud Charlet	[Ada] ACATS 4.1K - B452001 - No errors detected 2020-06-16 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-15	Arnaud Charlet	[Ada] Improve error message on premature usage of subtypes 2020-06-15 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-15	Arnaud Charlet	[Ada] Allow uninitialized values on Big_Positive/Natural 2020-06-15 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-15	Arnaud Charlet	[Ada] Missing errors on aspect checking 2020-06-15 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-15	Arnaud Charlet	[Ada] AI12-0260 Functions Is_Basic and To_Basic in... 2020-06-15 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-12	Arnaud Charlet	[Ada] AI12-0074 View conversions and out parameters... 2020-06-12 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-12	Arnaud Charlet	[Ada] Fix handling of Ada 83 OUT parameter rule 2020-06-12 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-12	Arnaud Charlet	[Ada] AI12-0350 Swap for Indefinite_Holders 2020-06-12 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-12	Arnaud Charlet	[Ada] Fix handling of subprograms declared in a protected... 2020-06-12 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-12	Arnaud Charlet	[Ada] ACATS 4.2Q - BDD2007 2020-06-12 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-12	Arnaud Charlet	[Ada] ACATS 4.1Q - CDD2A04 - RLS not followed 2020-06-12 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-11	Arnaud Charlet	[Ada] AI12-0356 Root_Storage_Pool_With_Subpools & Preelabora... 2020-06-11 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-11	Arnaud Charlet	[Ada] Remove aspects that were commented out 2020-06-11 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-11	Arnaud Charlet	[Ada] Add fallback on Integer_Arithmetic 2020-06-11 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-10	Arnaud Charlet	[Ada] AI12-0364 Add a modular atomic arithmetic package 2020-06-10 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-10	Arnaud Charlet	[Ada] AI12-0311 New checks for language-defined units 2020-06-10 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-10	Arnaud Charlet	[Ada] Ada 202x AI12-0192 "requires late initialization" 2020-06-10 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-10	Arnaud Charlet	[Ada] Update headers 2020-06-10 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-10	Arnaud Charlet	[Ada] Remove more references to ASIS 2020-06-10 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-10	Arnaud Charlet	[Ada] Fix typo in exception message 2020-06-10 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-10	Arnaud Charlet	[Ada] Remove Determine_License 2020-06-10 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Code clean ups and comments updates 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Improve handling of null unbounded strings 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Remove kludge for AI05-0087 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Improve handling of aggregates in Side_Effect_Free 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Expand more others aggregates statically 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Code refactoring on calls to Set_Debug_Info_Needed 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Membership test against a non-excluding subtype 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Add missing tag with -gnatw.d 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Refine implementation of AI05-0149 missing conversion... 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] AI1-0201 Relational operators of static string... 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-09	Arnaud Charlet	[Ada] Ada2020: AI12-0301 Predicates and Default_Value 2020-06-09 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0204 Renaming of a prefixed view 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0085 Missing aspect cases for Remote_Types 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0228 Properties of qualified expressions... 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] Fix handling of 'Enum_Rep and renamings 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] Remove processing of SPARK_05 restriction 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0287 Legality Rules for null exclusions... 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] Ada.Text_IO: fix typo 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] Update doc on Enum_Rep/Enum_Val 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0226 Make objects more consistent 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0309 Missing checks for pragma Suppress 2020-06-08 Arnaud Charlet <charlet@adacore.com>	commit \| commitdiff \| tree
next

RSS Atom