[Bug c/44977] New: ice in propagate_rhs_into_lhs, at tree-ssa-dom.c:2728

[regehr at cs dot utah dot edu]

[reg...@bethe tmp603]$ current-gcc -O2 small.c -c
small.c: In function 'int329':
small.c:31:38: warning: assignment makes integer from pointer without a cast
[enabled by default]
small.c:24:5: internal compiler error: in propagate_rhs_into_lhs, at
tree-ssa-dom.c:2728
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.

[reg...@bethe tmp603]$ cat small.c

static unsigned short
foo (unsigned short ui1, unsigned short ui2)
{
  return ui1 - ui2;
}

static unsigned short
bar (unsigned ui1, unsigned short ui2)
{
  return ui1 + ui2;
}

struct S1
{
  const short f3;
};
int g_31;
short g_67;
struct S1 g_68[2][5][9][1][1] = {
};

int func_90 (int);

int int329 (int * const *const int32p_81, short ** p_82)
{
  short l_169[8];
  for (g_31 = 0; g_31 <= 0; g_31 = foo (g_31, 1))
{
  short l_85;
lbl_89:g_67 ^= l_85;
  for (l_85 = 0; l_85 >= 0; l_85 = bar)
if (g_31)
  goto lbl_89;
  func_90 (1), g_68[0][2][2][0][0].f3, 0;
}
  return l_169[6];
}

[reg...@bethe tmp603]$ current-gcc -v

Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r162241-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.6.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r162241-install
--program-prefix=r162241- --enable-languages=c,c++
Thread model: posix
gcc version 4.6.0 20100716 (experimental) (GCC)


-- 
   Summary: ice in propagate_rhs_into_lhs, at tree-ssa-dom.c:2728
   Product: gcc
   Version: unknown
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: regehr at cs dot utah dot edu
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44977

[Bug rtl-optimization/44973] SH: libjava failed to build with 'flow control insn inside a basic block'

[kkojima at gcc dot gnu dot org]

--- Comment #3 from kkojima at gcc dot gnu dot org  2010-07-18 06:15 ---
(In reply to comment #1)
> Does this fix it?

Yes.  With it, the failure go away and my cross sh-linux
build has just completed successfully.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44973

[Bug tree-optimization/44976] short variables do not get vectorized

[roy dot 1rosen at gmail dot com]

--- Comment #1 from roy dot 1rosen at gmail dot com  2010-07-18 05:22 
---
Created an attachment (id=21240)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21240&action=view)
preprocessed file

For the following code, if ts is short it does not get vectorized.
If ts is unsigned short it does.

#define ts short
ts xx(ts* __restrict__ a)
{
ts i;
ts sum = 0;
for (i = 0; i < 16; i++)
sum += a[i];
return sum;
}

{lnxb2} /home/swproj/sw/users/eyalhar/ia64-46/gcc/ > ./xgcc -v -save-temps  -O3
./a.c -ftree-vectorizer-verbose=2
Using built-in specs.
COLLECT_GCC=./xgcc
Target: ia64-elf-linux
Configured with: ../gcc-4.6-20100710/configure --target=ia64-elf-linux
--enable-languages=c
Thread model: posix
gcc version 4.6.0 20100710 (experimental) (GCC)
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O3' '-ftree-vectorizer-verbose=2'
 cc1 -E -quiet -v -iprefix ./../lib/gcc/ia64-elf-linux/4.6.0/ ./a.c
-ftree-vectorizer-verbose=2 -O3 -fpch-preprocess -o a.i
ignoring nonexistent directory "./../lib/gcc/ia64-elf-linux/4.6.0/include"
ignoring nonexistent directory
"./../lib/gcc/ia64-elf-linux/4.6.0/include-fixed"
ignoring nonexistent directory
"./../lib/gcc/ia64-elf-linux/4.6.0/../../../../ia64-elf-linux/sys-include"
ignoring nonexistent directory
"./../lib/gcc/ia64-elf-linux/4.6.0/../../../../ia64-elf-linux/include"
ignoring nonexistent directory
"./../lib/gcc/../../lib/gcc/ia64-elf-linux/4.6.0/include"
ignoring nonexistent directory
"./../lib/gcc/../../lib/gcc/ia64-elf-linux/4.6.0/include-fixed"
ignoring nonexistent directory
"./../lib/gcc/../../lib/gcc/ia64-elf-linux/4.6.0/../../../../ia64-elf-linux/sys-include"
ignoring nonexistent directory
"./../lib/gcc/../../lib/gcc/ia64-elf-linux/4.6.0/../../../../ia64-elf-linux/include"
#include "..." search starts here:
#include <...> search starts here:
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O3' '-ftree-vectorizer-verbose=2'
 cc1 -fpreprocessed a.i -quiet -dumpbase a.c -auxbase a -O3 -version
-ftree-vectorizer-verbose=2 -o a.s
GNU C (GCC) version 4.6.0 20100710 (experimental) (ia64-elf-linux)
compiled by GNU C version 4.1.2 20080704 (Red Hat 4.1.2-44), GMP
version 4.3.2, MPFR version 2.4.2, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C (GCC) version 4.6.0 20100710 (experimental) (ia64-elf-linux)
compiled by GNU C version 4.1.2 20080704 (Red Hat 4.1.2-44), GMP
version 4.3.2, MPFR version 2.4.2, MPC version 0.8.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 151e5af8467c30bb3072214d4253f912

./a.c:79: note: not vectorized: unsupported use in stmt.
./a.c:75: note: vectorized 0 loops in function.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O3' '-ftree-vectorizer-verbose=2'
 as -x -o a.o a.s
