projects
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Spurious ambiguity error on call returning an access type
2018-08-21
Ed Schonberg
[Ada] Spurious ambiguity error on call returning an...
commit
|
commitdiff
|
tree
2018-08-21
Yannick Moy
[Ada] Document entries of the target parametrization...
commit
|
commitdiff
|
tree
2018-08-21
Ed Schonberg
[Ada] Set scope of elaboration flag for 'Access
commit
|
commitdiff
|
tree
2018-08-21
Ed Schonberg
[Ada] Sprint: add guard on printing aspects
commit
|
commitdiff
|
tree
2018-08-21
Javier Miranda
[Ada] Crash compiling SPARK ghost functions with callgraph...
commit
|
commitdiff
|
tree
2018-08-21
Ed Schonberg
[Ada] Unnesting: do not set size of access subprograms
commit
|
commitdiff
|
tree
2018-08-21
Ed Schonberg
[Ada] Unnesting: do not emit warnings for access to...
commit
|
commitdiff
|
tree
2018-08-21
Ed Schonberg
[Ada] Improper copying of limited arrays with default...
commit
|
commitdiff
|
tree
2018-08-21
Eric Botcazou
[Ada] Fix spurious error on unchecked conversion on...
commit
|
commitdiff
|
tree
2018-08-21
Eric Botcazou
[Ada] Fix internal error on extension of record with...
commit
|
commitdiff
|
tree
2018-08-21
Ed Schonberg
[Ada] Spurious "Duplicated symbol" error with discriminated...
commit
|
commitdiff
|
tree
2018-08-21
Yannick Moy
[Ada] Define versions of dimension system for Float...
commit
|
commitdiff
|
tree
2018-08-21
Hristian Kirtchev
[Ada] General purpose doubly linked list for compiler...
commit
|
commitdiff
|
tree
2018-08-21
Ed Schonberg
[Ada] Fix scope computation for entry bodies and accept...
commit
|
commitdiff
|
tree
2018-08-21
Hristian Kirtchev
[Ada] Crash on entry in generic with dynamic elaboration...
commit
|
commitdiff
|
tree
2018-08-21
Arnaud Charlet
[Ada] Set_Targ: add a CodePeer annotation
commit
|
commitdiff
|
tree
2018-08-21
Ed Schonberg
[Ada] Compiler abort on call to expr. function for...
commit
|
commitdiff
|
tree
2018-08-21
Hristian Kirtchev
[Ada] Dynamically resizable, load factor-based hash...
commit
|
commitdiff
|
tree
2018-08-21
Javier Miranda
[Ada] Enumeration types with non-standard representation
commit
|
commitdiff
|
tree
2018-08-21
Piotr Trojanek
[Ada] Handle pragmas that come from aspects for GNATprove
commit
|
commitdiff
|
tree
2018-08-21
Pierre-Marie de...
[Ada] Add sa_messages.ad[sb] for SPARK 2014
2018-08-21
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-08-21
Pierre-Marie de...
[Ada] Bump copyright notices to 2018
2018-08-21
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-08-03
Pierre-Marie de...
[Ada] Partially revert "Makefile patches from initial...
2018-08-03
Pierre-Marie de Rodat
<derodat@adacore.com>
commit
|
commitdiff
|
tree
2018-07-31
Arnaud Charlet
[Ada] Various code clean-ups from CodePeer messages
commit
|
commitdiff
|
tree
2018-07-31
Arnaud Charlet
[Ada] Fix potential Constraint_Error if Library_Version...
commit
|
commitdiff
|
tree
2018-07-31
Arnaud Charlet
[Ada] Sem_Elab: remove duplicate condition
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonberg
[Ada] Unnesting: improve support for entries in protected...
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonberg
[Ada] Refine generation of range checks to happen in...
commit
|
commitdiff
|
tree
2018-07-31
Hristian Kirtchev
[Ada] Secondary stack leak with access-to-subprogram
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonberg
[Ada] Unnesting: find local subps in nested stmt sequences
commit
|
commitdiff
|
tree
2018-07-31
Ed Schonberg
[Ada] Spurious error on default parameter in protected...
commit
|
commitdiff
|
tree
2018-07-31
Justin Squirek
[Ada] GNATmake fails to detect missing body
commit
|
commitdiff
|
tree
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
next