[Bug c++/51773] New: error building libitm/aatree.cc on ARM

[vries at gcc dot gnu.org]

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

 Bug #: 51773
   Summary: error building libitm/aatree.cc on ARM
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: vr...@gcc.gnu.org


build log:
...
libtool: compile: 
/home/vries/local/glibc-arm/base/obj/gcc-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/./gcc/g++
-B/home/vries/local/glibc-arm/base/obj/gcc-mainline-0-arm-none-linux-gnueabi-i686-pc\
-linux-gnu/./gcc/ -nostdinc++ -nostdinc++
-I/home/vries/local/glibc-arm/base/obj/gcc-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/arm-none-linux-gnueabi/libstdc++-v3/include/arm-none-linux-gnueabi
-I\
/home/vries/local/glibc-arm/base/obj/gcc-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/arm-none-linux-gnueabi/libstdc++-v3/include
-I/home/vries/local/glibc-arm/base/src/gcc-mainline/libstdc++-v3/libs\
upc++
-I/home/vries/local/glibc-arm/base/src/gcc-mainline/libstdc++-v3/include/backward
-I/home/vries/local/glibc-arm/base/src/gcc-mainline/libstdc++-v3/testsuite/util
-L/home/vries/local/glibc-arm/base/obj\
/gcc-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/arm-none-linux-gnueabi/libstdc++-v3/src
-L/home/vries/local/glibc-arm/base/obj/gcc-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/arm-none-linux\
-gnueabi/libstdc++-v3/src/.libs
-B/home/vries/local/glibc-arm/base/install/arm-none-linux-gnueabi/bin/
-B/home/vries/local/glibc-arm/base/install/arm-none-linux-gnueabi/lib/ -isystem
/home/vries/local/glibc\
-arm/base/install/arm-none-linux-gnueabi/include -isystem
/home/vries/local/glibc-arm/base/install/arm-none-linux-gnueabi/sys-include
--sysroot=/home/vries/local/glibc-arm/base/install/arm-none-linux-gnueab\
i/libc -DHAVE_CONFIG_H -I.
-I/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm
-I/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm/config/linux/arm
-I/home/vries/local/glibc-arm/base/src/gcc-m\
ainline/libitm/config/linux
-I/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm/config/arm
-I/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm/config/posix
-I/home/vries/local/glibc-arm/base/s\
rc/gcc-mainline/libitm/config/generic
-I/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm
--sysroot=/home/vries/local/glibc-arm/base/install/arm-none-linux-gnueabi/libc
-ftls-model=initial-exec -Wall\
 -pthread -Werror -std=gnu++0x -funwind-tables -fno-exceptions -fno-rtti
-fabi-version=4 -g -O2 -D_GNU_SOURCE -MT aatree.lo -MD -MP -MF .deps/aatree.Tpo
-c /home/vries/local/glibc-arm/base/src/gcc-mainline/\
libitm/aatree.cc  -fPIC -DPIC -o .libs/aatree.oIn file included from
/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm/libitm_i.h:39:0,
 from
/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm/aatree.cc:28:
/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm/local_type_traits:885:21:
error: expected identifier before 'sizeof'
/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm/local_type_traits:885:21:
error: expected ',' or '...' before 'sizeof'
/home/vries/local/glibc-arm/base/src/gcc-mainline/libitm/local_type_traits:886:52:
error: ISO C++ forbids declaration of '_Static_assert' with no type
[-fpermissive]
make[4]: *** [aatree.lo] Error 1
...

local_type_traits:
...
   881  template
   882struct __is_nary_constructible
   883: public __is_nary_constructible_impl<_Tp, _Args...>::type
   884{
   885  static_assert(sizeof...(_Args) > 1,
   886"Only useful for > 1 arguments");
   887};
   888
...

revision: 182946

configure line:
...
/home/vries/local/glibc-arm/base/src/gcc-mainline/configure
--build=i686-pc-linux-gnu --host=i686-pc-linux-gnu
--target=arm-none-linux-gnueabi --enable-threads --disable-libmudflap
--disable-libssp --disable-libstdcxx-pch --with-gnu-as --with-gnu-ld
--enable-languages=c,c++,fortran --enable-shared --enable-lto
--enable-symvers=gnu --enable-__cxa_atexit --disable-nls
--prefix=/opt/codesourcery
--with-sysroot=/opt/codesourcery/arm-none-linux-gnueabi/libc
--with-build-sysroot=/home/vries/local/glibc-arm/base/install/arm-none-linux-gnueabi/libc
--with-gmp=/home/vries/local/glibc-arm/base/obj/host-libs-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr
--with-mpfr=/home/vries/local/glibc-arm/base/obj/host-libs-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr
--with-mpc=/home/vries/local/glibc-arm/base/obj/host-libs-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr
--with-ppl=/home/vries/local/glibc-arm/base/obj/host-libs-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr
--with-host-libstdcxx='-static-libgcc -Wl,-Bstatic,-lstdc++,-Bdynamic -lm'
--with-cloog=/home/vries/local/glibc-arm/base/obj/host-libs-mainline-0-arm-none-linux-gnueabi-i686-pc-linux-gnu/usr
--with-libelf=/home/vries/local/gl

[Bug target/37651] __sync_bool_compare_and_swap creates wrong code with -fPIC

[aph at gcc dot gnu.org]

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

Andrew Haley  changed:

   What|Removed |Added

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

--- Comment #3 from Andrew Haley  2012-01-06 10:17:52 
UTC ---
Reproducible with with 4.2.4 but not with 4.4.6 or 4.6.2 or HEAD.

[Bug fortran/43366] [OOP][F2008] Intrinsic assign to polymorphic variable

[burnus at gcc dot gnu.org]

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

--- Comment #14 from Tobias Burnus  2012-01-06 
10:24:24 UTC ---
As litmus test: BT_CLASS version of PR 50981: Passing an
unallocated/unassociated [or absent + nonpointer/nonallocatable] BT_CLASS
variable or a unallocated/unassociated BT_CLASS component to an
nonpointer/nonallocatable argument of an ELEMENTAL procedure.

[Bug rtl-optimization/51774] New: [4.7 Regression] FAIL: gcc.dg/lto/trans-mem-* c_lto_trans-mem-1_0.o-c_lto_trans-mem-1_1.o link, -flto -fgnu-tm

[dominiq at lps dot ens.fr]

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

 Bug #: 51774
   Summary: [4.7 Regression] FAIL: gcc.dg/lto/trans-mem-*
c_lto_trans-mem-1_0.o-c_lto_trans-mem-1_1.o link,
-flto -fgnu-tm
Classification: Unclassified
   Product: gcc
   Version: 4.4.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: rtl-optimization
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: domi...@lps.ens.fr
CC: torv...@gcc.gnu.org


Between revisions 182934 and 182937 the tests gcc.dg/lto/trans-mem-* have
started to fail (see http://gcc.gnu.org/ml/gcc-regression/2012-01/msg00117.html
). The failures are

Executing on host: /opt/gcc/build_w/gcc/xgcc -B/opt/gcc/build_w/gcc/
c_lto_trans-mem-1_0.o c_lto_trans-mem-1_1.o   -flto -fgnu-tm   -m32 -o
gcc-dg-lto-trans-mem-1-01.exe(timeout = 300)
:0:0: warning: 'returns_twice' attribute directive ignored
[-Wattributes]
:0:0: warning: 'returns_twice' attribute directive ignored
[-Wattributes]
output is:
:0:0: warning: 'returns_twice' attribute directive ignored
[-Wattributes]
:0:0: warning: 'returns_twice' attribute directive ignored
[-Wattributes]

FAIL: gcc.dg/lto/trans-mem-1 c_lto_trans-mem-1_0.o-c_lto_trans-mem-1_1.o link,
-flto -fgnu-tm
UNRESOLVED: gcc.dg/lto/trans-mem-1 c_lto_trans-mem-1_0.o-c_lto_trans-mem-1_1.o
execute -flto -fgnu-tm

[Bug c++/51773] error building libitm/aatree.cc on ARM

[redi at gcc dot gnu.org]

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

