Re: Multi-Threading GCC Compiler Internal Data

2019-09-17 Thread Richard Biener
On Mon, 16 Sep 2019, Nicholas Krause wrote: > Greetings Richard, > > I don't know if it's currently possible but whats the best way to either so > about or > > use a tool to expose shared state at both the GIMPLE and RTL level.  This > would > > allow us to figure out much better what

gcc Testsuite Results - was: Re: [PATCH] Deprecate ia64*-*-*

2019-09-17 Thread John Paul Adrian Glaubitz
Hi! I just stumbled over [1] and just wanted to add that Debian is reguarly building snapshots of all current gcc versions for a large number of targets, including the testsuites (except for m68k and sh4 at the moment). The results can always be found on buildd.debian.org. gcc-7:

Re: GCC Git hooks

2019-09-17 Thread Gerald Pfeifer
On Mon, 16 Sep 2019, Joel Brobecker wrote: > You mean the email notification sent by the hooks when a commit > gets pushed? If yes, here is an example: > > https://www.sourceware.org/ml/gdb-cvs/2019-09/msg00041.html Thank you, Joel! I got a little worried how to best parse that ;-), but then

Re: Proposal for the transition timetable for the move to GIT

2019-09-17 Thread Richard Biener
On Tue, Sep 17, 2019 at 2:02 PM Richard Earnshaw (lists) wrote: > > At the Cauldron this weekend the overwhelming view for the move to GIT > soon was finally expressed. > > But we never discussed when and we didn't really decide which conversion > we would use from the three that we currently

Proposal for the transition timetable for the move to GIT

2019-09-17 Thread Richard Earnshaw (lists)
At the Cauldron this weekend the overwhelming view for the move to GIT soon was finally expressed. But we never discussed when and we didn't really decide which conversion we would use from the three that we currently have on the table. So during the cauldron dinner I discussed with several

Re: GCC Git hooks

2019-09-17 Thread Joel Brobecker
> > You mean the email notification sent by the hooks when a commit > > gets pushed? If yes, here is an example: > > > > https://www.sourceware.org/ml/gdb-cvs/2019-09/msg00041.html > > Thank you, Joel! I got a little worried how to best parse that ;-), > but then Joseph recommended against it

Re: Proposal for the transition timetable for the move to GIT

2019-09-17 Thread Joseph Myers
On Tue, 17 Sep 2019, Richard Biener wrote: > If stage3 ends on Dec 31st then stage1 ends Oct 31st to have a two-month > stage3. That's about two weeks earlier than in the past. I don't think the repository conversion should constrain the timing of the end of stage 1 or stage 3; it should be OK

Re: Proposal for the transition timetable for the move to GIT

2019-09-17 Thread Richard Earnshaw (lists)
On 17/09/2019 17:35, Joseph Myers wrote: > On Tue, 17 Sep 2019, Richard Biener wrote: > >> If stage3 ends on Dec 31st then stage1 ends Oct 31st to have a two-month >> stage3. That's about two weeks earlier than in the past. > > I don't think the repository conversion should constrain the timing

Re: GCC Git hooks

2019-09-17 Thread Joseph Myers
On Tue, 17 Sep 2019, Gerald Pfeifer wrote: > When, roughly, do you expect the switch can be ready? That's a matter of how much time we want to allow for people to try out and comment on the conversion. > I assume we'll have some sort of flag day? Yes, at some point we'd do a final conversion

Re: Proposal for the transition timetable for the move to GIT

2019-09-17 Thread Joseph Myers
On Tue, 17 Sep 2019, Richard Earnshaw (lists) wrote: > Doing this over the new year holiday period has both advantages and > disadvantages. On the one hand the traffic is light, so the impact to most > developers will be quite low; on the other, it is a holiday period, so getting > the right key

GNU Devroom in FOSDEM 2020 - proposal submitted

2019-09-17 Thread Jose E. Marchesi
Hi People! As promised during the GNU Tools Cauldron last week, I just submitted a devroom proposal for the next edition of FOSDEM. Let's see what they say... I will know the next 30th of September. Salud!

Re: Multi-Threading GCC Compiler Internal Data

