projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Fix alignment of mutex_t and cond_t type on 32-bit SPARC/Solaris
2018-07-31
Eric Botcazou
[Ada] Fix alignment of mutex_t and cond_t type on 32...
commit
|
commitdiff
|
tree
2018-07-31
Justin Squirek
[Ada] Wrong value after assignment of overlain record...
commit
|
commitdiff
|
tree
2018-07-31
Hristian Kirtchev
[Ada] Spurious error on the placement of aspect Global
commit
|
commitdiff
|
tree
2018-07-31
Gary Dismukes
[Ada] Compiler failure on an extended_return_statement...
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonberg
[Ada] Spurious warning on iteration over range of 64...
commit
|
commitdiff
|
tree
2018-07-31
Arnaud Charlet
[Ada] Print the Is_Activation_Record flag
commit
|
commitdiff
|
tree
2018-07-31
Piotr Trojanek
[Ada] Replace low-level calls to Ekind with high-level...
commit
|
commitdiff
|
tree
2018-07-31
Piotr Trojanek
[Ada] Deconstruct 'F' as a prefix for an ALI data
commit
|
commitdiff
|
tree
2018-07-31
Javier Miranda
[Ada] Fix a freezing issue
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonberg
[Ada] Fix resolution of class-wide operations that...
commit
|
commitdiff
|
tree
2018-07-31
Hristian Kirtchev
[Ada] Minor reformattings
commit
|
commitdiff
|
tree
2018-07-31
Bob Duff
[Ada] Spurious error -- "allocation from empty storage...
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonberg
[Ada] Spurious error on prefixed call in an instantiation
commit
|
commitdiff
|
tree
2018-07-17
Arnaud Charlet
[Ada] Preserve original CE reason in more cases
commit
|
commitdiff
|
tree
2018-07-17
Arnaud Charlet
[Ada] Add provision for floating-point in Apply_Division_Check
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonberg
[Ada] Fix expansion of aggregates components rewritten...
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Reuse Is_Rewrite_Substitution in Relocate_Node
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Fix RM rule references
commit
|
commitdiff
|
tree
2018-07-17
Eric Botcazou
[Ada] Fix incompatibility Default_Scalar_Storage_Order...
commit
|
commitdiff
|
tree
2018-07-17
Patrick Bernardi
[Ada] Use standard version of s-memory.adb for mingw32
commit
|
commitdiff
|
tree
2018-07-17
Hristian Kirtchev
[Ada] Faulty ignored Ghost code removal
commit
|
commitdiff
|
tree
2018-07-17
Hristian Kirtchev
[Ada] Configuration state not observed for instance...
commit
|
commitdiff
|
tree
2018-07-17
Eric Botcazou
[Ada] ICE on renaming of result of binary operation
commit
|
commitdiff
|
tree
2018-07-17
Eric Botcazou
[Ada] Type mismatch warning for imported C++ class
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Remove extra parentheses in Expand_Inlined_Call
commit
|
commitdiff
|
tree
2018-07-17
Eric Botcazou
[Ada] Minor fix for imported C++ constructors
commit
|
commitdiff
|
tree
2018-07-17
Bob Duff
[Ada] Assertion_Policy for class-wide precondition
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonberg
[Ada] Missing check on illegal equality operation in...
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonberg
[Ada] Unnesting: don't use Get_Actual_Subtype for record...
commit
|
commitdiff
|
tree
2018-07-17
Hristian Kirtchev
[Ada] Minor reformatting
commit
|
commitdiff
|
tree
2018-07-17
Javier Miranda
[Ada] Crash processing abstract state aspect of a package
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Consistent spelling of "i.e." in docs and comments
commit
|
commitdiff
|
tree
2018-07-17
Justin Squirek
[Ada] Argument_String_To_List creates empty items from...
commit
|
commitdiff
|
tree
2018-07-17
Hristian Kirtchev
[Ada] Spurious error on Part_Of indicator
commit
|
commitdiff
|
tree
2018-07-17
Yannick Moy
[Ada] Avoid confusing warning on exception propagation...
commit
|
commitdiff
|
tree
2018-07-17
Dmitriy Anisimkov
[Ada] GNAT.Sockets: reorganize and make public components...
commit
|
commitdiff
|
tree
2018-07-17
Javier Miranda
[Ada] Secondary stack leak in statements block located...
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonberg
[Ada] Fix Enclosing_Subprogram for protected entries...
commit
|
commitdiff
|
tree
2018-07-17
Hristian Kirtchev
[Ada] Add elaboration-related switches to GNAT UGN
commit
|
commitdiff
|
tree
2018-07-17
Hristian Kirtchev
[Ada] New ignored Ghost code removal mechanism
commit
|
commitdiff
|
tree
2018-07-17
Javier Miranda
[Ada] Secondary stack leak in loop iterator
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Fix Next_Actual when used on calls "inlined for...
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonberg
[Ada] Einfo: update documentation for Scalar_Range
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Attach the special GNATprove HEAP entity to the...
commit
|
commitdiff
|
tree
2018-07-17
Piotr Trojanek
[Ada] Minor refactoring: remove extra parentheses
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonberg
[Ada] Fix unnesting issues involving tasks
commit
|
commitdiff
|
tree
2018-07-17
Hristian Kirtchev
[Ada] Spurious error on unused Part_Of constituent
commit
|
commitdiff
|
tree
2018-07-17
Ed Schonberg
[Ada] Fix handling of inherited discriminant constraints
commit
|
commitdiff
|
tree
2018-07-17
Hristian Kirtchev
[Ada] Crash on case expression in build-in-place function
commit
|
commitdiff
|
tree
2018-07-17
Arnaud Charlet
[Ada] Remove references to gcov from the User Manual
commit
|
commitdiff
|
tree
2018-07-16
Hristian Kirtchev
[Ada] Missing error on hidden state in instantiation
commit
|
commitdiff
|
tree
2018-07-16
Hristian Kirtchev
[Ada] Minor reformatting
commit
|
commitdiff
|
tree
2018-07-16
Arnaud Charlet
[Ada] Only unnest subprograms if no previous errors...
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Fix expansion of blocks in loops inside elaboration...
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Deep copy operands of membership operations for...
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Unnesting: handle 'Address references that are...
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Unnesting: handle the semantic of Storage_Pool...
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Fix Default_Storage_Pool aspect handling in generic...
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Major code cleanup
commit
|
commitdiff
|
tree
2018-07-16
Hristian Kirtchev
[Ada] Spurious error with null Abstract_State
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Deconstruct unused Withed_Body filed of N_With_Clause...
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Avoid crash when traversing units with -gnatd...
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Trivial simplifications in in Walk_Library_Items
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Deconstruct always-false calls to Withed_Body...
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Use common routine Expand_Nonbinary_Modular_Op...
commit
|
commitdiff
|
tree
2018-07-16
Ed Schonberg
[Ada] Add a missing check for trivial predicates on...
commit
|
commitdiff
|
tree
2018-07-16
Hristian Kirtchev
[Ada] Crash on Indefinite_Hashed_Maps with -gnata ...
commit
|
commitdiff
|
tree
2018-07-16
Justin Squirek
[Ada] Spurious possible contraint error warning with...
commit
|
commitdiff
|
tree
2018-07-16
Hristian Kirtchev
[Ada] Segmentation_Fault with Integer'Wide_Wide_Value
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Bit_Order cannot be defined for record extensions
commit
|
commitdiff
|
tree
2018-07-16
Arnaud Charlet
[Ada] System.Object_Reader: minor code clean-up
commit
|
commitdiff
|
tree
2018-07-16
Piotr Trojanek
[Ada] Adjust reference to renumbered SPARK RM rule
commit
|
commitdiff
|
tree
2018-07-16
Arnaud Charlet
[Ada] adaint.c: minor code cleanup
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Code cleanup on functions inlining
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Crash processing sources under GNATprove debug...
commit
|
commitdiff
|
tree
2018-07-16
Yannick Moy
[Ada] Inline: rewrap comment
commit
|
commitdiff
|
tree
2018-07-16
Eric Botcazou
[Ada] Einfo: minor tweak in comment
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Sem_Ch4: minor code cleanup
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Fix expansion of 'Count in protected types
commit
|
commitdiff
|
tree
2018-07-16
Javier Miranda
[Ada] Sem_Utils: make Has_Prefix public
commit
|
commitdiff
|
tree
2018-07-16
Yannick Moy
[Ada] Adjust inlining in GNATprove mode for predicate...
commit
|
commitdiff
|
tree
2018-07-16
Gary Dismukes
[Ada] Violation of No_Standard_Allocators_After_Elaboration...
commit
|
commitdiff
|
tree
2018-07-16
Gary Dismukes
[Ada] Fix spelling for compile-time-known
commit
|
commitdiff
|
tree
2018-07-16
Hristian Kirtchev
[Ada] Illegal deferred constant causes stack overflow
commit
|
commitdiff
|
tree
2018-07-16
Nicolas Roche
[Ada] Adjust growth factor from 1/32 to 1/2 for Unbounded_String
commit
|
commitdiff
|
tree
2018-06-11
Eric Botcazou
[Ada] Fix wrong code for initialization of fat pointer...
commit
|
commitdiff
|
tree
2018-06-11
Hristian Kirtchev
[Ada] Suppress the expansion of ignored assertion pragmas
commit
|
commitdiff
|
tree
2018-06-11
Hristian Kirtchev
[Ada] Minor reformatting
commit
|
commitdiff
|
tree
2018-06-11
Gary Dismukes
[Ada] Typo fixes and minor reformatting
commit
|
commitdiff
|
tree
2018-06-11
Hristian Kirtchev
[Ada] Double finalization of limited controlled result
commit
|
commitdiff
|
tree
2018-06-11
Olivier Hainque
[Ada] Improve last exception info availability from...
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonberg
[Ada] Unnesting: refactor handling of uplevel refs...
commit
|
commitdiff
|
tree
2018-06-11
Bob Duff
[Ada] Dangling cursor checks in Element function
commit
|
commitdiff
|
tree
2018-06-11
Yannick Moy
[Ada] Mark parameters as coming from source for GNATprove
commit
|
commitdiff
|
tree
2018-06-11
Ed Schonberg
[Ada] Missing predicate function body for derived type...
commit
|
commitdiff
|
tree
2018-06-11
Yannick Moy
[Ada] Reject violation of SPARK 6.1.4(12) with enclosing...
commit
|
commitdiff
|
tree
2018-06-11
Eric Botcazou
[Ada] Minor tweaks for Repinfo
commit
|
commitdiff
|
tree
2018-06-11
Hristian Kirtchev
[Ada] Make GNAT.Array_Split a preelaborable unit
commit
|
commitdiff
|
tree
2018-06-11
Arnaud Charlet
[Ada] Simplify expansion of "and then" in CodePeer...
commit
|
commitdiff
|
tree
2018-06-11
Javier Miranda
[Ada] Crash on protected type entry family
commit
|
commitdiff
|
tree
next