projects
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[Ada] Avoid spurious error in GNATprove mode on non-null access types
[gcc.git]
/
gcc
/
ada
/
ChangeLog
2019-08-21
Yannick Moy
[Ada] Avoid spurious error in GNATprove mode on non...
blob
|
commitdiff
|
raw
2019-08-21
Yannick Moy
[Ada] Ignore subprogram address in ownership checking
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Eric Botcazou
[Ada] Fix assertion failure on derived private protecte...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Piotr Trojanek
[Ada] Replace low-level membership tests with high...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Javier Miranda
[Ada] Missing attribute update in new_copy_tree
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Joel Brobecker
[Ada] doc/Makefile: automatically create doc/share...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-21
Justin Squirek
[Ada] Max_Entry_Queue_Length aspect for protected entries
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Arnaud Charlet
[Ada] Unnesting: take inlining (-gnatn) into account
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Ed Schonberg
[Ada] Crash on a Storage_Size aspect depending on attr...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Piotr Trojanek
[Ada] Inconsistent scope chain due to quantified expression
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Yannick Moy
[Ada] Adapt GNATprove expansion for slices with access...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Improve efficiency of aggregates with <>
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Improve speed of discriminated return types
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Gary Dismukes
[Ada] Minor reformattings
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Dmitriy Anisimkov
[Ada] Set GNAT.OS_Lib.GM_Split's granularity back to...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Ed Schonberg
[Ada] Fix propagation of compiler internal flag
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Ed Schonberg
[Ada] Crash on Loop_Entry for while_loop involving...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Ed Schonberg
[Ada] Spurious error in dispatching call with class...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Suppress Initialize_Scalars for Persistent_BSS
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Gary Dismukes
[Ada] Illegal limited function call accepted in a type...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Patrick Bernardi
[Ada] New pragma Aggregate_Individually_Assign
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Enable delta_aggregate only in Ada 2020 mode
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Improve generated code for initialization of...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Eric Botcazou
[Ada] More complete information level for -gnatR4 output
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Fix a folding issue with System'To_Address
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Warn on Unchecked_Conversion to zero-sized array
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Efficiency improvement in bounded ordered containers
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Warning for out-of-order record representation...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Object_Size clause specifying 0 bits is illegal
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Pragma Warning_As_Error works for style warnings
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Eric Botcazou
[Ada] Get rid of linear searches in Lib
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Sem_Ch13: fix uninitialized parameter static...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Piotr Trojanek
[Ada] Revert change for gnatprove that is no longer...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Arnaud Charlet
[Ada] Document requirements for Pragma Lock_Free
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Philippe Gil
[Ada] Initialize gnat_argc/gnat_argv only the first...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Bob Duff
[Ada] Fix documentation for GNAT.Command_Line.Exit_From...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Pierre-Marie de...
[Ada] Add missing dot at the end of lang.opt doc for...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-20
Richard Sandiford
Use function_arg_info for TARGET_PASS_BY_REFERENCE
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Bob Duff
[Ada] Fix documentation for stream oriented attributes
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Gary Dismukes
[Ada] Einfo: update comments for E_Function and E_Procedure
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eric Botcazou
[Ada] Fix bogus compilation error with Elaborate_Body...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Bob Duff
[Ada] Suppress warnings on unreferenced parameters...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Ed Schonberg
[Ada] Crash on object initialization that is call to...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Dmitriy Anisimkov
[Ada] Conversion routines between GNAT.OS_Lib.OS_Time...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Bob Duff
[Ada] Incorrect code for -gnateV switch
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Pierre-Marie de...
[Ada] Import documentation from the RM for various...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Jerome Guitton
[Ada] Generate ada_target_properties
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eric Botcazou
[Ada] Lift restriction on instantiations that are compi...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eric Botcazou
[Ada] Further cleanup in inlining machinery
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Ed Schonberg
[Ada] Legality of protected subp. implementing interfac...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Javier Miranda
[Ada] Buffer reading overflow in dispatch table initial...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Bob Duff
[Ada] Process type extensions for -gnatw.h
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Gary Dismukes
[Ada] Improve warnings about "too few elements" and...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Patrick Bernardi
[Ada] Enable use of GNAT.Sockets for VxWorks RTP
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eric Botcazou
[Ada] Fix incorrect stub generation for types in instances
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Ed Schonberg
[Ada] Improve placement of warning on formals of generi...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Bob Duff
[Ada] Factor out the "size for& too small..." error...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eric Botcazou
[Ada] Fix internal error on subprogram instantiation...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Bob Duff
[Ada] Document missing gnatmetric switches
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Piotr Trojanek
[Ada] Minor refactorings
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Claire Dross
[Ada] Allow reading a borrowed object inside a call...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Joffrey Huguet
[Ada] Add formal function parameter equality to SPARK...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eric Botcazou
[Ada] Opt: clean up left-overs of earlier implementatio...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Ed Schonberg
[Ada] Representation clause for derived enumeration...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Yannick Moy
[Ada] Do not skip non-aliasing checking when inlining...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Eric Botcazou
[Ada] Further cleanup in inlining machinery
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Olivier Hainque
[Ada] Fix thinko in Acc_Loop_to_gnu
blob
|
commitdiff
|
raw
|
diff to current
2019-08-19
Pierre-Marie de...
[Ada] Define the -fdump-scos option in lang.opt
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Joffrey Huguet
[Ada] Improve performance of Containers.Functional_Base
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Bob Duff
[Ada] Alignment may be specified as zero
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Eric Botcazou
[Ada] Further cleanup in inlining machinery
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Eric Botcazou
[Ada] Further cleanup in inlining machinery
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Ed Schonberg
[Ada] Do not crash with -gnatR3 on Ghost aspects
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Bob Duff
[Ada] Warn about unknown condition in Compile_Time_Warning
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Eric Botcazou
[Ada] Further cleanup in the inlining machinery
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Bob Duff
[Ada] Incorrect error on inline protected function
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Bob Duff
[Ada] Defer processing of unknown CTW/E conditions...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Eric Botcazou
[Ada] Compiler speedup with inlining across units
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Gary Dismukes
[Ada] Equality for nonabstract type derived from interf...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Bob Duff
[Ada] Strengthen Locked flag
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Arnaud Charlet
[Ada] Remove documentation of gnatelim
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Bob Duff
[Ada] Tweak the sloc of Compile_Time_Warning warnings
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Bob Duff
[Ada] Minor: remove a ??? comment
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Eric Botcazou
[Ada] Remove obsolete Pending_Descriptor table and...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Bob Duff
[Ada] Spurious error in discriminated aggregate
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Eric Botcazou
[Ada] Fix internal error on inlined subprogram instance
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Ed Schonberg
[Ada] Crash on quantified expression in disabled assertion
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Javier Miranda
[Ada] Sem_Util: fix a bug in New_Copy_Tree
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Yannick Moy
[Ada] Expose part of ownership checking for use in...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Yannick Moy
[Ada] Check SPARK restriction on Old/Loop_Entry with...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Yannick Moy
[Ada] Fix spurious ownership error in GNATprove
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Eric Botcazou
[Ada] Fix discrepancy in mechanism tracking private...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Javier Miranda
[Ada] Fix a recent ACATS regression (c552001)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Ed Schonberg
[Ada] Crash on precondition involving quantified expression
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Yannick Moy
[Ada] Fix failing assertions on SPARK elaboration
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Eric Botcazou
[Ada] Small internal improvements to the inlining machinery
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Gary Dismukes
[Ada] Illegal selection of first object in a task type...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Piotr Trojanek
[Ada] Minor refactoring in Einfo
blob
|
commitdiff
|
raw
|
diff to current
2019-08-13
Richard Sandiford
Use checking forms of DECL_FUNCTION_CODE (PR 91421)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-13
Eric Botcazou
[Ada] Remove unused component in record type
blob
|
commitdiff
|
raw
|
diff to current
next