as: unrecognized option `-x'


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44976

[Bug tree-optimization/44976] New: short variables do not get vectorized

[roy dot 1rosen at gmail dot com]

short variables do not get vectorized the same as unsigned short variables


-- 
   Summary: short variables do not get vectorized
   Product: gcc
   Version: 4.6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: roy dot 1rosen at gmail dot com
 GCC build triplet: elf
  GCC host triplet: linux
GCC target triplet: ia64


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44976

[Bug c/44975] Stack trashed by call inside inline asm

[ramiro dot polla at gmail dot com]

--- Comment #2 from ramiro dot polla at gmail dot com  2010-07-18 05:14 
---
Thanks. Is there anything that can be done in the code to say that is not a
leaf function, or at least to tell gcc that a call is being made inside the
inline asm?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44975

[Bug c/44975] Stack trashed by call inside inline asm

[pinskia at gcc dot gnu dot org]

--- Comment #1 from pinskia at gcc dot gnu dot org  2010-07-18 04:40 ---
Well this is called the red zone as GCC assumes anything that does not call a
function is a leaf function.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44975

[Bug c/44975] New: Stack trashed by call inside inline asm

[ramiro dot polla at gmail dot com]

When there are no functions being called by the C code, gcc decides to use
negative offsets in the stack instead of sub'ing rsp. But if there's a call
inside an inline asm, it will trash the "stack" with a return pointer, and that
might lead to random code being run, for example:
$ cat main.c
void __attribute__((noinline)) dummy(void) {}
void __attribute__((noinline)) runtwice(void (**x)(void))
{
void (*f)(void) = x[0];
asm("movq $0x00, -16(%rsp)\n\t");
#ifdef ONE_IN_C
f();
#else
asm("call *%0\n\t"::"m"(f));
#endif
asm("call *%0\n\t"::"m"(f));
}
int main()
{
void (*f[])(void) = { dummy };
runtwice(f);
return 0;
}
$ gcc -O2 -g -o main-noc.o -c main.c
$ gcc -O2 -g -o main-c.o -c main.c -DONE_IN_C
$ gcc -o main-noc main-noc.o
$ gcc -o main-c main-c.o
$ ./main-noc
Segmentation fault
$ ./main-c
$

The disassembly of the runtwice function gives:
0010 : (no C functions being called)
  10:   48 8b 07mov(%rdi),%rax
  13:   48 89 44 24 f8  mov%rax,-0x8(%rsp)
  18:   48 c7 44 24 f0 00 00movq   $0x0,-0x10(%rsp)
  1f:   00 00 
  21:   ff 54 24 f8 callq  *-0x8(%rsp)
  25:   ff 54 24 f8 callq  *-0x8(%rsp)
  29:   c3  retq   
0010 : (one C function being called)
  10:   48 83 ec 18 sub$0x18,%rsp
  14:   48 8b 07mov(%rdi),%rax
  17:   48 89 44 24 08  mov%rax,0x8(%rsp)
  1c:   48 c7 44 24 f0 00 00movq   $0x0,-0x10(%rsp)
  23:   00 00 
  25:   ff d0   callq  *%rax
  27:   ff 54 24 08 callq  *0x8(%rsp)
  2b:   48 83 c4 18 add$0x18,%rsp
  2f:   c3  retq   

I put that asm("movq $0x00, -16(%rsp)\n\t"); there to explicitly clear the next
pointer that would be called, but it could contain anything on a more complex
program.

I did not find in the documentation whether it is possible to hint the inline
asm block that a function is being called inside it.


-- 
   Summary: Stack trashed by call inside inline asm
   Product: gcc
   Version: 4.4.3
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ramiro dot polla at gmail dot com
GCC target triplet: x86_64-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44975

[Bug c/44974] New: Function with attribute noreturn omits a call to another function with noreturn

[John dot Tytgat at aaug dot net]

4.6.0 20100713 r162159 cross, target arm-unknown-eabi, newlib 1.18

Compile:

arm-unknown-eabi-gcc -O1 -S -o bug.s bug.c

With bug.c:

--8<--
extern void foo1 (int status) __attribute__ ((__noreturn__));

extern void _Exit (int status) __attribute__ ((__noreturn__));

extern void foo3 (int status) __attribute__ ((__noreturn__));

void
foo1 (int status)
{

  _Exit (status);
}

void
_Exit (int status)
{
  foo3 (status);
}
--8<--

Results in:

--8<--
.global _Exit
.type   _Exit, %function
_Exit:
@ Function supports interworking.
@ Volatile: function does not return.
@ args = 0, pretend = 0, frame = 0
@ frame_needed = 0, uses_anonymous_args = 0
stmfd   sp!, {r3, lr}
bl  foo3
.size   _Exit, .-_Exit
.align  2
.global foo1
.type   foo1, %function
foo1:
@ Function supports interworking.
@ Volatile: function does not return.
@ args = 0, pretend = 0, frame = 0
@ frame_needed = 0, uses_anonymous_args = 0
@ link register save eliminated.
bx  lr
.size   foo1, .-foo1
--8<--

I.e. foo1() does not call _Exit() while it should.

Changing -O1 into another level makes it work and changing _Exit() into another
function name (but also marked as noreturn) makes it work as well.


-- 
   Summary: Function with attribute noreturn omits a call to another
function with noreturn
   Product: gcc
   Version: 4.6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: John dot Tytgat at aaug dot net
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: arm-unknown-eabi


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44974

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[hjl dot tools at gmail dot com]

--- Comment #13 from hjl dot tools at gmail dot com  2010-07-18 00:32 
---
(In reply to comment #12)
> Created an attachment (id=21239)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21239&action=view) [edit]
> Better patch.
> 
> Here's something that's a little more likely to work.
> 

I still got

Bootstrap comparison failure!
gcc/varasm.o differs
gcc/fortran/simplify.o differs
libiberty/regex.o differs
libiberty/pic/regex.o differs
make[4]: *** [compare] Error 1


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[bernds at gcc dot gnu dot org]

--- Comment #12 from bernds at gcc dot gnu dot org  2010-07-17 23:29 ---
Created an attachment (id=21239)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21239&action=view)
Better patch.

Here's something that's a little more likely to work.


-- 

bernds at gcc dot gnu dot org changed:

   What|Removed |Added

  Attachment #21238|0   |1
is obsolete||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug rtl-optimization/43494] gcc.c-torture/execute/vector-2.c fails with -fpic/-fPIC

[steven at gcc dot gnu dot org]

--- Comment #4 from steven at gcc dot gnu dot org  2010-07-17 23:27 ---
Confirmed with r162278. Scheduling after reload (which is bundling for the ia64
backend) seems to cause this:

$ ./xgcc -B. -O2  vector-2.c -fno-inline -fPIC ; echo Testing ; ./a.out 
Testing
Aborted
$ ./xgcc -B. -O2 -fno-schedule-insns2 vector-2.c -fno-inline -fPIC
-fschedule-insns ; echo Testing ; ./a.out
Testing
$ 

Goes away with selective scheduling:
$ ./xgcc -B. -O2 -fselective-scheduling2  vector-2.c -fno-inline -fPIC ; echo
Testing ; ./a.out
Testing
$ 

Makes this a scheduler bug.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43494

[Bug target/44805] [4.6 Regression] FAIL: gcc.c-torture/execute/builtins/strpcpy-2.c execution, at -O1 and above

[danglin at gcc dot gnu dot org]

--- Comment #4 from danglin at gcc dot gnu dot org  2010-07-17 23:00 ---
Fixed on trunk.


-- 

danglin at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44805

[Bug bootstrap/44335] [4.6 regression] gcc-4.6-20100529 java bootstrap failure on arm-linux-gnueabi

[steven at gcc dot gnu dot org]

--- Comment #6 from steven at gcc dot gnu dot org  2010-07-17 22:57 ---
Not mine anymore.


-- 

steven at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|steven at gcc dot gnu dot   |unassigned at gcc dot gnu
   |org |dot org
 Status|ASSIGNED|NEW


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44335

[Bug middle-end/43631] var-tracking inserts notes with non-NULL BLOCK_FOR_INSN in between basic blocks

[steven at gcc dot gnu dot org]

--- Comment #1 from steven at gcc dot gnu dot org  2010-07-17 22:56 ---
Jakub, please do not forget about this one for stage1 GCC 4.6.


-- 

steven at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2010-07-17 22:56:39
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43631

[Bug target/43729] Mach-O LTO support needed for darwin

[steven at gcc dot gnu dot org]

--- Comment #54 from steven at gcc dot gnu dot org  2010-07-17 22:55 ---
FIXED in r162047.


-- 

steven at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43729

[Bug target/44805] [4.6 Regression] FAIL: gcc.c-torture/execute/builtins/strpcpy-2.c execution, at -O1 and above

[danglin at gcc dot gnu dot org]

--- Comment #3 from danglin at gcc dot gnu dot org  2010-07-17 22:51 ---
Subject: Bug 44805

Author: danglin
Date: Sat Jul 17 22:51:34 2010
New Revision: 162278

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162278
Log:
PR target/44805
* config/pa/pa.h (CONSTANT_ALIGNMENT): Align strings to BITS_PER_WORD
on all targets.


Modified:
trunk/gcc/ChangeLog
trunk/gcc/config/pa/pa.h


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44805

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[bernds at gcc dot gnu dot org]

--- Comment #11 from bernds at gcc dot gnu dot org  2010-07-17 22:36 ---
Created an attachment (id=21238)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21238&action=view)
Potential fix

Yeah, I think it trips over DEBUG_INSNs.  I'm testing this fix, does it help in
any way?


-- 

bernds at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |bernds at gcc dot gnu dot
   |dot org |org
 Status|UNCONFIRMED |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug rtl-optimization/44973] SH: libjava failed to build with 'flow control insn inside a basic block'

[steven at gcc dot gnu dot org]

--- Comment #2 from steven at gcc dot gnu dot org  2010-07-17 22:34 ---
Ideally, the code would look at the CFG instead, like the loop above it, that
uses FOR_EACH_BB_REVERSE. But most of the postreload.c code ignores the CFG,
unfortunately...


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44973

[Bug rtl-optimization/44973] SH: libjava failed to build with 'flow control insn inside a basic block'

[bernds at gcc dot gnu dot org]

--- Comment #1 from bernds at gcc dot gnu dot org  2010-07-17 22:22 ---
Created an attachment (id=21237)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21237&action=view)
Potential fix

Does this fix it?


-- 

bernds at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |bernds at gcc dot gnu dot
   |dot org |org
 Status|UNCONFIRMED |ASSIGNED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44973

[Bug rtl-optimization/44973] New: SH: libjava failed to build with 'flow control insn inside a basic block'

[kkojima at gcc dot gnu dot org]

On sh4-unknown-linux-gnu,

r162270 | bernds | 2010-07-17 08:47:46 +0900 (Sat, 17 Jul 2010) | 26 lines

caused a build failure during compiling libjava:

../trunk/libjava/verify.cc: In member function 'void
_Jv_BytecodeVerifier::merge_into(int, _Jv_BytecodeVerifier::state*)':
../trunk/libjava/verify.cc:1527:3: error: in basic block 200:
../trunk/libjava/verify.cc:1527:3: error: flow control insn inside a basic
block
(insn 1318 1315 1309 200 ../trunk/libjava/verify.cc:686 (set (reg:SI 1 r1
[orig:447 D.22193 ] [447])
(mem/s:SI (plus:SI (reg/v/f:SI 9 r9 [orig:452 from_state ] [452])
(const_int 24 [0x18])) [45 MEM[(const struct type
&)from_state_22(D) + 16].pc+0 S4 A32])) 176 {movsi_ie} (expr_list:REG_EH_REGION
(const_int 3 [0x3])
(nil)))
../trunk/libjava/verify.cc:1527:3: internal compiler error: in
rtl_verify_flow_info_1, at cfgrtl.c:2030
P../trunk/libjava/verify.cc: In member function 'void
_Jv_BytecodeVerifier::merge_into(int, _Jv_BytecodeVerifier::state*)':
../trunk/libjava/verify.cc:1527:3: error: in basic block 200:
../trunk/libjava/verify.cc:1527:3: error: flow control insn inside a basic
block
(insn 1318 1315 1309 200 ../trunk/libjava/verify.cc:686 (set (reg:SI 1 r1
[orig:447 D.22193 ] [447])
(mem/s:SI (plus:SI (reg/v/f:SI 9 r9 [orig:452 from_state ] [452])
(const_int 24 [0x18])) [45 MEM[(const struct type
&)from_state_22(D) + 16].pc+0 S4 A32])) 176 {movsi_ie} (expr_list:REG_EH_REGION
(const_int 3 [0x3])
(nil)))
../trunk/libjava/verify.cc:1527:3: internal compiler error: in
rtl_verify_flow_info_1, at cfgrtl.c:2030


It seems that the patch below restores the build on SH, though
I'm not sure if it's the right thing to do.

diff -up ORIG/trunk/gcc/postreload.c trunk/gcc/postreload.c
--- ORIG/trunk/gcc/postreload.c 2010-07-17 10:31:33.0 +0900
+++ trunk/gcc/postreload.c  2010-07-17 23:07:42.0 +0900
@@ -924,6 +924,9 @@ reload_combine_recognize_const_pattern (
  if (must_move_add && use_ruid < last_jump_ruid)
break;

+ if (find_reg_note (use_insn, REG_EH_REGION, NULL))
+   break;
+
  /* If the add clobbers another hard reg in parallel, don't move
 it past a real set of this hard reg.  */
  if (must_move_add && clobbered_regno >= 0


-- 
   Summary: SH: libjava failed to build with 'flow control insn
inside a basic block'
   Product: gcc
   Version: 4.6.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code
  Severity: normal
  Priority: P3
 Component: rtl-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: kkojima at gcc dot gnu dot org
GCC target triplet: sh4-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44973

[Bug libstdc++/44902] eh_arm.cc:42:23: error: declaration of '__cxxabiv1::__cxa_type_match_result __cxa_type_match(_Unwind_Control_Block*, const std::type_info*, bool, void**)' with C language linkage

[John dot Tytgat at aaug dot net]

--- Comment #5 from John dot Tytgat at aaug dot net  2010-07-17 21:24 
---
Patch attachment 21195 fixes reported problem as well (4.6 cross with target
arm-unknown-eabi).  Thanks.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44902

[Bug c++/44969] [C++0x] std::is_constructible broken for fundamental types.

[paolo dot carlini at oracle dot com]

--- Comment #6 from paolo dot carlini at oracle dot com  2010-07-17 21:09 
---
Great, thanks a lot.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44969

[Bug c++/44969] [C++0x] std::is_constructible broken for fundamental types.

[jason at redhat dot com]

--- Comment #5 from jason at redhat dot com  2010-07-17 20:53 ---
Subject: Re:  [C++0x]  std::is_constructible broken
 for fundamental types.

> irrespective of complain. Jason, should complete_type_or_else be something
> different when tf_none?

Perhaps, but we shouldn't be dealing with template parameters there 
anyway; they should have been substituted away by this point.  I'm 
investigating.

Jason


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44969

[Bug c++/44969] [C++0x] std::is_constructible broken for fundamental types.

[paolo dot carlini at oracle dot com]

-- 

paolo dot carlini at oracle dot com changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2010-07-17 19:14:09
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44969

[Bug c++/44969] [C++0x] std::is_constructible broken for fundamental types.

[paolo dot carlini at oracle dot com]

--- Comment #4 from paolo dot carlini at oracle dot com  2010-07-17 19:14 
---
I attached a draft which fixes the original testcase as a SFINAE issue. Seems
to me rather straightforward and consistent with existing practice in typeck.c,
just passes down complain to build_x_compound_expr_from_list. Regtests fine.

However, the reduced testcase I attached, using enable_if instead of decltype,
is not fixed by it. In that case the error, of the form:

a.cc:19:66: error: invalid use of template type parameter ‘Arg1_’
a.cc:19:66: error: invalid use of template type parameter ‘Arg2_’
a.cc:19:66: error: invalid use of template type parameter ‘Tp1’

come from cxx_incomplete_type_diagnostic, called by complete_type_or_else,
called in turn by build_functional_cast:1609, where it does:

  if (!complete_type_or_else (type, NULL_TREE))
return error_mark_node;

irrespective of complain. Jason, should complete_type_or_else be something
different when tf_none?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44969

[Bug c++/44969] [C++0x] std::is_constructible broken for fundamental types.

[paolo dot carlini at oracle dot com]

--- Comment #3 from paolo dot carlini at oracle dot com  2010-07-17 19:05 
---
Created an attachment (id=21236)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21236&action=view)
Draft patch for the original testcase


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44969

[Bug middle-end/24434] [4.3/4.4/4.5/4.6 Regression] get_varargs_alias_set returns 0 always

[segher at gcc dot gnu dot org]

--- Comment #13 from segher at gcc dot gnu dot org  2010-07-17 19:04 ---
(In reply to comment #12)
> What does the standard say here?  What is the type in effect for aliasing
> when doing
> 
>  int i = va_arg (va, int);
> 
> ?  Is type-punning allowed when unpacking args?

>From C99, 7.15.1.1/2:

[...] if type is not compatible with the type of the actual next argument (as
promoted according to the default argument promotions), the behavior is
undefined, except for the following cases:

— one type is a signed integer type, the other type is the corresponding
unsigned integer type, and the value is representable in both types;

— one type is pointer to void and the other is a pointer to a character type.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24434

[Bug tree-optimization/44972] [4.6 Regression] ICE: in load_assign_lhs_subreplacements, at tree-sra.c:2475

[marc dot glisse at normalesup dot org]

--- Comment #3 from marc dot glisse at normalesup dot org  2010-07-17 18:49 
---
In case it may help, let me mention that other test programs for our library
show:

internal compiler error: in refs_may_alias_p_1, at tree-ssa-alias.c:1023

or:

warning: '#'mem_ref' not supported by dump_expr#' may be used
uninitialized in this function

(the tests are 1 million lines each, so I'll only try to reduce them if fixing
this one doesn't fix all of them)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44972

[Bug tree-optimization/44972] [4.6 Regression] ICE: in load_assign_lhs_subreplacements, at tree-sra.c:2475

[hjl dot tools at gmail dot com]

--- Comment #2 from hjl dot tools at gmail dot com  2010-07-17 18:07 ---
It is caused by revision 161655:

http://gcc.gnu.org/ml/gcc-cvs/2010-07/msg6.html


-- 

hjl dot tools at gmail dot com changed:

   What|Removed |Added

 CC||rguenth at gcc dot gnu dot
   ||org
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2010-07-17 18:07:36
   date||
Summary|ICE: in |[4.6 Regression] ICE: in
   |load_assign_lhs_subreplaceme|load_assign_lhs_subreplaceme
   |nts, at tree-sra.c:2475 |nts, at tree-sra.c:2475
   Target Milestone|--- |4.6.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44972

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[hjl dot tools at gmail dot com]

--- Comment #10 from hjl dot tools at gmail dot com  2010-07-17 17:42 
---
With stage3 gcc, I got

[...@gnu-29 stage3-gcc]$ ./xgcc -B./ -B/usr/local/i686-pc-linux-gnu/bin/
-B/usr/local/i686-pc-linux-gnu/bin/ -B/usr/local/i686-pc-linux-gnu/lib/
-isystem /usr/local/i686-pc-linux-gnu/include -isystem
/usr/local/i686-pc-linux-gnu/sys-include-c   -g -O2 -fomit-frame-pointer
-DIN_GCC   -W -Wall -Wwrite-strings -Wcast-qual -Wstrict-prototypes
-Wmissing-prototypes -Wmissing-format-attribute -pedantic -Wno-long-long
-Wno-variadic-macros -Wno-overlength-strings -Werror -Wold-style-definition
-Wc++-compat -fno-common  -DHAVE_CONFIG_H -I. -I. -I../../src-trunk/gcc
-I../../src-trunk/gcc/. -I../../src-trunk/gcc/../include
-I../../src-trunk/gcc/../libcpp/include  -I../../src-trunk/gcc/../libdecnumber
-I../../src-trunk/gcc/../libdecnumber/bid -I../libdecnumber 
-DCLOOG_PPL_BACKEND  -I/usr/include/libelf  ../../src-trunk/gcc/recog.c -S
-fcompare-debug
xgcc: error: ../../src-trunk/gcc/recog.c: -fcompare-debug failure
[...@gnu-29 stage3-gcc]$ 

Bernd, can you duplicate it?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[hjl dot tools at gmail dot com]

--- Comment #9 from hjl dot tools at gmail dot com  2010-07-17 17:39 ---
The patch uses uid of the insn. Will DEBUG_INSN affect
uid processing?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[hjl dot tools at gmail dot com]

--- Comment #8 from hjl dot tools at gmail dot com  2010-07-17 17:35 ---
The difference in recog.o is in peep2_find_free_register:

@@ -5271,8 +5271,8 @@ Disassembly of section .text:
 4884:  74 5e   je 48e4

 4886:  8d 74 24 30 lea0x30(%esp),%esi
 488a:  8d b6 00 00 00 00   lea0x0(%esi),%esi
-4890:  83 c3 01add$0x1,%ebx
-4893:  8d 43 fblea-0x5(%ebx),%eax
+4890:  8d 43 fclea-0x4(%ebx),%eax
+4893:  83 c3 01add$0x1,%ebx
 4896:  83 fb 05cmp$0x5,%ebx
 4899:  0f 4d d8cmovge %eax,%ebx
 489c:  8b 04 dd 80 57 00 00mov0x5780(,%ebx,8),%eax

It makes no difference in results. But the code sequences are different.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

"Bootstrap comparison failure!"

[Michael Witten]

I wanted to create a bugzilla bug report, but I seem to have forgotten
my password; moreover, it would seem that bugzilla isn't actually sending
out password-change emails.

Here's the build error:

  Comparing stages 2 and 3
  warning: gcc/cc1-checksum.o differs
  warning: gcc/cc1plus-checksum.o differs
  Bootstrap comparison failure!
  gcc/reg-stack.o differs
  gcc/i386.o differs
  gcc/reload.o differs
  gcc/recog.o differs
  gcc/dwarf2out.o differs
  libiberty/hashtab.o differs

Source Information:

  Revision 162274

  No modifications.

Build Environment:

  GNU/Linux 2.6.35-rc5
  Intel(R) Pentium(R) M processor 2.13GHz GenuineIntel (32-bit, i686)
  
  $ gcc -v
  Using built-in specs.
  COLLECT_GCC=gcc
  COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-pc-linux-gnu/4.5.0/lto-wrapper
  Target: i686-pc-linux-gnu
  Configured with: ../configure --prefix=/usr 
--enable-languages=c,c++,fortran,objc,obj-c++,ada --enable-shared 
--enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu 
--enable-gnu-unique-object --enable-lto --enable-plugin --disable-multilib 
--disable-libstdcxx-pch --with-system-zlib --with-ppl --with-cloog 
--libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man 
--infodir=/usr/share/info
  Thread model: posix
  gcc version 4.5.0 20100610 (prerelease) (GCC)

Build Configuration

  Built outside of SVN working directory (in a separate build directory)

  -
  config.log
  -

  This file contains any messages produced by compilers while
  running configure, to aid debugging if configure makes a mistake.
  
  It was created by configure, which was
  generated by GNU Autoconf 2.64.  Invocation command line was
  
$ ../repo/configure --prefix=/usr/local --program-suffix=-svn 
--disable-multilib --enable-threads=posix --enable-maintainer-mode 
--enable-languages=c,c++ --enable-gnu-unique-object --with-lto
  
  ## - ##
  ## Platform. ##
  ## - ##
  
  uname -m = i686
  uname -r = 2.6.35-rc5
  uname -s = Linux
  uname -v = #34 Wed Jul 14 16:02:05 CDT 2010
  
  /usr/bin/uname -p = unknown
  /bin/uname -X = unknown
  
  /bin/arch  = i686
  /usr/bin/arch -k   = unknown
  /usr/convex/getsysinfo = unknown
  /usr/bin/hostinfo  = unknown
  /bin/machine   = unknown
  /usr/bin/oslevel   = unknown
  /bin/universe  = unknown
  
  PATH: /opt/autoconf/2.64/bin
  PATH: /bin
  PATH: /usr/bin
  PATH: /sbin
  PATH: /usr/sbin
  PATH: /opt/NX/bin
  PATH: /usr/bin/perlbin/site
  PATH: /usr/bin/perlbin/vendor
  PATH: /usr/bin/perlbin/core
  
  
  ## --- ##
  ## Core tests. ##
  ## --- ##
  
  configure:2429: checking build system type
  configure:2443: result: i686-pc-linux-gnu
  configure:2490: checking host system type
  configure:2503: result: i686-pc-linux-gnu
  configure:2523: checking target system type
  configure:2536: result: i686-pc-linux-gnu
  configure:2590: checking for a BSD-compatible install
  configure:2658: result: /bin/install -c
  configure:2669: checking whether ln works
  configure:2691: result: yes
  configure:2695: checking whether ln -s works
  configure:2699: result: yes
  configure:2706: checking for a sed that does not truncate output
  configure:2770: result: /bin/sed
  configure:2779: checking for gawk
  configure:2795: found /bin/gawk
  configure:2806: result: gawk
  configure:4060: checking for gcc
  configure:4076: found /usr/bin/gcc
  configure:4087: result: gcc
  configure:4316: checking for C compiler version
  configure:4325: gcc --version >&5
  gcc (GCC) 4.5.0 20100610 (prerelease)
  Copyright (C) 2010 Free Software Foundation, Inc.
  This is free software; see the source for copying conditions.  There is NO
  warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  
  configure:4336: $? = 0
  configure:4325: gcc -v >&5
  Using built-in specs.
  COLLECT_GCC=gcc
  COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-pc-linux-gnu/4.5.0/lto-wrapper
  Target: i686-pc-linux-gnu
  Configured with: ../configure --prefix=/usr 
--enable-languages=c,c++,fortran,objc,obj-c++,ada --enable-shared 
--enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu 
--enable-gnu-unique-object --enable-lto --enable-plugin --disable-multilib 
--disable-libstdcxx-pch --with-system-zlib --with-ppl --with-cloog 
--libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man 
--infodir=/usr/share/info
  Thread model: posix
  gcc version 4.5.0 20100610 (prerelease) (GCC) 
  configure:4336: $? = 0
  configure:4325: gcc -V >&5
  gcc: '-V' option must have argument
  configure:4336: $? = 1
  configure:4325: gcc -qversion >&5
  gcc: unrecognized option '-qversion'
  gcc: no input files
  configure:4336: $? = 1
  configure:4356: checking for C compiler default output file name
  configure:4378: gcc -march=i686 -mtune=pentium-m -O2 -pipe  
-Wl,--hash-style=gnu -Wl,--as-needed conftest.c  >&5
  configure:4382: $? = 0
  configure:4419: result: a.out

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[hjl dot tools at gmail dot com]

--- Comment #7 from hjl dot tools at gmail dot com  2010-07-17 16:56 ---
It also miscompiled 450.soplex in SPEC CPU 2006 on
Linux/i386 with

-m32 -O3 -msse2 -mfpmath=sse -ffast-math -funroll-loops


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[bernds at gcc dot gnu dot org]

--- Comment #6 from bernds at gcc dot gnu dot org  2010-07-17 16:41 ---
(In reply to comment #5)
> > x86_64 failures are expected due to a backend bug, see the patch I sent 
> > today.
> 
> With the patch in http://gcc.gnu.org/ml/gcc-patches/2010-07/txt00119.txt
> bootstrap fails at stage 1 with:

Hmm, doesn't happen here, but doesn't surprise me terribly either.  As I said,
I'll let the x86 maintainers fix this pattern.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[dominiq at lps dot ens dot fr]

--- Comment #5 from dominiq at lps dot ens dot fr  2010-07-17 16:15 ---
> x86_64 failures are expected due to a backend bug, see the patch I sent today.

With the patch in http://gcc.gnu.org/ml/gcc-patches/2010-07/txt00119.txt
bootstrap fails at stage 1 with:


/bin/sh ./libtool --tag=CC   --mode=compile /opt/gcc/build_w/./gcc/xgcc
-B/opt/gcc/build_w/./gcc/ -B/opt/gcc/gcc4.6w/x86_64-apple-darwin10.4.0/bin/
-B/opt/gcc/gcc4.6w/x86_64-apple-darwin10.4.0/lib/ -isystem
/opt/gcc/gcc4.6w/x86_64-apple-darwin10.4.0/include -isystem
/opt/gcc/gcc4.6w/x86_64-apple-darwin10.4.0/sys-include-DHAVE_CONFIG_H -I.
-I../../../work/libgomp  -I../../../work/libgomp/config/bsd
-I../../../work/libgomp/config/posix -I../../../work/libgomp  -Wall -Werror
-Wc,-pthread -g -O2 -MT error.lo -MD -MP -MF .deps/error.Tpo -c -o error.lo
../../../work/libgomp/error.c
libtool: compile:  /opt/gcc/build_w/./gcc/xgcc -B/opt/gcc/build_w/./gcc/
-B/opt/gcc/gcc4.6w/x86_64-apple-darwin10.4.0/bin/
-B/opt/gcc/gcc4.6w/x86_64-apple-darwin10.4.0/lib/ -isystem
/opt/gcc/gcc4.6w/x86_64-apple-darwin10.4.0/include -isystem
/opt/gcc/gcc4.6w/x86_64-apple-darwin10.4.0/sys-include -DHAVE_CONFIG_H -I.
-I../../../work/libgomp -I../../../work/libgomp/config/bsd
-I../../../work/libgomp/config/posix -I../../../work/libgomp -Wall -pthread
-Werror -g -O2 -MT error.lo -MD -MP -MF .deps/error.Tpo -c
../../../work/libgomp/error.c  -fno-common -DPIC -o .libs/error.o
../../../work/libgomp/error.c: In function 'gomp_error':
../../../work/libgomp/error.c:54:1: error: unrecognizable insn:
(insn 32 31 11 2 ../../../work/libgomp/error.c:48 (parallel [
(set (mem/c:BLK (plus:DI (reg/f:DI 6 bp)
(const_int -128 [0xff80])) [0 A64])
(unspec:BLK [
(reg:DI 21 xmm0)
(reg:DI 22 xmm1)
(reg:DI 23 xmm2)
(reg:DI 24 xmm3)
(reg:DI 25 xmm4)
(reg:DI 26 xmm5)
(reg:DI 27 xmm6)
(reg:DI 28 xmm7)
] UNSPEC_SSE_PROLOGUE_SAVE_LOW))
(use (reg:DI 0 ax [58]))
(use (const_int 0 [0]))
(use (label_ref:DI 0))
(use (const_int 4 [0x4]))
]) -1 (nil))
../../../work/libgomp/error.c:54:1: internal compiler error: in extract_insn,
at recog.c:2127


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[hjl dot tools at gmail dot com]

--- Comment #4 from hjl dot tools at gmail dot com  2010-07-17 16:12 ---
(In reply to comment #0)
> On Linux/ia32, revision 162270:
> 
> http://gcc.gnu.org/ml/gcc-cvs/2010-07/msg00624.html
> 
> caused:
> 
> make[6]: Leaving directory `/export/gnu/import/svn/gcc-test/bld'
> Comparing stages 2 and 3
> warning: gcc/cc1obj-checksum.o differs
> warning: gcc/cc1plus-checksum.o differs
> warning: gcc/cc1-checksum.o differs
> Bootstrap comparison failure!
> gcc/dwarf2out.o differs
> gcc/i386.o differs
> gcc/java/expr.o differs
> gcc/reload.o differs
> gcc/reg-stack.o differs
> gcc/recog.o differs
> libiberty/hashtab.o differs
> make[5]: *** [compare] Error 1

