projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Crash on compilation unit function that builds in place
2018-12-11
Ed Schonberg
[Ada] Crash on compilation unit function that builds...
commit
|
commitdiff
|
tree
2018-12-11
Dmitriy Anisimkov
[Ada] GNAT.Sockets: fix timeout computations for sockets
commit
|
commitdiff
|
tree
2018-12-11
Gary Dismukes
[Ada] Minor reformattings
commit
|
commitdiff
|
tree
2018-12-11
Hristian Kirtchev
[Ada] Crash on ignored Ghost expression function
commit
|
commitdiff
|
tree
2018-12-11
Jerome Lambourg
[Ada] Remove vxlink and vxaddr2line from this repository
commit
|
commitdiff
|
tree
2018-12-11
Hristian Kirtchev
[Ada] Minor reformatting
commit
|
commitdiff
|
tree
2018-12-11
Eric Botcazou
[Ada] Complete implementation of RM C.6(19) clause
commit
|
commitdiff
|
tree
2018-12-11
Piotr Trojanek
[Ada] Stubs that complete generic subprogram do have...
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] GNATprove: improve proofs for uninitialized constraine...
commit
|
commitdiff
|
tree
2018-12-11
Yannick Moy
[Ada] Support access types in GNATprove
commit
|
commitdiff
|
tree
2018-12-11
Yannick Moy
[Ada] Better error message from GNATprove on illegal...
commit
|
commitdiff
|
tree
2018-12-11
Javier Miranda
[Ada] Fix runtime stack overflow for out/in-out actuals...
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Additionsal trasformations for unnesting in package...
commit
|
commitdiff
|
tree
2018-12-11
Jerome Lambourg
[Ada] Remove vxworks*-crtbe-link.spec
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Spurious visibility error on aspect Predicate
commit
|
commitdiff
|
tree
2018-12-11
Eric Botcazou
[Ada] Fix an ICE on instantiated subprogram with -gnatc
commit
|
commitdiff
|
tree
2018-12-11
Bob Duff
[Ada] Update gnatmetric documentation for the Libadalang...
commit
|
commitdiff
|
tree
2018-12-11
Javier Miranda
[Ada] Fix an ACATS regression with CCG
commit
|
commitdiff
|
tree
2018-12-11
Bob Duff
[Ada] Update gnatstub documentation for the Libadalang...
commit
|
commitdiff
|
tree
2018-12-11
Ed Schonberg
[Ada] Spurious errors on aspect specifications in generic...
commit
|
commitdiff
|
tree
2018-12-11
Pierre-Marie de...
[Ada] Document the -fgnat-encodings switch
commit
|
commitdiff
|
tree
2018-12-11
Justin Squirek
[Ada] Crash on nesting of subunits with bodies acting...
commit
|
commitdiff
|
tree
2018-12-11
Hristian Kirtchev
[Ada] Suppress call to Initial_Condition when the annotation...
commit
|
commitdiff
|
tree
2018-12-11
Eric Botcazou
[Ada] Almost always inline init. procedure of small...
commit
|
commitdiff
|
tree
2018-12-03
Gary Dismukes
[Ada] Fixes for various wrong and missing error messages...
commit
|
commitdiff
|
tree
2018-12-03
Ed Schonberg
[Ada] Spurious error on dependent expression that is...
commit
|
commitdiff
|
tree
2018-12-03
Hristian Kirtchev
[Ada] Add leap seconds for 2015 and 2016
commit
|
commitdiff
|
tree
2018-12-03
Gary Dismukes
[Ada] Spelling fixes and minor reformatting
commit
|
commitdiff
|
tree
2018-12-03
Eric Botcazou
[Ada] Fix recent regression on array aggregate with...
commit
|
commitdiff
|
tree
2018-12-03
Eric Botcazou
[Ada] Fix internal error on package instantiation on...
commit
|
commitdiff
|
tree
2018-12-03
Eric Botcazou
[Ada] Fix problematic overloading of operator in Ada...
commit
|
commitdiff
|
tree
2018-12-03
Patrick Bernardi
[Ada] A task not executing an entry call consumes an...
commit
|
commitdiff
|
tree
2018-12-03
Eric Botcazou
[Ada] Fix assertion failures with -gnatde and -gnatdv
commit
|
commitdiff
|
tree
2018-12-03
Hristian Kirtchev
[Ada] Minor reformattings
commit
|
commitdiff
|
tree
2018-12-03
Ed Schonberg
[Ada] Enhance comment
commit
|
commitdiff
|
tree
2018-12-03
Olivier Hainque
[Ada] Gigi support for OpenACC pragmas
commit
|
commitdiff
|
tree
2018-12-03
Olivier Hainque
[Ada] Adjust the default MALLOC_OBSERVABLE_ALIGNMENT...
commit
|
commitdiff
|
tree
2018-12-03
Ed Schonberg
[Ada] Missing check on if-expression
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Problem with boundary case of XOR operation and...
commit
|
commitdiff
|
tree
2018-11-14
Patrick Bernardi
[Ada] Update signal constants for GNU/Linux
commit
|
commitdiff
|
tree
2018-11-14
Eric Botcazou
[Ada] Fix small regression with others choice in array...
commit
|
commitdiff
|
tree
2018-11-14
Olivier Hainque
[Ada] sigtramp-vxworks: Add a rule for sp (DWARF r31...
commit
|
commitdiff
|
tree
2018-11-14
Eric Botcazou
[Ada] Remove couple of recently added dead tests
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtchev
[Ada] Spurious error on Ghost null procedure
commit
|
commitdiff
|
tree
2018-11-14
Eric Botcazou
[Ada] More complete information level for -gnatR output
commit
|
commitdiff
|
tree
2018-11-14
Javier Miranda
[Ada] Crash on interface equality covered by a renaming...
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtchev
[Ada] Use of Suppress_Initialization with pragma Thread_Loca...
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Missing constraint check on if-expression returning...
commit
|
commitdiff
|
tree
2018-11-14
Eric Botcazou
[Ada] Fix assertion failure on pragma Compile_Time_Error...
commit
|
commitdiff
|
tree
2018-11-14
Justin Squirek
[Ada] Crash on use of generic formal package
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Compiler crash on decl. with limited aggregate...
commit
|
commitdiff
|
tree
2018-11-14
Bob Duff
[Ada] System'To_Address not always static
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Enhance constraints propagation to ease the work...
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtchev
[Ada] Minor reformatting
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtchev
[Ada] Renamed equality leads to spurious errors
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtchev
[Ada] Crash on ignored Ghost assignment
commit
|
commitdiff
|
tree
2018-11-14
Justin Squirek
[Ada] Visibility error on used enumerated type
commit
|
commitdiff
|
tree
2018-11-14
Jerome Lambourg
[Ada] Do not include crt_externs.h on iOS
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Unnesting transformations for blocks in package...
commit
|
commitdiff
|
tree
2018-11-14
Ed Schonberg
[Ada] Improper extension of bounds of fixed-point type
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtchev
[Ada] Limited function violates No_Exception_Propagation
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtchev
[Ada] Crash on tagged equality
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada] Record components do not appear in the Global...
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada] Fix handling of generic actuals with default...
commit
|
commitdiff
|
tree
2018-11-14
Hristian Kirtchev
[Ada] Lingering loop for ignored Ghost assignment
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada] Use Cancel_Special_Output instead of Set_Special_Outpu...
commit
|
commitdiff
|
tree
2018-11-14
Piotr Trojanek
[Ada] Fix parentheses in comments and "library-level...
commit
|
commitdiff
|
tree
2018-11-14
Arnaud Charlet
[Ada] Handle -gx switches explicitly
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Fix spurious -Wuninitialized warnings for small...
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Fix incorrect computation of Component_Size in...
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Minor tweaks to suppress warnings
commit
|
commitdiff
|
tree
2018-10-09
Yannick Moy
[Ada] Ignore pragmas Compile_Time_Error/Warning in...
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Fix spurious error on derived record passed as...
commit
|
commitdiff
|
tree
2018-10-09
Maroua Maalej
[Ada] SPARK: fix bug related to non access object permissions
commit
|
commitdiff
|
tree
2018-10-09
Doug Rupp
[Ada] Minor copyright header fix
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Fix strange warning when using Ada.Iterator_Interface
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Einfo: minor comment fix
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Internal error on inlined renaming of subprogram...
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ada] Unnesting: fix handling of private types that...
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ada] Fix expansion of operations on nonbinary modular...
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ada] Unnesting: fix handling of uplevel refs to unconstrain...
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Remove spurious -Wuninitialized warning for small...
commit
|
commitdiff
|
tree
2018-10-09
Arnaud Charlet
[Ada] Bounded_Holders: fix a typo
commit
|
commitdiff
|
tree
2018-10-09
Claire Dross
[Ada] Functional_Vectors: remove default value for...
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ada] Reset Is_True_Constant on entites used as OUT...
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ada] Unnesting: avoid unnecessary loads of System
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ada] Spurious error message on visibiliy change in...
commit
|
commitdiff
|
tree
2018-10-09
Eric Botcazou
[Ada] Repinfo: list the mechanism of functions only
commit
|
commitdiff
|
tree
2018-10-09
Bob Duff
[Ada] Various User Manual updates for GNATpp
commit
|
commitdiff
|
tree
2018-10-09
Vasiliy Fofanov
[Ada] System.Os_Lib.Normalize_Pathname: fix incorrect...
commit
|
commitdiff
|
tree
2018-10-09
Arnaud Charlet
[Ada] Remove CodePeer annotation
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ada] Preserve Do_Range_Check flags in SPARK mode
commit
|
commitdiff
|
tree
2018-10-09
Ed Schonberg
[Ada] Spurious warning on uninitialized entity during...
commit
|
commitdiff
|
tree
2018-09-26
Elisa Barboni
[Ada] SPARK: minor error message enhancement
commit
|
commitdiff
|
tree
2018-09-26
Thomas Quinot
[Ada] Fix inheritance of representation items defined...
commit
|
commitdiff
|
tree
2018-09-26
Justin Squirek
[Ada] Spurious ineffective use_clause warning
commit
|
commitdiff
|
tree
2018-09-26
Arnaud Charlet
[Ada] Store -G xxx switches
commit
|
commitdiff
|
tree
2018-09-26
Yannick Moy
[Ada] Issue info message on inlined subprograms in...
commit
|
commitdiff
|
tree
2018-09-26
Ed Schonberg
[Ada] Missing front-end code for constraint checks...
commit
|
commitdiff
|
tree
2018-09-26
Maroua Maalej
[Ada] SPARK: fix a bug related to loop exit environment
commit
|
commitdiff
|
tree
next