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

2020-10-20	Arnaud Charlet	[Ada] Add support for Unreferenced aspect on formal...	commit \| commitdiff \| tree
2020-10-20	Arnaud Charlet	[Ada] New warning on not fully initialized box aggregate	commit \| commitdiff \| tree
2020-10-20	Arnaud Charlet	[Ada] Crash on precondition, discriminant and protected...	commit \| commitdiff \| tree
2020-10-20	Arnaud Charlet	[Ada] Issue with gnatbind -V switch and Ada 2012	commit \| commitdiff \| tree
2020-10-20	Arnaud Charlet	[Ada] Spurious discriminant check on "for of" loop	commit \| commitdiff \| tree
2020-10-20	Arnaud Charlet	[Ada] Remove extra validity check in case statement	commit \| commitdiff \| tree
2020-10-20	Arnaud Charlet	[Ada] Code clean up	commit \| commitdiff \| tree
2020-10-19	Arnaud Charlet	[Ada] Missing check on array concatenation	commit \| commitdiff \| tree
2020-10-19	Arnaud Charlet	[Ada] AI12-0352: Early derivation and equality of untagged...	commit \| commitdiff \| tree
2020-10-19	Arnaud Charlet	[Ada] Wrong freezing for expression function with contracts...	commit \| commitdiff \| tree
2020-10-19	Arnaud Charlet	[Ada] ACATS 4.1R - Exception missed	commit \| commitdiff \| tree
2020-10-19	Arnaud Charlet	[Ada] No range check on fixed point to integer conversion	commit \| commitdiff \| tree
2020-10-19	Arnaud Charlet	[Ada] Clean up support of square brackets	commit \| commitdiff \| tree
2020-10-16	Arnaud Charlet	[Ada] Preelaborate rules not fully enforced	commit \| commitdiff \| tree
2020-10-16	Arnaud Charlet	[Ada] Ada2020: AI12-0129 Make protected objects more...	commit \| commitdiff \| tree
2020-10-16	Arnaud Charlet	[Ada] Clean up in system.ads dependencies during compiler...	commit \| commitdiff \| tree
2020-10-16	Arnaud Charlet	[Ada] Convert from UTF_16 to UTF_8 fails for large...	commit \| commitdiff \| tree
2020-10-16	Arnaud Charlet	[Ada] Finalization of uninitialized object with build...	commit \| commitdiff \| tree
2020-10-16	Arnaud Charlet	[Ada] Relax too strong assertions	commit \| commitdiff \| tree
2020-10-16	Arnaud Charlet	[Ada] Reduce use of primary stack on string concatenation	commit \| commitdiff \| tree
2020-10-16	Arnaud Charlet	[Ada] Remove support for -gnatP and pragma Polling	commit \| commitdiff \| tree
2020-10-16	Arnaud Charlet	[Ada] Crash when specifying an abstract subprogram...	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] Spurious visibility on private with package	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] Wrong use of Scope_Depth_Value	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] Code cleanup	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] Assert failure on incorrect code	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] Double evaluation of predicate	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] Add support for compile time evaluation of Shift_Right...	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] Warn on unknown aspect	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] Complete support for static intrinsic functions	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] Add iterators over GNAT.Array_Split.Slice_Set	commit \| commitdiff \| tree
2020-10-15	Arnaud Charlet	[Ada] AI12-0385 Predefined shifts and rotates should...	commit \| commitdiff \| tree
2020-09-03	Arnaud Charlet	Preliminary work on support for 128bits integers	commit \| commitdiff \| tree
2020-09-03	Arnaud Charlet	Look at fullest view when checking for static types...	commit \| commitdiff \| tree
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
next

RSS Atom