projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Reuse Is_Rewrite_Substitution where possible
[gcc.git]
/
gcc
/
ada
/
ChangeLog
2018-05-30
Piotr Trojanek
[Ada] Reuse Is_Rewrite_Substitution where possible
blob
|
commitdiff
|
raw
2018-05-30
Piotr Trojanek
[Ada] Simplify conditions by removing always true conjuncts
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Hristian Kirtchev
[Ada] Spurious error on legal synchronized constituent
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Ed Schonberg
[Ada] Refine logic to set Needs_Activation_Record on...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Eric Botcazou
[Ada] Minor comment addition
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Bob Duff
[Ada] Secondary stack leak in "for X of ..." loops
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Arnaud Charlet
[Ada] Ignore out of range values for System.Priority...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Ed Schonberg
[Ada] Unnesting: look for specification of main unit
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Ed Schonberg
[Ada] Unnesting: properly handle local subprogram in...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Bob Duff
[Ada] Minor comment fix
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Ed Schonberg
[Ada] Unnesting: properly handle subprogram instantiations
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Hristian Kirtchev
[Ada] Secondary stack implementation clean up
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Arnaud Charlet
[Ada] Move special flags for Ada runtime files from...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Arnaud Charlet
[Ada] Move target pair settings in Makefiles
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Eric Botcazou
[Ada] Adjust documentation of -gnatn switch
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Arnaud Charlet
[Ada] Fix typos in Makefile.in
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Ed Schonberg
[Ada] Attach reference to finalizers to tree
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Javier Miranda
[Ada] Wrong equality on untagged private type
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Ed Schonberg
[Ada] Unnesting: handle statement sequences that includ...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Eric Botcazou
[Ada] Plug small hole in -gnatR output
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Ed Schonberg
[Ada] Unnesting: do not generate push/pop for exceptions
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Ed Schonberg
[Ada] Improper behavior of floating-point attributes
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Ed Schonberg
[Ada] Clarify use of Activation_Record_Component
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Ed Schonberg
[Ada] Set scope of component of subtype
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Ed Schonberg
[Ada] Unnesting: exclude selected components whose...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Arnaud Charlet
[Ada] Turn Ada.Calendar.Epoch_Offset into a function
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Olivier Hainque
[Ada] Add system-vxworks7 variants of system.ads files...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Olivier Hainque
[Ada] Tighten crtbegin files for VxWorks
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Piotr Trojanek
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Joel Brobecker
[Ada] GNAT UGN: update package requirements for 32bit...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Eric Botcazou
[Ada] Adjustment of behavior of new -gnatRj switch
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Pascal Obry
[Ada] Fix constraint error in Normalize_Pathname
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Pascal Obry
[Ada] System.Os_Lib: minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Doug Rupp
[Ada] New function to return nanoseconds from Unix...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Eric Botcazou
[Ada] Enhance output of discriminants with -gnatR in...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Eric Botcazou
[Ada] Implement machine parsable format for -gnatR...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Eric Botcazou
[Ada] Factor out worker procedure for -gnatR
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Eric Botcazou
[Ada] Minor cleanup in repinfo unit
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Richard Kenner
[Ada] Clear Do_Overflow_Check when inserting code to...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Arnaud Charlet
[Ada] Lib.Write: avoid use of System.Case_Util
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Doug Rupp
[Ada] Refine documentation of Monotonic_Clock to reflec...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Richard Kenner
[Ada] Always do range check against 'First
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Eric Botcazou
[Ada] Fix irregular output with -gnatRm
blob
|
commitdiff
|
raw
|
diff to current
2018-05-29
Bob Duff
[Ada] Preliminary work to avoid full pathnames in ALI...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Eric Botcazou
[Ada] Minor fixes and tweaks to comments in the Repinfo...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Eric Botcazou
[Ada] Remove Valop from the Repinfo unit
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Eric Botcazou
[Ada] Minor cleanup in repinfo unit
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Ed Schonberg
[Ada] Unnesting: check index expressions for uplevel...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Ed Schonberg
[Ada] Unnesting: allow uplevel references to exceptions
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Eric Botcazou
[Ada] Fix internal error on renaming of equality for...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Ed Schonberg
[Ada] Improve unnesting for discriminants of record...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Javier Miranda
[Ada] Fix regression of ACATS c46032a with CCG back end
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Yannick Moy
[Ada] Update FE check following change in SPARK RM...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Claire Dross
[Ada] Allow for GNATprove specific versions of routines...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Eric Botcazou
[Ada] Fix internal error on nested record types with...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Ed Schonberg
[Ada] Introduce a new Needs_Activation_Record entity...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Ed Schonberg
[Ada] Better accuracy in float-to-fixed conversions
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Ed Schonberg
[Ada] Don't create empty activation records
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Richard Kenner
[Ada] Improve unnesting of indexed references
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Ed Schonberg
[Ada] Copy index expression trees rather than relocatin...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Arnaud Charlet
[Ada] Disregard alignment issues in CodePeer mode
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Arnaud Charlet
[Ada] Minor typo fix in exp_unst.adb
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Bob Duff
[Ada] Minor cleanup implementation of Ada.Containers...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Hristian Kirtchev
[Ada] Crash on aspect/pragma Linked_Section with -gnatR2
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Patrick Bernardi
[Ada] Update user manual for the -D binder switch
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Gary Dismukes
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Justin Squirek
[Ada] Spurious constraint error on array of null-exclud...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Hristian Kirtchev
[Ada] Spurious error on aspect Volatile
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Eric Botcazou
[Ada] Minor tweak to output of -gnatR
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Ed Schonberg
[Ada] Warning on recursive call within postcondition
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Justin Squirek
[Ada] Misleading warning on unresolvable package name
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Yannick Moy
[Ada] Further evaluation of type bounds in GNATprove...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-28
Eric Botcazou
[Ada] Minor internal cleanup in repinfo unit
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Nicolas Roche
[Ada] Improve performance of conversion from String...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Patrick Bernardi
[Ada] Remove 2GB secondary stack limit for 64-bit proce...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Ed Schonberg
[Ada] Spurious error on fixed-point operation whose...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Hristian Kirtchev
[Ada] Spurious range check with Initialize_Scalars
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Arnaud Charlet
[Ada] Remove "constant" attribute on Osint.Unknown_Attr...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Javier Miranda
[Ada] Membership test of class-wide interface
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Ed Schonberg
[Ada] Fix expansion of quantified expressions as part...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Hristian Kirtchev
[Ada] Spurious secondary stack depletion
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Sergey Rybin
[Ada] Document the '-U' option for gnatelim
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Ed Schonberg
[Ada] Crash on classwide precondition on subprogram...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Justin Squirek
[Ada] Fix for freezing of expression functions
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Arnaud Charlet
[Ada] Strip too long expressions in debug routines
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Patrick Bernardi
[Ada] Disable the creation of the main task secondary...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Doug Rupp
[Ada] Implement stack unwinding for Linux on AArch64
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Justin Squirek
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Piotr Trojanek
[Ada] Fix convention for iteration with multiple loop...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Ed Schonberg
[Ada] Strengthen checks for instantiation with interfac...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Piotr Trojanek
[Ada] Rewrite Iterate_Call_Parameters in more assertive...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Doug Rupp
[Ada] Make Max_Sensible_Delay uniform across all Posix...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Ed Schonberg
[Ada] Checks on instantiations with formal derived...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Yannick Moy
[Ada] Fix handling of Loop_Entry for CodePeer/SPARK
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Eric Botcazou
[Ada] Support for C99 and C++ standard boolean types
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Arnaud Charlet
[Ada] Do not print non ASCII characters in debug routines
blob
|
commitdiff
|
raw
|
diff to current
2018-05-25
Bob Duff
[Ada] Unbounded strings: inline Initialize and Adjust
blob
|
commitdiff
|
raw
|
diff to current
next