2019-09-17 Thread Nicholas Krause
On 9/17/19 2:37 AM, Richard Biener wrote: On Mon, 16 Sep 2019, Nicholas Krause wrote: Greetings Richard, I don't know if it's currently possible but whats the best way to either so about or use a tool to expose shared state at both the GIMPLE and RTL level.  This would allow us to figure

Re: Proposal for the transition timetable for the move to GIT

2019-09-17 Thread Richard Earnshaw (lists)
On 17/09/2019 13:24, Richard Biener wrote: On Tue, Sep 17, 2019 at 2:02 PM Richard Earnshaw (lists) wrote: At the Cauldron this weekend the overwhelming view for the move to GIT soon was finally expressed. But we never discussed when and we didn't really decide which conversion we would use

[Bug c++/91777] No warning for iterator going out of scope

2019-09-17 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91777 --- Comment #4 from Martin Liška --- (In reply to Konstantin Kharlamov from comment #3) > (In reply to Martin Liška from comment #2) > > I can see a ASAN error: > > Correct. You set the report status to WAITING: do you expect some answer > from

[PATCH] Fix PR91790

2019-09-17 Thread Richard Biener
The following fixes an old vectorizer issue with realignment support (thus only powerpc is affected) and BB vectorization. The realignment token is set up from the wrong data-ref which causes an SSA verification failure but in other circumstances might simply generate wrong code. Bootstrap

[Ada] Support for local unix sockets in GNAT.Sockets API

2019-09-17 Thread Pierre-Marie de Rodat
Sock_Addr_Type has Family_Unix variant now. This variant can be created with function Unix_Local_Addr call. And this variant is working in GNAT.Socket routines where it is appropriate. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Dmitriy Anisimkov gcc/ada/ *

[Ada] Ada 2020: Raise expressions in limited contexts (AI12-0172)

2019-09-17 Thread Pierre-Marie de Rodat
This patch adds support for the use of raise expressions in more limited contexts (as described in the Ada Isssue AI12-0172). Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Javier Miranda gcc/ada/ * exp_ch3.adb (Build_Record_Init_Proc): Do not generate code to

[Ada] In a generic use Presanalyze_Spec_Expression on Predicates

2019-09-17 Thread Pierre-Marie de Rodat
When verifying that the meaning of an aspect has not changed between the freeze point of the entity and the end of the declarations, we analkyze a copy of the expression to verify its conformance to previous analysis. If the expression contains overloaded references, these have to be resolved,

[Ada] Avoid touching potentially nonexistent memory

