projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Argument_String_To_List creates empty items from whitespace
[gcc.git]
/
gcc
/
ada
/
2018-07-17
Justin Squirek
[Ada] Argument_String_To_List creates empty items from...
tree
|
commitdiff
2018-07-17
Hristian Kirtchev
[Ada] Spurious error on Part_Of indicator
tree
|
commitdiff
2018-07-17
Yannick Moy
[Ada] Avoid confusing warning on exception propagation...
tree
|
commitdiff
2018-07-17
Dmitriy Anisimkov
[Ada] GNAT.Sockets: reorganize and make public componen...
tree
|
commitdiff
2018-07-17
Javier Miranda
[Ada] Secondary stack leak in statements block located...
tree
|
commitdiff
2018-07-17
Ed Schonberg
[Ada] Fix Enclosing_Subprogram for protected entries...
tree
|
commitdiff
2018-07-17
Hristian Kirtchev
[Ada] Add elaboration-related switches to GNAT UGN
tree
|
commitdiff
2018-07-17
Hristian Kirtchev
[Ada] New ignored Ghost code removal mechanism
tree
|
commitdiff
2018-07-17
Javier Miranda
[Ada] Secondary stack leak in loop iterator
tree
|
commitdiff
2018-07-17
Piotr Trojanek
[Ada] Fix Next_Actual when used on calls "inlined for...
tree
|
commitdiff
2018-07-17
Ed Schonberg
[Ada] Einfo: update documentation for Scalar_Range
tree
|
commitdiff
2018-07-17
Piotr Trojanek
[Ada] Attach the special GNATprove HEAP entity to the...
tree
|
commitdiff
2018-07-17
Piotr Trojanek
[Ada] Minor refactoring: remove extra parentheses
tree
|
commitdiff
2018-07-17
Ed Schonberg
[Ada] Fix unnesting issues involving tasks
tree
|
commitdiff
2018-07-17
Hristian Kirtchev
[Ada] Spurious error on unused Part_Of constituent
tree
|
commitdiff
2018-07-17
Ed Schonberg
[Ada] Fix handling of inherited discriminant constraints
tree
|
commitdiff
2018-07-17
Hristian Kirtchev
[Ada] Crash on case expression in build-in-place function
tree
|
commitdiff
2018-07-17
Arnaud Charlet
[Ada] Remove references to gcov from the User Manual
tree
|
commitdiff
2018-07-16
Hristian Kirtchev
[Ada] Missing error on hidden state in instantiation
tree
|
commitdiff
2018-07-16
Hristian Kirtchev
[Ada] Minor reformatting
tree
|
commitdiff
2018-07-16
Arnaud Charlet
[Ada] Only unnest subprograms if no previous errors...
tree
|
commitdiff
2018-07-16
Ed Schonberg
[Ada] Fix expansion of blocks in loops inside elaborati...
tree
|
commitdiff
2018-07-16
Ed Schonberg
[Ada] Deep copy operands of membership operations for...
tree
|
commitdiff
2018-07-16
Ed Schonberg
[Ada] Unnesting: handle 'Address references that are...
tree
|
commitdiff
2018-07-16
Ed Schonberg
[Ada] Unnesting: handle the semantic of Storage_Pool...
tree
|
commitdiff
2018-07-16
Ed Schonberg
[Ada] Fix Default_Storage_Pool aspect handling in gener...
tree
|
commitdiff
2018-07-16
Ed Schonberg
[Ada] Major code cleanup
tree
|
commitdiff
2018-07-16
Hristian Kirtchev
[Ada] Spurious error with null Abstract_State
tree
|
commitdiff
2018-07-16
Piotr Trojanek
[Ada] Deconstruct unused Withed_Body filed of N_With_Cl...
tree
|
commitdiff
2018-07-16
Piotr Trojanek
[Ada] Avoid crash when traversing units with -gnatd...
tree
|
commitdiff
2018-07-16
Piotr Trojanek
[Ada] Trivial simplifications in in Walk_Library_Items
tree
|
commitdiff
2018-07-16
Piotr Trojanek
[Ada] Deconstruct always-false calls to Withed_Body...
tree
|
commitdiff
2018-07-16
Ed Schonberg
[Ada] Use common routine Expand_Nonbinary_Modular_Op...
tree
|
commitdiff
2018-07-16
Ed Schonberg
[Ada] Add a missing check for trivial predicates on...
tree
|
commitdiff
2018-07-16
Hristian Kirtchev
[Ada] Crash on Indefinite_Hashed_Maps with -gnata ...
tree
|
commitdiff
2018-07-16
Justin Squirek
[Ada] Spurious possible contraint error warning with...
tree
|
commitdiff
2018-07-16
Hristian Kirtchev
[Ada] Segmentation_Fault with Integer'Wide_Wide_Value
tree
|
commitdiff
2018-07-16
Javier Miranda
[Ada] Bit_Order cannot be defined for record extensions
tree
|
commitdiff
2018-07-16
Arnaud Charlet
[Ada] System.Object_Reader: minor code clean-up
tree
|
commitdiff
2018-07-16
Piotr Trojanek
[Ada] Adjust reference to renumbered SPARK RM rule
tree
|
commitdiff
2018-07-16
Arnaud Charlet
[Ada] adaint.c: minor code cleanup
tree
|
commitdiff
2018-07-16
Javier Miranda
[Ada] Code cleanup on functions inlining
tree
|
commitdiff
2018-07-16
Javier Miranda
[Ada] Crash processing sources under GNATprove debug...
tree
|
commitdiff
2018-07-16
Yannick Moy
[Ada] Inline: rewrap comment
tree
|
commitdiff
2018-07-16
Eric Botcazou
[Ada] Einfo: minor tweak in comment
tree
|
commitdiff
2018-07-16
Javier Miranda
[Ada] Sem_Ch4: minor code cleanup
tree
|
commitdiff
2018-07-16
Javier Miranda
[Ada] Fix expansion of 'Count in protected types
tree
|
commitdiff
2018-07-16
Javier Miranda
[Ada] Sem_Utils: make Has_Prefix public
tree
|
commitdiff
2018-07-16
Yannick Moy
[Ada] Adjust inlining in GNATprove mode for predicate...
tree
|
commitdiff
2018-07-16
Gary Dismukes
[Ada] Violation of No_Standard_Allocators_After_Elabora...
tree
|
commitdiff
2018-07-16
Gary Dismukes
[Ada] Fix spelling for compile-time-known
tree
|
commitdiff
2018-07-16
Hristian Kirtchev
[Ada] Illegal deferred constant causes stack overflow
tree
|
commitdiff
2018-07-16
Nicolas Roche
[Ada] Adjust growth factor from 1/32 to 1/2 for Unbound...
tree
|
commitdiff
2018-07-13
Eric Botcazou
DFix typo
tree
|
commitdiff
2018-07-13
Eric Botcazou
lang.opt (funsigned-char): New option.
tree
|
commitdiff
2018-07-07
Eric Botcazou
decl.c (gnat_to_gnu_entity): Add GNAT_DECL local variab...
tree
|
commitdiff
2018-07-07
Eric Botcazou
gigi.h (add_decl_expr): Adjust prototype.
tree
|
commitdiff
2018-07-07
Eric Botcazou
trans.c (lvalue_required_p): Remove ALIASED parameter...
tree
|
commitdiff
2018-07-07
Eric Botcazou
decl.c (gnat_to_gnu_param): Minor tweak.
tree
|
commitdiff
2018-07-06
Jim Wilson
RISC-V: Initial riscv linux Ada port.
tree
|
commitdiff
2018-07-06
Jim Wilson
Makefile patches from initial RISC-V cross/native build.
tree
|
commitdiff
2018-07-06
Sebastian Huber
RTEMS/Ada: Change system configuration
tree
|
commitdiff
2018-07-02
Martin Liska
Bump libgnat to 9.
tree
|
commitdiff
2018-06-12
Eric Botcazou
ada-tree.h (TYPE_RETURN_BY_DIRECT_REF_P): Change from...
tree
|
commitdiff
2018-06-12
Eric Botcazou
decl.c (gnat_to_gnu_entity): Do not get the expression...
tree
|
commitdiff
2018-06-12
Eric Botcazou
decl.c (warn_on_field_placement): Use specific wording...
tree
|
commitdiff
2018-06-12
Eric Botcazou
decl.c (variant_desc): Add AUX field.
tree
|
commitdiff
2018-06-11
Eric Botcazou
[Ada] Fix wrong code for initialization of fat pointer...
tree
|
commitdiff
2018-06-11
Hristian Kirtchev
[Ada] Suppress the expansion of ignored assertion pragmas
tree
|
commitdiff
2018-06-11
Hristian Kirtchev
[Ada] Minor reformatting
tree
|
commitdiff
2018-06-11
Gary Dismukes
[Ada] Typo fixes and minor reformatting
tree
|
commitdiff
2018-06-11
Hristian Kirtchev
[Ada] Double finalization of limited controlled result
tree
|
commitdiff
2018-06-11
Olivier Hainque
[Ada] Improve last exception info availability from...
tree
|
commitdiff
2018-06-11
Ed Schonberg
[Ada] Unnesting: refactor handling of uplevel refs...
tree
|
commitdiff
2018-06-11
Bob Duff
[Ada] Dangling cursor checks in Element function
tree
|
commitdiff
2018-06-11
Yannick Moy
[Ada] Mark parameters as coming from source for GNATprove
tree
|
commitdiff
2018-06-11
Ed Schonberg
[Ada] Missing predicate function body for derived type...
tree
|
commitdiff
2018-06-11
Yannick Moy
[Ada] Reject violation of SPARK 6.1.4(12) with enclosin...
tree
|
commitdiff
2018-06-11
Eric Botcazou
[Ada] Minor tweaks for Repinfo
tree
|
commitdiff
2018-06-11
Hristian Kirtchev
[Ada] Make GNAT.Array_Split a preelaborable unit
tree
|
commitdiff
2018-06-11
Arnaud Charlet
[Ada] Simplify expansion of "and then" in CodePeer...
tree
|
commitdiff
2018-06-11
Javier Miranda
[Ada] Crash on protected type entry family
tree
|
commitdiff
2018-06-11
Arnaud Charlet
[Ada] Minor reformatting
tree
|
commitdiff
2018-06-11
Yannick Moy
[Ada] Add Suppressible argument to Assertion_Policy...
tree
|
commitdiff
2018-06-11
Yannick Moy
[Ada] Do not query the representation information in...
tree
|
commitdiff
2018-06-11
Yannick Moy
[Ada] Mark extended return of unconstrained type as...
tree
|
commitdiff
2018-06-11
Yannick Moy
[Ada] Do not force Part_Of on generic units
tree
|
commitdiff
2018-06-11
Piotr Trojanek
[Ada] Don't split AND THEN expressions in GNATprove_Mode
tree
|
commitdiff
2018-06-11
Piotr Trojanek
[Ada] Fix handling of Pre/Post contracts with AND THEN...
tree
|
commitdiff
2018-06-11
Ed Schonberg
[Ada] Unnesting: robustify analysis of block statements
tree
|
commitdiff
2018-06-11
Ed Schonberg
[Ada] Unnesting: fix handling of generic associations
tree
|
commitdiff
2018-06-11
Arnaud Charlet
[Ada] Memtrack: have only one definition of fwrite
tree
|
commitdiff
2018-06-11
Javier Miranda
[Ada] Wrong code in array aggregates of Ada coextensions
tree
|
commitdiff
2018-06-11
Ed Schonberg
[Ada] Unnesting: fix handling of stubs
tree
|
commitdiff
2018-06-11
Arnaud Charlet
[Ada] Refactor compilation of Ada units in Makefile.rtl
tree
|
commitdiff
2018-06-11
Hristian Kirtchev
[Ada] Minor reformatting
tree
|
commitdiff
2018-06-11
Ed Schonberg
[Ada] Crash with Inline_Always on a function with an...
tree
|
commitdiff
2018-06-11
Arnaud Charlet
[Ada] Bindgen: protect reference to System.Parameters...
tree
|
commitdiff
2018-06-11
Hristian Kirtchev
[Ada] Performance degradation with references
tree
|
commitdiff
2018-06-11
Valentine Reboul
[Ada] Rename "GPL Edition" into "Community Edition"
tree
|
commitdiff
next