projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Sprint: minor comment tweak
[gcc.git]
/
gcc
/
ada
/
ChangeLog
2019-08-12
Eric Botcazou
[Ada] Sprint: minor comment tweak
blob
|
commitdiff
|
raw
2019-08-12
Eric Botcazou
[Ada] Fix leak of Do_Range_Check flag in -gnatVa mode
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Yannick Moy
[Ada] Extended traversal subprograms for GNATprove
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Jerome Lambourg
[Ada] VxWorks: call s-tpopsp.Self only when needed
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Eric Botcazou
[Ada] Plug small loophole in Discrete_Range_Check
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Eric Botcazou
[Ada] Add special bypass for obsolete code pattern
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Eric Botcazou
[Ada] Fix missing range check for In/Out parameter...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-12
Eric Botcazou
[Ada] Fix incorrect Do_Range_Check on type conversion
blob
|
commitdiff
|
raw
|
diff to current
2019-08-10
Jakub Jelinek
Assorted ChangeLog cleanups.
blob
|
commitdiff
|
raw
|
diff to current
2019-08-02
Alexandre Oliva
rework Ada EH Machine_Occurrence deallocation
blob
|
commitdiff
|
raw
|
diff to current
2019-07-23
Ed Schonberg
[Ada] Aspect CPU may depend on a discriminant of a...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-23
Eric Botcazou
[Ada] Plug small loophole in Generate_Range_Check
blob
|
commitdiff
|
raw
|
diff to current
2019-07-23
Eric Botcazou
[Ada] Eliminate redundant overflow checks for conversio...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-23
Eric Botcazou
[Ada] Minor tweak to -gnatR output
blob
|
commitdiff
|
raw
|
diff to current
2019-07-23
Ed Schonberg
[Ada] Iterators are view-specific
blob
|
commitdiff
|
raw
|
diff to current
2019-07-23
Yannick Moy
[Ada] Issue error on SPARK ownership rule violation
blob
|
commitdiff
|
raw
|
diff to current
2019-07-23
Yannick Moy
[Ada] Fix binding of ghost units with finalizer
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] More complete information level for -gnatR4 output
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Sinfo: update doc about Do_Division/Overlflow...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Fix missing check for no-op conversion to fixed...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Ed Schonberg
[Ada] Remove misleading warning/suggestion in membershi...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Yannick Moy
[Ada] Adapt ownership checking in SPARK to traversal...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Overhaul code implementing conversions involving...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Sprint: fix pasto in comment
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Javier Miranda
[Ada] Spurious error passing access to class-wide inter...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Small enhancement to the -gnatD/-gnatG output...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Beef up comment in exp_attr.adb
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Ed Schonberg
[Ada] Optimization loses exception in improper use...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Ed Schonberg
[Ada] Misleading warning on variable not assigned
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Javier Miranda
[Ada] Usage of signed type in array bounds in CCG
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Yannick Moy
[Ada] Issue warning or error message on ignored typing...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Fix spurious visibility error for tagged type...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Remove obsolete Is_For_Access_Subtype machinery
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Spurious error on private subtype of derived...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Ed Schonberg
[Ada] Type inconsistency in floating_point type declara...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Further fix non-stored discriminant in aggregate...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Gary Dismukes
[Ada] Premature finalization of controlled temporaries...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Internal error on iterator for limited private...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Fix missing Constraint_Error for Enum_Val attribute
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Nicolas Roche
[Ada] Ensure meaningless digits in a string are discarded
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Fix wrong assumption on bounds in GNAT.Encode_String
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Fix spurious loop warning for function with Out...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Nicolas Roche
[Ada] Ensure Ctrl-C is not emited on terminated processes
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Ed Schonberg
[Ada] Incorrect values in conversion from fixed-point...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Javier Miranda
[Ada] Crash in C++ constructor without external and...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Ed Schonberg
[Ada] Spurious warning about a useless assignment
blob
|
commitdiff
|
raw
|
diff to current
2019-07-22
Eric Botcazou
[Ada] Fix internal error on array slice in loop and...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-18
Arnaud Charlet
Makefile.rtl, [...]: Introduce a "STANDALONE" mode...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-13
Andreas Schwab
* Makefile.rtl: Use g-sercom__linux.adb for all linuxes.
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Piotr Trojanek
[Ada] Use high-level wrappers for Lib.Units.Table
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Piotr Trojanek
[Ada] Minor refactoring
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Yannick Moy
[Ada] Avoid spurious errors on dimensionality checking...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Yannick Moy
[Ada] Flip the meaning of debug switch -gnatdF
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Yannick Moy
[Ada] Avoid spurious warning on assertions with Loop_Entry
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Claire Dross
[Ada] Refactor ownership pointer checking in SPARK...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Patrick Bernardi
[Ada] Minimal binder
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Eric Botcazou
[Ada] Makefile.rtl: add a warning about compilation...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Ed Schonberg
[Ada] Crash on protected type with self-referential...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Dmitriy Anisimkov
[Ada] GNAT.Sockets: support ICMP, IGMP and RAW IP proto...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Claire Dross
[Ada] Memory corruption when using formal hashed sets...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Arnaud Charlet
[Ada] errno.c: remove obsolete support for MaRTE OS
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Ed Schonberg
[Ada] Remove redundant predicate checks
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Hristian Kirtchev
[Ada] Elaboration order v4.0 and output of dependencies
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Dmitriy Anisimkov
[Ada] GNAT.Sockets: add support for RAW sockets
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Justin Squirek
[Ada] Pragma Unreferenced triggers undefined reference
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Bob Duff
[Ada] Fix inconsistent documentation for gnatmetric
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Bob Duff
[Ada] Document gnatpp's --spaces-only switch
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Hristian Kirtchev
[Ada] Infinite loop on illegal declaration
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Hristian Kirtchev
[Ada] Internal crash on illegal renaming
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Ed Schonberg
[Ada] Compile-time evaluation of predicate checks
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Hristian Kirtchev
[Ada] Link error due to negated intrinsic comparison
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Thomas Quinot
[Ada] Fix crash on dynamic predicate when generating...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Hristian Kirtchev
[Ada] Missing finalization of private protected type
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Eric Botcazou
[Ada] New Repinfo.Input unit to read back JSON represen...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Justin Squirek
[Ada] No warning for guaranteed accessibility check...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Arnaud Charlet
[Ada] GNAT.Threads: Add a Get_Thread overload taking...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Hristian Kirtchev
[Ada] Elaboration order v4.0 and infinite loops
blob
|
commitdiff
|
raw
|
diff to current
2019-07-11
Yannick Moy
[Ada] Avoid spurious warning on wrong order of operator...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Dmitriy Anisimkov
[Ada] System.Strings.Stream_Ops: do not depend on Stream_IO
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Ed Schonberg
[Ada] Spurious run-time error with 64-bit modular types
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Doug Rupp
[Ada] Do not attempt to re-arm guard page on x86_64...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Ed Schonberg
[Ada] Crash on aggregate for limited type in extended...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Yannick Moy
[Ada] Fix spurious messages on global variables for...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Claire Dross
[Ada] Fix possible crashes in GNATprove analysis of...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Hristian Kirtchev
[Ada] Spurious error on discriminant of incomplete...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Arnaud Charlet
[Ada] Improve gnatmem's doc for the depth switch
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Bob Duff
[Ada] GNATpp: document the --source-line-breaks switch
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Justin Squirek
[Ada] Documentation of Img attribute out of date
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Simon Buist
[Ada] Entity names are not unique
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Arnaud Charlet
[Ada] Add an annotation for static analysis
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Hristian Kirtchev
[Ada] Spelling mistakes in error messages
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Eric Botcazou
[Ada] Improve support for tuning branch probability...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Yannick Moy
[Ada] Allow multiple units per file in GNATprove
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Corentin Gay
[Ada] sysdep.c: correct include directives ordering
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Eric Botcazou
[Ada] GNAT RM: add note about debuggers for Scalar_Stor...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Hristian Kirtchev
[Ada] Spurious error on case expression with limited...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Joffrey Huguet
[Ada] Add contracts to Strings libraries
blob
|
commitdiff
|
raw
|
diff to current
2019-07-10
Doug Rupp
[Ada] Vxworks7r2 SR0610 coalesced some macro values
blob
|
commitdiff
|
raw
|
diff to current
next