git.libre-soc.org Git - gcc.git/history

2019-09-17	Vadim Godunko	[Ada] GNAT.Expect (Expect_Internal): Try to call 'poll...	blob \| commitdiff \| raw
2019-09-17	Vadim Godunko	[Ada] Avoid to close irrelevant file descriptors	blob \| commitdiff \| raw \| diff to current
2019-09-17	Piotr Trojanek	[Ada] A new utility routine for detecting attribute...	blob \| commitdiff \| raw \| diff to current
2019-09-17	Yannick Moy	[Ada] Do not inline dispatching operations in GNATprove...	blob \| commitdiff \| raw \| diff to current
2019-09-17	Ed Schonberg	[Ada] In a generic use Presanalyze_Spec_Expression...	blob \| commitdiff \| raw \| diff to current
2019-09-17	Javier Miranda	[Ada] Missing tagged type decoration in corresponding...	blob \| commitdiff \| raw \| diff to current
2019-09-17	Javier Miranda	[Ada] Ada 2020: Raise expressions in limited contexts...	blob \| commitdiff \| raw \| diff to current
2019-09-17	Piotr Trojanek	[Ada] Ignore missing ALI files in GNATprove mode	blob \| commitdiff \| raw \| diff to current
2019-09-17	Arnaud Charlet	[Ada] PR ada/91268 Do not redefine macros	blob \| commitdiff \| raw \| diff to current
2019-09-17	Arnaud Charlet	[Ada] Refine change for bit-packed slices	blob \| commitdiff \| raw \| diff to current
2019-09-17	Javier Miranda	[Ada] Adding assertions on extra formals for BIP functi...	blob \| commitdiff \| raw \| diff to current
2019-09-17	Bob Duff	[Ada] Avoid touching potentially nonexistent memory	blob \| commitdiff \| raw \| diff to current
2019-09-17	Dmitriy Anisimkov	[Ada] Support for local unix sockets in GNAT.Sockets API	blob \| commitdiff \| raw \| diff to current
2019-09-17	Eric Botcazou	[Ada] Fix wrong value of 'Size for slices of bit-packed...	blob \| commitdiff \| raw \| diff to current
2019-09-17	Bob Duff	[Ada] Refine conditions for calling Copy_Bitfield	blob \| commitdiff \| raw \| diff to current
2019-09-13	Maciej W. Rozycki	gnatmake: Accept the `--sysroot=' GCC driver option	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eric Botcazou	decl.c (maybe_saturate_size): New function.	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eric Botcazou	ada-tree.h (DECL_FORCED_BY_REF_P): New macro.	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eric Botcazou	trans.c (gnat_to_gnu): Do not set the location on an...	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eric Botcazou	gigi.h (aggregate_type_contains_array_p): Declare.	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eric Botcazou	trans.c (lvalue_required_p): Adjust GNU_TYPE in the...	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eric Botcazou	utils.c (build_template): Deal with parameters passed...	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eric Botcazou	decl.c (annotate_value): Inline the call also if List_R...	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eric Botcazou	* gcc-interface/trans.c (Attribute_to_gnu) <Attr_Size...	blob \| commitdiff \| raw \| diff to current
2019-08-30	Eric Botcazou	gigi.h (gigi_checking_assert): New macro.	blob \| commitdiff \| raw \| diff to current
2019-08-23	Jakub Jelinek	re PR middle-end/91283 (gcc.dg/torture/c99-contract...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Vadim Godunko	[Ada] Improve detection of end of the process by GNAT...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Piotr Trojanek	[Ada] Minor refactorings/reformattings	blob \| commitdiff \| raw \| diff to current
2019-08-21	Claire Dross	[Ada] Allow for of iteration on formal vectors	blob \| commitdiff \| raw \| diff to current
2019-08-21	Yannick Moy	[Ada] More precise propagation of Size attribute in...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Yannick Moy	[Ada] Update references to the SPARK RM	blob \| commitdiff \| raw \| diff to current
2019-08-21	Eric Botcazou	[Ada] More complete information level for -gnatR4 output	blob \| commitdiff \| raw \| diff to current
2019-08-21	Bob Duff	[Ada] Add the System.Bitfield_Utils runtime unit	blob \| commitdiff \| raw \| diff to current
2019-08-21	Piotr Trojanek	[Ada] Bindo.Graphs: Minor typo fixes	blob \| commitdiff \| raw \| diff to current
2019-08-21	Gary Dismukes	[Ada] Undefined master in task with limited class-wide...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Eric Botcazou	[Ada] Fix type mismatch in extended return statement...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Piotr Trojanek	[Ada] Do not rewrite argument of pragma Entry_Queue_Len...	blob \| commitdiff \| raw \| diff to current
2019-08-21	Yannick Moy	[Ada] Avoid spurious error in GNATprove mode on non...	blob \| commitdiff \| raw \| diff to current
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
next

RSS Atom