projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Crash on inherited private operation in child package
2019-12-13
Ed Schonberg
[Ada] Crash on inherited private operation in child...
commit
|
commitdiff
|
tree
2019-12-13
Yannick Moy
[Ada] Avoid spurious errors on Global/Depends in instantiations
commit
|
commitdiff
|
tree
2019-12-13
Yannick Moy
[Ada] Prevent inlining inside condition of while loop...
commit
|
commitdiff
|
tree
2019-12-13
Bob Duff
[Ada] Ada2020: Update Impunit for Ada 202X
commit
|
commitdiff
|
tree
2019-12-13
Bob Duff
[Ada] Rtsfind: minor comment fixes
commit
|
commitdiff
|
tree
2019-12-13
Gary Dismukes
[Ada] Up-level addressing problems with private tasks...
commit
|
commitdiff
|
tree
2019-12-13
Arnaud Charlet
[Ada] Add Ada.Containers.Vectors.Generic_Parallel_Sorting...
commit
|
commitdiff
|
tree
2019-12-13
Justin Squirek
[Ada] Missing accessibility checks on conditionals
commit
|
commitdiff
|
tree
2019-12-13
Steve Baird
[Ada] Implement AI12-0101
commit
|
commitdiff
|
tree
2019-12-13
Justin Squirek
[Ada] Spurious error on overriding controlled primitive
commit
|
commitdiff
|
tree
2019-12-13
Ed Schonberg
[Ada] New flag to indicate whether aspect appears on...
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Spurious warning about change of representastion...
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Spurious error on universal access equality operator
commit
|
commitdiff
|
tree
2019-12-12
Steve Baird
[Ada] Tighten up semantic checking for protected subprogram...
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Missing dereference in bound of slice in element...
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Improve error message for dispatching subprogram...
commit
|
commitdiff
|
tree
2019-12-12
Gary Dismukes
[Ada] Fix related to handling up-level references in...
commit
|
commitdiff
|
tree
2019-12-12
Steve Baird
[Ada] Improved handling of circular compilation dependencies
commit
|
commitdiff
|
tree
2019-12-12
Gary Dismukes
[Ada] Fix various typos, plus minor reformatting
commit
|
commitdiff
|
tree
2019-12-12
Justin Squirek
[Ada] Broken privacy on Controlled type extensions
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Fix processing of standard predefined operators
commit
|
commitdiff
|
tree
2019-12-12
Piotr Trojanek
[Ada] Fix Global contract for the predefined Yield...
commit
|
commitdiff
|
tree
2019-12-12
Piotr Trojanek
[Ada] Fix repeated words and typos in doc and comments
commit
|
commitdiff
|
tree
2019-12-12
Eric Botcazou
[Ada] Fix wrong value of 'Size for slices of bit-packed...
commit
|
commitdiff
|
tree
2019-12-12
Steve Baird
[Ada] Implement AI12-0036 (a new legality check for...
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Spurious visibility error on subunit with optimization
commit
|
commitdiff
|
tree
2019-12-12
Arnaud Charlet
[Ada] Define __gnat_personality_v0 for SEH
commit
|
commitdiff
|
tree
2019-12-12
Gary Dismukes
[Ada] Handling up-level references in protected entries...
commit
|
commitdiff
|
tree
2019-12-12
Justin Squirek
[Ada] Missing error on incorrect use of Result attribute
commit
|
commitdiff
|
tree
2019-12-12
Bob Duff
[Ada] Crash on Descriptor_Size attribute
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Missing length check on private type with unknown...
commit
|
commitdiff
|
tree
2019-12-12
Bob Duff
[Ada] Compiler crash on prefix call in generic body
commit
|
commitdiff
|
tree
2019-12-12
Claire Dross
[Ada] Use correct subtype for call to Last in formal...
commit
|
commitdiff
|
tree
2019-12-12
Gary Dismukes
[Ada] Fix a number of typos, plus minor reformatting
commit
|
commitdiff
|
tree
2019-12-12
Bob Duff
[Ada] Update gnatmetric documentation for average lengths
commit
|
commitdiff
|
tree
2019-12-12
Ed Schonberg
[Ada] Constraint is ignored on constrained access record...
commit
|
commitdiff
|
tree
2019-12-12
Justin Squirek
[Ada] Crash on use of Loop_Entry, Result, and Old as...
commit
|
commitdiff
|
tree
2019-12-12
Arnaud Charlet
[Ada] Remove references to VMS
commit
|
commitdiff
|
tree
2019-12-12
Eric Botcazou
[Ada] Mark Ada subprograms and variables referenced...
commit
|
commitdiff
|
tree
2019-12-12
Dmitriy Anisimkov
[Ada] Improve end of command line arguments detection
commit
|
commitdiff
|
tree
2019-12-12
Pierre-Marie de...
[Ada] Remove implicit anonymous access conversion in...
2019-12-12
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2019-10-11
Pierre-Marie de...
[Ada] Repair ChangeLog entries
commit
|
commitdiff
|
tree
2019-10-10
Gary Dismukes
[Ada] Handling up-level references in loops within...
commit
|
commitdiff
|
tree
2019-10-10
Arnaud Charlet
[Ada] Ensure constructor is a C++ constructor
commit
|
commitdiff
|
tree
2019-10-10
Gary Dismukes
[Ada] Add pragma Preelaborable_Initialization to Stream_IO...
commit
|
commitdiff
|
tree
2019-10-10
Yannick Moy
[Ada] Fix inlining of subprograms with deep param/result...
commit
|
commitdiff
|
tree
2019-10-10
Gary Dismukes
[Ada] Various minor typo fixes
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Spurious warning on call with out parameter in...
commit
|
commitdiff
|
tree
2019-10-10
Gary Dismukes
[Ada] Unnesting issues with entry families and accept...
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Spurious visibility error on formal package with...
commit
|
commitdiff
|
tree
2019-10-10
Eric Botcazou
[Ada] Fix awkward placement of freeze node for actual...
commit
|
commitdiff
|
tree
2019-10-10
Eric Botcazou
[Ada] Get rid of spurious error for _Tag on extension...
commit
|
commitdiff
|
tree
2019-10-10
Bob Duff
[Ada] Debug procedure for printing ancestors
commit
|
commitdiff
|
tree
2019-10-10
Bob Duff
[Ada] 'others' in conditional_expressions
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Missing Predicated_Parent link on array Itype
commit
|
commitdiff
|
tree
2019-10-10
Eric Botcazou
[Ada] Plug minor loophole for integer named number
commit
|
commitdiff
|
tree
2019-10-10
Yannick Moy
[Ada] Do not inline subprograms with deep parameter...
commit
|
commitdiff
|
tree
2019-10-10
Vadim Godunko
[Ada] Define default value for Process field
commit
|
commitdiff
|
tree
2019-10-10
Bob Duff
[Ada] T'Size in pragma Compile_Time_Error
commit
|
commitdiff
|
tree
2019-10-10
Bob Duff
[Ada] Assertion_Policy (Ignore) ignores invariants
commit
|
commitdiff
|
tree
2019-10-10
Arnaud Charlet
[Ada] Fix handling of -gnatceg on incomplete unit
commit
|
commitdiff
|
tree
2019-10-10
Gary Dismukes
[Ada] Generation of procedures for blocks occurring...
commit
|
commitdiff
|
tree
2019-10-10
Anthony Leonardo...
[Ada] Mention GNAT Studio instead of GPS
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Spurious restriction violation on Ghost code
commit
|
commitdiff
|
tree
2019-10-10
Bob Duff
[Ada] Replace in Ordered_Maps gets tampering failure
commit
|
commitdiff
|
tree
2019-10-10
Ed Schonberg
[Ada] Spurious visibility error in predicate in generic...
commit
|
commitdiff
|
tree
2019-10-10
Patrick Bernardi
[Ada] Flag Sec_Stack_Used incorrectly set by ghost...
commit
|
commitdiff
|
tree
2019-10-10
Piotr Trojanek
[Ada] Use declared type for deciding on SPARK pointer...
commit
|
commitdiff
|
tree
2019-09-19
Tom Tromey
[Ada] Emit DW_AT_GNU_bias with -fgnat-encodings=gdb
commit
|
commitdiff
|
tree
2019-09-19
Steve Baird
[Ada] Accept concatentation arguments to pragma Annotate
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Get rid of useless temporary for slice in overaligned...
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Sem_Ch12: add a comment to indicate future work
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Fix copy operation with private discriminated...
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Fix bogus "too late" error with nested generics...
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Fix bogus visibility error with nested generics...
commit
|
commitdiff
|
tree
2019-09-19
Dmitriy Anisimkov
[Ada] New routine GNAT.Sockets.Create_Socket_Pair
commit
|
commitdiff
|
tree
2019-09-19
Yannick Moy
[Ada] Use declared type for deciding on SPARK pointer...
commit
|
commitdiff
|
tree
2019-09-19
Ed Schonberg
[Ada] Spurious visibility error in generic child unit
commit
|
commitdiff
|
tree
2019-09-19
Yannick Moy
[Ada] Disable inlining of traversal function in GNATprove
commit
|
commitdiff
|
tree
2019-09-19
Yannick Moy
[Ada] Allow constants of access type in Global contracts
commit
|
commitdiff
|
tree
2019-09-19
Arnaud Charlet
[Ada] Exp_Attr: remove obsolete comment
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Fix run-time segfault with derived access-to...
commit
|
commitdiff
|
tree
2019-09-19
Yannick Moy
[Ada] Move SPARK borrow-checker to gnat2why codebase
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Implement Machine_Rounding attribute in line...
commit
|
commitdiff
|
tree
2019-09-19
Gary Dismukes
[Ada] Suppress GNAT FE up-level reference transformation...
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Streamline comparison for equality of 2-element...
commit
|
commitdiff
|
tree
2019-09-19
Piotr Trojanek
[Ada] Remove duplicated routines for getting homonym...
commit
|
commitdiff
|
tree
2019-09-19
Ed Schonberg
[Ada] Crash on predicate in full view in a generic...
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada] Memory leak with 'Range of a function call in...
commit
|
commitdiff
|
tree
2019-09-19
Raphael Amiard
[Ada] Propagate documentation to formal bounded sets
commit
|
commitdiff
|
tree
2019-09-19
Raphael Amiard
[Ada] Add comments wrt. deallocation of bounded sets...
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Fix spurious type mismatch failure on nested...
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada] Infinite loop with concatenation and aspect
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Fix fallout of previous change for bit-packed...
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada] gnatxref: infinite loop on symbols not found
commit
|
commitdiff
|
tree
2019-09-19
Eric Botcazou
[Ada] Improve handling of explicit by-reference mechanism
commit
|
commitdiff
|
tree
2019-09-19
Bob Duff
[Ada] Rtsfind: improve comment on RTE_Available
commit
|
commitdiff
|
tree
2019-09-18
Bob Duff
[Ada] Avoid gnatbind regression caused by Copy_Bitfield
commit
|
commitdiff
|
tree
2019-09-18
Eric Botcazou
[Ada] Fix spurious alignment warning on simple address...
commit
|
commitdiff
|
tree
2019-09-18
Ed Schonberg
[Ada] Crash on universal case expression in fixed-point...
commit
|
commitdiff
|
tree
next