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

2020-07-27	Javier Miranda	[Ada] Ada2020: AI12-0027 Access values and unaliased...	commit \| commitdiff \| tree
2020-07-27	Eric Botcazou	[Ada] Remove obsolete special case in Switch_View	commit \| commitdiff \| tree
2020-07-27	Patrick Bernardi	[Ada] x86-lynx178elf: use a-numaux.ads instead of a...	commit \| commitdiff \| tree
2020-07-27	Ed Schonberg	[Ada] Warnings on overloays involving generic In_Parameters	commit \| commitdiff \| tree
2020-07-27	Gary Dismukes	[Ada] AI12-0382: Loosen type-invariant overriding requiremen...	commit \| commitdiff \| tree
2020-07-27	Piotr Trojanek	[Ada] Add range check for GNATprove on 'Pos to Long_Integer...	commit \| commitdiff \| tree
2020-07-27	Bob Duff	[Ada] Ada2020: AI12-0304 Put_Image attrs of lang-def...	commit \| commitdiff \| tree
2020-07-16	Javier Miranda	[Ada] Misplace of internal master renaming declaration	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] AI12-0132 Freezing of renames_as_body	commit \| commitdiff \| tree
2020-07-16	Ed Schonberg	[Ada] Ongoing work for AI12-0212 : container aggregates	commit \| commitdiff \| tree
2020-07-16	Bob Duff	[Ada] gnatbind: Fix No_Entry_Calls_In_Elaboration_Code...	commit \| commitdiff \| tree
2020-07-16	Bob Duff	[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU	commit \| commitdiff \| tree
2020-07-16	Eric Botcazou	[Ada] Remove duplicated line	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] Wrong execution of Tan on large argument	commit \| commitdiff \| tree
2020-07-16	Ed Schonberg	[Ada] Spurious error in instance nested in formal package	commit \| commitdiff \| tree
2020-07-16	Doug Rupp	[Ada] v7r2cert: minor refactoring	commit \| commitdiff \| tree
2020-07-16	Eric Botcazou	[Ada] Set missing Parent field of block entity	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] AI12-0004 Normalization and allowed characters	commit \| commitdiff \| tree
2020-07-16	Bob Duff	[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU	commit \| commitdiff \| tree
2020-07-16	Bob Duff	[Ada] Adjust heuristics about size of static aggregates	commit \| commitdiff \| tree
2020-07-16	Bob Duff	[Ada] Ada2020: AI12-0055 No_Dynamic_CPU_Assignment...	commit \| commitdiff \| tree
2020-07-16	Gary Dismukes	[Ada] Implicit dereferencing in container indexing	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] AI12-0373 Additional check on Integer_Literal...	commit \| commitdiff \| tree
2020-07-16	Ghjuvan Lacambre	[Ada] Handle N_Others_Choice case in range-building...	commit \| commitdiff \| tree
2020-07-16	Bob Duff	[Ada] Ada2020: AI12-0289 Implicitly null excluding...	commit \| commitdiff \| tree
2020-07-16	Justin Squirek	[Ada] Spurious accessibility error on allocator in...	commit \| commitdiff \| tree
2020-07-16	Eric Botcazou	[Ada] Small cleanup in interface with GCC back-end	commit \| commitdiff \| tree
2020-07-16	Justin Squirek	[Ada] Incorrect static accessibility error in return...	commit \| commitdiff \| tree
2020-07-16	Piotr Trojanek	[Ada] Simplify detection of others choice with just...	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] Disable Initialize_Scalars on runtime files	commit \| commitdiff \| tree
2020-07-16	Ghjuvan Lacambre	[Ada] Do not perform null exclusion static checks on...	commit \| commitdiff \| tree
2020-07-16	Javier Miranda	[Ada] Avoid false positive reported by CodePeer	commit \| commitdiff \| tree
2020-07-16	Arnaud Charlet	[Ada] Spurious redundant use clause warning	commit \| commitdiff \| tree
2020-07-16	Javier Miranda	[Ada] Ada2020: AI12-0107 convention of By_Protected_Procedure	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-16	Gary Dismukes	[Ada] AI12-0042: Type invariant checking rules	commit \| commitdiff \| tree
2020-07-15	Piotr Trojanek	[Ada] Cleanup code related to object overlays	commit \| commitdiff \| tree
2020-07-15	Eric Botcazou	[Ada] Cleanup in Convert_To_Positional after previous...	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	Piotr Trojanek	[Ada] Target name is an object reference	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	Eric Botcazou	[Ada] Do not generate elaboration code for alignment...	commit \| commitdiff \| tree
2020-07-15	Eric Botcazou	[Ada] Do not generate extra copies inside initialization...	commit \| commitdiff \| tree
2020-07-15	Ghjuvan Lacambre	[Ada] Guard against access to wrong fields in Is_Renaming	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	Piotr Trojanek	[Ada] Fix for possibly null ranges in 'Update and delta_aggr...	commit \| commitdiff \| tree
2020-07-15	Eric Botcazou	[Ada] Small addition and tweaks in documentation on...	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	Yannick Moy	[Ada] Mark standard containers as not in SPARK	commit \| commitdiff \| tree
2020-07-15	Eric Botcazou	[Ada] Fix oversight in Delayed_Aspect_Present predicate	commit \| commitdiff \| tree
2020-07-15	Javier Miranda	[Ada] Wrong resolution of 'access in protected subprogram	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Documentation cleanups	commit \| commitdiff \| tree
2020-07-15	Piotr Trojanek	[Ada] Fix slices and qualified expressions being effectively...	commit \| commitdiff \| tree
2020-07-15	Piotr Trojanek	[Ada] Cleanup condition for an effectively volatile...	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	Piotr Trojanek	[Ada] Fix typo in "accommodate" in docs and comments	commit \| commitdiff \| tree
2020-07-15	Gary Dismukes	[Ada] Minor reformatting of comments and some code...	commit \| commitdiff \| tree
2020-07-15	Eric Botcazou	[Ada] Use Sloc of delay statement in timed entry call	commit \| commitdiff \| tree
2020-07-15	Ed Schonberg	[Ada] Ongoing work for unnamed and named container...	commit \| commitdiff \| tree
2020-07-15	Justin Squirek	[Ada] Spurious accessibility error on allocator	commit \| commitdiff \| tree
2020-07-15	Arnaud Charlet	[Ada] Fix potentially uninitialized variable flagged...	commit \| commitdiff \| tree
2020-07-10	Piotr Trojanek	[Ada] Revert mistaken negation related to references...	commit \| commitdiff \| tree
2020-07-10	Eric Botcazou	[Ada] Add warning for overlays changing scalar storage...	commit \| commitdiff \| tree
2020-07-10	Piotr Trojanek	[Ada] Fix detection of actual parameters for procedure...	commit \| commitdiff \| tree
2020-07-10	Bob Duff	[Ada] Ada2020: AI12-0368 Declare expressions can be...	commit \| commitdiff \| tree
2020-07-10	Ed Schonberg	[Ada] Spurious error on parameterless acccess_to_subprogram	commit \| commitdiff \| tree
2020-07-10	Eric Botcazou	[Ada] Further improve the expansion of array aggregates	commit \| commitdiff \| tree
2020-07-10	Arnaud Charlet	[Ada] Preserve casing of output files	commit \| commitdiff \| tree
2020-07-10	Pascal Obry	[Ada] Fix memory leak in routine Wait_On_Socket	commit \| commitdiff \| tree
2020-07-10	Pascal Obry	[Ada] Minor style fixes	commit \| commitdiff \| tree
2020-07-10	Javier Miranda	[Ada] Potentially unevaluated nested expressions	commit \| commitdiff \| tree
2020-07-10	Gary Dismukes	[Ada] Reformatting and typo corrections	commit \| commitdiff \| tree
2020-07-10	Yannick Moy	[Ada] Fix detection of volatile properties in SPARK	commit \| commitdiff \| tree
2020-07-10	Piotr Trojanek	[Ada] Cleanup excessive conditions in Check_Completion	commit \| commitdiff \| tree
2020-07-10	Piotr Trojanek	[Ada] Remove references to non-existing E_Protected_Object	commit \| commitdiff \| tree
2020-07-10	Arnaud Charlet	[Ada] Use small limit for aggregates inside subprograms	commit \| commitdiff \| tree
2020-07-10	Eric Botcazou	[Ada] Small cleanup throughout Exp_Ch4	commit \| commitdiff \| tree
2020-07-10	Javier Miranda	[Ada] Spurious error in generic dispatching constructor...	commit \| commitdiff \| tree
2020-07-10	Yannick Moy	[Ada] Fix assertion failure on (in-)out function parameter	commit \| commitdiff \| tree
2020-07-10	Piotr Trojanek	[Ada] Revert too late setting of Ekind on discriminants	commit \| commitdiff \| tree
2020-07-10	Joffrey Huguet	[Ada] Add global contracts to Ada.Numerics.Big_Numbers...	commit \| commitdiff \| tree
2020-07-10	Ed Schonberg	[Ada] Part of implementation of AI12-0212: container...	commit \| commitdiff \| tree
2020-07-10	Arnaud Charlet	[Ada] Make System.Generic_Bignums more flexible	commit \| commitdiff \| tree
2020-07-10	Eric Botcazou	[Ada] Fix crash on quantified expression in expression...	commit \| commitdiff \| tree
2020-07-10	Eric Botcazou	[Ada] Fix crash on quantified expression in expression...	commit \| commitdiff \| tree
2020-07-10	Eric Botcazou	[Ada] Fix internal error on if-expression in call returning...	commit \| commitdiff \| tree
2020-07-10	Piotr Trojanek	[Ada] Fix failing assertions related to volatile objects	commit \| commitdiff \| tree
2020-07-10	Yannick Moy	[Ada] Remove use of debug flag -gnatdF for GNATprove	commit \| commitdiff \| tree
2020-07-10	Piotr Trojanek	[Ada] Reuse SPARK expansion of attribute Update for...	commit \| commitdiff \| tree
2020-07-10	Piotr Trojanek	[Ada] Fix expansion of 'Update with multiple choices...	commit \| commitdiff \| tree
2020-07-10	Arnaud Charlet	[Ada] Crash in Walk_Library_Items on ghost units	commit \| commitdiff \| tree
2020-07-08	Eric Botcazou	[Ada] Disable warning about unsafe use of __builtin_frame_ad...	commit \| commitdiff \| tree
2020-07-08	Dmitriy Anisimkov	[Ada] Fix C miss parentheses warning on Windows	commit \| commitdiff \| tree
2020-07-08	Eric Botcazou	[Ada] Fix warnings in C runtime files on Windows	commit \| commitdiff \| tree
next

RSS Atom