The full configure option on Fedora 12/ia32 is

 ../src-trunk/configure \
 --enable-clocale=gnu --with-system-zlib --enable-shared
--with-demangler-in-ld -with-plugin-ld=ld.gold --enable-gold --with-fpmath=sse


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[bernds at gcc dot gnu dot org]

--- Comment #3 from bernds at gcc dot gnu dot org  2010-07-17 15:53 ---
x86_64 failures are expected due to a backend bug, see the patch I sent today.

HJ, any chance you could run make check on the stage1 compiler on ia64 to find
a testcase?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug fortran/44868] [OOP] Error recovery: ICE after invalid TBP call

[bdsatish at gmail dot com]

--- Comment #4 from bdsatish at gmail dot com  2010-07-17 15:51 ---
Yes Janus, Dominique. The diagnosis is correct. The error messages are valid. I
think this PR can be closed.

(In reply to comment #3)
> At revision 162276, I get
> 
> 
> pr44868.f90:245.24:
> 
> tst_case => self%list(i)
> 1
> Error: Pointer assignment target is neither TARGET nor POINTER at (1)
> pr44868.f90:231.24:
> 
> tst_case => self%list(i)
> 1
> Error: Pointer assignment target is neither TARGET nor POINTER at (1)
> pr44868.f90:220.20:
> 
> tst_case => self%list(self%cnt)
> 1
> Error: Pointer assignment target is neither TARGET nor POINTER at (1)
> pr44868.f90:296.11:
> 
> use fortest
>1
> Fatal Error: Can't open module file 'fortest.mod' for reading at (1): No such
> file or directory
> 


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44868

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[dominiq at lps dot ens dot fr]

--- Comment #2 from dominiq at lps dot ens dot fr  2010-07-17 15:49 ---
On x86_64-apple-darwin10.4 bootstrap fails with

/bin/sh: line 1: 55341 Illegal instruction build/genattrtab
../../work/gcc/config/i386/


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug fortran/44868] [OOP] Error recovery: ICE after invalid TBP call

