Re: Clarifying attribute-const

2015-10-02 Thread Richard Biener
On Fri, Oct 2, 2015 at 1:40 AM, Geert Bosch wrote: > >> On Oct 1, 2015, at 11:34 AM, Alexander Monakov wrote: >> >> Can you expand on the "etc." a bit, i.e., may the compiler ... >> >> - move a call to a "const" function above a conditional branch, >>causing a conditional throw to happen unc

Re: Clarifying attribute-const

2015-10-02 Thread Eric Botcazou
> I think that's less clear as the transform basically duplicates the call > on both branches and removes the one that is not necessary. Yes, IMO that one is allowed under the as-if rule. > I think GCC does both though (if it throws only externally, for > internally throwing ones the transforms w

Re: missed optimization

2015-10-02 Thread Janne Blomqvist
On Tue, Sep 29, 2015 at 11:20 PM, Richard Biener wrote: > On September 29, 2015 9:27:13 PM GMT+02:00, fxcoud...@gmail.com wrote: >>It cannot be done in the front-end, but has to happen during value >>propagation in the middle-end. But the middle-end only handles known >>*_EXPR and built-ins. So th

Re: Debugger support for __float128 type?

2015-10-02 Thread Ulrich Weigand
Joseph Myers wrote: > On Thu, 1 Oct 2015, Ulrich Weigand wrote: > > > The _DecimalN types are already supported by DWARF using a base type with > > encoding DW_ATE_decimal_float and the appropriate DW_AT_byte_size. > > Which doesn't actually say whether the DPD or BID encoding is used, but as >

Offloading: libgfortran, libm dependencies

2015-10-02 Thread Thomas Schwinge
Hi! For example, Fortran source code that uses the ABORT intrinsic, such as: program main implicit none print *, "CheCKpOInT" !$omp target call abort !$omp end target end program main ... currently indeed does terminate program execution, for examp

Re: Debugger support for __float128 type?

2015-10-02 Thread Joseph Myers
On Fri, 2 Oct 2015, Ulrich Weigand wrote: > Joseph Myers wrote: > > On Thu, 1 Oct 2015, Ulrich Weigand wrote: > > > > > The _DecimalN types are already supported by DWARF using a base type with > > > encoding DW_ATE_decimal_float and the appropriate DW_AT_byte_size. > > > > Which doesn't actuall

Re: Debugger support for __float128 type?

2015-10-02 Thread Ulrich Weigand
Joseph Myers wrote: > On Fri, 2 Oct 2015, Ulrich Weigand wrote: > > I see. Well, one could add a DW_ATE_decimal_interchange_float for > > completeness, if necessary. > > Since both DPD and BID are interchange encodings, that doesn't actually > determine things without some way to say which was u

Bug 66848 - boehm-gc fails test suite on x86_64-apple-darwin15

2015-10-02 Thread Jack Howarth
Does anyone know which upstream boehm-gc release FSF gcc's copy was last synchronized against? The system libunwinder.dylib (providing the compatibility unwinder on darwin) has been recompiled, without source changes, in OS X 10.11 El Capitan. This recompilation with the newer Apple clang 7.0 co