2019-09-17 Thread Pierre-Marie de Rodat
...in cases where the Val_2 might cross a page boundary, and the second page is now known to exist. Copy_Bitfield is still disabled in the compiler: no test possible. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Bob Duff gcc/ada/ * libgnat/s-bituti.adb (Get_Val_2,

[Ada] Fix wrong value of 'Size for slices of bit-packed arrays

2019-09-17 Thread Pierre-Marie de Rodat
This fixes a long-standing issue in the compiler which would return a wrong value for the Size attribute applied to slices of bit-packed arrays whose size is not a multiple of the storage unit. The problem is that the computation was done in the code generator after the bit-packed array had been

[Ada] Refine conditions for calling Copy_Bitfield

2019-09-17 Thread Pierre-Marie de Rodat
Avoid calling Copy_Bitfield if there are volatile or independent components that might be read or written. The test is conservative. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Bob Duff gcc/ada/ * exp_ch5.adb (Expand_Assign_Array_Loop_Or_Bitfield): Add tests

[Ada] PR ada/91268 Do not redefine macros

2019-09-17 Thread Pierre-Marie de Rodat
This should fix PR ada/91268 by only defining macros if not already done. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Arnaud Charlet gcc/ada/ * adaint.c (_REENTRANT, _THREAD_SAFE): Only define if needed.--- gcc/ada/adaint.c +++ gcc/ada/adaint.c @@ -35,8 +35,14 @@

[Bug c++/91780] Discrepancy between gcc 7.4, through 9.2, compared to clang.

2019-09-17 Thread mikael.p.persson at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91780 --- Comment #1 from Mikael Persson --- To clarify it also does not work in gcc trunk.

[Bug c++/91793] [8/9/trunk regression] ICE on unexpanded parameter pack in lambda

2019-09-17 Thread cyp561 at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91793 --- Comment #2 from Cyp --- Compiler output from reduced testcase: --- 91793.cpp: In instantiation of ‘ [with auto:1 = {}]’: 91793.cpp:6:4: required from here 91793.cpp:4:25: internal compiler error: Segmentation fault

[Bug c++/91793] [8/9/10 Regression] ICE on unexpanded parameter pack in lambda

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91793 Richard Biener changed: What|Removed |Added Keywords||ice-on-valid-code Target

[Bug c++/91791] New: ICE when throwing exception in a ternary expression

2019-09-17 Thread tonvandenheuvel at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91791 Bug ID: 91791 Summary: ICE when throwing exception in a ternary expression Product: gcc Version: 9.2.0 Status: UNCONFIRMED Severity: normal Priority: P3

[Ada] Update the character type comment in exp_dbug.ads

2019-09-17 Thread Pierre-Marie de Rodat
The character type comment in exp_dbug.ads documented the QU and QW encodings, but did not document the plain "Qc" encoding, where 'c' is the character itself. This patch updates the comment to follow the implementation. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Tom Tromey

[Ada] Fix rounding of fixed-point arithmetic operation

2019-09-17 Thread Pierre-Marie de Rodat
Fixed-point multiplication, division and conversion may lead to calling the function Double_Divide in s-arit64 runtime unit. In the special case where arguments have the special values X = -2**63 and the absolute value of the product of its other arguments Y*Z = 2**64, the rounded value should be

[Ada] Minor fixes mostly in comments of runtime arithmetic unit

2019-09-17 Thread Pierre-Marie de Rodat
Multiple comments in functions Double_Divide and Scaled_Divide were incorrect. Now fixed. Also change the expression (if Zhi /= 0 then Ylo * Zhi else 0) to the simpler equivalent (Ylo * Zhi) in Double_Divide. Also add a comment explaining why the implementation of Algorithm D for

[Ada] Refine change for bit-packed slices

2019-09-17 Thread Pierre-Marie de Rodat
We use Long_Long_Integer'Size / 2 instead of 4 * 8 to support specifying a target configuration file where the largest integer is 32 bits instead of 64. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Arnaud Charlet gcc/ada/ * libgnat/s-bitfie.ads (Val_Bits, Val_Bytes):

[Ada] Add Remove primitive on functional maps

2019-09-17 Thread Pierre-Marie de Rodat
A primitive for removing a mapping from a functional map has been added. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Claire Dross gcc/ada/ * libgnat/a-cofuma.ads, libgnat/a-cofuma.adb (Remove): New function which returns a copy of the input container without

[Ada] Missing tagged type decoration in corresponding record subtypes

2019-09-17 Thread Pierre-Marie de Rodat
The frontend silently skips propagating attribute Is_Tagged_Type to the constrained corresponding record subtype associated with a protected type or task type with discriminants. This change does not affect the functionality of the compiler; it leaves more clean the decoration of internal

[Ada] Remove section on pragma No_Run_Time

2019-09-17 Thread Pierre-Marie de Rodat
This pragma has been long obsolescent and confuses users. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Ed Falis gcc/ada/ * doc/gnat_rm/implementation_defined_pragmas.rst: Remove section. * gnat_rm.texi, gnat_ugn.texi: Regenerate. patch.diff.gz

[Ada] GNATprove: avoid crash on illegal borrow during package elaboration

2019-09-17 Thread Pierre-Marie de Rodat
In GNATprove, a borrow during package elaboration is illegal, but a crash could be issued when analyzing the corresponding declaration. Now avoid analyzing the declaration in that case. There is no test as this does not impact compilation. Tested on x86_64-pc-linux-gnu, committed on trunk

[Bug c++/91705] [9 Regression] operator++ broken in constexpr floating point code

2019-09-17 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91705 Andrew Pinski changed: What|Removed |Added CC||cyp561 at gmail dot com --- Comment #13

[Bug target/91749] [10 Regression] ICE in arm_asm_trampoline_template, at config/arm/arm.c:3973

2019-09-17 Thread clyon at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91749 --- Comment #4 from Christophe Lyon --- Author: clyon Date: Tue Sep 17 08:13:11 2019 New Revision: 275799 URL: https://gcc.gnu.org/viewcvs?rev=275799=gcc=rev Log: [PR91749][arm] FDPIC: Handle -mflip-thumb 2019-09-16 Christophe Lyon

[Ada] Missing propagation of Has_Predicates in cloned subtypes

2019-09-17 Thread Pierre-Marie de Rodat
The frontend silently skips propagating attributes Has_Predicates and Predicate function to the internally built cloned subtype. This change does not affect the functionality of the compiler; it leaves more clean the decoration of internal entities. Tested on x86_64-pc-linux-gnu, committed on

[Bug tree-optimization/91790] ICE: verify_ssa failed (error: definition in block 2 follows the use)

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91790 --- Comment #3 from Richard Biener --- Author: rguenth Date: Tue Sep 17 08:08:40 2019 New Revision: 275798 URL: https://gcc.gnu.org/viewcvs?rev=275798=gcc=rev Log: 2019-09-17 Richard Biener PR tree-optimization/91790 *

[Bug c++/91792] [9 Regression] constexpr ++ or -- evaluation fails on float or double

2019-09-17 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91792 Andrew Pinski changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

[Bug tree-optimization/91790] ICE: verify_ssa failed (error: definition in block 2 follows the use)

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91790 Richard Biener changed: What|Removed |Added Known to work||10.0 --- Comment #2 from Richard

[Bug fortran/91588] ICE in check_inquiry, at fortran/expr.c:2673

2019-09-17 Thread pault at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91588 --- Comment #4 from Paul Thomas --- Author: pault Date: Tue Sep 17 08:30:50 2019 New Revision: 275800 URL: https://gcc.gnu.org/viewcvs?rev=275800=gcc=rev Log: 2019-09-17 Paul Thomas PR fortran/91588 * expr.c (check_inquiry):

Re: [PATCH, AArch64, v3 0/6] LSE atomics out-of-line

2019-09-17 Thread Kyrill Tkachov
On 9/16/19 12:58 PM, Wilco Dijkstra wrote: Hi Richard, >> So what is the behaviour when you explicitly select a specific CPU? > > Selecting a specific cpu selects the specific architecture that the cpu > supports, does it not?  Thus the architecture example above still applies. > > Unless I

[Bug c++/91793] [8/9/trunk regression] ICE on unexpanded parameter pack in lambda

2019-09-17 Thread cyp561 at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91793 --- Comment #1 from Cyp --- Reduced (creduce) testcase which reproduces ICE: --- int a( [](auto... a) { [] { using b = decltype(a); };

[Bug tree-optimization/91789] Value ranges determined from comparisons not used transitively

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug c++/91777] No warning for iterator going out of scope