[dominiq at lps dot ens dot fr]

--- Comment #3 from dominiq at lps dot ens dot fr  2010-07-17 15:47 ---
At revision 162276, I get


pr44868.f90:245.24:

tst_case => self%list(i)
1
Error: Pointer assignment target is neither TARGET nor POINTER at (1)
pr44868.f90:231.24:

tst_case => self%list(i)
1
Error: Pointer assignment target is neither TARGET nor POINTER at (1)
pr44868.f90:220.20:

tst_case => self%list(self%cnt)
1
Error: Pointer assignment target is neither TARGET nor POINTER at (1)
pr44868.f90:296.11:

use fortest
   1
Fatal Error: Can't open module file 'fortest.mod' for reading at (1): No such
file or directory


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44868

[Bug fortran/44868] [OOP] Error recovery: ICE after invalid TBP call

[janus at gcc dot gnu dot org]

--- Comment #2 from janus at gcc dot gnu dot org  2010-07-17 15:35 ---
At r162275, I'm neither seeing the ICE nor any valgrind errors. Can anyone
confirm this?

[My guess is that it has been fixed by the recent cleanup of generics, i.e.
r162125.]


-- 

janus at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||bdsatish at gmail dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44868

[Bug bootstrap/44970] [4.6 regression] Revision 162270 failed to bootstrap