--- Comment #1 from Jonathan Wakely  2012-01-06 
10:50:24 UTC ---
(In reply to comment #0)
> /home/vries/local/glibc-arm/base/src/gcc-mainline/libitm/local_type_traits:886:52:
> error: ISO C++ forbids declaration of '_Static_assert' with no type

Looks a though someone has done a 

#define static_assert _Static-assert

Another glibc C11 change that breaks C++?

[Bug c++/51773] error building libitm/aatree.cc on ARM

[vries at gcc dot gnu.org]

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

--- Comment #2 from vries at gcc dot gnu.org 2012-01-06 10:51:51 UTC ---
Looks related to:

+   [BZ #13529]
+   * assert/assert.h (static_assert): Define.
+

diff --git a/assert/assert.h b/assert/assert.h
index 841f435..4022e28 100644
--- a/assert/assert.h
+++ b/assert/assert.h
@@ -113,3 +113,10 @@ __END_DECLS
 # endif

 #endif /* NDEBUG.  */
+
+
+#ifdef __USE_ISOC11
+/* Static assertion.  Requires support in the compiler.  */
+# undef static_assert
+# define static_assert _Static_assert
+#endif

[Bug c++/51773] error building libitm/aatree.cc on ARM

[redi at gcc dot gnu.org]

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

--- Comment #3 from Jonathan Wakely  2012-01-06 
10:56:31 UTC ---
http://sourceware.org/bugzilla/show_bug.cgi?id=13529

should be reproducible with:

#include 
static_assert( true, "valid C++" );


this could be fixed in libstdc++ by providing a fixed assert.h with #undef
static_assert, but glibc shouldn't be defining the macro for __cplusplus in the
first place

does glibc also define macros for alignof, true, false, bool etc. in C++ mode?

[Bug gcov-profile/50127] [4.7 regression] g++.dg/tree-prof/partition2.C FAILs on several targets

[jakub at gcc dot gnu.org]

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

--- Comment #7 from Jakub Jelinek  2012-01-06 
10:57:15 UTC ---
Ok, I can reproduce this now.
Compared to 64-bit cc1 the difference starts during the bbpart pass,
particularly when partition_hot_cold_basic_blocks invokes df in if
(cfun->eh->lp_array).
Something in the df rescanning or so goes wrong and finally the DF fast DCE
removes setters of two pseudos (114 and 116) that are actually needed.
Note the pseudos are set in a hot bb and used in a cold successor bb (there is
a direct EDGE_CROSSING edge in between the two).

[Bug c++/51773] error building libitm/aatree.cc on ARM

[redi at gcc dot gnu.org]

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

--- Comment #4 from Jonathan Wakely  2012-01-06 
11:06:50 UTC ---
this should be reported to glibc, like
http://sourceware.org/bugzilla/show_bug.cgi?id=13566

[Bug fortran/50981] [4.4/4.5/4.6 Regression] Wrong-code for scalarizing ELEMENTAL call with absent OPTIONAL argument

[burnus at gcc dot gnu.org]

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

--- Comment #12 from Tobias Burnus  2012-01-06 
11:06:59 UTC ---
Draft patch. (It uses gfc_expr_attr to allow for pointer/allocatable
components. I also tried to take BT_CLASS into account.)

(This patch is a side effect of unsuccessful debugging of the related PR
51758.)

--- trans-array.c   (revision 182944)
+++ trans-array.c   (working copy)
@@ -8362,9 +8384,17 @@ gfc_walk_elemental_function_args (gfc_ss * ss, gfc

   if (dummy_arg != NULL
   && dummy_arg->sym->attr.optional
-  && arg->expr->symtree
-  && arg->expr->symtree->n.sym->attr.optional
-  && arg->expr->ref == NULL)
+  && arg->expr->expr_type == EXPR_VARIABLE
+  && ((arg->expr->symtree->n.sym->attr.optional
+   && arg->expr->ref == NULL)
+  || ((gfc_expr_attr (arg->expr).allocatable
+   || gfc_expr_attr (arg->expr).pointer)
+  && ((dummy_arg->sym->ts.type != BT_CLASS
+   && !dummy_arg->sym->attr.allocatable
+   && !dummy_arg->sym->attr.pointer)
+ || (dummy_arg->sym->ts.type == BT_CLASS
+ && !CLASS_DATA (dummy_arg->sym)->attr.allocatable
+ && !CLASS_DATA (dummy_arg->sym)->attr.pointer)
 newss->info->data.scalar.can_be_null_ref = true;
 }
   else

[Bug fortran/51758] ICE with optional arguments of elemental procedures

[burnus at gcc dot gnu.org]

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

--- Comment #3 from Tobias Burnus  2012-01-06 
11:29:32 UTC ---
The assert
  rse.ss == gfc_ss_terminator
is not fulfilled in gfc_trans_assignment_1.

If one manually sets "rse.see = gfc_ss_terminator" in the debugger, the
original dump looks fine.

Thus, it looks like some issue with the scalarizer handling.

[Bug tree-optimization/51694] [4.7 Regression] ICE while compiling alliance package

[hubicka at gcc dot gnu.org]

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

Jan Hubicka  changed:

   What|Removed |Added

 CC||hubicka at gcc dot gnu.org
 AssignedTo|unassigned at gcc dot   |hubicka at gcc dot gnu.org
   |gnu.org |

--- Comment #2 from Jan Hubicka  2012-01-06 
11:46:55 UTC ---
This is the usual argument count mismatch. Foo is called only with one
argument, but we don't do bound check when handling indirect call logic.
The patch also disable logic in ipa-inline propagatic across uninlinable calls.
We can not do that correctly + we will never inline the call anyway.

I am testing the attached patch.

Honza

Index: ipa-cp.c
===
*** ipa-cp.c(revision 182949)
--- ipa-cp.c(working copy)
*** ipa_get_indirect_edge_target (struct cgr
*** 1112,1118 

if (!ie->indirect_info->polymorphic)
  {
!   tree t = VEC_index (tree, known_vals, param_index);
if (t &&
  TREE_CODE (t) == ADDR_EXPR
  && TREE_CODE (TREE_OPERAND (t, 0)) == FUNCTION_DECL)
--- 1112,1119 

if (!ie->indirect_info->polymorphic)
  {
!   tree t = (VEC_length (tree, known_vals) > param_index
!   ? VEC_index (tree, known_vals, param_index) : NULL);
if (t &&
  TREE_CODE (t) == ADDR_EXPR
  && TREE_CODE (TREE_OPERAND (t, 0)) == FUNCTION_DECL)
*** ipa_get_indirect_edge_target (struct cgr
*** 1126,1132 
otr_type = ie->indirect_info->otr_type;

t = VEC_index (tree, known_vals, param_index);
!   if (!t && known_binfos)
  t = VEC_index (tree, known_binfos, param_index);
if (!t)
  return NULL_TREE;
--- 1127,1133 
otr_type = ie->indirect_info->otr_type;

t = VEC_index (tree, known_vals, param_index);
!   if (!t && known_binfos && VEC_length (tree, known_binfos) > param_index)
  t = VEC_index (tree, known_binfos, param_index);
if (!t)
  return NULL_TREE;

Index: ipa-inline-analysis.c
===
*** ipa-inline-analysis.c   (revision 182949)
--- ipa-inline-analysis.c   (working copy)
*** evaluate_properties_for_edge (struct cgr
*** 728,733 
--- 728,734 
  *known_binfos_ptr = NULL;

if (ipa_node_params_vector
+   && !e->call_stmt_cannot_inline_p
&& ((clause_ptr && info->conds) || known_vals_ptr || known_binfos_ptr))
  {
struct ipa_node_params *parms_info;

[Bug c++/51773] error building libitm/aatree.cc on ARM

[joseph at codesourcery dot com]

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

--- Comment #5 from joseph at codesourcery dot com  2012-01-06 11:47:15 UTC ---
On Fri, 6 Jan 2012, redi at gcc dot gnu.org wrote:

> does glibc also define macros for alignof, true, false, bool etc. in C++ mode?

Those C11 macros are defined in headers required to be provided by 
freestanding implementations, so provided by GCC, not glibc - but it was 
felt suitable to use assert.h for static_assert rather than creating a new 
stdstatic_assert.h header for that macro.  We already discussed C++ 
semantics for those headers, see 
.

[Bug tree-optimization/51737] [4.6 Regression] g++ crashes (internal compiler error: Segmentation fault) when compiling quickbook

[jamborm at gcc dot gnu.org]

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

Martin Jambor  changed:

   What|Removed |Added

 CC||hubicka at gcc dot gnu.org

--- Comment #10 from Martin Jambor  2012-01-06 
12:02:04 UTC ---
This bug is not triggered when IPA-SRA is switched off, however, from
what I have seen in the debugger, I don't think the bug is in IPA-SRA
but that it is in fact an inlining problem (and also very probably
just latent on trunk).

The immediate reason for the segfault is that one of very many inline
clones of "intrusive_ptr::~intrusive_ptr() [with T = file_info]"
have NULL clone_of pointer.  Looking more into why, I noticed that
immediately before the crash id->dst_node->clones is NULL too, which
should not happen since this code is guarded by a condition that this
pointer is not NULL.

Therefore I assume that the real problem is that it is not safe to
call cgraph_remove_node_and_inline_clones on "inlined recursive" edges
from delete_unreachable_blocks_update_callgraph since it destroys the
clone tree we are traversing.

Currently I do not know what to do about this other than push the
nodes to be deleted on a stack and remove after the traversal.
Honza, do you have a better idea?

[Bug c++/51773] error building libitm/aatree.cc on ARM

[redi at gcc dot gnu.org]

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

--- Comment #6 from Jonathan Wakely  2012-01-06 
12:08:11 UTC ---
(In reply to comment #5)
> We already discussed C++ 
> semantics for those headers, see 
> .

Yep, I remember, I was just checking whether the new glibc changes altered
things - glad to hear they don't.

[Bug rtl-optimization/51774] [4.7 Regression] FAIL: gcc.dg/lto/trans-mem-* c_lto_trans-mem-1_0.o-c_lto_trans-mem-1_1.o link, -flto -fgnu-tm

[torvald at gcc dot gnu.org]

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

torvald at gcc dot gnu.org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2012-01-06
 CC||aldyh at gcc dot gnu.org
 Ever Confirmed|0   |1

[Bug gcov-profile/50127] [4.7 regression] g++.dg/tree-prof/partition2.C FAILs on several targets

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 Status|REOPENED|ASSIGNED
 AssignedTo|unassigned at gcc dot   |jakub at gcc dot gnu.org
   |gnu.org |

--- Comment #8 from Jakub Jelinek  2012-01-06 
13:00:28 UTC ---
Created attachment 26256
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26256
gcc47-pr50127.patch

Untested fix.

The problem was that partition_hot_cold_basic_blocks was leaving garbage in
some bb->aux fields, but subsequent optimization passes and/or df_analyze here
assume that each pass cleans that up after itself.  DF was storing age in
bb->aux as ptrdiff_t values, and when some bb->aux contained pointer to another
bb, if it was in the upper half of address space (for 32-bit hosts), it was
treated as negative age, while if in the lower half of AS (for 64-bit hosts),
it was just assumed to be very huge age.

[Bug target/51751] COMPLEX16 tests fail in Lapack

[dominiq at lps dot ens.fr]

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

--- Comment #3 from Dominique d'Humieres  2012-01-06 
13:10:24 UTC ---
It works for me with trunk r182883 on powerpc-apple-darwin9:

with -O0

-->   LAPACK TESTING SUMMARY  <--
Processing LAPACK Testing output found in the TESTING direcory
SUMMARY nb test run numerical error   other error  
   ====  
REAL 107042138(0.004%)0(0.000%)
DOUBLE PRECISION1052315203(0.019%)0(0.000%)
COMPLEX  5085882(0.000%)0(0.000%)
COMPLEX16 52386028(0.005%)0(0.000%)

--> ALL PRECISIONS3155184271(0.009%)0(0.000%)

or with -O3

-->   LAPACK TESTING SUMMARY  <--
Processing LAPACK Testing output found in the TESTING direcory
SUMMARY nb test run numerical error other error  
=== =  
  
REAL1033283 197 (0.019%)0  
(0.000%)
DOUBLE PRECISION1047653 205 (0.020%)0  
(0.000%)
COMPLEX 503926  3   (0.001%)0  
(0.000%)
COMPLEX16   521520  27  (0.005%)0  
(0.000%)

--> ALL PRECISIONS  3106382 432 (0.014%)0  
(0.000%)

The main difference with -O3 is

-->  Testing REAL  Singular Value Decomposition [ ssvd.out ]
 SBD drivers: 32 out of   8360 tests failed to pass the threshold
 SBD drivers: 32 out of   8360 tests failed to pass the threshold
 SBD drivers: 32 out of   8360 tests failed to pass the threshold
 SBD drivers: 32 out of   8360 tests failed to pass the threshold
 SBD drivers: 32 out of   8360 tests failed to pass the threshold
-->  Tests passed: 27550
-->  Tests failing to pass the threshold: 160

On x86_64-apple-darwin10 with trunk r182460, I got for -O2 or -O3

-->   LAPACK TESTING SUMMARY  <--
Processing LAPACK Testing output found in the TESTING direcory
SUMMARY nb test run numerical error   other error  
   ====  
REAL 105065540(0.004%)0(0.000%)
DOUBLE PRECISION1056977202(0.019%)0(0.000%)
COMPLEX  5085882(0.000%)0(0.000%)
COMPLEX16 53086228(0.005%)0(0.000%)

--> ALL PRECISIONS3147082272(0.009%)0(0.000%)

[Bug c++/51755] -Wconversion generates false warnings when the ternary operator is used

[paolo.carlini at oracle dot com]

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

--- Comment #6 from Paolo Carlini  2012-01-06 
13:13:41 UTC ---
Thus by 'opposite' of 'complete' you mean that nothing should be *added* to the
patch, instead something removed from it? Great. You see I meant completing
*the work*, thus committing and closing the PR. Anyway, Manuel, would you be
willing to send over a patch answeing Joseph' concerns? Otherwise I'll try to
do it myself, but probably it will take more time because I have start from
scratch on this. Thanks!

[Bug lto/51774] [4.7 Regression] FAIL: gcc.dg/lto/trans-mem-* c_lto_trans-mem-1_0.o-c_lto_trans-mem-1_1.o link, -flto -fgnu-tm

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org
  Component|rtl-optimization|lto
   Target Milestone|--- |4.7.0

[Bug lto/51774] [4.7 Regression] FAIL: gcc.dg/lto/trans-mem-* c_lto_trans-mem-1_0.o-c_lto_trans-mem-1_1.o link, -flto -fgnu-tm

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
 AssignedTo|unassigned at gcc dot   |jakub at gcc dot gnu.org
   |gnu.org |

--- Comment #1 from Jakub Jelinek  2012-01-06 
13:19:05 UTC ---
Created attachment 26257
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26257
gcc47-pr51774.patch

Untested fix.

[Bug libstdc++/51772] --enable-clocale=generic makes unsafe assumptions about ctype_base::mask

[paolo.carlini at oracle dot com]

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

--- Comment #1 from Paolo Carlini  2012-01-06 
13:20:33 UTC ---
Maybe I'm misunderstanding the tone of your PR, and certainly Benjamin knows
better than me because he invented this stuff, but I don't think the blame
should be on the generic configuration per se, in other terms it isn't supposed
to be fully generic and covering all possible situations. I think the general
idea was providing something covering a good range of cases and then making
easy addind new ones covering the special needs of the various targets. I think
that, for now at least, should. E done for netbsd too.

[Bug tree-optimization/51759] [4.5 Regression] miscompile writes past end of bitfield

[jamborm at gcc dot gnu.org]

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

Martin Jambor  changed:

   What|Removed |Added

URL||http://gcc.gnu.org/ml/gcc-p
   ||atches/2012-01/msg00300.htm
   ||l

--- Comment #5 from Martin Jambor  2012-01-06 
13:33:14 UTC ---
Patch backporting the fix has been posted to the mailing list:
http://gcc.gnu.org/ml/gcc-patches/2012-01/msg00300.html

[Bug ada/51775] New: [4.7 Regression] FAIL: gnat.dg/pack9.adb scan-tree-dump-not optimized "gnat_rcheck"

[dominiq at lps dot ens.fr]

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

 Bug #: 51775
   Summary: [4.7 Regression] FAIL: gnat.dg/pack9.adb
scan-tree-dump-not optimized "gnat_rcheck"
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: domi...@lps.ens.fr
CC: ebotca...@libertysurf.fr, ia...@gcc.gnu.org,
kreb...@gcc.gnu.org
Target: s390x-*-* powerpc-apple-darwin9


The test gnat.dg/pack9.adb has started to fail in 64 bit mode between revisions
182179 (OK) and 182258:

[karma] f90/bug% grep gnat_rcheck pack9.adb.149t.optimized
  .gnat_rcheck_21 ("pack9.adb", 11);

[Bug target/47333] [4.6/4.7 regression] g++.dg/lto/20091219 FAILs on Solaris 2 with SUN as

[jakub at gcc dot gnu.org]

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

--- Comment #22 from Jakub Jelinek  2012-01-06 
13:49:08 UTC ---
I think this is an ordering problem.  When not using lto, assemble_alias
is called on the weakref __gthrw_pthread_once with pthread_once target (etc.)
early, from the FE which calls rest_of_decl_compilation, and when
ASM_OUTPUT_WEAKREF is not defined, this among other things sets
  IDENTIFIER_TRANSPARENT_ALIAS (alias) = 1;
and TREE_CHAIN (alias) = target;
But the LTO FE doesn't call assemble_alias early, first emits assembly for the
routines, and only at the end calls output_weakrefs.  Thus during assembly of
the functions we don't handle the weakrefs as transparent aliases.
Can't we just move up output_weakrefs before
cgraph_output_in_order/cgraph_expand_all_functions/cgraph_output_pending_asms?

[Bug target/47333] [4.6/4.7 regression] g++.dg/lto/20091219 FAILs on Solaris 2 with SUN as

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
 AssignedTo|hubicka at gcc dot gnu.org  |jakub at gcc dot gnu.org

--- Comment #23 from Jakub Jelinek  2012-01-06 
13:54:14 UTC ---
Created attachment 26258
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26258
gcc47-pr47333.patch

Untested fix that works for me on this testcase.

[Bug libstdc++/51772] --enable-clocale=generic makes unsafe assumptions about ctype_base::mask

[redi at gcc dot gnu.org]

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

--- Comment #2 from Jonathan Wakely  2012-01-06 
14:00:52 UTC ---
Sorry for the tone, it might be that this is only really broken on netbsd, and
maybe using the ieee model there would fix the test failure - I need to
investigate further

[Bug middle-end/51752] trans-mem: publication safety violated

[torvald at gcc dot gnu.org]

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

torvald at gcc dot gnu.org changed:

   What|Removed |Added

   Target Milestone|--- |4.8.0

--- Comment #2 from torvald at gcc dot gnu.org 2012-01-06 14:03:00 UTC ---
(In reply to comment #1)
> Ok, I'm a complete neophyte on this, but that seems very restrictive.  Does
> that mean that basically we can't hoist any loads inside a transaction...ever?
> 
>   __transaction_atomic
> {
>   for (i = 0; i < 10; i++)
> if (x[i])
>   x[i] += data;
> }

We can hoist them if they are guaranteed to happen anyway.  However, if whether
the abstract machine would execute them is data-dependent on another load, the
other load must come first.  We can also hoist them if they are never published
by anyone else, or never written to nontransactionally by other threads
(constant data, thread-local data, etc.).

In the example, "data" might never be accessed.  But if it would be accessed
after the loop anyway, for example, then we can hoist it to before the loop. 
This is possible because we can assume that the program is data-race-free in
the first place, and if a load is going to happen anyway, we can assume that
the transaction could also run before the other thread's writes to x[i], the
other thread isn't publishing "data", and so there must be no race condition
(and thus, no difference) even if we hoist the load.

Note that if we would synchronize with atomics instead of transactions, the
programmer would need to specify at least acquire memory order for the load of
x[i] to prevent a data race.

[Bug bootstrap/51705] [4.7 Regression] FreeBSD uses unsupported C++11 features when __cplusplus == 201103L

[jason at gcc dot gnu.org]

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

Jason Merrill  changed:

   What|Removed |Added

 CC||bkorb at gnu dot org, jason
   ||at gcc dot gnu.org,
   ||ljrittle at acm dot org

--- Comment #24 from Jason Merrill  2012-01-06 
14:10:51 UTC ---
(In reply to comment #16)
> I have no problem with -std=c++11 enabling C++11 features and evening
> trying to apply a strict interpretation of C++11.  But, if g++ does
> not support the entire language at 201103L, then it should not advertise
> that it does.  

I sympathize with this position, and put off changing the value for that
reason.  But other compilers have started to define __cplusplus to the 201103L
as well even though they don't implement the whole standard either, since there
is no other portable way to distinguish between which standard is being
targeted.  So we decided to follow suit.  I think fixincludes is the right
answer here.

Adding FreeBSD and fixincludes maintainers to CC.

[Bug tree-optimization/51600] [4.7 Regression] ice in estimate_local_effects

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
 CC||jakub at gcc dot gnu.org
 AssignedTo|unassigned at gcc dot   |hubicka at gcc dot gnu.org
   |gnu.org |

[Bug middle-end/48660] [4.5/4.6 Regression] ARM ICE in expand_expr_real_1

[rsandifo at gcc dot gnu.org]

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

--- Comment #8 from rsandifo at gcc dot gnu.org  
2012-01-06 14:56:52 UTC ---
Author: rsandifo
Date: Fri Jan  6 14:56:46 2012
New Revision: 182955

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182955
Log:
gcc/
PR middle-end/48660
* expr.h (copy_blkmode_to_reg): Declare.
* expr.c (copy_blkmode_to_reg): New function.
(expand_assignment): Don't expand register RESULT_DECLs before
the lhs.  Use copy_blkmode_to_reg to copy BLKmode values into a
RESULT_DECL register.
(expand_expr_real_1): Handle BLKmode decls when looking for promotion.

gcc/testsuite/
PR middle-end/48660
* g++.dg/pr48660.C: New test.

Added:
branches/gcc-4_6-branch/gcc/testsuite/g++.dg/pr48660.C
Modified:
branches/gcc-4_6-branch/gcc/ChangeLog
branches/gcc-4_6-branch/gcc/expr.c
branches/gcc-4_6-branch/gcc/expr.h
branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug middle-end/48660] [4.5/4.6 Regression] ARM ICE in expand_expr_real_1

[rsandifo at gcc dot gnu.org]

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

--- Comment #9 from rsandifo at gcc dot gnu.org  
2012-01-06 14:59:51 UTC ---
Author: rsandifo
Date: Fri Jan  6 14:59:47 2012
New Revision: 182956

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182956
Log:
gcc/
PR middle-end/48660
* expr.h (copy_blkmode_to_reg): Declare.
* expr.c (copy_blkmode_to_reg): New function.
(expand_assignment): Don't expand register RESULT_DECLs before
the lhs.  Use copy_blkmode_to_reg to copy BLKmode values into a
RESULT_DECL register.
(expand_expr_real_1): Handle BLKmode decls when looking for promotion.

gcc/testsuite/
PR middle-end/48660
* g++.dg/pr48660.C: New test.

Added:
branches/gcc-4_5-branch/gcc/testsuite/g++.dg/pr48660.C
Modified:
branches/gcc-4_5-branch/gcc/ChangeLog
branches/gcc-4_5-branch/gcc/expr.c
branches/gcc-4_5-branch/gcc/expr.h
branches/gcc-4_5-branch/gcc/testsuite/ChangeLog

[Bug bootstrap/51705] [4.7 Regression] FreeBSD uses unsupported C++11 features when __cplusplus == 201103L

[bkorb at gnu dot org]

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

--- Comment #25 from bkorb at gnu dot org 2012-01-06 15:09:46 UTC ---
RE: Comment #16 through Comment #23 -- Do not use sed.  There is no compelling
reason to do so.  Please read the fixincludes README, wherein "sed" is
disparaged.  I'll add to that the fact that BSD has some non-POSIX treatments
of multi-line commands.  I think this is what you want (not specific to BSD):

+/*
+ * g++ -std=c++11 defines __cplusplus to 201103L, but does not
+ * properly support [[noreturn]].
+ */
+fix = {
+hackname  = cdef_cplusplus;
+files = sys/cdefs.h;
+select= '\[\[noreturn\]\]';
+c_fix = format;
+c_fix_arg = "/* noreturn */";
+test_text = "#define _Noreturn [[noreturn]]";
+};

Note to self (Bruce): devise a way to compile this fix out
once GCC++ properly supports "[[noreturn]]".

[Bug c++/39970] gcc accepts the . dot operator in template arguments

[jason at gcc dot gnu.org]

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

Jason Merrill  changed:

   What|Removed |Added

   Keywords||diagnostic
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2012-01-06
 CC||jason at gcc dot gnu.org
 Ever Confirmed|0   |1

--- Comment #2 from Jason Merrill  2012-01-06 
15:15:25 UTC ---
We started rejecting this testcase in 3.4 due to the access violation.  If we
change 'class' to 'struct' we still don't (as of pre-4.7) diagnose the invalid
constant-expression because the default argument is never used.

[Bug bootstrap/51705] [4.7 Regression] FreeBSD uses unsupported C++11 features when __cplusplus == 201103L

[sgk at troutmask dot apl.washington.edu]

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

--- Comment #26 from Steve Kargl  
2012-01-06 15:22:09 UTC ---
On Fri, Jan 06, 2012 at 03:09:46PM +, bkorb at gnu dot org wrote:
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51705
> 
> --- Comment #25 from bkorb at gnu dot org 2012-01-06 15:09:46 UTC ---
> RE: Comment #16 through Comment #23 -- Do not use sed.  There is no compelling
> reason to do so.  Please read the fixincludes README, wherein "sed" is
> disparaged.  I'll add to that the fact that BSD has some non-POSIX treatments
> of multi-line commands.  I think this is what you want (not specific to BSD):
> 
> +/*
> + * g++ -std=c++11 defines __cplusplus to 201103L, but does not
> + * properly support [[noreturn]].
> + */
> +fix = {
> +hackname  = cdef_cplusplus;
> +files = sys/cdefs.h;
> +select= '\[\[noreturn\]\]';
> +c_fix = format;
> +c_fix_arg = "/* noreturn */";
> +test_text = "#define _Noreturn [[noreturn]]";
> +};
> 
> Note to self (Bruce): devise a way to compile this fix out
> once GCC++ properly supports "[[noreturn]]".
> 

I can test this tomorrow.

[Bug c++/51773] error building libitm/aatree.cc on ARM

[joseph at codesourcery dot com]

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

--- Comment #7 from joseph at codesourcery dot com  2012-01-06 15:28:16 UTC ---
On Fri, 6 Jan 2012, redi at gcc dot gnu.org wrote:

> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51773
> 
> --- Comment #6 from Jonathan Wakely  2012-01-06 
> 12:08:11 UTC ---
> (In reply to comment #5)
> > We already discussed C++ 
> > semantics for those headers, see 
> > .
> 
> Yep, I remember, I was just checking whether the new glibc changes altered
> things - glad to hear they don't.

You probably want to check all the C11 features in glibc (listed as 
dependencies of  - 
my original list was 
) for whether 
the headers do what you think they should for C++ (both C++03 and C++11) - 
and update the glibc issues for anything needing more work for C++.

[Bug bootstrap/51705] [4.7 Regression] FreeBSD uses unsupported C++11 features when __cplusplus == 201103L

[jakub at gcc dot gnu.org]

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

--- Comment #27 from Jakub Jelinek  2012-01-06 
15:30:23 UTC ---
I'd say:
  c_fix_arg = "__attribute__((__noreturn__))";
would be better.  Thanks for writing a comment that has just the important
facts in it and no emotions.

[Bug c++/51773] error building libitm/aatree.cc on ARM

[redi at gcc dot gnu.org]

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

--- Comment #8 from Jonathan Wakely  2012-01-06 
15:33:16 UTC ---
I've already glanced over them and added one comment, I'll go through them
properly asap

[Bug bootstrap/51705] [4.7 Regression] FreeBSD uses unsupported C++11 features when __cplusplus == 201103L

[redi at gcc dot gnu.org]

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

Jonathan Wakely  changed:

   What|Removed |Added

 CC||redi at gcc dot gnu.org

--- Comment #28 from Jonathan Wakely  2012-01-06 
15:34:07 UTC ---
(In reply to comment #25)
> Note to self (Bruce): devise a way to compile this fix out
> once GCC++ properly supports "[[noreturn]]".

I'll remember to add a comment to this PR once it's supported, to prod the CC
list

[Bug c++/51773] error building libitm/aatree.cc on ARM

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org

--- Comment #9 from Jakub Jelinek  2012-01-06 
15:43:19 UTC ---
I'm not sure if for -D_GNU_SOURCE we want a ::gets prototype in C++, it would
be better to just have std::gets only.

[Bug c++/51773] error building libitm/aatree.cc on ARM

[joseph at codesourcery dot com]

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

--- Comment #10 from joseph at codesourcery dot com  2012-01-06 15:51:20 UTC ---
On Fri, 6 Jan 2012, jakub at gcc dot gnu.org wrote:

> I'm not sure if for -D_GNU_SOURCE we want a ::gets prototype in C++, it would
> be better to just have std::gets only.

The trouble is we can't distinguish between a user's -D_GNU_SOURCE for C++ 
and the compiler's predefine (which it defines because the libstdc++ 
headers want to use C library functionality beyond that present in the 
standard).

I'm testing a glibc patch that reenables gets for C++ <= C++11, disables 
the static_assert define for C++ and disables the char16_t/char32_t 
typedefs in uchar.h for C++11 (since they are keywords in C++11).

[Bug fortran/51758] ICE with optional arguments of elemental procedures

[burnus at gcc dot gnu.org]

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

--- Comment #4 from Tobias Burnus  2012-01-06 
15:55:36 UTC ---
Draft patch.

--- trans-expr.c(revision 182957)
+++ trans-expr.c(working copy)
@@ -3408,6 +3408,9 @@ gfc_conv_procedure_call (gfc_se * se, gfc_symbol *
  parmse.expr = null_pointer_node;
  if (arg->missing_arg_type == BT_CHARACTER)
parmse.string_length = build_int_cst (gfc_charlen_type_node, 0);
+ if (se->ss && (se->ss->info->type == GFC_SS_SCALAR
+|| se->ss->info->type == GFC_SS_REFERENCE))
+   gfc_advance_se_ss_chain (se);
}
   else if (fsym && fsym->ts.type == BT_CLASS
 && e->ts.type == BT_DERIVED)

[Bug bootstrap/51705] [4.7 Regression] FreeBSD uses unsupported C++11 features when __cplusplus == 201103L

[andreast at gcc dot gnu.org]

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

--- Comment #29 from Andreas Tobler  2012-01-06 
15:57:51 UTC ---
Bootstrap in progress with the below.

Additions:

- Jakub's recent comment on c_fix_arg.
- extend mach to match FreeBSD10.* to FreeBSD19.* (Should give some time...)

+ * g++ -std=c++11 defines __cplusplus to 201103L, which lies about
+ * the level of support g++ has for the C++11 standard.
+ */
+fix = {
+hackname  = cdef_cplusplus;
+mach  = "*-*-freebsd1[0-9].*";
+files = sys/cdefs.h;
+select= '\[\[noreturn\]\]';
+c_fix = format;
+c_fix_arg = "__attribute__\(\(__noreturn__\)\)";
+test_text = "#define _Noreturn [[noreturn]]";
+};
+/*

[Bug target/48308] [4.6/4.7 Regression] crosscompiling to arm fails with assembler: can't resolve '.LC4' {.rodata.str1.1 section} - '.LPIC4' {*UND* section}

[rearnsha at gcc dot gnu.org]

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

--- Comment #17 from Richard Earnshaw  2012-01-06 
16:02:49 UTC ---
I think it would be better to just generate a single insn early on and then to
split it once the loop optimizers have had a chance to run.  Then the
optimizers should be able to throw the whole expression away if it's not needed
and hoist it as a whole if it's inside a loop.

Splitting it before sched1 would be ideal, but the split could be delayed until
after reload if necessary.

[Bug preprocessor/51776] New: fixincludes hacks around a C++ deficiency

[bkorb at gnu dot org]

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

 Bug #: 51776
   Summary: fixincludes hacks around a C++ deficiency
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: preprocessor
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: bk...@gnu.org


a new fixinclude hack is about to be added to paper over the fact that
g++ -std=c++11 claims full compliance, but is slightly deficient.
Once that is fixed, this new hack should be removed.  It will be
approximately thus:

+/*
+ * g++ -std=c++11 defines __cplusplus to 201103L, but does not
+ * properly support [[noreturn]].
+ */
+fix = {
+hackname  = cdef_cplusplus;
+files = sys/cdefs.h;
+select= '\[\[noreturn\]\]';
+c_fix = format;
+c_fix_arg = "__attribute__((__noreturn__))";
+test_text = "#define _Noreturn [[noreturn]]";
+};

CF: bug #51705 comment #25

[Bug bootstrap/51705] [4.7 Regression] FreeBSD uses unsupported C++11 features when __cplusplus == 201103L

[bkorb at gnu dot org]

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

--- Comment #30 from bkorb at gnu dot org 2012-01-06 16:10:33 UTC ---
(In reply to comment #28)
> I'll remember to add a comment to this PR once ...
I fully intend to remember, too.
Probably the appropriate thing is a new bug #51776

[Bug c++/51773] error building libitm/aatree.cc on ARM

[jakub at gcc dot gnu.org]

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

--- Comment #11 from Jakub Jelinek  2012-01-06 
16:12:00 UTC ---
Sure, we'd need some coordination between glibc and libstdc++, or just a glibc
version check and defining the std::gets prototype in libstdc++.

[Bug bootstrap/51705] [4.7 Regression] FreeBSD uses unsupported C++11 features when __cplusplus == 201103L

[bkorb at gnu dot org]

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

--- Comment #32 from bkorb at gnu dot org 2012-01-06 16:14:08 UTC ---
(In reply to comment #29)
> +c_fix_arg = "__attribute__\(\(__noreturn__\)\)";

In a double quoted string, the backslash quotes always quote
the character that follows.  Here, it yields a noop, which
is fine because the "c-fix-arg" is scanned for "%1" type markers,
not regular expressions.

[Bug bootstrap/51705] [4.7 Regression] FreeBSD uses unsupported C++11 features when __cplusplus == 201103L

[sgk at troutmask dot apl.washington.edu]

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

--- Comment #31 from Steve Kargl  
2012-01-06 16:11:08 UTC ---
On Fri, Jan 06, 2012 at 03:30:23PM +, jakub at gcc dot gnu.org wrote:
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51705
> 
> --- Comment #27 from Jakub Jelinek  2012-01-06 
> 15:30:23 UTC ---
> I'd say:
>   c_fix_arg = "__attribute__((__noreturn__))";
> would be better.  Thanks for writing a comment that has just the important
> facts in it and no emotions.
> 

Apparently, you did not read my 2nd patch. 
There was no emotion in the comment.  Just
the facts.  I suppose the truth hurts sometime.

+/*
+ * 'g++ -std=c++11' defines __cplusplus to 201103L, which suggests
+ * that 'g++ -std=c++11' is a compiler conforming to the C++ programming
+ * language defined by ISO/IEC 14882:2011.  Setting __cplusplus to 
+ * 201103L appears to be a direct violation of ISO/IEC 14882:2011
+ * [as inferred from Secs. 1.4 and 16.8 in n3242.pdf (I'm not interested
+ * in spending CHF 352.00 for the actual standard)].  The standard
+ * conforming sys/cdefs.h header file on FreeBSD 10 (and above) needs be
+ * (un)damaged, so GCC can use 'g++ -std=c++11' to build libstdc++v3 
+ * during bootstrap. 
+ */

[Bug fortran/46328] [OOP] type-bound operator call with non-trivial polymorphic operand

[burnus at gcc dot gnu.org]

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

Tobias Burnus  changed:

   What|Removed |Added

 Status|RESOLVED|NEW
 Resolution|FIXED   |

--- Comment #10 from Tobias Burnus  2012-01-06 
16:29:03 UTC ---
REOPEN.

The issue is mostly fixed (i.e. polymorphic operators work), but not
completely. As Dominique pointed out [1], the parentheses in
   u = (u)*2.
still confuse gfortran (it works without).


Some preliminary analysis what goes wrong is available at [2, 3]:

a) In gfc_build_class_symbol, the attr->class_ok does not propagate to
   fclass->attr.class_ok  (should it?)

b) In matching_typebound_op, checking an EXPR_OP with
   gfc_expr_attr (base->expr).class_ok fails - should on use
   base->expr->ts->u.derived->attr.class_ok ?

c) In get_declared_from_expr (called by resolve_typebound_function):
   The following is wrong (ice - segfault) for an EXPR_OP:
 if (declared == NULL)
   declared = e->symtree->n.sym->ts.u.derived;
   should one use e->ts.u.derived?

(Regarding (base->expr,e)->ts.u.derived: I vaguely recall that sometimes e->ts
did not have the proper data and only e->symtree->n.sym->ts had. I don't recall
the details and it might have been only needed with some draft patch. It might
be that e->ts.u.derived was NULL, but it could have been also something
different.)

[1] http://gcc.gnu.org/ml/fortran/2012-01/msg00045.html
[2] http://gcc.gnu.org/ml/fortran/2012-01/msg00049.html
[3] http://gcc.gnu.org/ml/fortran/2012-01/msg00050.html

[Bug lto/51774] [4.7 Regression] FAIL: gcc.dg/lto/trans-mem-* c_lto_trans-mem-1_0.o-c_lto_trans-mem-1_1.o link, -flto -fgnu-tm

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek  2012-01-06 
16:48:59 UTC ---
Author: jakub
Date: Fri Jan  6 16:48:52 2012
New Revision: 182959

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182959
Log:
PR lto/51774
* lto-lang.c (handle_returns_twice_attribute): New function.
(lto_attribute_table): Add returns_twice attribute.

Modified:
trunk/gcc/lto/ChangeLog
trunk/gcc/lto/lto-lang.c

[Bug tree-optimization/49642] constant part of a macro not optimized away as expected due to splitter

[wschmidt at gcc dot gnu.org]

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

William J. Schmidt  changed:

   What|Removed |Added

 CC||wschmidt at gcc dot gnu.org

--- Comment #4 from William J. Schmidt  2012-01-06 
17:09:01 UTC ---
I noticed today that this bug does not reproduce on trunk, though it still does
on the 4_6 branch.  Does anyone know if this was intentionally fixed but
perhaps not backported into 4.6?

[Bug ada/51775] [4.6/4.7 Regression] FAIL: gnat.dg/pack9.adb scan-tree-dump-not optimized "gnat_rcheck"

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2012-01-06
 CC||ebotcazou at gcc dot
   ||gnu.org
   Target Milestone|--- |4.6.3
Summary|[4.7 Regression] FAIL:  |[4.6/4.7 Regression] FAIL:
   |gnat.dg/pack9.adb   |gnat.dg/pack9.adb
   |scan-tree-dump-not  |scan-tree-dump-not
   |optimized "gnat_rcheck" |optimized "gnat_rcheck"
 Ever Confirmed|0   |1

--- Comment #1 from Eric Botcazou  2012-01-06 
17:55:12 UTC ---
Same on MIPS/IRIX.  This is only a pessimization though.

[Bug ada/51775] [4.6/4.7 Regression] FAIL: gnat.dg/pack9.adb scan-tree-dump-not optimized "gnat_rcheck"

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
 AssignedTo|unassigned at gcc dot   |ebotcazou at gcc dot
   |gnu.org |gnu.org

--- Comment #2 from Eric Botcazou  2012-01-06 
17:58:39 UTC ---
Investigating.

[Bug c++/41233] Templated conversion operator produces symbol name that won't demangle

[jason at gcc dot gnu.org]

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

Jason Merrill  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2012-01-06
 CC||jason at gcc dot gnu.org
 Ever Confirmed|0   |1

--- Comment #5 from Jason Merrill  2012-01-06 
18:00:50 UTC ---
This message to the ABI list deals with the same issue:

http://sourcery.mentor.com/archives/cxx-abi-dev/msg02295.html

[Bug fortran/46328] [OOP] type-bound operator call with non-trivial polymorphic operand

[burnus at gcc dot gnu.org]

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

--- Comment #11 from Tobias Burnus  2012-01-06 
18:06:37 UTC ---
The following patchlet fixes the issue of comment 2 [or at least, the program
now compiles]; it does not fix the issue of comment 0 / comment 4.

Regarding the latter:

One gets now a segfault for:
  at 0x50C5A0: gfc_add_component_ref(gfc_expr*, char const*) (class.c:63)
  by 0x57BDFC: resolve_typebound_function(gfc_expr*) (resolve.c:5958)
  by 0x573D74: gfc_resolve_expr(gfc_expr*) (resolve.c:6280)

which is because of:
63gfc_symbol *derived = e->symtree->n.sym->ts.u.derived;
which fails as we have: e->expr_type == EXPR_FUNCTION


If one adds to the example in comment 2:
  use foo_module
  class(foo), pointer :: xx
  xx = xx * 4
  end
one gets:
  Error: Operands of binary numeric operator '*' at (1)
 are CLASS(foo)/INTEGER(4)
I have not checked whether that's correct or whether it should have worked.


--- a/gcc/fortran/interface.c
+++ b/gcc/fortran/interface.c
@@ -3172,3 +3172,6 @@ matching_typebound_op (gfc_expr** tb_base,
  {
-   if (!gfc_expr_attr (base->expr).class_ok)
+   if ((base->expr->expr_type == EXPR_VARIABLE
+&& !gfc_expr_attr (base->expr).class_ok)
+   || (base->expr->expr_type != EXPR_VARIABLE
+   && !base->expr->ts.u.derived->components))
  continue;
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index 79245ce..8d02d6e 100644
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -5685,4 +5685,6 @@ get_declared_from_expr (gfc_ref **class_ref, gfc_ref
**new_ref,

-  if (declared == NULL)
+  if (declared == NULL && e->expr_type == EXPR_VARIABLE)
 declared = e->symtree->n.sym->ts.u.derived;
+  else
+declared = e->ts.u.derived;

[Bug libstdc++/51772] --enable-clocale=generic makes unsafe assumptions about ctype_base::mask

[redi at gcc dot gnu.org]

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

Jonathan Wakely  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2012-01-06
 Ever Confirmed|0   |1
   Severity|normal  |minor

--- Comment #3 from Jonathan Wakely  2012-01-06 
18:10:04 UTC ---
I see the actual problem now, it's not as bad as I initially thought (it was
late at night when I started debugging this!)

The code in generic/ctype_members.cc assumes that each ctype_base::mask
constant will either be a single bit, or be the bitwise-or of other
ctype_base::mask constants, which works because e.g. if alnum is
upper|lower|digit, then do_is(alnum, L'c') will match on lower.

But netbsd defines ctype_base::xdigit as _N|_X where _N is ctype_base::digit
but _X corresponds to [A-Fa-f] and is not used in any other ctype_base::mask
constant, so the wide characters [A-Fa-f] cannot be matched by xdigit.

newlib similarly uses _X|_N for xdigit, but has --enable-clocale=newlib so
doesn't use the generic code.

bionic uses _X|_N but I don't think it supports wchar_t anyway

I believe vxworks and qnx would fail to match is(ctype::space, L' ') and
is(ctype::print, L' ') for similar reasons, if they support wchar_t

[Bug middle-end/51516] [trans-mem] problem with TM clone aliases

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2012-01-06
 AssignedTo|unassigned at gcc dot   |aldyh at gcc dot gnu.org
   |gnu.org |
 Ever Confirmed|0   |1

[Bug c++/47450] [4.5/4.6/4.7 Regression] Anonymous top-level classes assigned to static members fail.

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu.org,
   ||jason at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek  2012-01-06 
18:45:57 UTC ---
Started with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152429 .

[Bug lto/51774] [4.7 Regression] FAIL: gcc.dg/lto/trans-mem-* c_lto_trans-mem-1_0.o-c_lto_trans-mem-1_1.o link, -flto -fgnu-tm

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED

--- Comment #3 from Jakub Jelinek  2012-01-06 
18:55:06 UTC ---
Should be fixed now.

[Bug ada/51775] [4.6/4.7 Regression] FAIL: gnat.dg/pack9.adb scan-tree-dump-not optimized "gnat_rcheck"

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

   Priority|P3  |P4
 CC||jakub at gcc dot gnu.org

[Bug c/42643] "may be used uninitialized" compiled with "-Wall -O"

[mi+gcc at aldan dot algebra.com]

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

--- Comment #2 from mi+gcc at aldan dot algebra.com 2012-01-06 20:08:54 UTC ---
Created attachment 26259
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26259
Live test case (file from Mozilla's NSS package)

Even when using gcc-4.6 (more specifically gcc version 4.6.3 2004
(prerelease) (FreeBSD Ports Collection)), I still get a bogus warning on the
attached file, unless the optimization level is at -O3 AND the -fPIC is not
specified:

mi@narawntapu:nss/lib/util (1778) gcc46 -Wall -O3 -c nssb64e.i
mi@narawntapu:nss/lib/util (1779) gcc46 -Wall -O2 -c nssb64e.i
nssb64e.i: In function 'NSSBase64_EncodeItem_Util':
nssb64e.i:3239:15: warning: 'out_len' may be used uninitialized in this
function [-Wuninitialized]
mi@narawntapu:nss/lib/util (1780) gcc46 -Wall -O3 -fPIC -c nssb64e.i
nssb64e.i: In function 'NSSBase64_EncodeItem_Util':
nssb64e.i:3239:15: warning: 'out_len' may be used uninitialized in this
function [-Wuninitialized]

[Bug debug/51746] Segfault in cselib_preserved_value_p

[aoliva at gcc dot gnu.org]

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

--- Comment #7 from Alexandre Oliva  2012-01-06 
20:21:00 UTC ---
Author: aoliva
Date: Fri Jan  6 20:20:55 2012
New Revision: 182963

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182963
Log:
PR debug/51746
* cselib.c (cselib_hash_rtx): Hash incoming VALUEs too.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/cselib.c

[Bug c++/51777] New: Errors message show unsigned long template parameters as signed

[luto at mit dot edu]

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

 Bug #: 51777
   Summary: Errors message show unsigned long template parameters
as signed
Classification: Unclassified
   Product: gcc
   Version: 4.6.2
Status: UNCONFIRMED
  Severity: minor
  Priority: P3
 Component: c++
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: l...@mit.edu


On x86_64, with g++ (GCC) 4.6.2 20111027 (Red Hat 4.6.2-1) and some trunk build
or other, this test:

template
struct A
{
};

int main()
{
  return A<0xf000ul>();
}

gives this error:

type_err_test.cc: In function ‘int main()’:
type_err_test.cc:8:34: error: cannot convert ‘A<-1152921504606846976ull>’ to
‘int’ in return

That's wrong -- the constant is positive.  (With just 'unsigned long' instead
of 'unsigned long long', it still gets it wrong on x86_64 but it gets it right
with -m32.  With 'unsigned long long' it fails both ways.)

I'm marking this "minor" because it's unlikely to cause significant confusion.

[Bug c++/51322] [C++11] wrong mangling with argument packs

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill  2012-01-06 
21:39:51 UTC ---
Author: jason
Date: Fri Jan  6 21:39:43 2012
New Revision: 182970

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182970
Log:
PR c++/6057
PR c++/48051
PR c++/50855
PR c++/51322
gcc/cp/
* mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
THROW_EXPR, CONSTRUCTOR, OVERLOAD.  Fix PREINCREMENT_EXPR and
PREDECREMENT_EXPR.
(write_template_arg): Fix mangling of class-scope functions and
argument packs.
(mangle_decl): Update suggested -fabi-version argument.
* operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
* tree.c (dependent_name): No longer static.
* cp-tree.h: Declare it.
* pt.c (unify): Defer handling of unconverted functions.
include/
* demangle.h (enum demangle_component_type): Add
DEMANGLE_COMPONENT_INITIALIZER_LIST, DEMANGLE_COMPONENT_NULLARY.
libiberty/
* cp-demangle.c (d_dump): Handle DEMANGLE_COMPONENT_NULLARY and
DEMANGLE_COMPONENT_INITIALIZER_LIST.
(d_make_comp): Likewise.  Allow null right arg for
DEMANGLE_COMPONENT_TRINARY_ARG2.
(cplus_demangle_operators): Adjust new/delete; add .*, :: and throw.
(d_template_args, d_template_arg): Handle 'J' for argument packs.
(d_exprlist): Add terminator parm.
(d_expression, d_print_comp): Handle initializer lists, nullary
expressions, prefix/suffix operators, and new.
(d_print_subexpr): Avoid parens around DEMANGLE_COMPONENT_QUAL_NAME
and DEMANGLE_COMPONENT_INITIALIZER_LIST.
* testsuite/demangle-expected: Add tests.

Added:
trunk/gcc/testsuite/g++.dg/abi/mangle51.C
trunk/gcc/testsuite/g++.dg/abi/mangle52.C
trunk/gcc/testsuite/g++.dg/abi/mangle53.C
trunk/gcc/testsuite/g++.dg/abi/mangle54.C
trunk/gcc/testsuite/g++.dg/abi/mangle55.C
trunk/gcc/testsuite/g++.dg/abi/mangle56.C
trunk/gcc/testsuite/g++.dg/abi/mangle57.C
trunk/gcc/testsuite/g++.dg/abi/mangle58.C
trunk/gcc/testsuite/g++.dg/abi/mangle59.C
Modified:
trunk/gcc/common.opt
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/cp-tree.h
trunk/gcc/cp/mangle.c
trunk/gcc/cp/operators.def
trunk/gcc/cp/pt.c
trunk/gcc/cp/tree.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/g++.dg/cpp0x/trailing3.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic111.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic4.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic42.C
trunk/gcc/testsuite/g++.dg/template/nontype22.C
trunk/gcc/testsuite/g++.dg/template/pr35240.C
trunk/include/ChangeLog
trunk/include/demangle.h
trunk/libiberty/ChangeLog
trunk/libiberty/cp-demangle.c
trunk/libiberty/testsuite/demangle-expected
trunk/libstdc++-v3/ChangeLog
trunk/libstdc++-v3/testsuite/abi/demangle/regression/cw-16.cc

[Bug c++/6057] expression mangling doesn't work for operator new

[jason at gcc dot gnu.org]

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

--- Comment #8 from Jason Merrill  2012-01-06 
21:39:50 UTC ---
Author: jason
Date: Fri Jan  6 21:39:43 2012
New Revision: 182970

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182970
Log:
PR c++/6057
PR c++/48051
PR c++/50855
PR c++/51322
gcc/cp/
* mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
THROW_EXPR, CONSTRUCTOR, OVERLOAD.  Fix PREINCREMENT_EXPR and
PREDECREMENT_EXPR.
(write_template_arg): Fix mangling of class-scope functions and
argument packs.
(mangle_decl): Update suggested -fabi-version argument.
* operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
* tree.c (dependent_name): No longer static.
* cp-tree.h: Declare it.
* pt.c (unify): Defer handling of unconverted functions.
include/
* demangle.h (enum demangle_component_type): Add
DEMANGLE_COMPONENT_INITIALIZER_LIST, DEMANGLE_COMPONENT_NULLARY.
libiberty/
* cp-demangle.c (d_dump): Handle DEMANGLE_COMPONENT_NULLARY and
DEMANGLE_COMPONENT_INITIALIZER_LIST.
(d_make_comp): Likewise.  Allow null right arg for
DEMANGLE_COMPONENT_TRINARY_ARG2.
(cplus_demangle_operators): Adjust new/delete; add .*, :: and throw.
(d_template_args, d_template_arg): Handle 'J' for argument packs.
(d_exprlist): Add terminator parm.
(d_expression, d_print_comp): Handle initializer lists, nullary
expressions, prefix/suffix operators, and new.
(d_print_subexpr): Avoid parens around DEMANGLE_COMPONENT_QUAL_NAME
and DEMANGLE_COMPONENT_INITIALIZER_LIST.
* testsuite/demangle-expected: Add tests.

Added:
trunk/gcc/testsuite/g++.dg/abi/mangle51.C
trunk/gcc/testsuite/g++.dg/abi/mangle52.C
trunk/gcc/testsuite/g++.dg/abi/mangle53.C
trunk/gcc/testsuite/g++.dg/abi/mangle54.C
trunk/gcc/testsuite/g++.dg/abi/mangle55.C
trunk/gcc/testsuite/g++.dg/abi/mangle56.C
trunk/gcc/testsuite/g++.dg/abi/mangle57.C
trunk/gcc/testsuite/g++.dg/abi/mangle58.C
trunk/gcc/testsuite/g++.dg/abi/mangle59.C
Modified:
trunk/gcc/common.opt
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/cp-tree.h
trunk/gcc/cp/mangle.c
trunk/gcc/cp/operators.def
trunk/gcc/cp/pt.c
trunk/gcc/cp/tree.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/g++.dg/cpp0x/trailing3.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic111.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic4.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic42.C
trunk/gcc/testsuite/g++.dg/template/nontype22.C
trunk/gcc/testsuite/g++.dg/template/pr35240.C
trunk/include/ChangeLog
trunk/include/demangle.h
trunk/libiberty/ChangeLog
trunk/libiberty/cp-demangle.c
trunk/libiberty/testsuite/demangle-expected
trunk/libstdc++-v3/ChangeLog
trunk/libstdc++-v3/testsuite/abi/demangle/regression/cw-16.cc

[Bug c++/48051] sorry, unimplemented: mangling overload

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill  2012-01-06 
21:39:50 UTC ---
Author: jason
Date: Fri Jan  6 21:39:43 2012
New Revision: 182970

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182970
Log:
PR c++/6057
PR c++/48051
PR c++/50855
PR c++/51322
gcc/cp/
* mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
THROW_EXPR, CONSTRUCTOR, OVERLOAD.  Fix PREINCREMENT_EXPR and
PREDECREMENT_EXPR.
(write_template_arg): Fix mangling of class-scope functions and
argument packs.
(mangle_decl): Update suggested -fabi-version argument.
* operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
* tree.c (dependent_name): No longer static.
* cp-tree.h: Declare it.
* pt.c (unify): Defer handling of unconverted functions.
include/
* demangle.h (enum demangle_component_type): Add
DEMANGLE_COMPONENT_INITIALIZER_LIST, DEMANGLE_COMPONENT_NULLARY.
libiberty/
* cp-demangle.c (d_dump): Handle DEMANGLE_COMPONENT_NULLARY and
DEMANGLE_COMPONENT_INITIALIZER_LIST.
(d_make_comp): Likewise.  Allow null right arg for
DEMANGLE_COMPONENT_TRINARY_ARG2.
(cplus_demangle_operators): Adjust new/delete; add .*, :: and throw.
(d_template_args, d_template_arg): Handle 'J' for argument packs.
(d_exprlist): Add terminator parm.
(d_expression, d_print_comp): Handle initializer lists, nullary
expressions, prefix/suffix operators, and new.
(d_print_subexpr): Avoid parens around DEMANGLE_COMPONENT_QUAL_NAME
and DEMANGLE_COMPONENT_INITIALIZER_LIST.
* testsuite/demangle-expected: Add tests.

Added:
trunk/gcc/testsuite/g++.dg/abi/mangle51.C
trunk/gcc/testsuite/g++.dg/abi/mangle52.C
trunk/gcc/testsuite/g++.dg/abi/mangle53.C
trunk/gcc/testsuite/g++.dg/abi/mangle54.C
trunk/gcc/testsuite/g++.dg/abi/mangle55.C
trunk/gcc/testsuite/g++.dg/abi/mangle56.C
trunk/gcc/testsuite/g++.dg/abi/mangle57.C
trunk/gcc/testsuite/g++.dg/abi/mangle58.C
trunk/gcc/testsuite/g++.dg/abi/mangle59.C
Modified:
trunk/gcc/common.opt
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/cp-tree.h
trunk/gcc/cp/mangle.c
trunk/gcc/cp/operators.def
trunk/gcc/cp/pt.c
trunk/gcc/cp/tree.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/g++.dg/cpp0x/trailing3.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic111.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic4.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic42.C
trunk/gcc/testsuite/g++.dg/template/nontype22.C
trunk/gcc/testsuite/g++.dg/template/pr35240.C
trunk/include/ChangeLog
trunk/include/demangle.h
trunk/libiberty/ChangeLog
trunk/libiberty/cp-demangle.c
trunk/libiberty/testsuite/demangle-expected
trunk/libstdc++-v3/ChangeLog
trunk/libstdc++-v3/testsuite/abi/demangle/regression/cw-16.cc

[Bug c++/50855] [C++0x] Name mangling for late return types invoking constructors not implemented

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill  2012-01-06 
21:39:51 UTC ---
Author: jason
Date: Fri Jan  6 21:39:43 2012
New Revision: 182970

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182970
Log:
PR c++/6057
PR c++/48051
PR c++/50855
PR c++/51322
gcc/cp/
* mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
THROW_EXPR, CONSTRUCTOR, OVERLOAD.  Fix PREINCREMENT_EXPR and
PREDECREMENT_EXPR.
(write_template_arg): Fix mangling of class-scope functions and
argument packs.
(mangle_decl): Update suggested -fabi-version argument.
* operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
* tree.c (dependent_name): No longer static.
* cp-tree.h: Declare it.
* pt.c (unify): Defer handling of unconverted functions.
include/
* demangle.h (enum demangle_component_type): Add
DEMANGLE_COMPONENT_INITIALIZER_LIST, DEMANGLE_COMPONENT_NULLARY.
libiberty/
* cp-demangle.c (d_dump): Handle DEMANGLE_COMPONENT_NULLARY and
DEMANGLE_COMPONENT_INITIALIZER_LIST.
(d_make_comp): Likewise.  Allow null right arg for
DEMANGLE_COMPONENT_TRINARY_ARG2.
(cplus_demangle_operators): Adjust new/delete; add .*, :: and throw.
(d_template_args, d_template_arg): Handle 'J' for argument packs.
(d_exprlist): Add terminator parm.
(d_expression, d_print_comp): Handle initializer lists, nullary
expressions, prefix/suffix operators, and new.
(d_print_subexpr): Avoid parens around DEMANGLE_COMPONENT_QUAL_NAME
and DEMANGLE_COMPONENT_INITIALIZER_LIST.
* testsuite/demangle-expected: Add tests.

Added:
trunk/gcc/testsuite/g++.dg/abi/mangle51.C
trunk/gcc/testsuite/g++.dg/abi/mangle52.C
trunk/gcc/testsuite/g++.dg/abi/mangle53.C
trunk/gcc/testsuite/g++.dg/abi/mangle54.C
trunk/gcc/testsuite/g++.dg/abi/mangle55.C
trunk/gcc/testsuite/g++.dg/abi/mangle56.C
trunk/gcc/testsuite/g++.dg/abi/mangle57.C
trunk/gcc/testsuite/g++.dg/abi/mangle58.C
trunk/gcc/testsuite/g++.dg/abi/mangle59.C
Modified:
trunk/gcc/common.opt
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/cp-tree.h
trunk/gcc/cp/mangle.c
trunk/gcc/cp/operators.def
trunk/gcc/cp/pt.c
trunk/gcc/cp/tree.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/g++.dg/cpp0x/trailing3.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic111.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic4.C
trunk/gcc/testsuite/g++.dg/cpp0x/variadic42.C
trunk/gcc/testsuite/g++.dg/template/nontype22.C
trunk/gcc/testsuite/g++.dg/template/pr35240.C
trunk/include/ChangeLog
trunk/include/demangle.h
trunk/libiberty/ChangeLog
trunk/libiberty/cp-demangle.c
trunk/libiberty/testsuite/demangle-expected
trunk/libstdc++-v3/ChangeLog
trunk/libstdc++-v3/testsuite/abi/demangle/regression/cw-16.cc

[Bug middle-end/51778] New: ICE during bootstrap when adding -ftree-loop-if-convert-stores to boo

[matt at use dot net]

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

 Bug #: 51778
   Summary: ICE during bootstrap when adding
-ftree-loop-if-convert-stores to boo
Classification: Unclassified
   Product: gcc
   Version: 4.7.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: middle-end
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: m...@use.net


On Ubuntu 11.10/amd64, compiling current trunk (r182963):

1. Add -ftree-loop-if-convert-stores to config/bootstrap-lto.mk:
STAGE2_CFLAGS += -flto=jobserver -frandom-seed=1 -ftree-loop-if-convert-stores

2. configure as such:
~/src/gcc-4.7.0/configure --enable-bootstrap --prefix=/home/matt
--enable-clocale=gnu --with-system-zlib --enable-shared --with-demangler-in-ld
--enable-lto --enable-languages=c,c++,lto --disable-libmudflap
--with-build-config=bootstrap-lto

3. build

result:
Eventually, you'll see this:

checking for suffix of object files... configure: error: in
`/tmp/gcc-obj/x86_64-unknown-linux-gnu/libgcc':
configure: error: cannot compute suffix of object files: cannot compile

which gets traced to this command crashing much earlier, but the build
continuing further than it should anyway:
echo | /tmp/gcc-obj/./gcc/xgcc -B/tmp/gcc-obj/./gcc/ -E -dM - 

valgrind 3.6.1 reports:

==6419== Invalid read of size 8
==6419==at 0xA68AC5: lshift_significand(real_value*, real_value const*,
unsigned int) (real.c:256)
==6419==by 0xA6C920: normalize(real_value*) (real.c:517)
==6419==by 0xA6FF07: real_from_integer(real_value*, machine_mode, unsigned
long, long, int) (real.c:2188)
==6419==by 0xA718FE: real_to_decimal_for_mode(char*, real_value const*,
unsigned long, unsigned long, int, machine_mode) (real.c:2314)
==6419==by 0x58EC3A: builtin_define_with_hex_fp_value(char const*,
tree_node*, int, char const*, char const*, char const*) (c-cppbuiltin.c:)
==6419==by 0x5906C1: builtin_define_float_constants(char const*, char
const*, char const*, char const*, tree_node*) (c-cppbuiltin.c:253)
==6419==by 0x5925FA: c_cpp_builtins(cpp_reader*) (c-cppbuiltin.c:767)
==6419==by 0x5A309E: c_finish_options() (c-opts.c:1336)
==6419==by 0x5A3853: c_common_init() (c-opts.c:1093)
==6419==by 0x51F16B: c_objc_common_init() (c-objc-common.c:64)
==6419==by 0xB66C4F: toplev_main(int, char**) (toplev.c:1764)
==6419==by 0x5CC29A: main (main.c:36)
==6419==  Address 0x801e5ee60 is not stack'd, malloc'd or (recently) free'd
==6419== 
:0:0: internal compiler error: Segmentation fault

I tried reducing it further, but had no luck and ran out of time.

If there's something specific/focused I can test, let me know.

[Bug testsuite/51655] FAIL: c-c++-common/tm/memcpy-1.c (test for excess errors)

[rth at gcc dot gnu.org]

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

--- Comment #1 from Richard Henderson  2012-01-06 
21:58:47 UTC ---
Author: rth
Date: Fri Jan  6 21:58:44 2012
New Revision: 182972

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182972
Log:
PR testsuite/51655
* c-c++-common/tm/memcpy-1.c: Declare memcpy instead of
including .

Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/c-c++-common/tm/memcpy-1.c

[Bug gcov-profile/50127] [4.7 regression] g++.dg/tree-prof/partition2.C FAILs on several targets

[jakub at gcc dot gnu.org]

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

--- Comment #9 from Jakub Jelinek  2012-01-06 
22:05:06 UTC ---
Author: jakub
Date: Fri Jan  6 22:05:03 2012
New Revision: 182973

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182973
Log:
PR gcov-profile/50127
* bb-reorder.c (partition_hot_cold_basic_blocks): Call
clear_aux_for_blocks.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/bb-reorder.c

[Bug target/47333] [4.6/4.7 regression] g++.dg/lto/20091219 FAILs on Solaris 2 with SUN as

[jakub at gcc dot gnu.org]

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

--- Comment #24 from Jakub Jelinek  2012-01-06 
22:06:12 UTC ---
Author: jakub
Date: Fri Jan  6 22:06:08 2012
New Revision: 182974

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182974
Log:
PR target/47333
* cgraphunit.c (cgraph_optimize): Call output_weakrefs
before emitting functions.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/cgraphunit.c

[Bug gcov-profile/50127] [4.7 regression] g++.dg/tree-prof/partition2.C FAILs on several targets

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED

--- Comment #10 from Jakub Jelinek  2012-01-06 
22:06:59 UTC ---
Fixed.

[Bug target/47333] [4.6 regression] g++.dg/lto/20091219 FAILs on Solaris 2 with SUN as

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

Summary|[4.6/4.7 regression]|[4.6 regression]
   |g++.dg/lto/20091219 FAILs   |g++.dg/lto/20091219 FAILs
   |on Solaris 2 with SUN as|on Solaris 2 with SUN as

--- Comment #25 from Jakub Jelinek  2012-01-06 
22:07:41 UTC ---
Fixed on the trunk so far.

[Bug preprocessor/51067] cpp.texi Line Control node not mentioning #, trailing integers

[karl at freefriends dot org]

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

--- Comment #5 from karl at freefriends dot org 2012-01-06 22:43:44 UTC ---
may I suggest an xref in Line Control?  That was the obvious place to look.  To
me.

[Bug c++/47450] [4.5/4.6/4.7 Regression] Anonymous top-level classes assigned to static members fail.

[jason at gcc dot gnu.org]

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

Jason Merrill  changed:

   What|Removed |Added

   Keywords|ice-on-valid-code   |ice-on-invalid-code
 Status|NEW |ASSIGNED
 AssignedTo|unassigned at gcc dot   |jason at gcc dot gnu.org
   |gnu.org |

--- Comment #3 from Jason Merrill  2012-01-06 
22:57:01 UTC ---
This is not valid code.  The wording prohibiting a class-specifier in a type-id
was unclear in C++03, but was clarified by DR 686:

http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#686

[Bug debug/51746] Segfault in cselib_preserved_value_p

[aoliva at gcc dot gnu.org]

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

Alexandre Oliva  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED

--- Comment #8 from Alexandre Oliva  2012-01-06 
22:57:38 UTC ---
Fixed

[Bug testsuite/51655] FAIL: c-c++-common/tm/memcpy-1.c (test for excess errors)

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2012-01-06
 CC||aldyh at gcc dot gnu.org
 Ever Confirmed|0   |1

--- Comment #2 from Aldy Hernandez  2012-01-06 
23:15:33 UTC ---
fixed in trunk

[Bug testsuite/51655] FAIL: c-c++-common/tm/memcpy-1.c (test for excess errors)

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED

--- Comment #3 from Aldy Hernandez  2012-01-06 
23:16:31 UTC ---
err... closed fixed.

[Bug c++/47450] [4.5/4.6/4.7 Regression] Anonymous top-level classes assigned to static members fail.

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill  2012-01-06 
23:19:14 UTC ---
Author: jason
Date: Fri Jan  6 23:19:05 2012
New Revision: 182975

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182975
Log:
DR 686
PR c++/47450
* parser.c (cp_parser_new_expression): Set
type_definition_forbidden_message.

Added:
trunk/gcc/testsuite/g++.dg/parse/new5.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/parser.c
trunk/gcc/testsuite/ChangeLog

[Bug c++/47450] [4.5/4.6/4.7 Regression] Anonymous top-level classes assigned to static members fail.

[jason at gcc dot gnu.org]

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

Jason Merrill  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
  Known to work||4.7.0
 Resolution||FIXED
   Target Milestone|4.4.7   |4.7.0
  Known to fail|4.7.0   |

--- Comment #5 from Jason Merrill  2012-01-06 
23:25:43 UTC ---
4.7.0 will give an error about this case.  I don't think we should backport the
fix.

[Bug tree-optimization/49642] constant part of a macro not optimized away as expected due to splitter

[wschmidt at gcc dot gnu.org]

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

--- Comment #5 from William J. Schmidt  2012-01-07 
00:13:10 UTC ---
This was "solved" (or became dormant) with revision 171450 on trunk:

2011-03-25  Richard Guenther  

* passes.c (init_optimization_passes): Add FRE pass after
early SRA.

[Bug testsuite/51703] FAIL: gfortran.dg/io_real_boz_[345].f90 -O (test for excess errors)

[danglin at gcc dot gnu.org]

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

John David Anglin  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED

--- Comment #2 from John David Anglin  2012-01-07 
00:51:38 UTC ---
Fixed.

[Bug testsuite/51603] ERROR: g++.dg/cpp0x/rv-cast[34].C: syntax error in target selector "target c++11"

[danglin at gcc dot gnu.org]

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

John David Anglin  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED

--- Comment #3 from John David Anglin  2012-01-07 
00:55:46 UTC ---
Fixed.

[Bug debug/45682] missing namespace parent die when using -gdwarf-4

[ccoutant at gcc dot gnu.org]

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

Cary Coutant  changed:

   What|Removed |Added

 CC||ccoutant at gcc dot gnu.org

--- Comment #3 from Cary Coutant  2012-01-07 
01:19:07 UTC ---
I don't think Dodji's patch actually fixes the problem described here. This one
should:

http://gcc.gnu.org/ml/gcc-patches/2012-01/msg00346.html

-cary

[Bug c++/50012] [4.5/4.6/4.7 Regression] C++ front end misses -Wsign-compare warnings when extraneous parentheses are present

[ian at airs dot com]

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

--- Comment #7 from Ian Lance Taylor  2012-01-07 01:31:36 
UTC ---
Created attachment 26260
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26260
Possible patch

I did not like the first approach because I think that checking c_dialect_cxx
in the generic C family code is quite ugly.  But clearly the current approach
is problematic, and it's actually easy to implement Richi's suggestion.  This
patch is a possible approach, but it doesn't work as is.  It issues a warning
for

  if (TYPE_QUALS (type) == memfn_quals)

in cp;typeck.c.  Here memfn_quals is signed int but TYPE_QUALS, an expression
of enum values winds up unsigned.

[Bug fortran/51779] New: gcc 4.6.2 build fails on Mac OS X Lion w/Xcode 4.2, with gfortran erorr

[zippy at anl dot gov]

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

 Bug #: 51779
   Summary: gcc 4.6.2 build fails on Mac OS X Lion w/Xcode 4.2,
with gfortran erorr
Classification: Unclassified
   Product: gcc
   Version: 4.6.2
Status: UNCONFIRMED
  Severity: major
  Priority: P3
 Component: fortran
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: zi...@anl.gov


Created attachment 26261
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26261
gcc-4.6.2/build2/x86_64-apple-darwin11.2.0/libgfortran/config.log

Trying to build gcc 4.6.2 on Mac OS X Lion, with Xcode 4.2.1 installed.
Prerequisites like gmp, mpc, etc built fine. Configure step for gcc gave no
errors. Actual "make" step for gcc failed like this:


checking whether the /Users/zippy/Downloads/gcc-4.6.2/build2/./gcc/gfortran
-B/Users/zippy/Downloads/gcc-4.6.2/build2/./gcc/
-B/Users/zippy/zippy_gcc/x86_64-apple-darwin11.2.0/bin/
-B/Users/zippy/zippy_gcc/x86_64-apple-darwin11.2.0/lib/ -isystem
/Users/zippy/zippy_gcc/x86_64-apple-darwin11.2.0/include -isystem
/Users/zippy/zippy_gcc/x86_64-apple-darwin11.2.0/sys-includelinker
(/Users/zippy/Downloads/gcc-4.6.2/build2/./gcc/collect-ld) supports shared
libraries... yes
checking dynamic linker characteristics... darwin11.2.0 dyld
checking how to hardcode library paths into programs... immediate
checking whether the GNU Fortran compiler is working... no
configure: error: GNU Fortran is not working; please report a bug in
http://gcc.gnu.org/bugzilla, attaching
/Users/zippy/Downloads/gcc-4.6.2/build2/x86_64-apple-darwin11.2.0/libgfortran/config.log
make[1]: *** [configure-target-libgfortran] Error 1
make: *** [all] Error 2


Relevant libgfortran/config.log attached

[Bug libstdc++/51749] Including pollute global namespace

[nospam.kotarou.dono at gmail dot com]

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

--- Comment #3 from nospam.kotarou.dono at gmail dot com 2012-01-07 04:14:06 
UTC ---
Yes I'm new to GCC :)

If it won't be able to make it in to 4.7, will it be able to make it in to
4.7.1 or 4.8?

[Bug fortran/51779] gcc 4.6.2 build fails on Mac OS X Lion w/Xcode 4.2, with gfortran erorr

[kargl at gcc dot gnu.org]

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

kargl at gcc dot gnu.org changed:

   What|Removed |Added

 CC||kargl at gcc dot gnu.org
   Severity|major   |normal

--- Comment #1 from kargl at gcc dot gnu.org 2012-01-07 06:38:26 UTC ---
What is the complete path for the gcc sources?
What is the complete path for where you tried
to build gcc?  What is the configure command line
you used?

[Bug fortran/51779] gcc 4.6.2 build fails on Mac OS X Lion w/Xcode 4.2, with gfortran erorr

[zippy at anl dot gov]

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

--- Comment #2 from Tim Williams  2012-01-07 07:31:46 UTC 
---
(In reply to comment #1)
> What is the complete path for the gcc sources?

/Users/zippy/Downloads/gcc-4.6.2/

> What is the complete path for where you tried
> to build gcc? 

/Users/zippy/Downloads/gcc-4.6.2/build2

>  What is the configure command line
> you used?

../configure --prefix=$HOME/zippy_gcc --enable-checking=release
--with-gmp=$HOME/zippy_gcc --with-mpfr=$HOME/zippy_gcc
--with-mpc=$HOME/zippy_gcc --program-prefix=zippy-

If helpful, I was using instructions from this blog as a guide (almost
certainly I am doing/configuring something wrong---no implication that these
instructions are wrong or that the blogger is in any way responsible):

http://solarianprogrammer.com/2011/12/01/compiling-gcc-4-6-2-on-mac-osx-lion/