2019-09-17 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91777 --- Comment #6 from Andrew Pinski --- So here is the thing. Tracking things via memory is hard.

[Bug c++/91777] No warning for iterator going out of scope

2019-09-17 Thread Hi-Angel at yandex dot ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91777 --- Comment #5 from Konstantin Kharlamov --- (In reply to Martin Liška from comment #4) > (In reply to Konstantin Kharlamov from comment #3) > > (In reply to Martin Liška from comment #2) > > > I can see a ASAN error: > > > > Correct. You set

[Bug tree-optimization/91790] ICE: verify_ssa failed (error: definition in block 2 follows the use)

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91790 Richard Biener changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug ada/91268] [10 Regression] adaint.c:38: warning: "_REENTRANT" redefined

2019-09-17 Thread pmderodat at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91268 --- Comment #2 from pmderodat at gcc dot gnu.org --- Author: pmderodat Date: Tue Sep 17 07:59:43 2019 New Revision: 275774 URL: https://gcc.gnu.org/viewcvs?rev=275774=gcc=rev Log: [Ada] PR ada/91268 Do not redefine macros This should fix PR

[Bug c++/91792] New: [9 Regression] constexpr ++ or -- evaluation fails on float or double

2019-09-17 Thread cyp561 at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91792 Bug ID: 91792 Summary: [9 Regression] constexpr ++ or -- evaluation fails on float or double Product: gcc Version: 9.2.0 Status: UNCONFIRMED Severity: normal

[Bug tree-optimization/91789] Value ranges determined from comparisons not used transitively