[hjl dot tools at gmail dot com]

--- Comment #1 from hjl dot tools at gmail dot com  2010-07-17 15:28 ---
On Linux/ia64, I got

Bootstrap comparison failure!
gcc/fortran/trans-openmp.o differs
gcc/dwarf2out.o differs
make[5]: *** [compare] Error 1


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44970

[Bug testsuite/44418] FAIL: gcc.target/powerpc/recip-[123].c on powerpc-apple-darwin9

[iains at gcc dot gnu dot org]

--- Comment #5 from iains at gcc dot gnu dot org  2010-07-17 14:51 ---
Subject: Bug 44418

Author: iains
Date: Sat Jul 17 14:51:20 2010
New Revision: 162277

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162277
Log:

PR testsuite/44418
* gcc.target/powerpc/recip-1.c: Do not run for powerpc*-apple-darwin*
* gcc.target/powerpc/recip-2.c: Ditto.
* gcc.target/powerpc/recip-3.c: Ditto.


Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.target/powerpc/recip-1.c
trunk/gcc/testsuite/gcc.target/powerpc/recip-2.c
trunk/gcc/testsuite/gcc.target/powerpc/recip-3.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44418

[Bug tree-optimization/44972] ICE: in load_assign_lhs_subreplacements, at tree-sra.c:2475

