projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Unnesting: handle conditional expressions
[gcc.git]
/
gcc
/
ada
/
ChangeLog
2019-07-04
Ed Schonberg
[Ada] Unnesting: handle conditional expressions
blob
|
commitdiff
|
raw
2019-07-04
Yannick Moy
[Ada] Skip code not in SPARK for ownership analysis
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Yannick Moy
[Ada] Better error messages for ownership errors in...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Arnaud Charlet
[Ada] CCG: reduce generated temporaries
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Piotr Trojanek
[Ada] Keep assertions in internal units enabled for...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Arnaud Charlet
[Ada] CCG: restrict folding for boolean tests
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Arnaud Charlet
[Ada] Reduce emitted code size in CCG for aggregate...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Dmitriy Anisimkov
[Ada] GNAT.Sockets: fix socket timeout on recent Window...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Thomas Quinot
[Ada] Get_Scos: Remove bogus, dead code
blob
|
commitdiff
|
raw
|
diff to current
2019-07-04
Ed Schonberg
[Ada] Spurious dimensionality error on aggregate with...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Bob Duff
[Ada] Document new flags in GNATpp
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Hristian Kirtchev
[Ada] Forced elaboration order in Elaboration order...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Bob Duff
[Ada] Crash on anonymous access-to-class-wide with...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Yannick Moy
[Ada] Suppress warnings in generic instantiations with...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Johannes Kanig
[Ada] New routine to access file on command line
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Ed Schonberg
[Ada] Crash on front-end inlining of subp. with aspect...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Justin Squirek
[Ada] Incorrect expansion on renamings of formal parameters
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Yannick Moy
[Ada] Refine pointer support in SPARK
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Hristian Kirtchev
[Ada] Spurious visibility error in inlined function
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Gary Dismukes
[Ada] Minor editorial corrections and reformatting
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Bob Duff
[Ada] Improve warnings about infinite loops
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Bob Duff
[Ada] Document default new-line behavior for GNATpp
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Hristian Kirtchev
[Ada] ABE checks v3.0, foundations of Elaboration order...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Yannick Moy
[Ada] SPARK pointer support extended to local borrowers...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Ed Schonberg
[Ada] Spurious error with static predicate in generic...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Bob Duff
[Ada] Style check for mixed-case identifiers
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Eric Botcazou
[Ada] Extend -gnatw.z warning to array types
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Bob Duff
[Ada] Spell "laid" correctly
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Ed Schonberg
[Ada] Spurious error on dynamic predicate in a generic...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Eric Botcazou
[Ada] Fix bogus error on array with overaligned scalar...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Ed Schonberg
[Ada] Make loop labels unique for front-end inlined...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Hristian Kirtchev
[Ada] Update the section on resolving elaboration circu...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Arnaud Charlet
[Ada] Add a gnatbind option to generate C code
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Arnaud Charlet
[Ada] Do not consider inlined subprograms when generati...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Justin Squirek
[Ada] Missing consistency check for constant modifier
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Arnaud Charlet
[Ada] Clarify wording on documentation for No_Multiple_...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Ed Schonberg
[Ada] Spurious error on predicate of subtype in generic
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Eric Botcazou
[Ada] Document that boolean types with convention C...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-03
Javier Miranda
[Ada] Exp_Attr: remove dead code
blob
|
commitdiff
|
raw
|
diff to current
2019-07-02
Iain Sandoe
[PATCH, Ada, Darwin, PPC] PPC Darwin has stack check...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Ed Schonberg
[Ada] Spurious error on inst. of partially defaulted...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Ed Schonberg
[Ada] More permissive use of GNAT attribute Enum_Rep
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Eric Botcazou
[Ada] Make No_Inline pragma effective for generic subpr...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Ed Schonberg
[Ada] Spurious error private subtype derivation
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Yannick Moy
[Ada] SPARK support for pointers through ownership
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Dmitriy Anisimkov
[Ada] GNAT.Sockets: refactor Has_Sockaddr_Len
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Ed Schonberg
[Ada] Crash on improper pragma Weak_External
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Piotr Trojanek
[Ada] Remove a SPARK rule about implicit Global
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Piotr Trojanek
[Ada] Cleanup references to LynuxWorks in docs and...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Ed Schonberg
[Ada] Wrong code with -gnatVa on lock-free protected...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Eric Botcazou
[Ada] Make No_Inline pragma effective for protected...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Ed Schonberg
[Ada] Unnesting: improve handling of private and incomp...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Pat Rogers
[Ada] Correct size in representation clauses documentation
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Justin Squirek
[Ada] Incorrect definition of Win32 compatible types
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Bob Duff
[Ada] gprbuild fails to find ghost ALI files
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Yannick Moy
[Ada] Improve error message on mult/div between fixed...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Piotr Trojanek
[Ada] Revert "Global => null" on calendar routines...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Piotr Trojanek
[Ada] Fix "componant" typos in comments
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Hristian Kirtchev
[Ada] Clean up of GNAT.Graphs
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Hristian Kirtchev
[Ada] Clean up of GNAT.Sets
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Hristian Kirtchev
[Ada] Clean up of GNAT.Lists
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Hristian Kirtchev
[Ada] Clean up of GNAT.Dynamic_HTables
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Hristian Kirtchev
[Ada] Minor reformatting
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Javier Miranda
[Ada] Disable expansion of 'Min/'Max of floating point...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Hristian Kirtchev
[Ada] Implement GNAT.Graphs
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Dmitriy Anisimkov
[Ada] GNAT.Sockets: fix Get_Address when AF_INET6 is...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Ed Schonberg
[Ada] Compiler abort on use of Invalid_Value on numeric...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Hristian Kirtchev
[Ada] Crash due to missing freeze nodes in transient...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Pierre-Marie de...
[Ada] Fix formatting issues in the gnat_ugn documentation
blob
|
commitdiff
|
raw
|
diff to current
2019-06-30
Iain Sandoe
[PATCH, Ada] Push -shared-libgcc where needed.
blob
|
commitdiff
|
raw
|
diff to current
2019-06-29
Eric Botcazou
decl.c (gnat_to_gnu_entity): Beep up comment on SAVED...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-29
Eric Botcazou
utils.c (unchecked_convert): Tweak comment.
blob
|
commitdiff
|
raw
|
diff to current
2019-06-29
Eric Botcazou
decl.c (gnat_to_gnu_entity): If the type requires stric...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-29
Eric Botcazou
decl.c (gnat_to_gnu_field): Rework error messages for...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-29
Eric Botcazou
trans.c (mark_visited_r): Set TYPE_SIZES_GIMPLIFIED...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-29
Eric Botcazou
decl.c (set_nonaliased_component_on_array_type): Add...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-29
Eric Botcazou
expr.c (expand_expr_real_1): Apply the big-endian adjus...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-25
Eric Botcazou
decl.c (gnat_to_gnu_entity): Remove superfluous test...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-24
Jan Hubicka
ipa-utils.h (type_with_linkage_p): Verify that type...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-24
Martin Sebor
utils.c (handle_nonnull_attribute): Quote attribute...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-18
Arnaud Charlet
re PR ada/80590 (non-bootstrap build failure of Ada...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-17
Arnaud Charlet
re PR ada/80590 (non-bootstrap build failure of Ada...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eric Botcazou
* gcc-interface/utils.c (handle_stack_protect_attribute...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eric Botcazou
implementation_defined_pragmas.rst (Machine_Attribute...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eric Botcazou
trans.c (lvalue_required_for_attribute_p): Return 0...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eric Botcazou
trans.c (gnat_to_gnu): Remove superfluous tests on...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eric Botcazou
trans.c (walk_nesting_tree): New static function.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eric Botcazou
decl.c (gnat_to_gnu_entity): Remove obsolete test on...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eric Botcazou
decl.c (components_to_record): Set a name on the type...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eric Botcazou
utils.c (gnat_internal_attribute_table): Add support...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-28
Eric Botcazou
decl.c (intrin_arglists_compatible_p): Do not return...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-27
Eric Botcazou
trans.c (Call_to_gnu): Do not initialize the temporary...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-27
Eric Botcazou
ada-builtin-types.def: New file.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-27
Eric Botcazou
utils.c (maybe_pad_type): Issue the warning for the...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-27
Eric Botcazou
trans.c (Identifier_to_gnu): Minor tweaks.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-27
Eric Botcazou
trans.c (Gigi_Types_Compatible): New predicate.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-27
Eric Botcazou
trans.c (Call_to_gnu): Use the unpadded type when putti...
blob
|
commitdiff
|
raw
|
diff to current
next