2019-09-17 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91789 --- Comment #2 from Marc Glisse --- We do manage if you swap the order of the first 2 comparisons, because this way we don't need to remember symbolic ranges: a<0 yields a range [0,inf] for a, b

[Bug fortran/91783] [10 Regression] ICE in gfc_dep_resolver, at fortran/dependency.c:2111

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91783 Richard Biener changed: What|Removed |Added Priority|P3 |P4 Target Milestone|---

[Bug go/91781] [10 regression] r275691 breaks go test "reflect"

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91781 Richard Biener changed: What|Removed |Added Priority|P3 |P4 Target Milestone|---

[Bug c++/91777] No warning for iterator going out of scope

2019-09-17 Thread Hi-Angel at yandex dot ru
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91777 --- Comment #3 from Konstantin Kharlamov --- (In reply to Martin Liška from comment #2) > I can see a ASAN error: Correct. You set the report status to WAITING: do you expect some answer from me, or was it accidental?

[Ada] Fix ineffective -gnatyN for separate compilation units

2019-09-17 Thread Pierre-Marie de Rodat
This fixes a recent regression introduced in the machinery giving style warnings: the -gnatyN switch no longer cancels an earlier -gnaty switch for separate compilation units. Running this command: gcc -c slib.adb -gnatyaAbcefhiIklmM25OnprStux -gnatyN On the following sources: package Slib

[Ada] Don't accept illegal (e.g., Integer'(null)) generic actuals

2019-09-17 Thread Pierre-Marie de Rodat
Sem_Util.Wrong_Type usually emits an error message, but in some cases it does not. The code which prevents emitting an error message was going too far in some cases, causing illegal constructs to be accepted. For example, a qualified expression such as Integer'(null) might be passed in as an

[Ada] Clarify documentation for Stack_Usage

2019-09-17 Thread Pierre-Marie de Rodat
Clarify the documentation for Stack_Usage (both comments in the code, and user documentation) to note that tools like Valgrind won't work. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Bob Duff gcc/ada/ * doc/gnat_ugn/gnat_and_program_execution.rst: Clarify

[Ada] Force even timestamp in Windows ALI files

2019-09-17 Thread Pierre-Marie de Rodat
Old versions forced even file timestamp in Windows in GNAT.OS_Lib.GM_Split implementation. We removed this time distortion in GNAT.OS_Lib.GM_Split a few commits. But gprbuild became unnecessary recompiling the sources in 50% cases, when the source has odd file timestamp. This commit is restoring

[Ada] A new utility routine for detecting attribute 'Old

2019-09-17 Thread Pierre-Marie de Rodat
Add a utility routine for detecting attribute 'Old. It will be immediately reused in the GNATprove backend. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Piotr Trojanek gcc/ada/ * sem_util.ads, sem_util.adb (Is_Attribute_Old): New utility routine.---

[Ada] Raise Constraint_Error in overflow case involving rounding

2019-09-17 Thread Pierre-Marie de Rodat
Function Scaled_Divide in s-arith runtime unit computes the combined multiplication and division of its arguments ((X*Y) / Z). In a very special case where the quotient computed before rounding is 2**64-1, then rounding may lead to undesirable wrap-around, leading to a computed quotient of 0

[Ada] GNAT.Expect (Expect_Internal): Try to call 'poll' few times

2019-09-17 Thread Pierre-Marie de Rodat
'poll' returns -1 in case of any error (including interruption by a signal), so call need to be repeated few times to avoid false failures. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Vadim Godunko gcc/ada/ * libgnat/g-expect.adb (Expect_Internal): Try to call

[Bug target/91749] [10 Regression] ICE in arm_asm_trampoline_template, at config/arm/arm.c:3973

2019-09-17 Thread clyon at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91749 Christophe Lyon changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

[Bug c++/91793] New: [8/9/trunk regression] ICE on unexpanded parameter pack in lambda

2019-09-17 Thread cyp561 at gmail dot com
ion of 'main():: [with auto:1 = {int}]': /opt/compiler-explorer/gcc-trunk-20190917/include/c++/10.0.0/type_traits:2490:26: required by substitution of 'template static std::__result_of_success()((declval<_Args>)()...)), std::__invoke_other> std::__result_of_other_impl::_S_test(int) [with