[marc dot glisse at normalesup dot org]

--- Comment #1 from marc dot glisse at normalesup dot org  2010-07-17 13:48 
---
Created an attachment (id=21235)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21235&action=view)
testcase


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44972

[Bug tree-optimization/44972] New: ICE: in load_assign_lhs_subreplacements, at tree-sra.c:2475

[marc dot glisse at normalesup dot org]

(the choice of component is random)

When I compile this code (I am going to attach it immediatly) with g++ -O1 -c
test_api.cpp, I get:

test_api.cpp: In function ‘boost::optional
construct_normal_offset_lines_isecC2()’:
test_api.cpp:129:15: internal compiler error: in
load_assign_lhs_subreplacements, at tree-sra.c:2475

Without -O1 the compiler is happy. g++-4.4 is happy as well.


-- 
   Summary: ICE: in load_assign_lhs_subreplacements, at tree-
sra.c:2475
   Product: gcc
   Version: 4.6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: marc dot glisse at normalesup dot org
  GCC host triplet: x86_64-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44972

[Bug debug/44971] -fcompare-debug failure with uninitialized read in walk_gimple_stmt

[hjl dot tools at gmail dot com]

-- 

hjl dot tools at gmail dot com changed:

   What|Removed |Added

   Target Milestone|--- |4.6.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44971

