projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_Barriers)
2020-06-08
Steve Baird
[Ada] Implement AI12-0073 (Ravenscar disallows Synchronous_B...
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] AI12-0204 Renaming of a prefixed view
commit
|
commitdiff
|
tree
2020-06-08
Arnaud Charlet
[Ada] AI12-0085 Missing aspect cases for Remote_Types
commit
|
commitdiff
|
tree
2020-06-08
Justin Squirek
[Ada] Spurious error on call to controlled primitive
commit
|
commitdiff
|
tree
2020-06-08
Piotr Trojanek
[Ada] Port a modified expansion of Enum_Rep from GNAT...
commit
|
commitdiff
|
tree
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
next