On Wed, Jul 26, 2017 at 6:46 AM, Wilco Dijkstra wrote:
> Remove the remaining uses of '*' from the movsi/di/ti patterns.
> Using '*' in alternatives is typically incorrect at it tells the register
> allocator to ignore those alternatives. So remove these from all the
> integer move patterns. Thi
On Fri, Aug 11, 2017 at 2:58 AM, Tamar Christina
wrote:
> Hi All,
>
> The inlining of lrint isn't valid in all cases on ILP32 when
> -fno-math-errno is used because an inexact exception is raised in
> certain circumstances.
>
> For ILP32 I now restrict the inlining only when -fno-trapping-math
> i
This server moved from http to https, and the trailing slash is
not needed for top-level domains (so best use however the server
is representing itself).
Applied.
Gerald
2017-09-09 Gerald Pfeifer
* doc/xml/manual/allocator.xml: Adjust link for Hoard.
* doc/html/manual/memory.
Knuth's homepage has moved, apparently. This adjust two references
to MMIX in general and his book about it, and omits one in the GCC 3.1
release notes.
Committed.
Gerald
Index: readings.html
===
RCS file: /cvs/gcc/wwwdocs/htdocs/r
Hi Paul,
Probably the patch in the original message is broken somehow. Anyway I
attach updated patch to this mail.
$ svn up
Updating '.':
At revision 251918.
$ patch -p0 < ~/add_short_call_attribute.patch
patching file gcc/config/mips/mips.c
patching file gcc/doc/extend.texi
patching file gcc/te
Committed.
Gerald (unfortunately on a train out of Praha - have a lovely and
interesting day everyone there)
Index: readings.html
===
RCS file: /cvs/gcc/wwwdocs/htdocs/readings.html,v
retrieving revision 1.278
diff -u -r1.278
The Go frontend code that lowers field references could sometimes
introduce a double pointer indirection in cases where it is not/safe
appropriate. For example, in
var p **struct { f int }
p.f = 0
the assignment LHS was being incorrectly lowered to (*(*p)).f. This
patch by Than
Hi, Simon:
I would like to testing your patch on mips64el target. but your patch
can't apply to current trunk.
error likes:
--cut---
xuchenghua@fc21-2k4w:61: gcc_git_trunk $ pat
Hi Rainer,
Can you post the disassembly for say the 8-byte aligned tests? It may not be
built correctly or hit an offset that is accidentally aligned, however
pass/fail status can't change due to my patch as it doesn't change alignment at
all.
Wilco
Hi Wilco,
> Eric Botcazou wrote:
>
>> The stack is aligned before the allocation but it gets misaligned during the
>> allocation because the dynamic offset is not a multiple of STACK_BOUNDARY.
>
> No, the stack never gets misaligned - my patch doesn't change that at
> all. The issue is that Sparc
Eric Botcazou wrote:
> The stack is aligned before the allocation but it gets misaligned during the
> allocation because the dynamic offset is not a multiple of STACK_BOUNDARY.
No, the stack never gets misaligned - my patch doesn't change that at all. The
issue is that Sparc backend doesn't corr
On 9/8/17 2:11 PM, Andreas Schwab wrote:
> Executing on host: /daten/gcc/gcc-20170907/Build/gcc/xgcc
> -B/daten/gcc/gcc-20170907/Build/gcc/
> /daten/gcc/gcc-20170907/gcc/testsuite/gcc.target/powerpc/pr80125.c -m32
> -fno-diagnostics-show-caret -fdiagnostics-color=never -O2 -maltivec -S -o
On 08/23/2017 10:39 AM, Richard Biener wrote:
> On August 23, 2017 6:36:32 PM GMT+02:00, Jeff Law wrote:
>> On 08/23/2017 03:07 AM, Richard Biener wrote:
>>
> Both -fstack-clash-protection and -fstack-check cannot be turned
> off per function. This means they would need merging in
>> lto-
On 08/18/2017 09:56 AM, Eric Botcazou wrote:
>> #01 of #08:
>> https://gcc.gnu.org/ml/gcc-patches/2017-07/msg01971.html
>>
>> #02 of #08:
>> https://gcc.gnu.org/ml/gcc-patches/2017-07/msg01972.html
>>
>> #03 of #08:
>> https://gcc.gnu.org/ml/gcc-patches/2017-07/msg01974.html
>>
>> Need to reach som
Define the __cpp_lib_threadsafe_static_init feature-test macro as per
recent SD-6 drafts.
Tested powerpc64le-linux and x86_64-linux.
OK for trunk?
The branches too?
commit 3ff1faeb36fad84f682f9b353152d450f8dfff92
Author: Jonathan Wakely
Date: Fri Sep 8 19:07:24 2017 +0100
PR c++/81852
Executing on host: /daten/gcc/gcc-20170907/Build/gcc/xgcc
-B/daten/gcc/gcc-20170907/Build/gcc/
/daten/gcc/gcc-20170907/gcc/testsuite/gcc.target/powerpc/pr80125.c -m32
-fno-diagnostics-show-caret -fdiagnostics-color=never -O2 -maltivec -S -o
pr80125.s(timeout = 300)
FAIL: gcc.target/p
FAIL: gcc.target/powerpc/pr82015.c (test for errors, line 8)
FAIL: gcc.target/powerpc/pr82015.c (test for errors, line 13)
FAIL: gcc.target/powerpc/pr82015.c (test for excess errors)
Excess errors:
/daten/gcc/gcc-20170907/gcc/testsuite/gcc.target/powerpc/pr82015.c:6:22: error:
unknown type name
GCC Maintainers:
The following patch adds support for a couple of requested builtins that
convert from float/double to int / long using the current rounding
mode. I initially posted an early version of this patch which generated
redundant instructions.
The patch has been tested on powerpc64le-
> Given that you're moving the files, I wonder what the rationale is for
> moving them to another subdirectory within gcc/ada, rather than to
> something within the top-level libada directory (or some other top-level
> directory or directories, as appropriate), since such top-level
> directories ou
On Fri, 8 Sep 2017, Arnaud Charlet wrote:
> This is the second big source reorg in the GNAT sources, this time all
> runtimme source belonging to libgnat are moved to a new subdirectory
> libgnat.
Given that you're moving the files, I wonder what the rationale is for
moving them to another subdi
On Sep 8, 2017, at 5:27 AM, Gerald Pfeifer wrote:
>
> I committed the patch below, but am wondering whether we really,
> really, really need as many instances of one and the same URL in
> one section of the documentation? Can we simplify this somehow?
Curious that they don't link to
https://w
This is a regression present on the mainline and 7 branch: when the register
pressure is high, the use of DI/SI paradoxical subregs causes LRA to generate
invalid accesses to odd-numbered FP registers when registers are spilled.
The attached patch is aimed at drying up a big source of DI/SI para
> This patch brought back PR libgomp/78468, which had caused its
> predecessor to be backed out of gcc-7.
Yes, it's exactly the same mistake:
+ /* Since the stack is presumed to be aligned before this allocation,
+ we only need to increase the size of the allocation if the required
+ ali
On September 8, 2017 4:56:18 PM GMT+02:00, Jason Merrill
wrote:
>The issue here is that the C++ front end represents the ref-qualifier
>as a variant but includes it in the canonical type, because at the
>language level the types are distinct. Note that this is also true of
>language-independent
On Thu, Sep 7, 2017 at 11:38 PM, Joseph Myers wrote:
> On Thu, 7 Sep 2017, Jakub Jelinek wrote:
>
>> Ah, ok, so like this instead?
>>
>> 2017-09-07 Jakub Jelinek
>>
>> PR target/82112
>> * c-common.c (sync_resolve_size): Instead of c_dialect_cxx ()
>> assertion check that in t
On 28/08/17 21:09 +0200, François Dumont wrote:
Hi
Any news for this patch ?
It does remove a constructor:
-_Fwd_list_impl(const _Node_alloc_type& __a)
-: _Node_alloc_type(__a), _M_head()
It was already unused before the patch. Do you think it has ever
been used and
On 04/09/17 03:31 -0700, Tim Shen via libstdc++ wrote:
This fixes the follow-up comments in 71500.
Back-reference matching is different from other matching, as the
content the back-reference refers to is at "run-time", aka during
regex_match(), not regex() compilation.
For compilation we do hav
On 28/08/17 21:12 +0200, François Dumont wrote:
Hi
Here is the always equal allocator optimization for associative
containers.
Tested under Linux x86_64.
* include/bits/stl_tree.h
(_Rb_tree_impl(_Rb_tree_impl&&, _Node_allocator&&)): New.
(_Rb_tree(_Rb_tree&&, _Node_allocator&&
This is the second big source reorg in the GNAT sources, this time all
runtimme source belonging to libgnat are moved to a new subdirectory
libgnat.
Diff is too large to be attached, even compressed with bzip2 -9. I'm
only including the diff on gcc-interface which is the not completely
trivial and
The issue here is that the C++ front end represents the ref-qualifier
as a variant but includes it in the canonical type, because at the
language level the types are distinct. Note that this is also true of
language-independent qualifiers like "const", so this doesn't seem
like an unreasonable thi
The alpha bootstrap currently fails due to always true condition
warning in a dead code.
Patch removes the unneeded code.
2017-09-08 Uros Bizjak
* config/alpha/alpha.c (alpha_print_operand) : Remove.
Bootstrapped and regression tested on alphaev68-linux-gnu.
Committed to mainline SVN.
This patch allows pragma Ada_2020 to be used to enable Ada 2020 features
that have been implemented in GNAT. Ada_2020 is a configuration
pragma. This is in addition to the -gnat2020 command-line switch.
Note: There is no synonym pragma Ada_20. We have Ada_05 and Ada_12, but
we decided long ago tha
This change extends the efficient handling of an array reset to 0 by means
of an aggregate with a single Others choice from a discrete component type
to any elementary type.
The 3 instances of the Reset procedure below must invoke memset:
with G;
package P is
subtype Index is Positive range 1
This patch adds machinary to create new warning flags using the underscore
"_" prefix. This is necessary because all letters of the alphabet and letters
prefixed with a dot "." are used already.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-09-08 Justin Squirek
* switch-c.adb
The compiler skips reporting errors located in function expressions.
After this patch the error is reported in the following sources:
package Base is
type Base_Type is tagged record
V : Integer;
end record;
function Func_1 (B : Base_Type) return Integer is (B.V);
end;
with Base;
p
This patch removes spurious errors appearing on a formal package of
an instantiation nestled within an enclosing instance body. when
the inner instance is a package that includes a subprogram with an
Inline_Always aspect.
The following must compile quietly:
gnstmske -q -gnatws main
---
with Def_
This patch replaces several calls to New_Copy in aggregage expansion and all
calls to New_Copy in concatenation expansion with calls to New_Copy_Tree. The
former left the syntactic structure of the tree ambiguous, where certain nodes
would theoretically have two parents, while the AST supports only
We were nearly down to around a dozen of problematic links on
gcc.gnu.org and our online docs, when the following popped up:
www.openacc.org switched to https (and does not require a trailing
slash).
I committed the patch below, but am wondering whether we really,
really, really need as many in
This patch fixes a bug in which if mixed-case file names are used, and a
file name contains any of the capital letters 'U', 'W', 'Q', or 'O',
then in rare cases the compiler can crash. No small test is available.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-09-08 Bob Duff
*
If T'Class'Input is called on a stream containing data that does not
look like it comes from T'Class'Output, it could crash. This patch fixes
that bug by making sure it raises an exception.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-09-08 Bob Duff
* a-tags.adb (Internal_Ta
Introduce a new debug switch -gnatdJ to prepend the name of the enclosing
entity (subprogram, task, ...) relevant for a given warning or style message.
This can be useful in the context of integrating these messages in other tools,
e.g. CodePeer or gnatcheck.
Tested on x86_64-pc-linux-gnu, committ
This patch suppresses the processing of references to internal variables for
SPARK. As a result, this eliminates an infinite loop triggered by walking the
scope chain of an internal variable which plays the role of an elaboration
flag.
-- Source --
-- gnat.adc
pragma S
This change ensures that the representation aspects Atomic, Independent and
Volatile_Full_Access are copied from the base type to the subtype when it is
declared with an explicit constraint.
For the following package:
package P is
type Bit is mod 2**1
with Size => 1;
type UInt2 is mod
This change fixes a crash on an expression function which is the completion of
a previous declaration, when the type of the expression is a record type which
contains private components.
Such a code is illegal as per AI12-0103, which says that expression functions
that are a completion freeze thei
The compiler crashes processing a generic dispatching constructor
that is invoked to build-in-place objects that cover limited
interface types. After this patch the following test compiles
without errors:
package Base is
type Root is limited interface;
function Constructor
(Params : not
This patch fixes a compiler abort on an object declaration with an anonymous
array when the component type of the array has an invariant aspect.
The following must compile quietly:
gcc -c -gnata main.adb
with Lrs;
procedure Main is
begin
Lrs.Initialise;
end Main;
---
with Global;
package
If the designated type of an access to a class-wide interface type
is visible through a limited-with clause, and attribute 'Tag is
applied to the dereference of a pointer of such type, and such
'Tag value is used to invoke the routines of the Ada.Tags runtime
package then the Ada.Tags routine may r
A subtype indication whose type mark is a predicated subtype inherits the
predicates of its parent type. A loop whose specification has the form:
for S1 in T range Lo .. Hi loop ...
and in which T has a static predicate, is executed over the values of T
in the specified range that satisfy the
The wide character encoding used for Text_IO files is
supposed to match the encoding of the source files, as specified by
the -gnatW switch, unless it is specified explicitly in the Form
string. Instead it incorrectly defaults to brackets encoding. The same
applies to Wide_Text_IO and Wide_Wide_Tex
This adds a -gnatRe variant to the -gnatR switch, which displays extended
representation information for components of records that are themselves
records by recursing on the layout of sub-components.
This also makes the compiler accept -gnatR0, as documented in the User Guide.
For the following
This patch suppresses the check for compatibility of the component types of
the formal and the corresponding actual in the instantiation of a generic
child unit, when the component type of the formal is itself a formal of an
enclosing generic unit. This removes spurious conformance errors in comple
This patch modifies the processing of allocators to account for a case where
a simple allocation still requires a call to Allocate_Any_Controlled due to
subpool management. No small reproducer possible.
Tested on x86_64-pc-linux-gnu, committed on trunk
2017-09-08 Hristian Kirtchev
* e
This patch fixes a bug in which if a type implements interfaces, the
Default_Iterator aspect is not inherited from all interfaces, but only
from the parent type.
The following test should compile and run quietly.
with Ada.Iterator_Interfaces;
procedure Main is
type Element_Type is null recor
This patch fixes a bug in which the compiler creates .ali files when a
subunit is compiled. Given the following code:
package P is
procedure F;
end P;
package body P is
procedure F is separate;
end P;
separate (P)
procedure F is
begin
null;
end F;
The command:
gcc -c p-f.adb
should gene
This patch permits the use of type conversions and components of objects
subject to the following conditions: type conversions cannot potentially raise
contraint errors and access types cannot be dereferenced. These additions
provide greater functionality to users while respecting the aims of the
P
This patch fixes a loop in the compiler, on an interface conversion from an
interface declared as a synchronized private extension to one of its ancestors.
databases-instantiations,adb below must compile quietly:
---
package body Databases.Generics is
New_Data_ID : Data_ID_Type := 1;
prote
This change ensures that (1) -gnatR always displays the record layout that was
used internally by the compiler for code generation and (2) the record layout
is fully adjusted internally when the reverse bit order is specified.
No functional changes expected because the first issue was papering ove
This patch changes the expansion of object renamings in SPARK to reuse the
entity associated with the renaming when the name denotes a function call.
The patch also modifies a routine used to extract the entity of references
to abstract states and whole objects to handle renamings of function resul
Hi David,
> On Thu, Sep 7, 2017 at 6:57 PM, Rainer Orth
> wrote:
>> Jakub Jelinek writes:
>>
>>> On Wed, Sep 06, 2017 at 10:08:01PM +0200, David Edelsohn wrote:
This change broke bootstrap on AIX because sancov.c now references a
macro that is defined as a function on AIX. sancov.c n
59 matches
Mail list logo