[Bug debug/44971] -fcompare-debug failure with uninitialized read in walk_gimple_stmt

[hjl dot tools at gmail dot com]

--- Comment #2 from hjl dot tools at gmail dot com  2010-07-17 13:37 ---
It is caused by revision 161655:

http://gcc.gnu.org/ml/gcc-cvs/2010-07/msg6.html


-- 

hjl dot tools at gmail dot com changed:

   What|Removed |Added

 CC||rguenth at gcc dot gnu dot
   ||org
 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2010-07-17 13:37:31
   date||


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44971

[Bug debug/44971] -fcompare-debug failure with uninitialized read in walk_gimple_stmt

[zsojka at seznam dot cz]

--- Comment #1 from zsojka at seznam dot cz  2010-07-17 11:46 ---
Created an attachment (id=21234)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21234&action=view)
reduced testcase (from libXft sources)

The original testcase didn't have any implicit conversions from/to/between
pointers.

Command line:
$ gcc -O2 -fcompare-debug pr44971.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44971

[Bug debug/44971] New: -fcompare-debug failure with uninitialized read in walk_gimple_stmt

[zsojka at seznam dot cz]

Command line:
$ gcc -O2 -fcompare-debug testcase.c

Valgrind output:
$ valgrind -q --trace-children=yes
/mnt/svn/gcc-trunk/binary-16-lto-fortran-checking-yes-rtl-df/bin/gcc -O2
-fcompare-debug testcase.c
testcase.c: In function '_XftCloseint':
testcase.c:21:3: warning: passing argument 1 of '_XftintInfoGet' makes pointer
from integer without a cast [enabled by default]
testcase.c:12:6: note: expected 'int *' but argument is of type 'int'
testcase.c:22:13: warning: assignment from incompatible pointer type [enabled
by default]
testcase.c:22:48: warning: assignment from incompatible pointer type [enabled
by default]
==3128== Conditional jump or move depends on uninitialised value(s)
==3128==at 0x70BFBB: walk_gimple_stmt (gimple.c:1627)
==3128==by 0x955003: dump_enumerated_decls (tree-ssa-live.c:1264)
==3128==by 0x8F7B98: execute_cleanup_cfg_post_optimizing
(tree-optimize.c:212)
==3128==by 0x7B777D: execute_one_pass (passes.c:1563)
==3128==by 0x7B7A14: execute_pass_list (passes.c:1618)
==3128==by 0x8F8525: tree_rest_of_compilation (tree-optimize.c:450)
==3128==by 0xAADBF5: cgraph_expand_function (cgraphunit.c:1629)
==3128==by 0xAB0A29: cgraph_optimize (cgraphunit.c:1708)
==3128==by 0xAB101A: cgraph_finalize_compilation_unit (cgraphunit.c:1171)
==3128==by 0x4DE632: c_write_global_declarations (c-decl.c:9698)
==3128==by 0x8A41E5: toplev_main (toplev.c:990)
==3128==by 0x6589BBC: (below main) (in /lib64/libc-2.11.2.so)
==3128== 
gcc: error: testcase.c: -fcompare-debug failure (length)

