projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Missing predicate function body for derived type in nested package
[gcc.git]
/
gcc
/
ada
/
ChangeLog
2018-06-11
Ed Schonberg
[Ada] Missing predicate function body for derived type...
blob
|
commitdiff
|
raw
2018-06-11
Yannick Moy
[Ada] Reject violation of SPARK 6.1.4(12) with enclosin...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Eric Botcazou
[Ada] Minor tweaks for Repinfo
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Hristian Kirtchev
[Ada] Make GNAT.Array_Split a preelaborable unit
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Arnaud Charlet
[Ada] Simplify expansion of "and then" in CodePeer...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Javier Miranda
[Ada] Crash on protected type entry family
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Arnaud Charlet
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Yannick Moy
[Ada] Add Suppressible argument to Assertion_Policy...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Yannick Moy
[Ada] Do not query the representation information in...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Yannick Moy
[Ada] Mark extended return of unconstrained type as...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Yannick Moy
[Ada] Do not force Part_Of on generic units
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Piotr Trojanek
[Ada] Don't split AND THEN expressions in GNATprove_Mode
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Piotr Trojanek
[Ada] Fix handling of Pre/Post contracts with AND THEN...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Ed Schonberg
[Ada] Unnesting: robustify analysis of block statements
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Ed Schonberg
[Ada] Unnesting: fix handling of generic associations
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Arnaud Charlet
[Ada] Memtrack: have only one definition of fwrite
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Javier Miranda
[Ada] Wrong code in array aggregates of Ada coextensions
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Ed Schonberg
[Ada] Unnesting: fix handling of stubs
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Arnaud Charlet
[Ada] Refactor compilation of Ada units in Makefile.rtl
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Ed Schonberg
[Ada] Crash with Inline_Always on a function with an...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Arnaud Charlet
[Ada] Bindgen: protect reference to System.Parameters...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Hristian Kirtchev
[Ada] Performance degradation with references
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Valentine Reboul
[Ada] Rename "GPL Edition" into "Community Edition"
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Ed Schonberg
[Ada] Crash on instantiation of nested generic in priva...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Eric Botcazou
[Ada] Remove obsolete code in Errout
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Nicolas Roche
[Ada] Avoid a stack overflow in 'Value for invalid...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Eric Botcazou
[Ada] Minor tweaks in Repinfo
blob
|
commitdiff
|
raw
|
diff to current
2018-06-11
Ed Schonberg
[Ada] Unnesting: improve handling of bounds for formal...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-02
Eric Botcazou
decl.c (gnat_to_gnu_entity): If this is not a definition...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-02
Eric Botcazou
ada-tree.h (TYPE_PADDING_FOR_COMPONENT): New macro.
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Pierre-Marie de...
[Ada] Remove obsolete figure in documentation
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Pierre-Marie de...
[Ada] Add missing spec files for VxWorks runtimes
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Pierre-Marie de...
[Ada] Minor copyright header adjustments
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Fedor Rybin
[Ada] Document Stubs_Subdir in gnattest section on...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Ed Schonberg
[Ada] Static predicate check on characters of a string...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Eric Botcazou
[Ada] Remove obsolete code in trans.c
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Piotr Trojanek
[Ada] Detect returning procedures annotated with No_Return
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Eric Botcazou
[Ada] Fix wrong value returned for unconstrained packed...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Frederic Konrad
[Ada] Fix __gnat_backtrace for VxWorks7 on x86
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Ed Schonberg
[Ada] Illegal copy of limited object
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Olivier Hainque
[Ada] Update comment on __atomic_compare_exchange in...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Eric Botcazou
[Ada] Fix internal error on allocator with function...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Hristian Kirtchev
[Ada] Spurious tampering check failure
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Valentine Reboul
[Ada] Rename "GPL" version to "Community"
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Ed Schonberg
[Ada] Minor comment improvement
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Piotr Trojanek
[Ada] Simplify call to Unique_Defining_Entity on protec...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Piotr Trojanek
[Ada] Set Etype on rewriteen Max_Queue_Length expressions
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Sergey Rybin
[Ada] Update gnatelim documentation wrt. compilation...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Eric Botcazou
[Ada] Fix tracking of the first item in Repinfo
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Eric Botcazou
[Ada] Fix strange behavior of Object_Size for packed...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Eric Botcazou
[Ada] Post warning on object size clause for subtype
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Javier Miranda
[Ada] Fix compiler crash for tagged private types
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Yannick Moy
[Ada] Fix check on placement of multiple loop (in)varia...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Doug Rupp
[Ada] Posix 2008: reimplement System.OS_Primitives...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Ed Schonberg
[Ada] Unnesting: add a predicate to help expansion...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-31
Ed Schonberg
[Ada] Convert operands of generated code to Standard...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Piotr Trojanek
[Ada] Update documentation of Sinfo.Package_Instantiati...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Ed Schonberg
[Ada] Unnesting: always transform local Raise statements
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Ed Schonberg
[Ada] Unnesting: handle the semantic of Procedure_To_Ca...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Ed Schonberg
[Ada] Unnesting: skip unanalyzed Component_Assocation
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Justin Squirek
[Ada] Implement pragma Max_Entry_Queue_Depth
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Ed Schonberg
[Ada] Extend the applicability of Thread_Local_Storage...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Yannick Moy
[Ada] Correctly ignore Assertion_Policy in modes CodePe...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Justin Squirek
[Ada] ACATS 4.1G - CXAG003 - Name_Case_Equivalence...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Pascal Obry
[Ada] Add support for Define_Switch with a callback...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Gary Dismukes
[Ada] Fix several typos
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Olivier Hainque
[Ada] Craft .ctors/.dtors sections manually for VxWorks...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Bob Duff
[Ada] Spell preanalysis, preanalyze correctly
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Bob Duff
[Ada] Minor comment rework in GNAT.Secondary_Stack_Info
blob
|
commitdiff
|
raw
|
diff to current
2018-05-30
Piotr Trojanek
[Ada] Reuse Is_Rewrite_Substitution where possible
blob
|
commitdiff
|
raw
|
diff to current
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
next