[Bug fortran/39772] -fcheck=bounds could check for overflow of size intrinsic.

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39772

Joost VandeVondele  changed:

   What|Removed |Added

 Status|WAITING |NEW
Summary|add a correctness check for |-fcheck=bounds could check
   |the size intrinsic to   |for overflow of size
   |-fbounds-check  |intrinsic.

--- Comment #13 from Joost VandeVondele  
---
(In reply to Dominique d'Humieres from comment #11)
> Am I correct that you are asking for something like -fcheck=undefined
> (overflow, range, ... what ever is deemed suitable) for intrinsics returning
> by default an INTEGER(4)?

yes.

> 
> If yes, the summary should probably changed to be less misleading (I had to
> read the thread twice to understand).

done

[Bug c++/66735] [C++14] lambda init-capture fails for const references

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66735

Markus Trippelsdorf  changed:

   What|Removed |Added

   Keywords||rejects-valid
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||trippels at gcc dot gnu.org
 Blocks||54367
 Ever confirmed|0   |1

--- Comment #2 from Markus Trippelsdorf  ---
Confirmed.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54367
[Bug 54367] [meta-bug] lambda expressions

[Bug target/68609] PowerPC reciprocal estimate missed opportunities

[dje at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68609

David Edelsohn  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #3 from David Edelsohn  ---
Fixed.

[Bug target/68609] PowerPC reciprocal estimate missed opportunities

[dje at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68609

--- Comment #2 from David Edelsohn  ---
Author: dje
Date: Sat Dec  5 12:53:45 2015
New Revision: 231317

URL: https://gcc.gnu.org/viewcvs?rev=231317=gcc=rev
Log:
PR target/68609
* config/rs6000/rs6000-protos.h (rs6000_emit_swsqrt): Rename and add
bool arguement.
* config/rs6000/rs6000.c (rs6000_emit_swsqrt): Rename. Add
non-reciporcal path.
* config/rs6000/rs6000.md (rsqrt2): Call new function name.
(sqrt2): Replace define_insn with define_expand that may call
rs6000_emit_swsqrt.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/config/rs6000/rs6000-protos.h
trunk/gcc/config/rs6000/rs6000.c
trunk/gcc/config/rs6000/rs6000.md

[Bug tree-optimization/68716] New: libgomp c.exp with -fipa-pta failures

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68716

Bug ID: 68716
   Summary: libgomp c.exp with -fipa-pta failures
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

When running libgomp c.exp with -fipa-pta, we run into the following failures:
...
FAIL: libgomp.c/linear-1.c execution test
FAIL: libgomp.c/omp-nested-1.c execution test
FAIL: libgomp.c/pr32362-1.c execution test
FAIL: libgomp.c/pr32362-2.c execution test
FAIL: libgomp.c/pr32362-3.c execution test
FAIL: libgomp.c/pr35549.c execution test
FAIL: libgomp.c/pr36802-2.c execution test
FAIL: libgomp.c/pr36802-3.c execution test
FAIL: libgomp.c/reduction-10.c execution test
FAIL: libgomp.c/reduction-11.c execution test
FAIL: libgomp.c/reduction-12.c execution test
FAIL: libgomp.c/reduction-7.c execution test
FAIL: libgomp.c/reduction-8.c execution test
FAIL: libgomp.c/reduction-9.c execution test
...

I've investigated the libgomp.c/omp-nested-1.c failure, and found that the
problem was missing clobbers on a function call after -fipa-pta.

Adding this bit (that was part of the original PR46032 patch:
https://gcc.gnu.org/ml/gcc-patches/2015-11/msg03448.html, but dropped here:
https://gcc.gnu.org/ml/gcc-patches/2015-11/msg03471.html) fixes the failures:
...
+ /* The caller clobbers what the callee does.  */
+ lhs = get_function_part_constraint (fi, fi_clobbers);
+ rhs = get_function_part_constraint (cfi, fi_clobbers);
+ process_constraint (new_constraint (lhs, rhs));
...

[Bug tree-optimization/68718] New: libgomp c.exp with -fipa-pta hang in sort-1.c

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68718

Bug ID: 68718
   Summary: libgomp c.exp with -fipa-pta hang in sort-1.c
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

Created attachment 36932
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36932=edit
minimal sort-1.c

The test hangs, because in this loop, we optimize away the test on busy:
...
while (size_int_pair_stack (_stack) == 0
   && busy)
  busy_wait ();
...

Before the PR46043 fix, the loop looks like this just before fre2:
...
;;   basic block 27, loop depth 3, count 0, freq 1, maybe hot
;;prev block 26, next block 28, flags: (NEW, REACHABLE)
;;pred:   26 [100.0%]  (FALLTHRU,EXECUTABLE)
;;29 [100.0%]  (FALLTHRU,DFS_BACK,EXECUTABLE)
  # .MEM_10 = PHI <.MEM_88(26), .MEM_92(29)>
  # VUSE <.MEM_10>
  # PT = nonlocal unit-escaped 
  _89 = MEM[(struct .omp_data_s.5D.3564 &).omp_data_i_16(D) clique 1 base
1].global_stackD.3576;
  # VUSE <.MEM_10>
  # USE = nonlocal unit-escaped { D.3656 } (escaped)
  _90 = size_int_pair_stackD.3436 (_89);
  if (_90 == 0)
goto ;
  else
goto ;
;;succ:   28 [95.5%]  (TRUE_VALUE,EXECUTABLE)
;;20 [4.5%]  (FALSE_VALUE,EXECUTABLE)

;;   basic block 28, loop depth 3, count 0, freq 9550, maybe hot
;;prev block 27, next block 29, flags: (NEW, REACHABLE)
;;pred:   27 [95.5%]  (TRUE_VALUE,EXECUTABLE)
  # VUSE <.MEM_10>
  _91 = MEM[(struct .omp_data_s.5D.3564 &).omp_data_i_16(D) clique 1 base
1].busyD.3574;
  if (_91 != 0)
goto ;
  else
goto ;
;;succ:   29 [95.5%]  (TRUE_VALUE,EXECUTABLE)
;;20 [4.5%]  (FALSE_VALUE,EXECUTABLE)

;;   basic block 29, loop depth 3, count 0, freq 9120, maybe hot
;;prev block 28, next block 30, flags: (NEW, REACHABLE)
;;pred:   28 [95.5%]  (TRUE_VALUE,EXECUTABLE)
  # .MEM_92 = VDEF <.MEM_10>
  # USE = nonlocal unit-escaped null { D.3473 D.3474 D.3566 D.3567 D.3650
D.3653 D.3654 D.3656 D.3807 } (escaped)
  # CLB = nonlocal unit-escaped null { D.3473 D.3474 D.3566 D.3567 D.3650
D.3653 D.3654 D.3656 D.3807 } (escaped)
  busy_waitD.3439 ();
  goto ;
;;succ:   27 [100.0%]  (FALLTHRU,DFS_BACK,EXECUTABLE)
...

And the fix for PR46032 has the following effect:
...
 ;;   basic block 27, loop depth 3, count 0, freq 1, maybe hot
 ;;prev block 26, next block 28, flags: (NEW, REACHABLE)
 ;;pred:   26 [100.0%]  (FALLTHRU,EXECUTABLE)
 ;;29 [100.0%]  (FALLTHRU,DFS_BACK,EXECUTABLE)
   # .MEM_10 = PHI <.MEM_88(26), .MEM_92(29)>
   # VUSE <.MEM_10>
-  # PT = nonlocal unit-escaped 
+  # PT = { D.3474 } (escaped)
   _89 = MEM[(struct .omp_data_s.5D.3564 &).omp_data_i_16(D) clique 1 base
1].global_stackD.3576;
   # VUSE <.MEM_10>
-  # USE = nonlocal unit-escaped { D.3656 } (escaped)
+  # USE = { D.3474 D.3656 } (escaped)
   _90 = size_int_pair_stackD.3436 (_89);
   if (_90 == 0)
 goto ;
   else
 goto ;
 ;;succ:   28 [95.5%]  (TRUE_VALUE,EXECUTABLE)
 ;;20 [4.5%]  (FALSE_VALUE,EXECUTABLE)

 ;;   basic block 28, loop depth 3, count 0, freq 9550, maybe hot
 ;;prev block 27, next block 29, flags: (NEW, REACHABLE)
 ;;pred:   27 [95.5%]  (TRUE_VALUE,EXECUTABLE)
   # VUSE <.MEM_10>
   _91 = MEM[(struct .omp_data_s.5D.3564 &).omp_data_i_16(D) clique 1 base
1].busyD.3574;
   if (_91 != 0)
 goto ;
   else
 goto ;
 ;;succ:   29 [95.5%]  (TRUE_VALUE,EXECUTABLE)
 ;;20 [4.5%]  (FALSE_VALUE,EXECUTABLE)

 ;;   basic block 29, loop depth 3, count 0, freq 9120, maybe hot
 ;;prev block 28, next block 30, flags: (NEW, REACHABLE)
 ;;pred:   28 [95.5%]  (TRUE_VALUE,EXECUTABLE)
   # .MEM_92 = VDEF <.MEM_10>
-  # USE = nonlocal unit-escaped null { D.3473 D.3474 D.3566 D.3567 D.3650
D.3653 D.3654 D.3656 D.3807 } (escaped)
-  # CLB = nonlocal unit-escaped null { D.3473 D.3474 D.3566 D.3567 D.3650
D.3653 D.3654 D.3656 D.3807 } (escaped)
+  # USE = nonlocal unit-escaped null { D.3473 D.3474 D.3656 } (escaped)
+  # CLB = nonlocal unit-escaped null { D.3473 D.3474 D.3656 } (escaped)
   busy_waitD.3439 ();
   goto ;
 ;;succ:   27 [100.0%]  (FALLTHRU,DFS_BACK,EXECUTABLE)
