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

2020-06-08	Piotr Trojanek	[Ada] Style cleanups in new code for Pure_Barriers	commit \| commitdiff \| tree
2020-06-08	Steve Baird	[Ada] Implement AI12-0291 (Jorvik profile)	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0228 Properties of qualified expressions...	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] Fix handling of 'Enum_Rep and renamings	commit \| commitdiff \| tree
2020-06-08	Eric Botcazou	[Ada] Remove the Has_Dynamic_Range_Check flag	commit \| commitdiff \| tree
2020-06-08	Steve Baird	[Ada] Implement AI12-0290 (Simple_Barriers restriction)	commit \| commitdiff \| tree
2020-06-08	Richard Kenner	[Ada] Issue with unnesting of 'First/Last and renaming	commit \| commitdiff \| tree
2020-06-08	Gary Dismukes	[Ada] Implement predicate checks on qualified expressions...	commit \| commitdiff \| tree
2020-06-08	Piotr Trojanek	[Ada] Restore Snames.Name_SPARK as it used in the GNATprove...	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] Remove processing of SPARK_05 restriction	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0287 Legality Rules for null exclusions...	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] Ada.Text_IO: fix typo	commit \| commitdiff \| tree
2020-06-08	Eric Botcazou	[Ada] Do not warn on partial access to atomic object...	commit \| commitdiff \| tree
2020-06-08	Philippe Gil	[Ada] Add gnatname use for multiple units files support	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] Update doc on Enum_Rep/Enum_Val	commit \| commitdiff \| tree
2020-06-08	Javier Miranda	[Ada] Better code generation for nested aggregates	commit \| commitdiff \| tree
2020-06-08	Piotr Trojanek	[Ada] Reuse standard expansion of 'First and 'Last...	commit \| commitdiff \| tree
2020-06-08	Piotr Trojanek	[Ada] Reuse Get_Index_Subtype in the special expander...	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0226 Make objects more consistent	commit \| commitdiff \| tree
2020-06-08	Claire Dross	[Ada] Silence spurious warning on instances of formal...	commit \| commitdiff \| tree
2020-06-08	Bob Duff	[Ada] gnatbind: Deterministic No_Entry_Calls_In_Elaboration_...	commit \| commitdiff \| tree
2020-06-08	Ed Schonberg	[Ada] Ada_2020: shared variable control aspects on...	commit \| commitdiff \| tree
2020-06-08	Dmitriy Anisimkov	[Ada] Fix socket timeout correction for Windows Server...	commit \| commitdiff \| tree
2020-06-08	Claire Dross	[Ada] Add Depends contracts to Delete procedures of...	commit \| commitdiff \| tree
2020-06-08	Arnaud Charlet	[Ada] AI12-0309 Missing checks for pragma Suppress	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] Replace ? by ?? in Error_Msg_N	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] Update comments wrt Ada 83 handling	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] Support 'Reduce under -gnatX	commit \| commitdiff \| tree
2020-06-05	Thomas Quinot	[Ada] Add note about gnatcov reliance on thunk names	commit \| commitdiff \| tree
2020-06-05	Ed Schonberg	[Ada] Subtype inherits Atomic flag from base type	commit \| commitdiff \| tree
2020-06-05	Piotr Trojanek	[Ada] Fix punctuation in description of Enum_Rep attribute	commit \| commitdiff \| tree
2020-06-05	Eric Botcazou	[Ada] Make the Has_Dynamic_Range_Check flag obsolete	commit \| commitdiff \| tree
2020-06-05	Piotr Trojanek	[Ada] Do not create an empty list of nodes that confuses...	commit \| commitdiff \| tree
2020-06-05	Dmitriy Anisimkov	[Ada] Optimize Normalize_Pathname	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] Spurious assert failure in Walk_Library_Items	commit \| commitdiff \| tree
2020-06-05	Piotr Trojanek	[Ada] Use Is_Incomplete_Type instead of a low-level...	commit \| commitdiff \| tree
2020-06-05	Piotr Trojanek	[Ada] Simplify iteration over components	commit \| commitdiff \| tree
2020-06-05	Eric Botcazou	[Ada] Fix incorrect initialization for array of non...	commit \| commitdiff \| tree
2020-06-05	Bob Duff	[Ada] Put_Image attribute: Rtsfind cleanups	commit \| commitdiff \| tree
2020-06-05	Piotr Trojanek	[Ada] Move routine for detecting special Text_IO packages...	commit \| commitdiff \| tree
2020-06-05	Yannick Moy	[Ada] Add comment about function only used in CodePeer	commit \| commitdiff \| tree
2020-06-05	Ed Schonberg	[Ada] Spurious error on address clause in task body	commit \| commitdiff \| tree
2020-06-05	Piotr Trojanek	[Ada] Add missing Global contract to Ada.Containers...	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] AI12-0207 Convention of anonymous access types	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] AI12-0336 Meaning of Time_Offset	commit \| commitdiff \| tree
2020-06-05	Eric Botcazou	[Ada] Fix assertion failure on double rederivation...	commit \| commitdiff \| tree
2020-06-05	Bob Duff	[Ada] Put_Image attribute	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] AI12-0144 Make Discrete_Random more flexible	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] AI12-0237 Getting the representation of an enumeration...	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] AI12-0318 No_IO should apply to Ada.Directories	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] AI12-0235 System.Storage_Pools should be pure	commit \| commitdiff \| tree
2020-06-05	Eric Botcazou	[Ada] Add No_Truncation flag on view conversion for...	commit \| commitdiff \| tree
2020-06-05	Bob Duff	[Ada] Assertion_Policy (Ignore) ignores invariants	commit \| commitdiff \| tree
2020-06-05	Eric Botcazou	[Ada] Rename parameter of routines in Checks	commit \| commitdiff \| tree
2020-06-05	Arnaud Charlet	[Ada] Minor wording changes wrt Ada 202x	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] AI12-0184: Long Long C Data types	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] New package Ada.Task_Initialization	commit \| commitdiff \| tree
2020-06-04	Ed Schonberg	[Ada] Ada_2020: contracts for formal subprograms	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Add missing conversion in call to Finalize primitive	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] Get rid of Disable_FE_Inline_Always	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Fix a couple of oversights in previous change	commit \| commitdiff \| tree
2020-06-04	Bob Duff	[Ada] Put_Image attribute	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Alignment clause ignored on completion derived...	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] Remove OpenACC support	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Remove obsolete reference to gigi in comment	commit \| commitdiff \| tree
2020-06-04	Gary Dismukes	[Ada] Implement AI12-0275 (Make subtype_mark optional...	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Fix glitch for N_Delta_Aggregate/N_Case_Expression...	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] Avoid redefining IS_DIR_SEPARATOR macro	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] Wrong walk order in Walk_Library_Items	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] Import Adafinal as convention Ada	commit \| commitdiff \| tree
2020-06-04	Ed Schonberg	[Ada] Incorrect source line range on subprogram body...	commit \| commitdiff \| tree
2020-06-04	Alexandre Oliva	[Ada] Revamp dump and aux output names	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Set convention and inlined flag on default null...	commit \| commitdiff \| tree
2020-06-04	Justin Squirek	[Ada] Missing accessibility check on access discriminant...	commit \| commitdiff \| tree
2020-06-04	Dmitriy Anisimkov	[Ada] Fix Is_Absolute_Path on Windows	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Update the documentation in checks.ads about...	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Small tweak to special handling of private index...	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] New procedure Register_Global_Unhandled_Action	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] Update URL and bug report instructions	commit \| commitdiff \| tree
2020-06-04	Steve Baird	[Ada] Avoid buffer overflow in Long_Long_Float_Text_IO	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] Remove System.Parameters.Single_Lock	commit \| commitdiff \| tree
2020-06-04	Arnaud Charlet	[Ada] Continuation of "Get rid of more references to...	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Add another ad-hoc case to the Has_Private_View...	commit \| commitdiff \| tree
2020-06-04	Eric Botcazou	[Ada] Fix fallout of cleanup to Has_Private_View mechanism	commit \| commitdiff \| tree
2020-06-04	Gary Dismukes	[Ada] Minor editorial fixes	commit \| commitdiff \| tree
2020-06-03	Eric Botcazou	[Ada] Fix for missing calls to Adjust primitive with...	commit \| commitdiff \| tree
2020-06-03	Justin Squirek	[Ada] Spurious ineffective with clause warnings on...	commit \| commitdiff \| tree
2020-06-03	Eric Botcazou	[Ada] Small housekeeping work in Check_Private_View	commit \| commitdiff \| tree
2020-06-03	Arnaud Charlet	[Ada] Add detection of uninitialized big reals	commit \| commitdiff \| tree
2020-06-03	Arnaud Charlet	[Ada] Remove more cases of empty loops	commit \| commitdiff \| tree
2020-06-03	Eric Botcazou	[Ada] Support pragma Allow_Integer_Address on 64-bit...	commit \| commitdiff \| tree
2020-06-03	Eric Botcazou	[Ada] Get rid of more references to Universal_Integer...	commit \| commitdiff \| tree
2020-06-03	Vadim Godunko	[Ada] Fix typos	commit \| commitdiff \| tree
2020-06-03	Eric Botcazou	[Ada] Avoid creating temporaries in Universal_Integer...	commit \| commitdiff \| tree
2020-06-03	Arnaud Charlet	[Ada] Update headers	commit \| commitdiff \| tree
2020-06-03	Eric Botcazou	[Ada] Small improvement to Expand_N_Unchecked_Type_Conversion	commit \| commitdiff \| tree
2020-06-03	Yannick Moy	[Ada] Improve handling of SPARK_Mode in generic instances	commit \| commitdiff \| tree
2020-06-03	Arnaud Charlet	[Ada] Initial infrastructure for adding a tree checker	commit \| commitdiff \| tree
2020-06-03	Justin Squirek	[Ada] Incorrect accessibility checking on aliased formals	commit \| commitdiff \| tree
2020-06-03	Eric Botcazou	[Ada] Improve 'Val implementation for some enumeration...	commit \| commitdiff \| tree
next

RSS Atom