Tested revisions:
r16 - fail
r162056 - fail
r161659 - ICEs
r161170 - OK


-- 
   Summary: -fcompare-debug failure with uninitialized read in
walk_gimple_stmt
   Product: gcc
   Version: 4.6.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: debug
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44971

[Bug testsuite/44418] FAIL: gcc.target/powerpc/recip-[123].c on powerpc-apple-darwin9

[iains at gcc dot gnu dot org]

--- Comment #4 from iains at gcc dot gnu dot org  2010-07-17 11:16 ---
http://gcc.gnu.org/ml/gcc-patches/2010-07/msg01407.html


-- 

iains at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||iains at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44418

[Bug fortran/44065] [OOP] Undefined reference to vtab$...

[janus at gcc dot gnu dot org]

--- Comment #4 from janus at gcc dot gnu dot org  2010-07-17 08:49 ---
Another failing example was reported by Andrew Benson in

http://gcc.gnu.org/ml/fortran/2010-07/msg00222.html


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44065

[Bug other/44658] ARM/NEON VSHLL instruction/intrinsic must allow shifts by 0

[rearnsha at gcc dot gnu dot org]

--- Comment #4 from rearnsha at gcc dot gnu dot org  2010-07-17 08:36 
---
Not a bug.

The ARM ARM says that the shift must be in the range 1

If you want a vmovl instruction, then write one.


-- 

rearnsha at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44658

[Bug target/44862] bootstrap with --enable-build-with-cxx and --with-libiconv-prefix fails

[iains at gcc dot gnu dot org]

--- Comment #7 from iains at gcc dot gnu dot org  2010-07-17 08:22 ---
Subject: Bug 44862

Author: iains
Date: Sat Jul 17 08:22:09 2010
New Revision: 162275

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=162275
Log:

2010-07-17  Jack Howarth  

PR target/44862
* Makefile.tpl (POSTSTAGE1_CXX_EXPORT):
Provide -B option to allow for link spec %s substitutions for
libstdc++.a on darwin.
* Makefile.in: Regenerate.


Modified:
trunk/ChangeLog
trunk/Makefile.in
trunk/Makefile.tpl


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44862

[Bug testsuite/42843] --enable-build-with-cxx plugin tests fail

[iains at gcc dot gnu dot org]

--- Comment #22 from iains at gcc dot gnu dot org  2010-07-17 07:20 ---
(In reply to comment #16)
> Created an attachment (id=21188)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21188&action=view) [edit]
> proposed patch
> 
> This patch should restore the use of the previous stage compiler for plugins.

This is working fine in respect of putting the bootstrap compiler in and, 
when --enable-build-with-cxx is given, the g++ plugins work on powerpc-darwin9.

When --enable-build-with-cxx is not given, several of them fail
(attribute_plugin-test-1, pragma_plugin-test-1, dumb-plugin-test-1).
This is because the compiler is ${objdir}/xgcc and the plugin names end ".c"
therefore they are built as standard "c".

If it is intended that plugins for g++ should be build-able as straight 'c',
then there is an issue the plugin examples.

otherwise, we need to arrange the the plugins get built by g++ when they are
intended to be used within it.
(this is not as simple as changing their filenames to end .C, since the
includes are defined in lib/plugin-support.exp and they don't include any
consideration of the possibility that c++ headers might be needed).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42843