[Bug c++/91774] Assignment from return value of function to reference returned by function occasionally produces wrong results

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91774 Richard Biener changed: What|Removed |Added Keywords||wrong-code Status|WAITING

[Ada] Ignore missing ALI files in GNATprove mode

2019-09-17 Thread Pierre-Marie de Rodat
This change only affects GNATprove backend, where it avoids spurious errors on missing ALI files for units indirectly withed from the current unit and processed as part of a different .gpr project. No test provided, because only GNATprove is affected. Tested on x86_64-pc-linux-gnu, committed on

[Ada] Avoid to close irrelevant file descriptors

2019-09-17 Thread Pierre-Marie de Rodat
'Close' subprogram of GNAT.Expect can close irrelevant file descriptors when 'Expect' was terminated by Process_Died exception and any file open operations was done before call to 'Close'. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Vadim Godunko gcc/ada/ *

[Ada] Support chained calls to traversal functions in SPARK

2019-09-17 Thread Pierre-Marie de Rodat
This change only affects the SPARK toolset. In the part of semantic analysis enforcing ownership rules for SPARK, it corrects a crash in analysis of a declaration of a local borrower whose definition is a chain of several calls to traversal functions. Tested on x86_64-pc-linux-gnu, committed on

[Ada] Adding assertions on extra formals for BIP function calls

2019-09-17 Thread Pierre-Marie de Rodat
This patch adds assertions to ensure that the frontend passes to the backend the right number of extra parameters required for build in place function calls. No functional change. Tested on x86_64-pc-linux-gnu, committed on trunk 2019-09-17 Javier Miranda gcc/ada/ * exp_ch6.ads

[Ada] Do not inline dispatching operations in GNATprove mode

2019-09-17 Thread Pierre-Marie de Rodat
In GNATprove, local subprograms without contracts are candidates for inlining, so that they are only analyzed in the context of their calls. This does not apply to dispatching operations, which may be called through dispatching, in an unknown calling context. Hence such operations should not be

[Ada] Fix possible suppressed overflows in arithmetic run-time

2019-09-17 Thread Pierre-Marie de Rodat
Function Double_Divide computes the division of its parameters (X / (Y*Z)) in a way that avoids overflows on signed integers, except in two specific cases, when X = -2**63, abs(Y) = abs(Z) = 1 (leading to an overflow in -To_Int(Qu)) and when X = -2**63 and Y*Z is large enough that Qu=0 and so the

Re: [ARM/FDPIC v6 20/24] [ARM][testsuite] FDPIC: Skip tests using architectures unsupported by FDPIC

2019-09-17 Thread Kyrill Tkachov
Hi Christophe, On 9/16/19 1:31 PM, Christophe Lyon wrote: Hi Kyrill, I didn't commit this patch yet: are you OK with it? Thanks, Christophe On Mon, 9 Sep 2019 at 17:52, Christophe Lyon > wrote: From: Christophe Lyon mailto:christophe.l...@linaro.org>>

[Bug driver/91794] exception and unwind state is not carried to LTO but controls EH vs debug frame

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91794 --- Comment #2 from Richard Biener --- So one possible fix would be Index: gcc/dwarf2cfi.c === --- gcc/dwarf2cfi.c (revision 275639) +++ gcc/dwarf2cfi.c (working copy) @@

[Bug target/91766] -fvisibility=hidden during -fpic still uses GOT indirection on arm64

2019-09-17 Thread wilco at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91766 Wilco changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Question on aarch64] Questions on TLB range instructions on aarch64

2019-09-17 Thread Shaokun Zhang
Hi aarch64 maintainers, Sorry to noise you again. We(HiSilicon) next generation CPU core will support "ARMv8.4-TLBI, TLB maintenance and TLB range instructions" feature, so I try to compile it that tlbi rvae1is is replaced in linux kernel which is in my local branch, there are some error

Re: [PATCH, AArch64, v3 0/6] LSE atomics out-of-line

2019-09-17 Thread Wilco Dijkstra
Hi Kyrill, >> When you select a CPU the goal is that we optimize and schedule for that >> specific microarchitecture. That implies using atomics that work best for >> that core rather than outlining them. > > I think we want to go ahead with this framework to enable the portable > deployment of