...

AFICT, the new alias information is correct.

And the optimization by fre looks reasonable: the variable busy does not seem
to be modified by anything in the loop, so it removes the test on busy from the
loop.

But in fact, busy is a shared variable, so it can be modified by one of the
other threads:
...
  int busy = 1;
  int num_threads;

  omp_init_lock ();
  init_int_pair_stack (_stack);
#pragma omp parallel firstprivate (array, count)
  {


In other words, inside the parallel region, num_threads 

[Bug fortran/68560] [6 Regression] The test gfortran.dg/shape_8.f90 now fails when compiled with -flto

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68560

--- Comment #12 from Dominique d'Humieres  ---
> Looks like it's PR68540.

So it should work now?

The statement in fortran/trans-intrinsic.c

  gfc_copy_formal_args_intr (sym, expr->value.function.isym,
 ignore_optional ? expr->value.function.actual
 : NULL);

looks suspicious: if ignore_optional means what indicated by the name and is
true, why passing expr->value.function.actual and NULL otherwise?


--- ../_clean/gcc/fortran/trans-intrinsic.c 2015-12-02 23:00:12.0
+0100
+++ gcc/fortran/trans-intrinsic.c   2015-12-04 12:26:05.0 +0100
@@ -3032,7 +3032,7 @@ gfc_get_symbol_for_expr (gfc_expr * expr
 }

   gfc_copy_formal_args_intr (sym, expr->value.function.isym,
-ignore_optional ? expr->value.function.actual
+!ignore_optional ? expr->value.function.actual
 : NULL);

   return sym;

"fixes" the failure for gfortran.dg/shape_8.f90, but causes

FAIL: gfortran.dg/char_pack_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/char_eoshift_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/char_pack_2.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/char_eoshift_2.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/cshift_large_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/eoshift_large_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/nested_reshape.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/optional_dim_2.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/optional_dim_3.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/reshape_4.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/reshape_zerosize_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/widechar_intrinsics_10.f90   -g -flto  (test for excess
errors)
FAIL: gfortran.dg/widechar_intrinsics_5.f90   -g -flto  (test for excess
errors)
FAIL: gfortran.dg/zero_sized_1.f90   -g -flto  (test for excess errors)

with -m32/-m64 and

FAIL: gfortran.dg/cshift_large_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/eoshift_large_1.f90   -g -flto  (test for excess errors)

with -m64 (not run with -m32).

For gfortran.dg/optional_dim_2.f90 the diff between the patched (-) and
unpatched (+) trans-intrinsic.c is

 logical(kind=4) A.12[4];
 struct array1_logical(kind=4) atmp.11;
+integer(kind=8) * D.3471;
 integer(kind=8) D.3470;
 atmp.11.dim[0].lbound = 0;
 atmp.11.dim[0].ubound = 3;
 atmp.11.data = (void * restrict) 
 atmp.11.offset = 0;
-_gfortran_eoshift0_8 (, D.3467, D.3469, 0B, );
+_gfortran_eoshift0_8 (, D.3467, D.3469, 0B, D.3471);

[Bug fortran/55916] Alignment issues with real(16) on i686

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55916

Joost VandeVondele  changed:

   What|Removed |Added

 CC||Joost.VandeVondele at mat dot 
ethz
   ||.ch

--- Comment #12 from Joost VandeVondele  
---
(In reply to Jouko Orava from comment #8)
> These issues affect probably all versions of gfortran,
> I have a patch under testing against trunk that modifies
> libgfortran internal xmalloc() and xcalloc() calls, as well
> as the intrinsic malloc() calls, to use GNU libc specific
> memalign() call. I will attach it as soon as I verify it
> works correctly.

I'm wondering if you had a working patch at some point. There are other PRs
that can only be solved if some alignment better than malloc is used in
gfortran. PR64247 and PR68101 that talk about non-reproducible results and slow
performance with avx/vector instructions respectively.

[Bug fortran/67068] Ambiguous interfaces generated when including open mip fortran header

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67068

--- Comment #6 from Dominique d'Humieres  ---
For openmpi-1.10.0 and trunk (6.0) compiling examples/hello_mpifh.f with
-freal-4-real-8 gives

mpif-sizeof.h:575:72:


Error: Ambiguous interfaces 'mpi_sizeof_real64_r7' and 'mpi_sizeof_real32_r7'
in generic interface 'mpi_sizeof' at (1)
mpif-sizeof.h:1139:72:


Error: Ambiguous interfaces 'pmpi_sizeof_real64_r7' and 'pmpi_sizeof_real32_r7'
in generic interface 'pmpi_sizeof' at (1)

If I compile with -fdefault-real-8 with/without -fdefault-double-8, I don't get
the error.

The (a) main difference between -fdefault-double-8 and -freal-4-real-8 is that
the former converts only default REAL (not the variables defined as REAL(4)),
while the later converts all REAL to REAL(8).

Anyway mixing -fdefault-double-8 and -freal-4-real-8 is bad (as in forbidden).

IMO this PR should be closed as INVALID.

[Bug testsuite/68705] libgomp.c/sort-1.c/sort missing synchronization

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68705

vries at gcc dot gnu.org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |INVALID

--- Comment #1 from vries at gcc dot gnu.org ---
(In reply to vries from comment #0)
> It initializes shared variable num_threads. This num_threads variable is
> used by all threads subsequently, but there doesn't seem to be a mechanism
> present that guarantees that the initialization by thread 0 is done before
> any other thread reads the value ().

Actually there is synchronization. The non-0 threads go into a waiting loop,
before reading num_thread, and the 0 thread writes the num_threads variable and
subsuquently enables the non-0 thread to exit the waiting loop.

Marking resolved-invalid.

[Bug libfortran/68652] gamma function hangs on some arguments, returns NaN on other ones

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68652

Dominique d'Humieres  changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution|--- |WORKSFORME

--- Comment #6 from Dominique d'Humieres  ---
> I posted the bug report here, I hope it's the right place now:
> http://sourceforge.net/p/mingw-w64/bugs/517/
>
> Nothing yet.

I wish you good luck!

> However, I had a look at the assembly output, and it's interesting:
> the Fortran gamma function translates to a call to tgamma.
>
> tgamma is a C99 function, which can be found in several places: Apple libm,
> gcc source, glibc, netbsd... and the mingw-w64 source.

Your analysis confirms that the problem is not in libgfortran but in some
system lib. Closing as WORKSFORME.

[Bug lto/68717] New: [6 Regression] New (bogus?) warnings when compiling some gfortran.dg tests with -flto after r231239

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68717

Bug ID: 68717
   Summary: [6 Regression] New (bogus?) warnings when compiling
some gfortran.dg tests with -flto after r231239
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: lto
  Assignee: unassigned at gcc dot gnu.org
  Reporter: dominiq at lps dot ens.fr
CC: hubicka at gcc dot gnu.org
  Target Milestone: ---

The following tests fail when compiled with -flto after r231239

FAIL: gfortran.dg/assumed_rank_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/assumed_rank_8.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/assumed_rank_9.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/assumed_rank_2.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/cshift_large_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/elemental_subroutine_3.f90   -g -flto  (test for excess
errors)
FAIL: gfortran.dg/eoshift_large_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/func_derived_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/matmul_3.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/matmul_6.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/reshape-complex.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/zero_sized_1.f90   -g -flto  (test for excess errors)

with both -m32 and -m64, the following two tests are only compiled with -m64
and fail

FAIL: gfortran.dg/cshift_large_1.f90   -g -flto  (test for excess errors)
FAIL: gfortran.dg/eoshift_large_1.f90   -g -flto  (test for excess errors)

The typical error is

/opt/gcc/_clean/gcc/testsuite/gfortran.dg/matmul_3.f90:22:0: warning: type of
'_gfortran_matmul_i4' does not match original declaration [-Wlto-type-mismatch]
iX2(1:n,1) = matmul( iB(2,1:n),iC(1:n,1:n) )


/opt/gcc/_clean/gcc/testsuite/gfortran.dg/matmul_3.f90:22:0: warning: type of
'_gfortran_matmul_i4' does not match original declaration [-Wlto-type-mismatch]
/opt/gcc/_clean/gcc/testsuite/gfortran.dg/matmul_3.f90:33:0: note:
'_gfortran_matmul_i4' was previously declared here
iX2 = matmul (transpose (iB), iC)


/opt/gcc/_clean/gcc/testsuite/gfortran.dg/matmul_3.f90:33:0: note: code may be
misoptimized unless -fno-strict-aliasing is used

The warnings do not require -fstrict-aliasing and are not suppressed with
-fno-strict-aliasing (as it is the case for pr68649).

These -flto failures are detected by using the following patch

--- ../_clean/gcc/testsuite/lib/gfortran-dg.exp 2015-05-16 15:02:44.0
+0200
+++ ../p_work/gcc/testsuite/lib/gfortran-dg.exp 2015-05-16 15:03:53.0
+0200
@@ -125,8 +125,18 @@ proc gfortran-dg-runtest { testcases fla
# we cycle through the option list, otherwise we don't
if [expr [search_for $test "dg-do run"]] {
set option_list $torture_with_loops
+if [check_effective_target_lto] {
+   lappend option_list { -g -flto }
+   # lappend option_list { -g -O3 -fwhole-program -flto }
+}
} else {
set option_list [list { -O } ]
+   if [check_effective_target_lto] {
+   # lappend option_list { -g -flto }
+   # lappend option_list { -g -O3 -fwhole-program -flto }
+   # lappend option_list { -flto }
+   # lappend option_list { -O3 -fwhole-program -flto }
+   }
}

set nshort [file tail [file dirname $test]]/[file tail $test]

[Bug fortran/68458] internal compiler error: Segmentation fault

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68458

Dominique d'Humieres  changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution|--- |WORKSFORME

--- Comment #6 from Dominique d'Humieres  ---
> My guess is your libgfortran is out of sync.

Closing as WORKSFORME.

[Bug c++/68719] New: [concepts] placeholder deduction doesn't work for member functions

[ryan.burn at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68719

Bug ID: 68719
   Summary: [concepts] placeholder deduction doesn't work for
member functions
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: ryan.burn at gmail dot com
  Target Milestone: ---

The below code should compile but gives this error with gcc 20151123:

main.cpp: In function ‘int main()’:
main.cpp:7:3: error: expected primary-expression before ‘double’
   double (auto::*fptr)(int) = ::f;
   ^~

//
struct A {   
  double f(int i) {   
  }   
};   

int main() {   
  double (auto::*fptr)(int) = ::f;   
  return 0;   
}
//

[Bug ada/34883] specified storage pool not used for classwide object allocation

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34883

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #2 from Eric Botcazou  ---
.

[Bug ada/35567] spurious character in array definition generates gnat error rather than syntax error

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35567

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |5.0

--- Comment #3 from Eric Botcazou  ---
Fixed in GCC 5.

[Bug ada/35793] Illegal program not detected, RM 3.8(12)

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35793

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
  Known to fail||
   Severity|normal  |minor

--- Comment #2 from Eric Botcazou  ---
The error is still missing.

[Bug ada/38009] Assert_Failure sinfo.adb:1002

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38009

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #3 from Eric Botcazou  ---
assert_failure_sinfo_1002.adb:2:04: warning: variable "foo" is read but never
assigned
assert_failure_sinfo_1002.adb:3:04: warning: variable "bar" is read but never
assigned

[Bug ada/37956] ACATS ac3207a sometimes hangs in system.tasking.stages.vulnerable_complete_master

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37956

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |WORKSFORME

--- Comment #1 from Eric Botcazou  ---
Never ever ran into this.

[Bug ada/38332] Program fails to raise Constraint_Error as mandated by ARM 4.7(4)

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38332

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #1 from Eric Botcazou  ---
gcc -c test1.adb
test1.adb:12:24: warning: incorrect value for discriminant "K"
test1.adb:12:24: warning: "Constraint_Error" will be raised at run time

[Bug ada/40310] Patches for gcc 4.4.0/GNAT to support FreeBSD x86_64

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40310

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |WONTFIX

--- Comment #5 from Eric Botcazou  ---
Obsolete.

[Bug ada/40285] Including Ada.Real_Time.Timing_Events breaks signal handling

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40285

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|normal  |enhancement

[Bug c++/68711] [5 regression] SEGV on an invalid offsetof of a member of a virtual base

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68711

Martin Sebor  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||jason at redhat dot com
 Ever confirmed|0   |1
  Known to fail||6.0

--- Comment #1 from Martin Sebor  ---
I suspect this is caused by the merge of the C++ delayed folding branch in
r230365 (CC'ing Jason).  The problem is in the function
build_class_member_access_expr().  The following otherwise untested change
restores the expected diagnostic:

--- gcc/cp/typeck.c (revision 231314)
+++ gcc/cp/typeck.c (working copy)
@@ -2358,8 +2358,14 @@
   int type_quals;
   tree member_type;

-  null_object_p = (INDIRECT_REF_P (object)
-  && integer_zerop (TREE_OPERAND (object, 0)));
+  if (INDIRECT_REF_P (object))
+   {
+ tree oper = TREE_OPERAND (object, 0);
+ STRIP_NOPS (oper);
+ null_object_p = integer_zerop (oper);
+   }
+  else
+   null_object_p = false;

   /* Convert OBJECT to the type of MEMBER.  */
   if (!same_type_p (TYPE_MAIN_VARIANT (object_type),

[Bug ada/39756] c9a011b Ada ACATS random FAIL or hang

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39756

--- Comment #7 from Eric Botcazou  ---
On which platform exactly?  I have never seen it...

[Bug c++/68723] New: ice in pop_nested_namespace, at cp/name-lookup.c:3816

[regehr at cs dot utah.edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68723

Bug ID: 68723
   Summary: ice in pop_nested_namespace, at cp/name-lookup.c:3816
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: regehr at cs dot utah.edu
  Target Milestone: ---

ICE on invalid code

$ g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r231259-install/libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--prefix=/home/regehr/z/compiler-install/gcc-r231259-install
--disable-bootstrap --disable-multilib --enable-languages=c,c++
Thread model: posix
gcc version 6.0.0 20151204 (experimental) (GCC) 


$ cat hello.cpp
struct Trans_NS_std_std;
namespace Trans_NS_std_std class A {
friend fn1 ( exception_ptr,


$ g++ -w -std=c++11 hello.cpp
hello.cpp:2:11: error: ‘namespace Trans_NS_std_std { }’ redeclared as different
kind of symbol
 namespace Trans_NS_std_std class A {
   ^~~~

hello.cpp:1:8: note: previous declaration ‘struct Trans_NS_std_std’
 struct Trans_NS_std_std;
^~~~

hello.cpp:2:28: error: expected ‘{’ before ‘class’
 namespace Trans_NS_std_std class A {
^

hello.cpp:3:22: error: ‘exception_ptr’ has not been declared
 friend fn1 ( exception_ptr,
  ^

hello.cpp:3:35: error: expected identifier at end of input
 friend fn1 ( exception_ptr,
   ^

hello.cpp:3:35: error: expected ‘,’ or ‘...’ at end of input
hello.cpp:3:35: error: expected ‘)’ at end of input
hello.cpp:3:35: error: ISO C++ forbids declaration of ‘fn1’ with no type
[-fpermissive]
hello.cpp:3:35: error: ‘namespace Trans_NS_std_std { }’ redeclared as different
kind of symbol
hello.cpp:1:8: note: previous declaration ‘struct Trans_NS_std_std’
 struct Trans_NS_std_std;
^~~~

hello.cpp:3:35: internal compiler error: in pop_nested_namespace, at
cp/name-lookup.c:3816
 friend fn1 ( exception_ptr,
   ^

0x7b8e36 pop_nested_namespace(tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/name-lookup.c:3816
0x730838 do_friend(tree_node*, tree_node*, tree_node*, tree_node*,
overload_flags, bool)
/home/regehr/z/compiler-source/gcc/gcc/cp/friend.c:586
0x5e991a grokdeclarator(cp_declarator const*, cp_decl_specifier_seq*,
decl_context, int, tree_node**)
/home/regehr/z/compiler-source/gcc/gcc/cp/decl.c:11142
0x6a26b8 grokfield(cp_declarator const*, cp_decl_specifier_seq*, tree_node*,
bool, tree_node*, tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/decl2.c:873
0x6c2872 cp_parser_member_declaration
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:22106
0x6c5ba6 cp_parser_member_specification_opt
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:21653
0x6c5ba6 cp_parser_class_specifier_1
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:20845
0x6c85d9 cp_parser_class_specifier
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:21081
0x6c85d9 cp_parser_type_specifier
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:15391
0x6e568b cp_parser_decl_specifier_seq
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:12343
0x6f1221 cp_parser_simple_declaration
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:11909
0x6f18d0 cp_parser_block_declaration
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:11856
0x6fdd77 cp_parser_declaration
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:11753
0x6fc24d cp_parser_declaration_seq_opt
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:11632
0x6fca03 cp_parser_namespace_body
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:17160
0x6fca03 cp_parser_namespace_definition
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:17137
0x6fdcd7 cp_parser_declaration
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:11737
0x6fc24d cp_parser_declaration_seq_opt
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:11632
0x6fc598 cp_parser_translation_unit
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:4189
0x6fc598 c_parse_file()
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:36844
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug c++/68727] New: [4.9 regression] invalid offsetof expressions accepted

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68727

Bug ID: 68727
   Summary: [4.9 regression] invalid offsetof expressions accepted
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: msebor at gcc dot gnu.org
  Target Milestone: ---

While coming up with a comprehensive test case for c++/68711 I noticed that GCC
silently accepts other invalid offsetof expressions that then cause the
ill-formed program to crash at runtime (below).  Since this problem is not
caused by the merge of the C++ delayed folding branch or a regression from GCC
5.1, I raise it a bug of its own.  While strictly speaking, GCC's behavior
isn't non-conforming because the expressions have undefined behavior, since GCC
otherwise makes an effort to detect and diagnose such constructs and in the
past did diagnose these, this is a defect in the implementation.

$ /build/gcc-trunk-svn/gcc/xgcc -B /build/gcc-trunk-svn/gcc -Wall -Wextra
-Wpedantic x.cpp
tmp$ 
tmp$ cat x.cpp && /build/gcc-trunk-svn/gcc/xgcc -B /build/gcc-trunk-svn/gcc
-Wall -Wextra -Wpedantic x.cpp && ./a.out 
struct A { int i; };
struct B: virtual A { };

__SIZE_TYPE__ a[] = {
!&((B*)0)->A::i,
__builtin_offsetof (B, A::i)
};

int main ()
{
return a[0] + a[1];
}
Segmentation fault (core dumped)
$ 

The absence of diagnostics on these expressions is a regression from 4.9.3
which issues the following warnings.  (It also successfully compiles the
program that then crashes at runtime).  

x.cpp:5:19: warning: invalid access to non-static data member ‘A::i’  of NULL
object [-Winvalid-offsetof]
 !&((B*)0)->A::i,
   ^
x.cpp:5:19: warning: (perhaps the ‘offsetof’ macro was used incorrectly)
[-Winvalid-offsetof]
x.cpp:6:31: warning: invalid access to non-static data member ‘A::i’  of NULL
object [-Winvalid-offsetof]
 __builtin_offsetof (B, A::i)
   ^
x.cpp:6:31: warning: (perhaps the ‘offsetof’ macro was used incorrectly)
[-Winvalid-offsetof]

[Bug target/68729] New: ../Xbae/Methods.c:1772:1: ICE: in extract_insn, at recog.c:2343

[danglin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68729

Bug ID: 68729
   Summary: ../Xbae/Methods.c:1772:1: ICE: in extract_insn, at
recog.c:2343
   Product: gcc
   Version: 5.2.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: target
  Assignee: unassigned at gcc dot gnu.org
  Reporter: danglin at gcc dot gnu.org
  Target Milestone: ---
  Host: hppa-unknown-linux-gnu
Target: hppa-unknown-linux-gnu
 Build: hppa-unknown-linux-gnu

Created attachment 36934
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36934=edit
Preprocessed source

gcc -c -DALLOW_COLUMN_RESIZE -DDRAW_RESIZE_SHADOW -I../Xmt310
-DSGE_ARCH_STRING=
\"lx26-parisc\" -O3 -Wall -Wstrict-prototypes -DUSE_POLL -DLINUX -DLINUXPARISC
-
DLINUXPARISC_26 -D_GNU_SOURCE -DGETHOSTBYNAME_R6 -DGETHOSTBYADDR_R8 -g 
-DSGE_LO
CK_DEBUG -DHAS_IN_PORT_T -DLOAD_OPENSSL -I/usr/include/ -DTARGET_32BIT 
-DSPOOLI
NG_dynamic -DSECURE -I/usr/include -D_FILE_OFFSET_BITS=64 -DCOMPILE_DC
-D__SGE_C
OMPILE_WITH_GETTEXT__  -D__SGE_NO_USERMAPPING__ -Wno-strict-prototypes
-Wno-erro
r  -DHAVE_MEMMOVE -DXMT_HAS_STRERROR -I../3rdparty/qmon/Xmt310
-I/usr/include/fr
eetype2 -I../3rdparty/qmon/Xbae -I../3rdparty/qmon/iconlist
-I../3rdparty/qmon/l
tree -I../3rdparty/qmon/outline -I../3rdparty/qmon/rowcol
-I../3rdparty/qmon/spi
nbox -I../clients/qmon -I../3rdparty/qmon/tab -I/usr/X11R6/include -fPIC
../Xbae/Methods.c 
../Xbae/Methods.c: In function ‘xbaeDeselectAll’:
../Xbae/Methods.c:2443:22: warning: variable ‘do_row’ set but not used
[-Wunused-but-set-variable]
 register Boolean do_row, once = False;
  ^
../Xbae/Methods.c: In function ‘xbaeSelectAll’:
../Xbae/Methods.c:2493:22: warning: variable ‘do_row’ set but not used
[-Wunused
-but-set-variable]
 register Boolean do_row, once = False;
  ^
../Xbae/Methods.c: In function ‘xbaeResize’:
../Xbae/Methods.c:1772:1: error: unrecognizable insn:
 }
 ^
(insn 8086 1202 8087 120 (set (reg:SI 68 %fr22)
(subreg:SI (mem/c:HI (plus:SI (reg/f:SI 30 %r30)
(const_int -254 [0xff02])) [38 %sfp+66 S2 A16])
0)) ../Xbae/Methods.c:1415 -1
 (nil))
../Xbae/Methods.c:1772:1: internal compiler error: in extract_insn, at
recog.c:2343
0x557dbb _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
../../src/gcc/rtl-error.c:110
0x557e03 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
../../src/gcc/rtl-error.c:118
0x51b0c7 extract_insn(rtx_insn*)
../../src/gcc/recog.c:2343
0x51b153 extract_insn_cached(rtx_insn*)
../../src/gcc/recog.c:2234
0x30ef83 cleanup_subreg_operands(rtx_insn*)
../../src/gcc/final.c:3137
0x54d773 reload(rtx_insn*, int)
../../src/gcc/reload1.c:1278
0x427873 do_reload
../../src/gcc/ira.c:5433
0x427873 execute
../../src/gcc/ira.c:5592
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.
../Xbae/Makefile.aimk:99: recipe for target 'Methods.o' failed
make[1]: *** [Methods.o] Error 1

dave@mx3210:~/debian/gridengine/gridengine-6.2u5/source/3rdparty/qmon/LINUXPARISC_26$
gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/hppa-linux-gnu/5/lto-wrapper
Target: hppa-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 5.2.1-27+b1'
--with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs
--enable-languages=c,ada,c++,java,d,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-5 --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-libssp
--disable-libitm --disable-libsanitizer --disable-libquadmath --enable-plugin
--with-system-zlib --disable-browser-plugin --enable-java-awt=gtk
--enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-hppa/jre
--enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-hppa
--with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-hppa
--with-arch-directory=parisc --with-ecj-jar=/usr/share/java/eclipse-ecj.jar
--enable-objc-gc --enable-multiarch --disable-libstdcxx-pch
--enable-checking=release --build=hppa-linux-gnu --host=hppa-linux-gnu
--target=hppa-linux-gnu
Thread model: posix
gcc version 5.2.1 20151129 (Debian 5.2.1-27+b1)

[Bug ada/36638] c34008: Program received signal SIGILL, Illegal instruction

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36638

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |WAITING
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Eric Botcazou  ---
Is this still a problem?

[Bug ada/36619] Assignment to classwide leads to constraint error

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36619

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|major   |normal

--- Comment #2 from Eric Botcazou  ---
Still fails on mainline.

[Bug ada/37110] Assert_Failure at atree.adb:886 caused by legal prefixed notation

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37110

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #9 from Eric Botcazou  ---
.

[Bug ada/37620] warning: variable "X" is not referenced eventhough it is referenced by (implicit) procedure calls

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37620

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |WONTFIX

--- Comment #5 from Eric Botcazou  ---
.

[Bug ada/37619] overriding Finalize gives: warning: declaration of "Finalize" hides one at line N

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37619

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #5 from Eric Botcazou  ---
.

[Bug ada/36638] c34008: Program received signal SIGILL, Illegal instruction

[dave.anglin at bell dot net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36638

--- Comment #2 from dave.anglin at bell dot net ---
On 2015-12-05, at 11:44 AM, ebotcazou at gcc dot gnu.org wrote:

> Is this still a problem?

I haven't checked recently.  The breakage in PR 60403 broke build.

--
John David Anglin   dave.ang...@bell.net

[Bug ada/38327] Rejects legal program involving T'Class'Read

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38327

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Eric Botcazou  ---
Still fails on mainline.

[Bug ada/38974] functions with controlling result do not work with synchronized interfaces

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38974

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |WORKSFORME
   Target Milestone|--- |4.8.0

--- Comment #1 from Eric Botcazou  ---
test.ads:5:04: interface subprogram "Return_X" must be overridden
test.ads:7:15: subprogram "Return_X" is not overriding
test.ads:7:24: operation can be dispatching in only one type

[Bug other/68713] 5.3.1 tag missing on the git repository?

[fragabr at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68713

Dâniel Fraga  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |INVALID

--- Comment #1 from Dâniel Fraga  ---
The tag was added. Closing this bug.

[Bug fortran/20896] ambiguous interface not detected

[jvdelisle at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=20896

Jerry DeLisle  changed:

   What|Removed |Added

 Resolution|FIXED   |DUPLICATE

--- Comment #17 from Jerry DeLisle  ---
See 39290 for similar and broader issues.

*** This bug has been marked as a duplicate of bug 39290 ***

[Bug fortran/52251] Nonadvancing I/O and the t edit descriptor

[jvdelisle at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52251

Jerry DeLisle  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #9 from Jerry DeLisle  ---
Closing, fixed on trunk.

[Bug ada/38325] Long_Long_Float'Image returns a wrong value in some cases

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38325

Eric Botcazou  changed:

   What|Removed |Added

 Status|WAITING |NEW

--- Comment #5 from Eric Botcazou  ---
Thanks for the quick answer.

[Bug ada/39756] c9a011b Ada ACATS random FAIL or hang

[dave.anglin at bell dot net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39756

--- Comment #8 from dave.anglin at bell dot net ---
It fails on hppa2.0w-hp-hpux11.11.  See for example:
https://gcc.gnu.org/ml/gcc-testresults/2015-12/msg00395.html

--
John David Anglin   dave.ang...@bell.net

[Bug ada/35796] Order of progenitors in interface composition: segfault when initializing object of class-wide type.

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35796

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #1 from Eric Botcazou  ---
.

[Bug ada/35984] Illegal program not detected, RM 4.6(24/2)

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35984

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|normal  |minor

--- Comment #1 from Eric Botcazou  ---
The error is still missing.

[Bug ada/36785] Segmentation fault in Gnat.Regexp

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36785

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.9.0

--- Comment #3 from Eric Botcazou  ---
2014-01-29  Emmanuel Briot  

* s-regexp.adb (Create_Secondary_Table): Automatically grow the state
machine as needed.
(Dump): New subprogram.

[Bug ada/37618] parameter used for dispatching gives warning: formal parameter "X" is not referenced

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37618

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |WONTFIX

--- Comment #4 from Eric Botcazou  ---
Use pragma Unreferenced then.

[Bug rtl-optimization/68721] New: wrong code at -Os and above on x86_64-linux-gnu

[su at cs dot ucdavis.edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68721

Bug ID: 68721
   Summary: wrong code at -Os and above on x86_64-linux-gnu
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: rtl-optimization
  Assignee: unassigned at gcc dot gnu.org
  Reporter: su at cs dot ucdavis.edu
  Target Milestone: ---

The current gcc trunk miscompiles the following code on x86_64-linux-gnu at -Os
and above in both 32-bit and 64-bit modes. 

This is a regression from 5.3.x.


$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-trunk/configure --prefix=/usr/local/gcc-trunk
--enable-languages=c,c++ --disable-werror --enable-multilib
Thread model: posix
gcc version 6.0.0 20151204 (experimental) [trunk revision 231299] (GCC) 
$ 
$ gcc-trunk -O1 small.c; ./a.out
$ gcc-5.3 -Os small.c; ./a.out
$ 
$ gcc-trunk -Os small.c
$ ./a.out
Aborted (core dumped)
$ 


-


int a, b, c, *d, **e = 

int *
fn1 ()
{
  for (;;)
{
  for (; a;)
if (b)
  __builtin_abort ();
  break;
}
  for (; c;)
;
  return 
}

int
main ()
{
  *e = fn1 ();

  if (!d)
__builtin_abort ();

  return 0;
}

[Bug fortran/68676] ICE in gfc_match_formal_arglist when compiling gfortran.dg/submodule_10.f08

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68676

--- Comment #6 from Paul Thomas  ---
Author: pault
Date: Sat Dec  5 17:10:33 2015
New Revision: 231319

URL: https://gcc.gnu.org/viewcvs?rev=231319=gcc=rev
Log:
2015-12-05  Paul Thomas  

PR fortran/68676
* decl.c (gfc_match_formal_arglist): Correct error, where 'sym'
was used instead of 'progname'.



Modified:
trunk/gcc/fortran/ChangeLog
trunk/gcc/fortran/decl.c

[Bug ada/38329] Illegal program not detected, "private with" in a generic package

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38329

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #1 from Eric Botcazou  ---
pak1-pak3.ads:5:25: missing "with pak1.pak2;"
pak1-pak3.ads:6:20: "pak2" is not visible
pak1-pak3.ads:6:20: non-visible declaration at pak1-pak2.ads:2

[Bug ada/38349] Error Building Ada (h8300)

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38349

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |WONTFIX

--- Comment #5 from Eric Botcazou  ---
.

[Bug ada/38229] ACATS c954a01

[dave.anglin at bell dot net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38229

--- Comment #4 from dave.anglin at bell dot net ---
On 2015-12-05, at 12:14 PM, ebotcazou at gcc dot gnu.org wrote:

> Is this still a problem?

It is no longer a problem on hppa2.0w-hp-hpux11.11.

--
John David Anglin   dave.ang...@bell.net

[Bug ada/39160] Assert_Failure in sinfo.adb

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39160

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #2 from Eric Botcazou  ---
bug.adb:17:26: missing argument for parameter "X"

[Bug ada/40185] Segmentation fault on program with typo

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40185

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #3 from Eric Botcazou  ---
.

[Bug c++/68722] New: internal compiler error: in merge_exception_specifiers, at cp/typeck2.c:2108

[regehr at cs dot utah.edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68722

Bug ID: 68722
   Summary: internal compiler error: in
merge_exception_specifiers, at cp/typeck2.c:2108
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: regehr at cs dot utah.edu
  Target Milestone: ---

Possibly a dup of PR68475

$ g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r231259-install/libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--prefix=/home/regehr/z/compiler-install/gcc-r231259-install
--disable-bootstrap --disable-multilib --enable-languages=c,c++
Thread model: posix
gcc version 6.0.0 20151204 (experimental) (GCC) 


$ cat hello.cpp
class A {
  &__loc
} class ios_base {
  A _M_ios_locale ios_base(ios_base &) template <_Traits> class basic_ios {
basic_ios basic_ios = operator=


$ g++ -std=c++11 hello.cpp -w
hello.cpp:2:4: error: ISO C++ forbids declaration of ‘__loc’ with no type
[-fpermissive]
   &__loc
^

hello.cpp:2:4: error: expected ‘;’ at end of member declaration
hello.cpp:3:1: error: expected ‘;’ after class definition
 } class ios_base {
 ^

hello.cpp:4:5: error: expected ‘;’ at end of member declaration
   A _M_ios_locale ios_base(ios_base &) template <_Traits> class basic_ios {
 ^

hello.cpp:4:38: error: expected ‘;’ at end of member declaration
   A _M_ios_locale ios_base(ios_base &) template <_Traits> class basic_ios {
  ^

hello.cpp:4:50: error: ‘_Traits’ has not been declared
   A _M_ios_locale ios_base(ios_base &) template <_Traits> class basic_ios {
  ^~~

cc1plus: error: file ends in default argument
hello.cpp:5:31: error: expected ‘;’ at end of member declaration
 basic_ios basic_ios = operator=
   ^

hello.cpp:5:31: error: expected ‘}’ at end of input
hello.cpp:5:31: error: expected unqualified-id at end of input
hello.cpp:5:31: error: expected ‘}’ at end of input
hello.cpp:5:31: error: use of deleted function ‘ios_base&
ios_base::operator=(const ios_base&)’
hello.cpp:3:9: internal compiler error: in merge_exception_specifiers, at
cp/typeck2.c:2108
 } class ios_base {
 ^~~~

0x667dd1 merge_exception_specifiers(tree_node*, tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/typeck2.c:2108
0x741306 process_subob_fn
/home/regehr/z/compiler-source/gcc/gcc/cp/method.c:1109
0x74353a walk_field_subobs
/home/regehr/z/compiler-source/gcc/gcc/cp/method.c:1288
0x744042 synthesized_method_walk
/home/regehr/z/compiler-source/gcc/gcc/cp/method.c:1527
0x748ef4 maybe_explain_implicit_delete(tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/method.c:1627
0x69ef80 mark_used(tree_node*, int)
/home/regehr/z/compiler-source/gcc/gcc/cp/decl2.c:5087
0x764a0c finish_id_expression(tree_node*, tree_node*, tree_node*, cp_id_kind*,
bool, bool, bool*, bool, bool, bool, bool, char const**, unsigned int)
/home/regehr/z/compiler-source/gcc/gcc/cp/semantics.c:3636
0x6cf689 cp_parser_primary_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:5068
0x6d0f79 cp_parser_postfix_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:6447
0x6daf08 cp_parser_unary_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:7688
0x6dbc58 cp_parser_binary_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:8442
0x6dc51f cp_parser_assignment_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:8712
0x6dc983 cp_parser_constant_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:8964
0x6df1a6 cp_parser_late_parse_one_default_arg
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:25705
0x6c611d cp_parser_late_parsing_nsdmi
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:25755
0x6c611d cp_parser_class_specifier_1
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:21028
0x6c85d9 cp_parser_class_specifier
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:21081
0x6c85d9 cp_parser_type_specifier
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:15391
0x6e568b cp_parser_decl_specifier_seq
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:12343
0x6f1221 cp_parser_simple_declaration
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:11909
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.
regehr@hawking:~/svn/code/reduce/creduce_extra_698/reduce$

[Bug ada/39793] gnatxref generates incomplete output for overloaded operator

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39793

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #1 from Eric Botcazou  ---
.

[Bug ada/40025] gnatmake does not honour project files' Library_Version exactly

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40025

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|normal  |enhancement

[Bug ada/40933] Illegal program accepted, applying predefined operators of Integer on a derived type

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40933

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0
  Known to fail||

--- Comment #1 from Eric Botcazou  ---
pak1.ads:5:26: expect type "my_Int" defined at line 2
pak1.ads:6:26: expect type "my_Int" defined at line 2
pak1.ads:7:26: "abs" not declared in "Standard"
pak1.ads:8:26: expect type "my_Int" defined at line 2
pak1.ads:9:26: expect type "my_Int" defined at line 2
pak1.ads:10:26: expect type "my_Int" defined at line 2
pak1.ads:11:26: expect type "my_Int" defined at line 2
pak1.ads:12:26: "+" not declared in "Standard"
pak1.ads:13:27: "-" not declared in "Standard"

[Bug ada/40936] Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40936

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0
  Known to fail||

--- Comment #6 from Eric Botcazou  ---
.

[Bug ada/40984] Build failure in oscons stage not detected

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40984

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
Summary|Build failure in oscons |Build failure in oscons
   |stage not detected. |stage not detected
 Ever confirmed|0   |1
   Severity|normal  |enhancement

[Bug ada/41286] a warning about renamed function result is possibly confusing

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41286

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |WONTFIX

--- Comment #2 from Eric Botcazou  ---
.

[Bug ada/41854] Assert_Failure sinfo.adb:2362

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41854

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #6 from Eric Botcazou  ---
Still fails on mainline.

[Bug ada/42073] Infinite loop when parsing a project file, alpha only

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42073

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |WONTFIX

--- Comment #9 from Eric Botcazou  ---
.

[Bug ada/41416] Conversion Float to fixed-point behaves differently for static expressions

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41416

Arnaud Charlet  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||charlet at gcc dot gnu.org
 Resolution|--- |WONTFIX

--- Comment #4 from Arnaud Charlet  ---
There is no bug here, GNAT's behavior is permitted and differences between
static and dynamic expressions are definitely to be expected in general.

[Bug ada/35372] Memory corruption at unchecked deallocation of the interface classwide type

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35372

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #6 from Eric Botcazou  ---
.

[Bug ada/35880] GNAT does not generate debugging information on imported entities

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35880

Eric Botcazou  changed:

   What|Removed |Added

 CC||ebotcazou at gcc dot gnu.org,
   ||pmderodat at gcc dot gnu.org

--- Comment #10 from Eric Botcazou  ---
Quite surprising indeed.

[Bug fortran/68560] [6 Regression] The test gfortran.dg/shape_8.f90 now fails when compiled with -flto

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68560

--- Comment #14 from Dominique d'Humieres  ---
> > The statement in fortran/trans-intrinsic.c
> > 
> >   gfc_copy_formal_args_intr (sym, expr->value.function.isym,
> >  ignore_optional ? expr->value.function.actual
> >  : NULL);
> > 
> > looks suspicious: if ignore_optional means what indicated by the name and is
> > true, why passing expr->value.function.actual and NULL otherwise?
> > 
> Seeing how the argument is used would tell you the answer. ;-)

Sorry to be dense, but I don't understand.

[Bug other/68712] The PHDR part of ELF binaries are executable

[sstewartgallus00 at mylangara dot bc.ca]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68712

Steven Stewart-Gallus  changed:

   What|Removed |Added

 Status|RESOLVED|CLOSED
 Resolution|MOVED   |INVALID

--- Comment #3 from Steven Stewart-Gallus  ---
This was actually a bug in my toolchain not passing the -Wl,--rosegment option
correctly due to GCC handling setting the --sysroot option to a blank value
(which maybe GCC should change but really isn't that important.)

[Bug ada/35919] Primitive renaming a predefined operation

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35919

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #3 from Eric Botcazou  ---
.

[Bug ada/35920] Overriding primitive with a predefined operation renaming

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35920

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #2 from Eric Botcazou  ---
cannot generate code for file p1.ads (package spec)

[Bug fortran/50201] gfortran with -static causes seg fault at runtime for writing double prec array with precision increased to kind=16

[sgk at troutmask dot apl.washington.edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50201

--- Comment #16 from Steve Kargl  ---
On Sat, Dec 05, 2015 at 08:13:25AM +, jouko.orava at iki dot fi wrote:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50201
> 
> --- Comment #14 from Jouko Orava  ---
> (In reply to Steve Kargl from comment #13)
> > I've tested your patch on i386-*-freebsd.  It works.
> 
> Excellent, thank you.
> 
> > Do you have commit privilege for the source tree?
> > The patch with a testcase is ok.
> 
> No, I'm just an occasional bughunter without fixed affiliations.
> 
> I'd appreciate it if you could commit the patch, with whatever
> message you find most pertinent for this.
> 

OK, I'll commit the patch for you after a little more testing.
Thanks for tracking this bug down.

[Bug ada/37252] Extension based on instantiatized generic

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37252

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #2 from Eric Botcazou  ---
.

[Bug ada/37602] Renaming of volatile causes variable access

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37602

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #2 from Eric Botcazou  ---
.

[Bug ada/37796] Globals and functions private to generic body exported when instantiated in a spec

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=37796

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|normal  |enhancement

--- Comment #1 from Eric Botcazou  ---
The Is_Public business is a though one...

[Bug ada/38330] Illegal program not detected, RM 4.3.1(16/2)

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38330

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|normal  |minor

--- Comment #1 from Eric Botcazou  ---
The error is still missing.

[Bug ada/38493] Ada compiler does not work with --exec-prefix configuration

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38493

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|normal  |enhancement

--- Comment #3 from Eric Botcazou  ---
Still present on mainline.

[Bug fortran/68676] ICE in gfc_match_formal_arglist when compiling gfortran.dg/submodule_10.f08

[pault at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68676

Paul Thomas  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #7 from Paul Thomas  ---
Fixed.

Thanks for the report.

Paul

[Bug ada/38511] Assert_Failure when compiling PolyOrb

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38511

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #2 from Eric Botcazou  ---
.

[Bug ada/40929] Illegal program accepted, RM 10.2.1(15.6/2), access type in pure generic package

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40929

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |WORKSFORME
  Known to fail||

--- Comment #2 from Eric Botcazou  ---
.

[Bug ada/40931] ICE in legal program, Boolean type with user-defined function True

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40931

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.7.0
  Known to fail||

--- Comment #6 from Eric Botcazou  ---
.

[Bug ada/40932] ICE in legal program, Assert_Failure atree.adb:3815, RM 4.3.1(4/2, 19.1/2)

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40932

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0
  Known to fail||

--- Comment #2 from Eric Botcazou  ---
.

[Bug fortran/39290] Subroutine/function ambiguity in generics

[jvdelisle at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39290

Jerry DeLisle  changed:

   What|Removed |Added

 CC||Joost.VandeVondele at mat dot 
ethz
   ||.ch

--- Comment #12 from Jerry DeLisle  ---
*** Bug 20896 has been marked as a duplicate of this bug. ***

[Bug ada/41416] Conversion Float to fixed-point behaves differently for static expressions

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41416

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #3 from Eric Botcazou  ---
Still happens on mainline.

[Bug ada/41845] Limited_Controlled exposes Adjust operation, which should not exist.

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41845

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #1 from Eric Botcazou  ---
test.adb:14:07: subprogram "Adjust" is not overriding

[Bug ada/38325] Long_Long_Float'Image returns a wrong value in some cases

[bechir.zalila at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38325

--- Comment #4 from Bechir Zalila  ---
(In reply to Eric Botcazou from comment #3)
> Is this still a problem?

Sorry, I no longer have access to a FreeBSD machine to check this.

[Bug c++/68724] New: ice in unify, at cp/pt.c:19902

[regehr at cs dot utah.edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68724

Bug ID: 68724
   Summary: ice in unify, at cp/pt.c:19902
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: regehr at cs dot utah.edu
  Target Milestone: ---

ICE on invalid code


$ g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r231259-install/libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--prefix=/home/regehr/z/compiler-install/gcc-r231259-install
--disable-bootstrap --disable-multilib --enable-languages=c,c++
Thread model: posix
gcc version 6.0.0 20151204 (experimental) (GCC) 


$ cat hello.cpp
template  struct integral_constant {
} struct : integral_constant < bool, true {
} template  struct integral_constant < bool, __is_enum(_Tp) {


$ g++ -std=c++11 hello.cpp -w
hello.cpp:2:1: error: expected ‘;’ after struct definition
 } struct : integral_constant < bool, true {
 ^

hello.cpp:2:12: error: parse error in template argument list
 } struct : integral_constant < bool, true {
^

hello.cpp:3:1: error: expected ‘;’ after struct definition
 } template  struct integral_constant < bool, __is_enum(_Tp) {
 ^

hello.cpp:3:1: error: abstract declarator ‘’ used as
declaration
hello.cpp:3:34: error: parse error in template argument list
 } template  struct integral_constant < bool, __is_enum(_Tp) {
  ^

hello.cpp:3:34: error: template argument ‘__is_enum(_Tp)’ involves template
parameter(s)
hello.cpp:3:34: internal compiler error: in unify, at cp/pt.c:19902
0x644f9a unify
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:19902
0x644c45 unify
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:19703
0x64759e get_partial_spec_bindings
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:20466
0x63ef8b most_specialized_partial_spec
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:20735
0x64aa17 process_partial_specialization
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:4694
0x64bddf push_template_decl_real(tree_node*, bool)
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:5214
0x64f2b6 push_template_decl
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:5455
0x64f2b6 maybe_process_partial_specialization(tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:961
0x6c6fd4 cp_parser_class_head
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:21401
0x6c6fd4 cp_parser_class_specifier_1
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:20785
0x6c85d9 cp_parser_class_specifier
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:21081
0x6c85d9 cp_parser_type_specifier
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:15391
0x6e568b cp_parser_decl_specifier_seq
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:12343
0x6f2c13 cp_parser_single_declaration
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:25207
0x6f2fea cp_parser_template_declaration_after_parameters
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:24903
0x6f3c14 cp_parser_explicit_template_declaration
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:25134
0x6f3c14 cp_parser_template_declaration_after_export
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:25152
0x6fde39 cp_parser_declaration
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:11710
0x6fc24d cp_parser_declaration_seq_opt
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:11632
0x6fc598 cp_parser_translation_unit
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:4189
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug c++/68726] New: ice: tree check: expected tree_vec, have error_mark in comp_template_args_with_info, at cp/pt.c:7890

[regehr at cs dot utah.edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68726

Bug ID: 68726
   Summary: ice: tree check: expected tree_vec, have error_mark in
comp_template_args_with_info, at cp/pt.c:7890
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: regehr at cs dot utah.edu
  Target Milestone: ---

ICE on invalid code


$ g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r231259-install/libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--prefix=/home/regehr/z/compiler-install/gcc-r231259-install
--disable-bootstrap --disable-multilib --enable-languages=c,c++
Thread model: posix
gcc version 6.0.0 20151204 (experimental) (GCC) 


$ cat hello.cpp
template  struct A {
  template  struct __construct_helper;
  template 
  using __has_construct typename __construct_helper<_Args...>::type;
} struct : A {


$ g++ -w -std=c++11 hello.cpp
hello.cpp:2:23: error: expected identifier before ‘>’ token
   template  struct __construct_helper;
   ^

hello.cpp:4:25: error: expected ‘=’ before ‘typename’
   using __has_construct typename __construct_helper<_Args...>::type;
 ^~~~

hello.cpp:5:1: error: expected ‘;’ after struct definition
 } struct : A {
 ^

hello.cpp: In instantiation of ‘struct A’:
hello.cpp:5:12:   required from here
hello.cpp:4:68: internal compiler error: tree check: expected tree_vec, have
error_mark in comp_template_args_with_info, at cp/pt.c:7890
   using __has_construct typename __construct_helper<_Args...>::type;
^

0xf5cd5c tree_check_failed(tree_node const*, char const*, int, char const*,
...)
/home/regehr/z/compiler-source/gcc/gcc/tree.c:9599
0x5fa12d tree_check
/home/regehr/z/compiler-source/gcc/gcc/tree.h:2997
0x5fa12d comp_template_args_with_info
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:7890
0x63ada2 comp_template_args
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:7916
0x63ada2 lookup_template_class_1
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:8534
0x63ada2 lookup_template_class(tree_node*, tree_node*, tree_node*, tree_node*,
int, int)
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:8611
0x63dcd1 tsubst_aggr_type
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:11280
0x625922 tsubst(tree_node*, tree_node*, int, tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:13267
0x62ed4d tsubst_decl
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:12166
0x6261fc tsubst(tree_node*, tree_node*, int, tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:12664
0x62e922 tsubst_decl
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:11506
0x6261fc tsubst(tree_node*, tree_node*, int, tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:12664
0x65aab2 instantiate_class_template_1
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:9976
0x65aab2 instantiate_class_template(tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/pt.c:10253
0x706ccb complete_type(tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/typeck.c:131
0x706ecf complete_type_or_maybe_complain(tree_node*, tree_node*, int)
/home/regehr/z/compiler-source/gcc/gcc/cp/typeck.c:143
0x5ce159 xref_basetypes(tree_node*, tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/decl.c:12806
0x6c74ea cp_parser_class_head
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:21525
0x6c74ea cp_parser_class_specifier_1
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:20785
0x6c85d9 cp_parser_class_specifier
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:21081
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug c++/68728] New: ice: unexpected expression ‘(const char*)__s’ of kind implicit_conv_expr

[regehr at cs dot utah.edu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68728

Bug ID: 68728
   Summary: ice: unexpected expression ‘(const char*)__s’ of kind
implicit_conv_expr
   Product: gcc
   Version: 6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
  Assignee: unassigned at gcc dot gnu.org
  Reporter: regehr at cs dot utah.edu
  Target Milestone: ---

ICE on invalid code

$ g++ -v
Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/home/regehr/z/compiler-install/gcc-r231259-install/libexec/gcc/x86_64-pc-linux-gnu/6.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /home/regehr/z/compiler-source/gcc/configure
--prefix=/home/regehr/z/compiler-install/gcc-r231259-install
--disable-bootstrap --disable-multilib --enable-languages=c,c++
Thread model: posix
gcc version 6.0.0 20151204 (experimental) (GCC) 


$ cat hello.cpp
template < _CharT > fn1 ( char __s ):( __builtin_strcmp ( __s, "" )


$ g++ -w -std=c++11 hello.cpp
hello.cpp:1:12: error: ‘_CharT’ has not been declared
 template < _CharT > fn1 ( char __s ):( __builtin_strcmp ( __s, "" )
^~

hello.cpp:1:36: error: ISO C++ forbids declaration of ‘fn1’ with no type
[-fpermissive]
 template < _CharT > fn1 ( char __s ):( __builtin_strcmp ( __s, "" )
^

hello.cpp: In function ‘int fn1(char)’:
hello.cpp:1:38: error: only constructors take member initializers
 template < _CharT > fn1 ( char __s ):( __builtin_strcmp ( __s, "" )
  ^

hello.cpp:1:38: error: anachronistic old-style base class initializer
[-fpermissive]
hello.cpp:1:67: internal compiler error: unexpected expression ‘(const
char*)__s’ of kind implicit_conv_expr
 template < _CharT > fn1 ( char __s ):( __builtin_strcmp ( __s, "" )
   ^

0x7ef982 cxx_eval_constant_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/constexpr.c:3719
0x7f3b44 cxx_eval_outermost_constant_expr
/home/regehr/z/compiler-source/gcc/gcc/cp/constexpr.c:3774
0x7f6875 maybe_constant_value_1
/home/regehr/z/compiler-source/gcc/gcc/cp/constexpr.c:3960
0x7f6875 maybe_constant_value(tree_node*, tree_node*)
/home/regehr/z/compiler-source/gcc/gcc/cp/constexpr.c:3981
0x5a2ee5 build_cxx_call(tree_node*, int, tree_node**, int)
/home/regehr/z/compiler-source/gcc/gcc/cp/call.c:7724
0x7182ea cp_build_function_call_vec(tree_node*, vec**, int)
/home/regehr/z/compiler-source/gcc/gcc/cp/typeck.c:3593
0x5bb291 build_new_function_call(tree_node*, vec**, bool, int)
/home/regehr/z/compiler-source/gcc/gcc/cp/call.c:4104
0x75c95e finish_call_expr(tree_node*, vec**, bool,
bool, int)
/home/regehr/z/compiler-source/gcc/gcc/cp/semantics.c:2403
0x6d0e6b cp_parser_postfix_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:6656
0x6daf08 cp_parser_unary_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:7688
0x6dbc58 cp_parser_binary_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:8442
0x6dc51f cp_parser_assignment_expression
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:8712
0x6de608 cp_parser_parenthesized_expression_list
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:7185
0x6ef7ad cp_parser_mem_initializer
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:13180
0x6ef7ad cp_parser_mem_initializer_list
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:13063
0x6ef7ad cp_parser_ctor_initializer_opt
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:13032
0x6ef7ad cp_parser_ctor_initializer_opt_and_function_body
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:20215
0x6f0286 cp_parser_function_definition_after_declarator
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:24838
0x6f109a cp_parser_function_definition_from_specifiers_and_declarator
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:24750
0x6f109a cp_parser_init_declarator
/home/regehr/z/compiler-source/gcc/gcc/cp/parser.c:17974
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See  for instructions.

[Bug fortran/68560] [6 Regression] The test gfortran.dg/shape_8.f90 now fails when compiled with -flto

[mikael at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68560

--- Comment #13 from Mikael Morin  ---
(In reply to Dominique d'Humieres from comment #12)
> The statement in fortran/trans-intrinsic.c
> 
>   gfc_copy_formal_args_intr (sym, expr->value.function.isym,
>  ignore_optional ? expr->value.function.actual
>  : NULL);
> 
> looks suspicious: if ignore_optional means what indicated by the name and is
> true, why passing expr->value.function.actual and NULL otherwise?
> 
Seeing how the argument is used would tell you the answer. ;-)

[Bug libgcc/68720] New: Build failure on AIX 5.2

[bugzilla-gcc at thewrittenword dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68720

Bug ID: 68720
   Summary: Build failure on AIX 5.2
   Product: gcc
   Version: 4.7.4
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: libgcc
  Assignee: unassigned at gcc dot gnu.org
  Reporter: bugzilla-gcc at thewrittenword dot com
  Target Milestone: ---

Created attachment 36933
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36933=edit
libgcc config.log

I tried building gcc-4.7.4 on AIX 5.2 as follows:
  $ gtar jxf gcc-4.7.4.tar.bz2
  $ cd gcc-4.7.4
  $ mkdir .obj
  $ cd .obj
  $ PATH=/opt/TWWfsw/gcc44/bin:$PATH LDR_CNTRL=MAXDATA=0x7000 \
SHELL=/opt/fsw/bin/bash CONFIG_SHELL=/opt/fsw/bin/bash \
/opt/fsw/bin/bash ../configure LDFLAGS="-Wl,-brtl \
-Wl,-blibpath:/opt/TWWfsw/libgmp51/lib:/opt/TWWfsw/libmpc10/lib:\
/opt/TWWfsw/libmpfr31/lib:/usr/lib" --enable-nls --with-included-gettext \
--enable-shared --enable-threads --enable-languages="c,c++" \
--with-local-prefix=/tmp/gcc47 --with-gmp=/opt/TWWfsw/libgmp51 \
--with-mpc=/opt/TWWfsw/libmpc10 --with-mpfr=/opt/TWWfsw/libmpfr31 \
--prefix=/tmp/gcc47
  ...
  $ PATH=/opt/TWWfsw/gcc44/bin:$PATH LDR_CNTRL=MAXDATA=0x7000 \
SHELL=/opt/fsw/bin/bash CONFIG_SHELL=/opt/fsw/bin/bash gmake

The build failed with the following:
checking for powerpc-ibm-aix5.2.0.0-ranlib... ranlib
checking for powerpc-ibm-aix5.2.0.0-strip... strip
checking whether ln -s works... yes
checking for powerpc-ibm-aix5.2.0.0-gcc...
/opt/build/china/gcc-4.7.4/.obj/./gcc/xgcc
-B/opt/build/china/gcc-4.7.4/.obj/./gcc/
-B/tmp/gcc47/powerpc-ibm-aix5.2.0.0/bin/
-B/tmp/gcc47/powerpc-ibm-aix5.2.0.0/lib/ -isystem
/tmp/gcc47/powerpc-ibm-aix5.2.0.0/include -isystem
/tmp/gcc47/powerpc-ibm-aix5.2.0.0/sys-include  -maix64
checking for suffix of object files... configure: error: in
`/opt/build/china/gcc-4.7.4/.obj/powerpc-ibm-aix5.2.0.0/ppc64/libgcc':
configure: error: cannot compute suffix of object files: cannot compile
See `config.log' for more details.
gmake[2]: *** [configure-stage1-target-libgcc] Error 1
gmake[2]: Leaving directory `/opt/build/china/gcc-4.7.4/.obj'
gmake[1]: *** [stage1-bubble] Error 2
gmake[1]: Leaving directory `/opt/build/china/gcc-4.7.4/.obj'
gmake: *** [all] Error 2

According to
/opt/build/china/gcc-4.7.4/.obj/powerpc-ibm-aix5.2.0.0/ppc64/libgcc/config.log:
configure:3562: checking for suffix of object files
configure:3584: /opt/build/china/gcc-4.7.4/.obj/./gcc/xgcc
-B/opt/build/china/gcc-4.7.4/.obj/./gcc/
-B/tmp/gcc47/powerpc-ibm-aix5.2.0.0/bin/
-B/tmp/gcc47/powerpc-ibm-aix5.2.0.0/lib/ -isystem
/tmp/gcc47/powerpc-ibm-aix5.2.0.0/include -isystem
/tmp/gcc47/powerpc-ibm-aix5.2.0.0/sys-include  -maix64 -c -g -O2  conftest.c
>&5
:0:0: internal compiler error: in altivec_init_builtins, at
config/rs6000/rs6000.c:12322
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.
configure:3588: $? = 1

[Bug ada/34598] Assert_Failure at atree.adb:886

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34598

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #6 from Eric Botcazou  ---
fp-dbs.adb:4069:25: no selector "Get_Datasets_Count" for private type
"Instance" defined at list-simple.ads:23, instance at fp-dbs.ads:1736
fp-dbs.adb:4082:25: no selector "Do_Get_Dataset" for private type "Instance"
defined at list-simple.ads:23, instance at fp-dbs.ads:1736
fp-dbs.adb:4094:25: no selector "Get_Queries_Count" for private type "Instance"
defined at list-simple.ads:23, instance at fp-dbs.ads:1736
fp-dbs.adb:4107:25: no selector "Do_Get_Query" for private type "Instance"
defined at list-simple.ads:23, instance at fp-dbs.ads:1736
fp-dbs.adb:5056:14: no selector "Database" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5057:17: no selector "Database" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5058:17: no selector "Database" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5060:20: no selector "Database" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5061:20: no selector "Database" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5064:17: no selector "Database" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5796:14: no selector "Transaction" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5797:17: no selector "Transaction" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5798:17: no selector "Transaction" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5801:20: no selector "Transaction" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5802:20: no selector "Transaction" for type
"Ada.Finalization.Limited_Controlled'Class"
fp-dbs.adb:5805:17: no selector "Transaction" for type
"Ada.Finalization.Limited_Controlled'Class"

[Bug ada/36678] GNAT from svn uses up infinite amount of memory on twisty generic+tagged testcase

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36678

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.9.0

--- Comment #1 from Eric Botcazou  ---
p-c.adb:1:16: missing body for "C" declared at p-c.ads:7

[Bug fortran/68560] [6 Regression] The test gfortran.dg/shape_8.f90 now fails when compiled with -flto

[mikael at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68560

--- Comment #15 from Mikael Morin  ---
(In reply to Dominique d'Humieres from comment #14)
> > > The statement in fortran/trans-intrinsic.c
> > > 
> > >   gfc_copy_formal_args_intr (sym, expr->value.function.isym,
> > >  ignore_optional ? expr->value.function.actual
> > >  : NULL);
> > > 
> > > looks suspicious: if ignore_optional means what indicated by the name and 
> > > is
> > > true, why passing expr->value.function.actual and NULL otherwise?
> > > 
> > Seeing how the argument is used would tell you the answer. ;-)
> 
> Sorry to be dense, but I don't understand.

Skipping arguments is dependant of whether the actual argument is present, so
it needs the actual argument list.
Admittedly, I understand what is done, not why it's done.

(In reply to Dominique d'Humieres from comment #12)
> > Looks like it's PR68540.
> 
> So it should work now?
> 
I have yet to find the best way to install isl-0.15 without polluting my
distribution with freestanding unmanaged files.
Then I can come back to this bug (or any other).

[Bug ada/38325] Long_Long_Float'Image returns a wrong value in some cases

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38325

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |WAITING
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #3 from Eric Botcazou  ---
Is this still a problem?

[Bug ada/38229] ACATS c954a01

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38229

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |WAITING
 CC||ebotcazou at gcc dot gnu.org

--- Comment #3 from Eric Botcazou  ---
Is this still a problem?

[Bug fortran/68560] [6 Regression] The test gfortran.dg/shape_8.f90 now fails when compiled with -flto

[mikael at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68560

--- Comment #16 from Mikael Morin  ---
(In reply to Mikael Morin from comment #15)
> (In reply to Dominique d'Humieres from comment #12)
> > > Looks like it's PR68540.
> > 
> > So it should work now?
> > 
> I have yet to find the best way to install isl-0.15 without polluting my
> distribution with freestanding unmanaged files.
> Then I can come back to this bug (or any other).

Done, bootstrap broken with 0.15 as well. :-(

[Bug ada/38315] Unclear type error message when inheriting from interface and tagged type

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38315

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
 Resolution|--- |FIXED
   Target Milestone|--- |4.8.0

--- Comment #1 from Eric Botcazou  ---
cannot generate code for file unclear_override.ads (package spec)

[Bug ada/38882] incorrect deferred constant declaration accepted

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38882

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Eric Botcazou  ---
The error is still missing.

[Bug ada/38874] gnatmake doesn't pass through --param options

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=38874

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|normal  |enhancement

[Bug ada/39174] Configury does not respect "--enable-shared --disable-static" directions

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39174

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|normal  |enhancement

[Bug ada/39756] c9a011b Ada ACATS random FAIL or hang

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39756

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |WAITING
 CC||ebotcazou at gcc dot gnu.org

--- Comment #5 from Eric Botcazou  ---
Is this still a problem?

[Bug c/41041] Documentation: -fwide-exec-charset defaults to UCS-4/UCS-2, not UTF-32/UTF-16

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41041

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 CC||ebotcazou at gcc dot gnu.org
  Component|preprocessor|c
 Resolution|--- |DUPLICATE

--- Comment #5 from Eric Botcazou  ---
.

*** This bug has been marked as a duplicate of bug 41040 ***

[Bug ada/39756] c9a011b Ada ACATS random FAIL or hang

[dave.anglin at bell dot net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39756

--- Comment #6 from dave.anglin at bell dot net ---
Yes.

--
John David Anglin   dave.ang...@bell.net