[Bug other/91730] [10 regression] r275518 causes 3 verification errors in the cpu 2006 test suite

2019-09-17 Thread tnfchris at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91730 Tamar Christina changed: What|Removed |Added CC||tnfchris at gcc dot gnu.org ---

[Bug sanitizer/91795] New: [UBSAN :- error] with combination of flags (shift and unsigned-integer-overflow)

2019-09-17 Thread akhilesh.k at samsung dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91795 Bug ID: 91795 Summary: [UBSAN :- error] with combination of flags (shift and unsigned-integer-overflow) Product: gcc Version: 6.2.1 Status: UNCONFIRMED

[Bug driver/91794] exception and unwind state is not carried to LTO but controls EH vs debug frame

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91794 Richard Biener changed: What|Removed |Added Keywords||EH, lto CC|

[Bug target/91766] -fvisibility=hidden during -fpic still uses GOT indirection on arm64

2019-09-17 Thread wilco at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91766 Wilco changed: What|Removed |Added CC||wilco at gcc dot gnu.org --- Comment #7 from

[Bug sanitizer/91795] [UBSAN :- error] with combination of flags (shift and unsigned-integer-overflow)

2019-09-17 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91795 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|---

Re: [Question on aarch64] Questions on TLB range instructions on aarch64

2019-09-17 Thread Kyrill Tkachov
Hi Shaokun, On 9/17/19 12:17 PM, Shaokun Zhang wrote: Hi aarch64 maintainers, Sorry to noise you again. No problem :) However, this isn't strictly-speaking a gcc issue because... We(HiSilicon) next generation CPU core will support "ARMv8.4-TLBI, TLB maintenance and TLB range instructions"

Re: [ARM/FDPIC v6 13/24] [ARM] FDPIC: Force LSB bit for PC in Cortex-M architecture

2019-09-17 Thread Wilco Dijkstra
Hi Christophe, Can you explain this in more detail - it doesn't make sense to me to force the Thumb bit during unwinding since it should already be correct, even on a Thumb-only CPU. Perhaps the kernel code that pushes an incorrect address on the stack could be fixed instead? > Without this,

[Bug target/58442] bootstrapping vax crashes on NetBSD

2019-09-17 Thread coypu at sdf dot org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58442 coypu changed: What|Removed |Added CC||coypu at sdf dot org --- Comment #12 from coypu

[Bug driver/91794] New: exception and unwind state is not carried to LTO but controls EH vs debug frame

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91794 Bug ID: 91794 Summary: exception and unwind state is not carried to LTO but controls EH vs debug frame Product: gcc Version: 9.2.1 Status: UNCONFIRMED

[Bug lto/91772] [8/9/10 Regression] ICE in add_dwarf_attr, at dwarf2out.c:4412 since r259749

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91772 Richard Biener changed: What|Removed |Added Status|WAITING |ASSIGNED Assignee|unassigned

[Bug ipa/91089] IPA-cp does not setup proper cost model for switch default case in function versioning

2019-09-17 Thread fxue at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91089 --- Comment #3 from fxue at gcc dot gnu.org --- Author: fxue Date: Tue Sep 17 12:30:08 2019 New Revision: 275802 URL: https://gcc.gnu.org/viewcvs?rev=275802=gcc=rev Log: PR ipa/91089 - Setup predicate for switch default case in IPA 2019-09-17

[Bug tree-optimization/91758] Clang fails to pass validation after r261089

2019-09-17 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91758 --- Comment #4 from Martin Liška --- So no, the affective change is: D.1259546.IndirectRealign = SR.6335_125; D.1259546.InReg = SR.6336_130; _163 = (unsigned char) SR.6335_125; _50 = (unsigned char) SR.6336_130; _140 = _50 << 1;

[Bug lto/91772] [8/9/10 Regression] ICE in add_dwarf_attr, at dwarf2out.c:4412 since r259749

2019-09-17 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91772 --- Comment #4 from Richard Biener --- Created attachment 46889 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46889=edit patch

Re: [ARM/FDPIC v6 13/24] [ARM] FDPIC: Force LSB bit for PC in Cortex-M architecture

2019-09-17 Thread Christophe Lyon
On 17/09/2019 13:38, Wilco Dijkstra wrote: Hi Christophe, Can you explain this in more detail - it doesn't make sense to me to force the Thumb bit during unwinding since it should already be correct, even on a Thumb-only CPU. Perhaps the kernel code that pushes an incorrect address on the stack

[Bug target/91796] New: Sub-optimal YMM register allocation.

2019-09-17 Thread maxim.yegorushkin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91796 Bug ID: 91796 Summary: Sub-optimal YMM register allocation. Product: gcc Version: 9.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target

Re: [Question on aarch64] Questions on TLB range instructions on aarch64

2019-09-17 Thread Shaokun Zhang
Hi Kyrill, On 2019/9/17 19:24, Kyrill Tkachov wrote: > Hi Shaokun, > > On 9/17/19 12:17 PM, Shaokun Zhang wrote: >> Hi aarch64 maintainers, >> >> Sorry to noise you again. >> > No problem :) However, this isn't strictly-speaking a gcc issue because... > > >> We(HiSilicon) next generation CPU

[Bug c++/30277] bit-field: wrong overload resolution

2019-09-17 Thread ro at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30277 Rainer Orth changed: What|Removed |Added CC||ro at gcc dot gnu.org --- Comment #7 from

[Bug tree-optimization/91758] Clang fails to pass validation after r261089

2019-09-17 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91758 --- Comment #3 from Martin Liška --- So that's what I have: 1) reduced LLVM test-case: $ cat /tmp/llvm-project/clang/test/CodeGen/lanai-regparm.c void f2(int a) __attribute((regparm(0))); void f0() { f2(1); } 2) I applied the following local

[x86] Tweak testcases for PR82361

2019-09-17 Thread Richard Sandiford
gcc/testsuite/gcc.target/i386/pr82361-[12].c check whether we can optimise away a 32-to-64-bit zero extension of a 32-bit division or modulus result. Currently this fails for the modulus part of f1 and f2 in pr82361-1.c: /* FIXME: We are still not able to optimize the modulo in f1/f2, only

Avoid adding impossible copies in ira-conflicts.c:process_reg_shuffles

2019-09-17 Thread Richard Sandiford
If an insn requires two operands to be tied, and the input operand dies in the insn, IRA acts as though there were a copy from the input to the output with the same execution frequency as the insn. Allocating the same register to the input and the output then saves the cost of a move. If there

[Bug driver/91794] exception and unwind state is not carried to LTO but controls EH vs debug frame

2019-09-17 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91794 Eric Botcazou changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug tree-optimization/91758] Clang fails to pass validation after r261089

2019-09-17 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91758 --- Comment #6 from Martin Liška --- > @Eric, @Jakub, @Richard: Aren't we missing something similar with the store > merging of bool:1 bit fields? > I can see the cast to 'unsigned char' from 'bool' in GIMPLE. Both should be > 1B and > so that

[Bug fortran/87980] ICE in gfc_conv_descriptor_data_get, at fortran/trans-array.c for assignment on allocatable polymorphic variable

2019-09-17 Thread gs...@t-online.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87980 G. Steinmetz changed: What|Removed |Added CC||gs...@t-online.de --- Comment #5 from G.

[Bug fortran/91300] Wrong runtime error message with allocate and errmsg=

2019-09-17 Thread gs...@t-online.de
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91300 G. Steinmetz changed: What|Removed |Added CC||gs...@t-online.de --- Comment #4 from G.

[Bug target/91269] [9/10 regression] unaligned floating-point register with -mcpu=niagara4 -fcall-used-g6

2019-09-17 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91269 Eric Botcazou changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

Re: [wwwdocs] gcc-10/changes.html - Document new ARM FDPIC ABI support

2019-09-17 Thread Christophe Lyon
On Tue, 17 Sep 2019 at 17:40, Kyrill Tkachov wrote: > > Hi Christophe, > > On 9/17/19 4:38 PM, Christophe Lyon wrote: > > Hi, > > As Kyrill suggested, here is a patch to mention the new FDPIC ABI > support for arm. > OK? > > Thanks, > > Christophe > > > fdpic-wwwdocs.patch.txt > > Index:

  1   2   3   >