[Bug c/41679] internal compiler error: in loc_cmp, at var-tracking.c:2433

[jakub at gcc dot gnu dot org]

--- Comment #2 from jakub at gcc dot gnu dot org  2009-10-12 07:12 ---
Bugs regarding redhat/gcc-4_*-branch should be filed into bugzilla.redhat.com,
not here.  That said, 4.4.1-16 is quite old, first try the latest one.


-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


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

[Bug fortran/41678] Format label as second item in io control list is rejected

[dominiq at lps dot ens dot fr]

--- Comment #1 from dominiq at lps dot ens dot fr  2009-10-12 07:19 ---
The F95 standard says:

The F, E, EN, ES, and D edit descriptors specify the editing of real and
complex data. 
An input/output list item corresponding to an F, E, EN, ES, or D edit
descriptor shall be real or complex. 
  ^
   ^^
The G edit descriptor also may be used to edit real and complex data
(10.5.4.1.2).

So I think gfortran is right to reject

read(unit=2, 100) i

100 format (f10.7)

even if my reading of the "shall", is that it is not a "constraint" for the
compiler but for the user.


-- 


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

[Bug fortran/38439] I/O PD edit descriptor inconsistency

[dominiq at lps dot ens dot fr]

--- Comment #15 from dominiq at lps dot ens dot fr  2009-10-12 07:39 ---
The polyhedron test linpk.f90 now fails with:

[ibook-dhum] lin/test% linpk
 norm. resid  resid   machep x(1)  x(n)
At line 38 of file linpk.f90 (unit = 6, file = 'stdout')
Fortran runtime error: Comma required after P descriptor
(1P5d16.8)
   ^

Although this format is not explicitly allowed by F95, it is for F2003/2008:

F95 standard:

10.1.1 FORMAT statement

R1001 format-stmt is FORMAT format-specification

R1002 format-specification is ( [ format-item-list ] )

Constraint: The format-stmt shall be labeled.

Constraint: The comma used to separate format-items in a format-item-list
may be omitted as follows:

(1) Between a P edit descriptor and an immediately following F, E, EN, ES, D,
or G edit descriptor (10.6.5)

(2) Before a slash edit descriptor when the optional repeat specification is
not present (10.6.2)

(3) After a slash edit descriptor

(4) Before or after a colon edit descriptor (10.6.3)

F2003/2008 standard:

10.3 Form of a format item list

10.3.1 Syntax

R1003 format-items is format-item [ [ , ] format-item ] ...

R1004 format-item is [ r ] data-edit-desc
  or control-edit-desc
  or char-string-edit-desc
  or [ r ] ( format-items )

R1005 unlimited-format-item is * ( format-items )

R1006 r is int-literal-constant

C1002 (R1003) The optional comma shall not be omitted except

  between a P edit descriptor and an immediately following F, E, EN, ES, D, or
G edit descriptor (10.8.5), 
  possibly preceded by a repeat specification,
  

  before a slash edit descriptor when the optional repeat speci cation does
  not appear (10.8.2), after a slash edit descriptor, or

  before or after a colon edit descriptor (10.8.3)

C1003 (R1006) r shall be positive.

C1004 (R1006) A kind parameter shall not be speci ed for r .

1 The integer literal constant r is called a repeat specification.


-- 


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

[Bug target/41680] New: [4.4/4.5 Regression] ICE in trunc_int_for_mode

[jakub at gcc dot gnu dot org]

extern void baz (float);

inline bool
bar (float x)
{
  union { float f; int i; } u;
  u.f = x;
  return (u.i & 1);
}

void
foo (float *x)
{
  for (int i = 0; i < 10; i++)
{
  float f = x[i];
  if (!bar (f))  
baz (f);   
}
}

ICEs in trunc_int_for_mode at -O2/-O3.


-- 
   Summary: [4.4/4.5 Regression] ICE in trunc_int_for_mode
   Product: gcc
   Version: 4.4.1
Status: UNCONFIRMED
  Keywords: ice-on-valid-code
  Severity: major
  Priority: P3
 Component: target
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: jakub at gcc dot gnu dot org
GCC target triplet: x86_64-linux


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

[Bug target/41680] [4.4/4.5 Regression] ICE in trunc_int_for_mode

[jakub at gcc dot gnu dot org]

--- Comment #1 from jakub at gcc dot gnu dot org  2009-10-12 08:36 ---
Created an attachment (id=18786)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18786&action=view)
gcc45-pr41680.patch

Patch I'm going to bootstrap/regtest.
Note the bug seems very old, even 3.2 has it, but the testcase doesn't ICE with
g++ <= 4.3.*.


-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

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


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

[Bug target/41680] [4.4/4.5 Regression] ICE in trunc_int_for_mode

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

   Target Milestone|--- |4.4.2


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

[Bug rtl-optimization/41646] [4.3/4.4/4.5 Regression] Reload ICE due to combiner extending life time of a hard register

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

   Target Milestone|--- |4.3.5


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

[Bug target/41644] -minimal-toc not helping for toc section exceeding 64k

[sathishpy at gmail dot com]

--- Comment #6 from sathishpy at gmail dot com  2009-10-12 09:17 ---
Thanks, I will look at changing our generator to create smaller translation
unit. Meanwhile could you please confirm that -mminimal-toc option is broken
and will be fixed in one of the future releases?


-- 


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

[Bug target/41644] -minimal-toc not helping for toc section exceeding 64k

[jakub at gcc dot gnu dot org]

--- Comment #7 from jakub at gcc dot gnu dot org  2009-10-12 09:25 ---
This is not a bug in -mminimal-toc.  It is a limitation of the ppc64 code
model.


-- 


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

[Bug fortran/41044] internal compiler error: in gfc_conv_intrinsic_function

[burnus at gcc dot gnu dot org]

--- Comment #8 from burnus at gcc dot gnu dot org  2009-10-12 09:33 ---
> I have further reducd the test code to:
> idx=sum(maxloc(index(pfd%n,pfmt)))-1

Even shorter:
idx = index(pfd%n,pfmt) - 1
(Or any other one/two operator expression except of function calls; idx needs
to be a rank-1 array.)

Another issue (or the same?) is that pfd%n is seen as EXPR_VARIABLE and not as
EXPR_CONSTANT. The following vaguely related gives a segfault:

type t
  integer :: i
end type t
type(t), parameter :: a(1) = t(4)
real(a(1)%i) :: b
end

==27247== Invalid read of size 8
==27247==at 0x4C3CDD: simplify_const_ref (expr.c:1168)

simplify_const_ref (p=) at
/home/tob/projects/gcc/gcc/fortran/expr.c:1559
1559  remove_subobject_ref (p, cons);

Seemingly, the segfault is in remove_subobject_ref, called by
simplify_const_ref (and "cons" being not a valid pointer).
case REF_COMPONENT:
  cons = find_component_ref (p->value.constructor, p->ref);
  remove_subobject_ref (p, cons);


-- 


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

[Bug target/41644] -minimal-toc not helping for toc section exceeding 64k

[sathishpy at gmail dot com]

--- Comment #8 from sathishpy at gmail dot com  2009-10-12 09:46 ---
gcc man page for minimal-toc:
>>This option causes GCC to make 'only one TOC entry' for every file.  When you 
specify this option, GCC will produce code that is slower and larger but 
>>which 
>>uses extremely little TOC space. 
This is giving the impression that large number of string constants are not
stored in toc with -minimal-toc. If not, could you please met me know how this
option helps in reducing the toc size? 

thanks


-- 


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

[Bug target/41644] -minimal-toc not helping for toc section exceeding 64k

[jakub at gcc dot gnu dot org]

--- Comment #9 from jakub at gcc dot gnu dot org  2009-10-12 10:12 ---
The documentation is correct.  With -mminimal-toc you get just one entry in the
.toc per TU.  That TU's .toc entry then points into the middle of .toc1 section
chunk with TOC stuff for that TU.  And your problem is not .toc section
overflow, but that the displacements within .toc1 section for that TU are too
large (can be only signed 16 bit immediate, so for 8 byte addresses 8192
pointers).  If you have many string literals, even when you split into multiple
TUs, you'll need -mminimal-toc (otherwise .toc would overflow).  If you have
too many in one translation unit, there is at least currently no GCC option
that will allow it to be compiled on ppc64.  With the ppc64 ISA gcc in theory
could do something similar to what SPARC does with -fPIC (unlike -fpic), where
each toc load/store would instead of ld reg,someth...@toc(2) be lis
tempreg,someth...@toc@hi; addis tempreg,tempreg,2; ld
reg,someth...@toc@l(tempreg).  But that would be something completely different
from -mminimal-toc.


-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||amodra at gcc dot gnu dot
   ||org


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

[Bug target/41644] -minimal-toc not helping for toc section exceeding 64k

[sathishpy at gmail dot com]

--- Comment #10 from sathishpy at gmail dot com  2009-10-12 11:02 ---
Thanks Jakub, this is very useful information.


-- 


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

[Bug lto/41681] New: Feature request half way option between dynamic and static linking.

[oiaohm at gmail dot com]

What brought this into my mind is this new feature in 2.5.0

"The new -static-libstdc++ option directs g++ to link the C++ library
statically, even if the default would normally be to link it dynamically."

What is need here is a half way.  If code is solvable static link that part but
if function is being include whole dynamic link.  So getting the memory saving
of dynamic and the speed advantages that static can offer.  Of course usable
with more libs than libstdc++.


-- 
   Summary: Feature request half way option between dynamic and
static linking.
   Product: gcc
   Version: 4.5.0
Status: UNCONFIRMED
  Severity: enhancement
  Priority: P3
 Component: lto
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: oiaohm at gmail dot com


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

[Bug middle-end/41682] New: Need for attributes to tag code blocks so optimiser can remove more code.

[oiaohm at gmail dot com]

Ok this is a really poor example bare with me.
FILE * f;
char * c;
f = fopen(file,"r")
c = fgetc(f)
fclose(f);

Let say this is a block of code inside a program c and f are never used
anywhere else.  Currently optimizer has no way to know that I know of that this
code can be junked if if its not used.  Programmer need to be able to place
markers to this effect.   One place were this could see some size reductions is
in crt0.o with processing of command line.  If the output is not used why do
the processing.

I hope I have assigned this to the right part.


-- 
   Summary: Need for attributes to tag code blocks so optimiser can
remove more code.
   Product: gcc
   Version: 4.5.0
Status: UNCONFIRMED
  Severity: enhancement
  Priority: P3
 Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: oiaohm at gmail dot com


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

[Bug debug/40521] [4.4/4.5 Regression] -g causes GCC to generate .eh_frame

[sebastian dot huber at embedded-brains dot de]

--- Comment #15 from sebastian dot huber at embedded-brains dot de  
2009-10-12 11:36 ---
(In reply to comment #13)
> Thanks for clarifying the !eh_personality_libfunc requirement. I'll do some
> experiments to see which solution works best in 4.4.
> 

Is the target milestone 4.4.2 still true? In 4.4.2 20091008 the problem is
still present.


-- 


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

[Bug target/41156] [4.4/4.5 Regression] zlib segfault in inflate_table() compiled w/ -O -msse2 ftree-vectorize

[mahatma at eu dot by]

--- Comment #23 from mahatma at eu dot by  2009-10-12 11:40 ---
(In reply to comment #22)

> We can't check Seamonkey into gcc/testsuite. We need something
> much smaller. 

I understand this. But even if I will use your testsuite addons (I unsure in
it, Gentoo "USE=test emerge sys-deve/gcc" on unpatched gcc & Celeron don't
breaks), unknown bug from at least old *-3.patch will be present. This is like
communicative problem, but problem...

> If you think adding -mstackrealign to your build is an acceptable solution,
> we can close this bug. Otherwise, please test my latest gcc 4.4 patch for
> PR 40838.  Thanks.

Your patch, by idea, more accurate - if now realign stack in ALL requred
places. But also it unmotivated realign with AMDs too. I alredy ask: "Why
-mstackrealign may be bad?". This is dark place. In manpage "-mstackrealign"
described against SSE aligning problem. This is like wellknown solution, but
unused wide. Why? What side-effects of "-mstackrealign"? Perfomance?
Compatibility? Just ABI standard? Related from this "-mstackrealign" may be
hardcoded for SSE in simple way - just "SSE -> -mstackrealign" or overcoded
patch to disable -mstackrealign for AMDs. Or unuse whole. I will not fast
testing your patch on old Celeron (after few days) to close this theme too, but
for final solution IMHO information about -mstackrealign [history] required.


-- 


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

[Bug c++/41570] [4.5 Regression] [c++0x] ICE with -g and variadic templates

[dodji at gcc dot gnu dot org]

--- Comment #3 from dodji at gcc dot gnu dot org  2009-10-12 11:57 ---
Subject: Bug 41570

Author: dodji
Date: Mon Oct 12 11:57:30 2009
New Revision: 152663

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152663
Log:
Candidate fix for PR c++/41570

gcc/ChangeLog:
PR c++/41570
* gcc/dwarf2out.c (template_parameter_pack_die,
gen_formal_parameter_pack_die): Use add_name_and_src_coords_attributes.

gcc/testsuite/ChangeLog:
PR c++/41570
* gcc/testsuite/g++.dg/debug/dwarf2/template-params-7.C: New test.

Added:
trunk/gcc/testsuite/g++.dg/debug/dwarf2/template-params-7.C
Modified:
trunk/gcc/ChangeLog
trunk/gcc/dwarf2out.c
trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/41570] [4.5 Regression] [c++0x] ICE with -g and variadic templates

[dodji at gcc dot gnu dot org]

--- Comment #4 from dodji at gcc dot gnu dot org  2009-10-12 12:16 ---
Fixed in 4.5.


-- 

dodji at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug fortran/41678] Format label as second item in io control list is rejected

[jvdelisle at gcc dot gnu dot org]

--- Comment #2 from jvdelisle at gcc dot gnu dot org  2009-10-12 12:28 
---
In the original test case:

real :: i

The part that is rejected incorrectly is the format label.  


-- 


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

[Bug debug/40521] [4.4/4.5 Regression] -g causes GCC to generate .eh_frame

[mikpe at it dot uu dot se]

--- Comment #16 from mikpe at it dot uu dot se  2009-10-12 12:33 ---
(In reply to comment #15)
> Is the target milestone 4.4.2 still true? In 4.4.2 20091008 the problem is
> still present.

I have a patch for 4.4 which bootstraps and passes regression testing on
i686-linux and powerpc64-linux. It also bootstraps on armv5tel-linux-gnueabi
(the platform for which I want this fix) with Ramana's workaround reverted, but
the test suite is not yet finished; it should be done around midnight today. I
plan to submit the patch tomorrow.


-- 


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

[Bug debug/40521] [4.4/4.5 Regression] -g causes GCC to generate .eh_frame

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

   Target Milestone|4.4.2   |4.4.3


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

[Bug fortran/38439] I/O PD edit descriptor inconsistency

[jvdelisle at gcc dot gnu dot org]

--- Comment #16 from jvdelisle at gcc dot gnu dot org  2009-10-12 12:42 
---
Interestingly, I removed this previously:

  switch (t)
 {
-case FMT_P:
-  t = format_lex (fmt);
-  if (t == FMT_POSINT)
-   {
- fmt->error = "Repeat count cannot follow P descriptor";
- goto finished;
-   }
-
-  fmt->saved_token = t;
-  get_fnode (fmt, &head, &tail, FMT_P);
-
-  goto optional_comma;
-

It was dead code and wrong.  Lets open a new PR.


-- 


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

[Bug fortran/41678] Format label as second item in io control list is rejected

[dominiq at lps dot ens dot fr]

--- Comment #3 from dominiq at lps dot ens dot fr  2009-10-12 12:46 ---
> In the original test case:
>
> real :: i
>
> The part that is rejected incorrectly is the format label.  

I assumed i was an integer. F95 says:

Constraint: If the optional characters FMT= are omitted from the format
specifier, the format
specifier shall be the second item in the control information list and the
first item shall be
the unit specifier without the optional characters UNIT=.

The formulation of F2003/2008 is les explicit, but probably says the same
thing:

C918 (R913) If format appears without a preceding FMT=, it shall be the second
item in the io-control-spec-list and the first item shall be io-unit.

So I think gfortran is right to reject (unit=2, 100), it should be (2, 100) or
(unit=2, fmt=100).


-- 


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

[Bug libfortran/41683] New: [4.5 Regression] F2003 Repeat specification after P descriptor rejected

[jvdelisle at gcc dot gnu dot org]

The polyhedron test linpk.f90 now fails with:

[ibook-dhum] lin/test% linpk
 norm. resid  resid   machep x(1)  x(n)
At line 38 of file linpk.f90 (unit = 6, file = 'stdout')
Fortran runtime error: Comma required after P descriptor
(1P5d16.8)
   ^

Although this format is not explicitly allowed by F95, it is for F2003/2008.

gfortran allowed this in F95 previously.  Should be tied to -std= or at least
-pedantic.


-- 
   Summary: [4.5 Regression] F2003 Repeat specification after P
descriptor rejected
   Product: gcc
   Version: 4.5.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: libfortran
AssignedTo: jvdelisle at gcc dot gnu dot org
ReportedBy: jvdelisle at gcc dot gnu dot org


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

[Bug middle-end/41682] Need for attributes to tag code blocks so optimiser can remove more code.

[rguenth at gcc dot gnu dot org]

--- Comment #1 from rguenth at gcc dot gnu dot org  2009-10-12 12:48 ---
Hm?  This code has side-effects, so it cannot be safely removed by a compiler.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


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

[Bug lto/41681] Feature request half way option between dynamic and static linking.

[rguenth at gcc dot gnu dot org]

--- Comment #1 from rguenth at gcc dot gnu dot org  2009-10-12 12:49 ---
I cannot parse what you are trying to say.


-- 


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

[Bug fortran/41678] Format label as second item in io control list is rejected

[jvdelisle at gcc dot gnu dot org]

--- Comment #4 from jvdelisle at gcc dot gnu dot org  2009-10-12 12:52 
---
ahh, I was looking at the F2003 Standard which is not as clear.  However, is
this relaxation in F2003 done on purpose?  I found the rejected code in the IBM
compiler manual as an example.


-- 


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

[Bug fortran/41678] Format label as second item in io control list is rejected

[dominiq at lps dot ens dot fr]

--- Comment #5 from dominiq at lps dot ens dot fr  2009-10-12 13:00 ---
I think the problem is here (around line 706 in the last commit):

  if (t == FMT_F || t == FMT_EN || t == FMT_ES || t == FMT_D
  || t == FMT_G || t == FMT_E)
{
  repeat = 1;
  goto data_desc;
}

  if (t != FMT_COMMA && t != FMT_RPAREN && t != FMT_SLASH)
{
  fmt->error = "Comma required after P descriptor";
  goto finished;
}

There is not provision for a repeat count before D, E, EN, ES, F or G
descriptors without comma before it.


-- 


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

[Bug fortran/41678] Format label as second item in io control list is rejected

[dominiq at lps dot ens dot fr]

--- Comment #6 from dominiq at lps dot ens dot fr  2009-10-12 13:31 ---
Comment #5 was intended for pr38439.

> ahh, I was looking at the F2003 Standard which is not as clear.  However, is
> this relaxation in F2003 done on purpose?  I found the rejected code in the 
> IBM
> compiler manual as an example.

R913 io-control-spec is [ UNIT = ] io-unit
or [ FMT = ] format
...
... the first item shall be io-unit.

My reading is that io-unit is a number without "unit=" before it, but I am not
a lawyer! Note that my xlf manual (version3, release 2, october 1994,
SC09-1611-01) quotes the f95 wording.


-- 


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

[Bug fortran/38439] I/O PD edit descriptor inconsistency

[dominiq at lps dot ens dot fr]

--- Comment #17 from dominiq at lps dot ens dot fr  2009-10-12 13:31 ---
I think the problem is here (around line 706 in the last commit):

  if (t == FMT_F || t == FMT_EN || t == FMT_ES || t == FMT_D
  || t == FMT_G || t == FMT_E)
{
  repeat = 1;
  goto data_desc;
}

  if (t != FMT_COMMA && t != FMT_RPAREN && t != FMT_SLASH)
{
  fmt->error = "Comma required after P descriptor";
  goto finished;
}

There is not provision for a repeat count before D, E, EN, ES, F or G
descriptors without comma before it.


-- 


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

[Bug target/41680] [4.4/4.5 Regression] ICE in trunc_int_for_mode

[jakub at gcc dot gnu dot org]

--- Comment #2 from jakub at gcc dot gnu dot org  2009-10-12 13:35 ---
Subject: Bug 41680

Author: jakub
Date: Mon Oct 12 13:35:03 2009
New Revision: 152665

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152665
Log:
PR target/41680
* config/i386/i386.md (split after *testqi_ext_3_rex64): Only narrow
paradoxical subregs to prevent partial register stalls if the inner
mode is integer mode.

* g++.dg/torture/pr41680.C: New test.

Added:
trunk/gcc/testsuite/g++.dg/torture/pr41680.C
Modified:
trunk/gcc/ChangeLog
trunk/gcc/config/i386/i386.md
trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/41646] [4.3/4.4/4.5 Regression] Reload ICE due to combiner extending life time of a hard register

[jakub at gcc dot gnu dot org]

--- Comment #4 from jakub at gcc dot gnu dot org  2009-10-12 13:38 ---
Subject: Bug 41646

Author: jakub
Date: Mon Oct 12 13:38:29 2009
New Revision: 152666

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152666
Log:
PR rtl-optimization/41646
* calls.c (expand_call): For BLKmode types returned in registers
avoid likely spilled hard regs in copy_blkmode_from_reg generated
insns.

* gcc.c-torture/compile/pr41646.c: New test.

Added:
branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr41646.c
Modified:
branches/gcc-4_4-branch/gcc/ChangeLog
branches/gcc-4_4-branch/gcc/calls.c
branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug libfortran/41683] [4.5 Regression] F2003 Repeat specification after P descriptor rejected

[jvdelisle at gcc dot gnu dot org]

--- Comment #1 from jvdelisle at gcc dot gnu dot org  2009-10-12 13:39 
---
Possible patch untested:

Index: io/format.c
===
--- io/format.c (revision 152657)
+++ io/format.c (working copy)
@@ -706,7 +706,8 @@
  goto data_desc;
}

-  if (t != FMT_COMMA && t != FMT_RPAREN && t != FMT_SLASH)
+  if (t != FMT_COMMA && t != FMT_RPAREN && t != FMT_SLASH
+ && t != FMT_POSINT)
{
  fmt->error = "Comma required after P descriptor";
  goto finished;


-- 

jvdelisle at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2009-10-12 13:39:43
   date||


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

[Bug target/41680] [4.4/4.5 Regression] ICE in trunc_int_for_mode

[jakub at gcc dot gnu dot org]

--- Comment #3 from jakub at gcc dot gnu dot org  2009-10-12 13:40 ---
Subject: Bug 41680

Author: jakub
Date: Mon Oct 12 13:40:17 2009
New Revision: 152667

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152667
Log:
PR target/41680
* config/i386/i386.md (split after *testqi_ext_3_rex64): Only narrow
paradoxical subregs to prevent partial register stalls if the inner
mode is integer mode.

* g++.dg/torture/pr41680.C: New test.

Added:
branches/gcc-4_4-branch/gcc/testsuite/g++.dg/torture/pr41680.C
Modified:
branches/gcc-4_4-branch/gcc/ChangeLog
branches/gcc-4_4-branch/gcc/config/i386/i386.md
branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug fortran/38439] I/O PD edit descriptor inconsistency

[jvdelisle at gcc dot gnu dot org]

--- Comment #18 from jvdelisle at gcc dot gnu dot org  2009-10-12 13:42 
---
See PR 41683 and continue there.


-- 


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

[Bug fortran/41656] [OOP] Unresolved GENERIC

[sfilippone at uniroma2 dot it]

--- Comment #4 from sfilippone at uniroma2 dot it  2009-10-12 13:44 ---
(In reply to comment #3)
> (In reply to comment #2)
> 
The latest patch from Janus cures the SOURCE= problem. 
Unfortunately a simple extension of test-der5.f03 does not show the ICE; back
to the cutting board (to find a trimmed-down test case...)


-- 


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

[Bug target/41680] [4.4/4.5 Regression] ICE in trunc_int_for_mode

[jakub at gcc dot gnu dot org]

--- Comment #4 from jakub at gcc dot gnu dot org  2009-10-12 13:53 ---
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug target/41684] New: [4.4/4.5 regression] binutils testsuite failures when built with 4.4/4.5

[doko at ubuntu dot com]

when binutils 2.20 branch is built with gcc-4.4 branch or trunk, I see the
following test failures in the ld testsuite. Checked with gcc-4.4 from
debian/testing, debian/unstable and ubuntu/karmic, and gcc-snapshot (4.5
20091010) from debian/unstable.

Running
/home/doko/tmp/binutils-2.19.91.20091006/ld/testsuite/ld-elfvsb/elfvsb.exp ...
FAIL: visibility (hidden_normal) (non PIC)
FAIL: visibility (hidden_normal) (non PIC, load offset)
FAIL: visibility (normal) (non PIC)
FAIL: visibility (normal) (non PIC, load offset)
Running
/home/doko/tmp/binutils-2.19.91.20091006/ld/testsuite/ld-shared/shared.exp ...
FAIL: shared (non PIC)
FAIL: shared (non PIC, load offset)
FAIL: shared (PIC main, non PIC so)

test failures are:

FAIL: visibility (hidden_normal) (non PIC)
22c22
< main_visibility_checkvar () == 0
---
> main_visibility_checkvar () == 1

FAIL: visibility (hidden_normal) (non PIC, load offset)
22c22
< main_visibility_checkvar () == 0
---
> main_visibility_checkvar () == 1

FAIL: visibility (normal) (non PIC)
22c22
< main_visibility_checkvar () == 0
---
> main_visibility_checkvar () == 1

FAIL: visibility (normal) (non PIC, load offset)
22c22
< main_visibility_checkvar () == 0
---
> main_visibility_checkvar () == 1

Running
/home/doko/tmp/binutils-2.19.91.20091006/ld/testsuite/ld-shared/shared.exp ...
FAIL: shared (non PIC)
5c5
< shlib_overriddenvar () == -1
---
> shlib_overriddenvar () == 2

FAIL: shared (non PIC, load offset)
5c5
< shlib_overriddenvar () == -1
---
> shlib_overriddenvar () == 2

FAIL: shared (PIC main, non PIC so)
5c5
< shlib_overriddenvar () == -1
---
> shlib_overriddenvar () == 2


-- 
   Summary: [4.4/4.5 regression] binutils testsuite failures when
built with 4.4/4.5
   Product: gcc
   Version: 4.4.2
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: target
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: doko at ubuntu dot com
GCC target triplet: arm-linux-gnueabi


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

[Bug rtl-optimization/41646] [4.3 Regression] Reload ICE due to combiner extending life time of a hard register

[jakub at gcc dot gnu dot org]

--- Comment #5 from jakub at gcc dot gnu dot org  2009-10-12 13:54 ---
Fixed in 4.4/4.5 for now.


-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|jakub at gcc dot gnu dot org|unassigned at gcc dot gnu
   ||dot org
 Status|ASSIGNED|UNCONFIRMED
Summary|[4.3/4.4/4.5 Regression]|[4.3 Regression] Reload ICE
   |Reload ICE due to combiner  |due to combiner extending
   |extending life time of a|life time of a hard register
   |hard register   |


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

[Bug target/41156] [4.4/4.5 Regression] zlib segfault in inflate_table() compiled w/ -O -msse2 ftree-vectorize

[hjl dot tools at gmail dot com]

--- Comment #24 from hjl dot tools at gmail dot com  2009-10-12 13:59 
---
(In reply to comment #23)
> > If you think adding -mstackrealign to your build is an acceptable solution,
> > we can close this bug. Otherwise, please test my latest gcc 4.4 patch for
> > PR 40838.  Thanks.
> 
> Your patch, by idea, more accurate - if now realign stack in ALL requred
> places. But also it unmotivated realign with AMDs too. I alredy ask: "Why
> -mstackrealign may be bad?". This is dark place. In manpage "-mstackrealign"
> described against SSE aligning problem. This is like wellknown solution, but
> unused wide. Why? What side-effects of "-mstackrealign"? Perfomance?

Please see PR 40838.


-- 


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

[Bug fortran/41685] [OOP] internal compiler error: verify_flow_info failed

[sfilippone at uniroma2 dot it]

--- Comment #1 from sfilippone at uniroma2 dot it  2009-10-12 14:44 ---
Created an attachment (id=18787)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18787&action=view)
test case--file 1 (see comments above)


-- 


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

[Bug fortran/41685] [OOP] internal compiler error: verify_flow_info failed

[sfilippone at uniroma2 dot it]

--- Comment #2 from sfilippone at uniroma2 dot it  2009-10-12 14:44 ---
Created an attachment (id=18788)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18788&action=view)
test case--file 2 (see comments above)


-- 


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

[Bug fortran/41685] [OOP] internal compiler error: verify_flow_info failed

[sfilippone at uniroma2 dot it]

--- Comment #5 from sfilippone at uniroma2 dot it  2009-10-12 14:45 ---
Created an attachment (id=18791)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18791&action=view)
test case--file5 (see comments above)


-- 


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

[Bug fortran/41685] [OOP] internal compiler error: verify_flow_info failed

[sfilippone at uniroma2 dot it]

--- Comment #4 from sfilippone at uniroma2 dot it  2009-10-12 14:45 ---
Created an attachment (id=18790)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18790&action=view)
t


-- 


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

[Bug fortran/41685] New: [OOP] internal compiler error: verify_flow_info failed

[sfilippone at uniroma2 dot it]

The attached source code(s) produce the subject error. 
Scenario: gfortran with provisional patches for PR41656 and PR 41581 applied. 
---
[sfili...@localhost T3]$ gfortran -c const_mod.f03 base_mat_mod.f03
s_base_mat_mod.f03 s_csr_mat_mod.f03 s_mat_mod.f03 
s_mat_mod.f03: In function ‘s_sizeof’:
s_mat_mod.f03:47:0: error: case labels not sorted: 
case 1: is greater than case 1: but comes before it.
s_mat_mod.f03:47:0: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.

Interestingly enough if I glue the files together the ICE disappears 
(which is inconvenient for testing).
---
[sfili...@localhost T3]$ cat  const_mod.f03 base_mat_mod.f03 s_base_mat_mod.f03
s_csr_mat_mod.f03 s_mat_mod.f03  >test-der6.f03 
[sfili...@localhost T3]$ gfortran -c test-der6.f03 
[sfili...@localhost T3]$ /bin/rm *mod *o
[sfili...@localhost T3]$ gfortran -c test-der6.f03 
[sfili...@localhost T3]$ 
---


-- 
   Summary: [OOP]  internal compiler error: verify_flow_info failed
   Product: gcc
   Version: 4.5.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: sfilippone at uniroma2 dot it
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug fortran/41685] [OOP] internal compiler error: verify_flow_info failed

[sfilippone at uniroma2 dot it]

--- Comment #3 from sfilippone at uniroma2 dot it  2009-10-12 14:45 ---
Created an attachment (id=18789)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18789&action=view)
test case--file 3 (see comments above)


-- 


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

[Bug testsuite/41659] FAIL: gcc.dg/lto/20090914-2 c_lto_20090914-2_0.o assemble, -O0 -fwhopr

[janis at gcc dot gnu dot org]

--- Comment #2 from janis at gcc dot gnu dot org  2009-10-12 16:06 ---
It doesn't have the desired or expected effect, just the documented effect. 
>From  the GCC internals manual section 6.4.6 Support for testing link-time
optimizations: "Unlike dg-do, dg-lto-do does not support an optional `target'
or `xfail' list. Use dg-skip-if, dg-xfail-if, or dg-xfail-run-if."

That's rather obscure.  For now I'll make it an error and then later maybe I'll
have time to support target and xfail for dg-lto-do.


-- 


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

[Bug fortran/41685] [OOP] internal compiler error: verify_flow_info failed

[janus at gcc dot gnu dot org]

--- Comment #6 from janus at gcc dot gnu dot org  2009-10-12 16:40 ---
(In reply to comment #0)
> Interestingly enough if I glue the files together the ICE disappears 
> (which is inconvenient for testing).

Hm, that sounds curiously like it may be connected to PR41583 (which was fixed
in r152640). Which revision are you using?


-- 


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

[Bug testsuite/41659] FAIL: gcc.dg/lto/20090914-2 c_lto_20090914-2_0.o assemble, -O0 -fwhopr

[janis at gcc dot gnu dot org]

--- Comment #3 from janis at gcc dot gnu dot org  2009-10-12 17:13 ---
Subject: Bug 41659

Author: janis
Date: Mon Oct 12 17:13:41 2009
New Revision: 152671

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152671
Log:
PR testsuite/41659
* gcc.dg/lto/20090914-2.c: Use dg-skip-if to skip test.
* lib/lto.exp (lto-get-options-main): Report error for using "target"
or "xfail" with dg-lto-dg.

Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.dg/lto/20090914-2_0.c
trunk/gcc/testsuite/lib/lto.exp


-- 


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

[Bug target/26515] peephole2 causes unrecognized insn, zero_extending non-general register

[hp at gcc dot gnu dot org]

--- Comment #4 from hp at gcc dot gnu dot org  2009-10-12 17:20 ---
Subject: Bug 26515

Author: hp
Date: Mon Oct 12 17:19:56 2009
New Revision: 152673

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152673
Log:
PR target/26515
* config/cris/cris.md (andu): Check that operand 1 is one of the
general registers.  Fix typo in head comment.

Modified:
branches/gcc-4_3-branch/gcc/ChangeLog
branches/gcc-4_3-branch/gcc/config/cris/cris.md


-- 


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

[Bug target/26515] peephole2 causes unrecognized insn, zero_extending non-general register

[hp at gcc dot gnu dot org]

--- Comment #5 from hp at gcc dot gnu dot org  2009-10-12 17:23 ---
Subject: Bug 26515

Author: hp
Date: Mon Oct 12 17:22:57 2009
New Revision: 152674

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152674
Log:
PR target/26515
* gcc.dg/torture/pr26515.c: New test.

Added:
branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/torture/pr26515.c
Modified:
branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug ada/41434] coldfire ACATS failures

[joel at gcc dot gnu dot org]

--- Comment #4 from joel at gcc dot gnu dot org  2009-10-12 17:25 ---
I have tracked the failure down to the %fp being corrupted because the size of
pthread_mutexattr_t has changed in RTEMS and the Ada binding is wrong.  I have
no idea why this didn't impact other ports unless the stack alignment just let
us get lucky.

I am testing a fix now.


-- 


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

[Bug tree-optimization/41661] [4.5 Regression] ICE due to IPCP trying to create/fold a REAL typed comparision

[jamborm at gcc dot gnu dot org]

--- Comment #3 from jamborm at gcc dot gnu dot org  2009-10-12 17:34 ---
Proposed patch: http://gcc.gnu.org/ml/gcc-patches/2009-10/msg00771.html


-- 


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

[Bug target/26515] peephole2 causes unrecognized insn, zero_extending non-general register

[hp at gcc dot gnu dot org]

--- Comment #6 from hp at gcc dot gnu dot org  2009-10-12 17:38 ---
Subject: Bug 26515

Author: hp
Date: Mon Oct 12 17:37:48 2009
New Revision: 152676

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152676
Log:
PR target/26515
* config/cris/cris.md (andu): Check that operand 1 is one of the
general registers.  Fix typo in head comment.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/config/cris/cris.md


-- 


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

[Bug fortran/41685] [OOP] internal compiler error: verify_flow_info failed

[dominiq at lps dot ens dot fr]

--- Comment #7 from dominiq at lps dot ens dot fr  2009-10-12 17:38 ---
Works for me at revision pr152662 and with the patches for pr41629 and pr41656
(latest avatars).


-- 


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

[Bug target/26515] peephole2 causes unrecognized insn, zero_extending non-general register

[hp at gcc dot gnu dot org]

--- Comment #7 from hp at gcc dot gnu dot org  2009-10-12 17:40 ---
Subject: Bug 26515

Author: hp
Date: Mon Oct 12 17:40:08 2009
New Revision: 152677

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152677
Log:
PR target/26515
* gcc.dg/torture/pr26515.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/torture/pr26515.c
Modified:
trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug target/26515] peephole2 causes unrecognized insn, zero_extending non-general register

[hp at gcc dot gnu dot org]

--- Comment #8 from hp at gcc dot gnu dot org  2009-10-12 17:59 ---
Subject: Bug 26515

Author: hp
Date: Mon Oct 12 17:59:16 2009
New Revision: 152679

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152679
Log:
PR target/26515
* config/cris/cris.md (andu): Check that operand 1 is one of the
general registers.  Fix typo in head comment.

Modified:
branches/gcc-4_4-branch/gcc/ChangeLog
branches/gcc-4_4-branch/gcc/config/cris/cris.md


-- 


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

[Bug tree-optimization/41497] [4.5 Regression] apparent integer wrong code bug

[ebotcazou at gcc dot gnu dot org]

--- Comment #7 from ebotcazou at gcc dot gnu dot org  2009-10-12 17:59 
---
> It is caused by revision 147716:
> 
> http://gcc.gnu.org/ml/gcc-cvs/2009-05/msg00693.html

Yep, but it's Richard's fault. ;-)  The bug is exposed by the change requested
in http://gcc.gnu.org/ml/gcc-patches/2009-05/msg01227.html so I won't go beyond
suggesting the following partial reversion

Index: tree-scalar-evolution.c
===
--- tree-scalar-evolution.c (revision 152647)
+++ tree-scalar-evolution.c (working copy)
@@ -1159,7 +1159,7 @@ follow_ssa_edge_expr (struct loop *loop,

   switch (code)
 {
-CASE_CONVERT:
+case NOP_EXPR:
   /* This assignment is under the form "a_1 = (cast) rhs.  */
   res = follow_ssa_edge_expr (loop, at_stmt, TREE_OPERAND (expr, 0),
  halting_phi, evolution_of_loop, limit);
@@ -1222,7 +1222,7 @@ follow_ssa_edge_in_rhs (struct loop *loo

   switch (code)
 {
-CASE_CONVERT:
+case NOP_EXPR:
   /* This assignment is under the form "a_1 = (cast) rhs.  */
   res = follow_ssa_edge_expr (loop, stmt, gimple_assign_rhs1 (stmt),
  halting_phi, evolution_of_loop, limit);

But I also think that the real problem is elsewhere.


-- 


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

[Bug target/26515] peephole2 causes unrecognized insn, zero_extending non-general register

[hp at gcc dot gnu dot org]

--- Comment #9 from hp at gcc dot gnu dot org  2009-10-12 18:00 ---
Subject: Bug 26515

Author: hp
Date: Mon Oct 12 18:00:15 2009
New Revision: 152680

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152680
Log:
PR target/26515
* gcc.dg/torture/pr26515.c: New test.

Added:
branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/torture/pr26515.c
Modified:
branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug target/26515] peephole2 causes unrecognized insn, zero_extending non-general register

[hp at gcc dot gnu dot org]

--- Comment #10 from hp at gcc dot gnu dot org  2009-10-12 18:14 ---
Fixed; .  Sorry, the
4.2-branch is closed, but the patch for 4.3 should apply for local needs.


-- 

hp at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.3.6


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

[Bug debug/41616] Variables promoted to Gimple registers by aliasing are not getting debug statements.

[aoliva at gcc dot gnu dot org]

--- Comment #4 from aoliva at gcc dot gnu dot org  2009-10-12 18:22 ---
Fixed.


-- 

aoliva at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||aoliva at gcc dot gnu dot
   ||org
 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED


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

[Bug other/41338] High memory consumption when compiling with -O3 -g

[aoliva at gcc dot gnu dot org]

--- Comment #4 from aoliva at gcc dot gnu dot org  2009-10-12 18:59 ---
Subject: Bug 41338

Author: aoliva
Date: Mon Oct 12 18:58:38 2009
New Revision: 152681

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152681
Log:
gcc/ChangeLog:
PR debug/41343
PR debug/41447
PR debug/41264
PR debug/41338
* tree.def (DEBUG_EXPR_DECL): New.
* rtl.def (DEBUG_EXPR): New.
* gengtype.c (adjust_field_rtx_def): Handle it.
* tree-ssa.c (propagate_var_def_into_debug_stmts): Rename to...
(insert_debug_temp_for_var_def): ... this.  Drop support for
moving.  Take iterator for def stmt; insert debug stmt before it.
Scan early for use count and kind in debug stmts.
(propagate_defs_into_debug_stmts): Rename to...
(insert_debug_temps_for_defs): ... this.  Likewise.
* tree.h (DEBUG_TEMP_UID): New.
* tree.c (next_debug_decl_uid): New.
(make_node_stat): Count debug decls separately.
(copy_node_stat): Likewise.
* cfgexpand.c (expand_debug_expr): Handle DEBUG_EXPR_DECL.
* var-tracking.c (dv_is_decl_p): Recognize it.
(VALUE_RECURSED_INTO): Apply to DEBUG_EXPRs too.
(track_expr_p): Track expanded DEBUG_EXPR_DECLs.
(vt_expand_loc_callback): Expand DEBUG_EXPRs.
(emit_note_insn_var_location): Don't emit notes for DEBUG_EXPR_DECLs.
* cselib.c (rtx_equal_for_cselib_p): Handle DEBUG_EXPR.
(cselib_hash_rtx): Likewise.
(cselib_expand_value_rtx_1): Use callback for DEBUG_EXPR.
* tree-ssa-operands.c (get_expr_operands): Skip DEBUG_EXPR_DECLs in
debug bind stmts.
* emit-rtl.c (verify_rtx_sharing): Handle DEBUG_EXPR and VALUE.
(copy_rtx_if_shared_1, reset_used_flags, set_used_flags): Likewise.
* rtl.c (copy_rtx): Likewise.
(rtx_equal_p_cb, rtx_equal_p): Handle DEBUG_EXPR.
* print-rtl.c (print_rtx): Likewise.
* sched-vis.c (print_value): Likewise.
(print_insn): Handle DEBUG_EXPR_DECL.
* tree-dump.c (dequeue_and_dump): Likewise.
* tree-pretty-print.c (dump_decl_name, dump_generic_node): Likewise.
* gimple-iterator (gsi_replace): Check for same lhs.
(gsi_remove): Insert debug temps.
* tree-ssa-loop-im.c (rewrite_reciprocal): Replace with same lhs.
(move_computations_stmt): Drop explicit propagation into debug stmts.
(rewrite_bittest): Likewise.  Use gsi_remove for propagation.
* tree-ssa-reassoc.c (rewrite_expr_tree, linearize_expr): Likewise.
* tree-ssa-sink.c (statement_sink_location): Likewise.
* tree-ssa-forwprop (forward_propagate_addr_expr): Likewise.
* tree-ssanames.c (release_ssa_name): Adjust for rename.
* tree-flow.h: Likewise.
* tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Don't mark
debug temps without values.
(eliminate_unnecessary_stmts): Don't discard just-inserted
debug stmts.
gcc/testsuite/ChangeLog:
PR debug/41343
PR debug/41447
PR debug/41264
PR debug/41338
* gcc.dg/guality/pr41447-1.c: New.
* gcc.dg/debug/pr41264-1.c: New.
* gcc.dg/debug/pr41343-1.c: New.

Added:
trunk/gcc/testsuite/gcc.dg/debug/pr41264-1.c
trunk/gcc/testsuite/gcc.dg/debug/pr41343-1.c
trunk/gcc/testsuite/gcc.dg/guality/pr41447-1.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/cfgexpand.c
trunk/gcc/cselib.c
trunk/gcc/emit-rtl.c
trunk/gcc/gengtype.c
trunk/gcc/gimple-iterator.c
trunk/gcc/print-rtl.c
trunk/gcc/rtl.c
trunk/gcc/rtl.def
trunk/gcc/sched-vis.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-dump.c
trunk/gcc/tree-flow.h
trunk/gcc/tree-pretty-print.c
trunk/gcc/tree-ssa-dce.c
trunk/gcc/tree-ssa-forwprop.c
trunk/gcc/tree-ssa-loop-im.c
trunk/gcc/tree-ssa-operands.c
trunk/gcc/tree-ssa-reassoc.c
trunk/gcc/tree-ssa-sink.c
trunk/gcc/tree-ssa.c
trunk/gcc/tree-ssanames.c
trunk/gcc/tree.c
trunk/gcc/tree.def
trunk/gcc/tree.h
trunk/gcc/var-tracking.c


-- 


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

[Bug debug/41447] Wrong debug with VTA on temporaries initialized from memory variable

[aoliva at gcc dot gnu dot org]

--- Comment #3 from aoliva at gcc dot gnu dot org  2009-10-12 18:59 ---
Subject: Bug 41447

Author: aoliva
Date: Mon Oct 12 18:58:38 2009
New Revision: 152681

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152681
Log:
gcc/ChangeLog:
PR debug/41343
PR debug/41447
PR debug/41264
PR debug/41338
* tree.def (DEBUG_EXPR_DECL): New.
* rtl.def (DEBUG_EXPR): New.
* gengtype.c (adjust_field_rtx_def): Handle it.
* tree-ssa.c (propagate_var_def_into_debug_stmts): Rename to...
(insert_debug_temp_for_var_def): ... this.  Drop support for
moving.  Take iterator for def stmt; insert debug stmt before it.
Scan early for use count and kind in debug stmts.
(propagate_defs_into_debug_stmts): Rename to...
(insert_debug_temps_for_defs): ... this.  Likewise.
* tree.h (DEBUG_TEMP_UID): New.
* tree.c (next_debug_decl_uid): New.
(make_node_stat): Count debug decls separately.
(copy_node_stat): Likewise.
* cfgexpand.c (expand_debug_expr): Handle DEBUG_EXPR_DECL.
* var-tracking.c (dv_is_decl_p): Recognize it.
(VALUE_RECURSED_INTO): Apply to DEBUG_EXPRs too.
(track_expr_p): Track expanded DEBUG_EXPR_DECLs.
(vt_expand_loc_callback): Expand DEBUG_EXPRs.
(emit_note_insn_var_location): Don't emit notes for DEBUG_EXPR_DECLs.
* cselib.c (rtx_equal_for_cselib_p): Handle DEBUG_EXPR.
(cselib_hash_rtx): Likewise.
(cselib_expand_value_rtx_1): Use callback for DEBUG_EXPR.
* tree-ssa-operands.c (get_expr_operands): Skip DEBUG_EXPR_DECLs in
debug bind stmts.
* emit-rtl.c (verify_rtx_sharing): Handle DEBUG_EXPR and VALUE.
(copy_rtx_if_shared_1, reset_used_flags, set_used_flags): Likewise.
* rtl.c (copy_rtx): Likewise.
(rtx_equal_p_cb, rtx_equal_p): Handle DEBUG_EXPR.
* print-rtl.c (print_rtx): Likewise.
* sched-vis.c (print_value): Likewise.
(print_insn): Handle DEBUG_EXPR_DECL.
* tree-dump.c (dequeue_and_dump): Likewise.
* tree-pretty-print.c (dump_decl_name, dump_generic_node): Likewise.
* gimple-iterator (gsi_replace): Check for same lhs.
(gsi_remove): Insert debug temps.
* tree-ssa-loop-im.c (rewrite_reciprocal): Replace with same lhs.
(move_computations_stmt): Drop explicit propagation into debug stmts.
(rewrite_bittest): Likewise.  Use gsi_remove for propagation.
* tree-ssa-reassoc.c (rewrite_expr_tree, linearize_expr): Likewise.
* tree-ssa-sink.c (statement_sink_location): Likewise.
* tree-ssa-forwprop (forward_propagate_addr_expr): Likewise.
* tree-ssanames.c (release_ssa_name): Adjust for rename.
* tree-flow.h: Likewise.
* tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Don't mark
debug temps without values.
(eliminate_unnecessary_stmts): Don't discard just-inserted
debug stmts.
gcc/testsuite/ChangeLog:
PR debug/41343
PR debug/41447
PR debug/41264
PR debug/41338
* gcc.dg/guality/pr41447-1.c: New.
* gcc.dg/debug/pr41264-1.c: New.
* gcc.dg/debug/pr41343-1.c: New.

Added:
trunk/gcc/testsuite/gcc.dg/debug/pr41264-1.c
trunk/gcc/testsuite/gcc.dg/debug/pr41343-1.c
trunk/gcc/testsuite/gcc.dg/guality/pr41447-1.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/cfgexpand.c
trunk/gcc/cselib.c
trunk/gcc/emit-rtl.c
trunk/gcc/gengtype.c
trunk/gcc/gimple-iterator.c
trunk/gcc/print-rtl.c
trunk/gcc/rtl.c
trunk/gcc/rtl.def
trunk/gcc/sched-vis.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-dump.c
trunk/gcc/tree-flow.h
trunk/gcc/tree-pretty-print.c
trunk/gcc/tree-ssa-dce.c
trunk/gcc/tree-ssa-forwprop.c
trunk/gcc/tree-ssa-loop-im.c
trunk/gcc/tree-ssa-operands.c
trunk/gcc/tree-ssa-reassoc.c
trunk/gcc/tree-ssa-sink.c
trunk/gcc/tree-ssa.c
trunk/gcc/tree-ssanames.c
trunk/gcc/tree.c
trunk/gcc/tree.def
trunk/gcc/tree.h
trunk/gcc/var-tracking.c


-- 


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

[Bug middle-end/41264] [4.5 Regression] variable-tracking unbelievably slow

[aoliva at gcc dot gnu dot org]

--- Comment #7 from aoliva at gcc dot gnu dot org  2009-10-12 18:59 ---
Subject: Bug 41264

Author: aoliva
Date: Mon Oct 12 18:58:38 2009
New Revision: 152681

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152681
Log:
gcc/ChangeLog:
PR debug/41343
PR debug/41447
PR debug/41264
PR debug/41338
* tree.def (DEBUG_EXPR_DECL): New.
* rtl.def (DEBUG_EXPR): New.
* gengtype.c (adjust_field_rtx_def): Handle it.
* tree-ssa.c (propagate_var_def_into_debug_stmts): Rename to...
(insert_debug_temp_for_var_def): ... this.  Drop support for
moving.  Take iterator for def stmt; insert debug stmt before it.
Scan early for use count and kind in debug stmts.
(propagate_defs_into_debug_stmts): Rename to...
(insert_debug_temps_for_defs): ... this.  Likewise.
* tree.h (DEBUG_TEMP_UID): New.
* tree.c (next_debug_decl_uid): New.
(make_node_stat): Count debug decls separately.
(copy_node_stat): Likewise.
* cfgexpand.c (expand_debug_expr): Handle DEBUG_EXPR_DECL.
* var-tracking.c (dv_is_decl_p): Recognize it.
(VALUE_RECURSED_INTO): Apply to DEBUG_EXPRs too.
(track_expr_p): Track expanded DEBUG_EXPR_DECLs.
(vt_expand_loc_callback): Expand DEBUG_EXPRs.
(emit_note_insn_var_location): Don't emit notes for DEBUG_EXPR_DECLs.
* cselib.c (rtx_equal_for_cselib_p): Handle DEBUG_EXPR.
(cselib_hash_rtx): Likewise.
(cselib_expand_value_rtx_1): Use callback for DEBUG_EXPR.
* tree-ssa-operands.c (get_expr_operands): Skip DEBUG_EXPR_DECLs in
debug bind stmts.
* emit-rtl.c (verify_rtx_sharing): Handle DEBUG_EXPR and VALUE.
(copy_rtx_if_shared_1, reset_used_flags, set_used_flags): Likewise.
* rtl.c (copy_rtx): Likewise.
(rtx_equal_p_cb, rtx_equal_p): Handle DEBUG_EXPR.
* print-rtl.c (print_rtx): Likewise.
* sched-vis.c (print_value): Likewise.
(print_insn): Handle DEBUG_EXPR_DECL.
* tree-dump.c (dequeue_and_dump): Likewise.
* tree-pretty-print.c (dump_decl_name, dump_generic_node): Likewise.
* gimple-iterator (gsi_replace): Check for same lhs.
(gsi_remove): Insert debug temps.
* tree-ssa-loop-im.c (rewrite_reciprocal): Replace with same lhs.
(move_computations_stmt): Drop explicit propagation into debug stmts.
(rewrite_bittest): Likewise.  Use gsi_remove for propagation.
* tree-ssa-reassoc.c (rewrite_expr_tree, linearize_expr): Likewise.
* tree-ssa-sink.c (statement_sink_location): Likewise.
* tree-ssa-forwprop (forward_propagate_addr_expr): Likewise.
* tree-ssanames.c (release_ssa_name): Adjust for rename.
* tree-flow.h: Likewise.
* tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Don't mark
debug temps without values.
(eliminate_unnecessary_stmts): Don't discard just-inserted
debug stmts.
gcc/testsuite/ChangeLog:
PR debug/41343
PR debug/41447
PR debug/41264
PR debug/41338
* gcc.dg/guality/pr41447-1.c: New.
* gcc.dg/debug/pr41264-1.c: New.
* gcc.dg/debug/pr41343-1.c: New.

Added:
trunk/gcc/testsuite/gcc.dg/debug/pr41264-1.c
trunk/gcc/testsuite/gcc.dg/debug/pr41343-1.c
trunk/gcc/testsuite/gcc.dg/guality/pr41447-1.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/cfgexpand.c
trunk/gcc/cselib.c
trunk/gcc/emit-rtl.c
trunk/gcc/gengtype.c
trunk/gcc/gimple-iterator.c
trunk/gcc/print-rtl.c
trunk/gcc/rtl.c
trunk/gcc/rtl.def
trunk/gcc/sched-vis.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-dump.c
trunk/gcc/tree-flow.h
trunk/gcc/tree-pretty-print.c
trunk/gcc/tree-ssa-dce.c
trunk/gcc/tree-ssa-forwprop.c
trunk/gcc/tree-ssa-loop-im.c
trunk/gcc/tree-ssa-operands.c
trunk/gcc/tree-ssa-reassoc.c
trunk/gcc/tree-ssa-sink.c
trunk/gcc/tree-ssa.c
trunk/gcc/tree-ssanames.c
trunk/gcc/tree.c
trunk/gcc/tree.def
trunk/gcc/tree.h
trunk/gcc/var-tracking.c


-- 


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

[Bug debug/41343] [4.5 Regression] sysdeps/ieee754/dbl-64/dosincos.c from glibc causes excessive memory use

[aoliva at gcc dot gnu dot org]

--- Comment #19 from aoliva at gcc dot gnu dot org  2009-10-12 18:59 ---
Subject: Bug 41343

Author: aoliva
Date: Mon Oct 12 18:58:38 2009
New Revision: 152681

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152681
Log:
gcc/ChangeLog:
PR debug/41343
PR debug/41447
PR debug/41264
PR debug/41338
* tree.def (DEBUG_EXPR_DECL): New.
* rtl.def (DEBUG_EXPR): New.
* gengtype.c (adjust_field_rtx_def): Handle it.
* tree-ssa.c (propagate_var_def_into_debug_stmts): Rename to...
(insert_debug_temp_for_var_def): ... this.  Drop support for
moving.  Take iterator for def stmt; insert debug stmt before it.
Scan early for use count and kind in debug stmts.
(propagate_defs_into_debug_stmts): Rename to...
(insert_debug_temps_for_defs): ... this.  Likewise.
* tree.h (DEBUG_TEMP_UID): New.
* tree.c (next_debug_decl_uid): New.
(make_node_stat): Count debug decls separately.
(copy_node_stat): Likewise.
* cfgexpand.c (expand_debug_expr): Handle DEBUG_EXPR_DECL.
* var-tracking.c (dv_is_decl_p): Recognize it.
(VALUE_RECURSED_INTO): Apply to DEBUG_EXPRs too.
(track_expr_p): Track expanded DEBUG_EXPR_DECLs.
(vt_expand_loc_callback): Expand DEBUG_EXPRs.
(emit_note_insn_var_location): Don't emit notes for DEBUG_EXPR_DECLs.
* cselib.c (rtx_equal_for_cselib_p): Handle DEBUG_EXPR.
(cselib_hash_rtx): Likewise.
(cselib_expand_value_rtx_1): Use callback for DEBUG_EXPR.
* tree-ssa-operands.c (get_expr_operands): Skip DEBUG_EXPR_DECLs in
debug bind stmts.
* emit-rtl.c (verify_rtx_sharing): Handle DEBUG_EXPR and VALUE.
(copy_rtx_if_shared_1, reset_used_flags, set_used_flags): Likewise.
* rtl.c (copy_rtx): Likewise.
(rtx_equal_p_cb, rtx_equal_p): Handle DEBUG_EXPR.
* print-rtl.c (print_rtx): Likewise.
* sched-vis.c (print_value): Likewise.
(print_insn): Handle DEBUG_EXPR_DECL.
* tree-dump.c (dequeue_and_dump): Likewise.
* tree-pretty-print.c (dump_decl_name, dump_generic_node): Likewise.
* gimple-iterator (gsi_replace): Check for same lhs.
(gsi_remove): Insert debug temps.
* tree-ssa-loop-im.c (rewrite_reciprocal): Replace with same lhs.
(move_computations_stmt): Drop explicit propagation into debug stmts.
(rewrite_bittest): Likewise.  Use gsi_remove for propagation.
* tree-ssa-reassoc.c (rewrite_expr_tree, linearize_expr): Likewise.
* tree-ssa-sink.c (statement_sink_location): Likewise.
* tree-ssa-forwprop (forward_propagate_addr_expr): Likewise.
* tree-ssanames.c (release_ssa_name): Adjust for rename.
* tree-flow.h: Likewise.
* tree-ssa-dce.c (mark_stmt_if_obviously_necessary): Don't mark
debug temps without values.
(eliminate_unnecessary_stmts): Don't discard just-inserted
debug stmts.
gcc/testsuite/ChangeLog:
PR debug/41343
PR debug/41447
PR debug/41264
PR debug/41338
* gcc.dg/guality/pr41447-1.c: New.
* gcc.dg/debug/pr41264-1.c: New.
* gcc.dg/debug/pr41343-1.c: New.

Added:
trunk/gcc/testsuite/gcc.dg/debug/pr41264-1.c
trunk/gcc/testsuite/gcc.dg/debug/pr41343-1.c
trunk/gcc/testsuite/gcc.dg/guality/pr41447-1.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/cfgexpand.c
trunk/gcc/cselib.c
trunk/gcc/emit-rtl.c
trunk/gcc/gengtype.c
trunk/gcc/gimple-iterator.c
trunk/gcc/print-rtl.c
trunk/gcc/rtl.c
trunk/gcc/rtl.def
trunk/gcc/sched-vis.c
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-dump.c
trunk/gcc/tree-flow.h
trunk/gcc/tree-pretty-print.c
trunk/gcc/tree-ssa-dce.c
trunk/gcc/tree-ssa-forwprop.c
trunk/gcc/tree-ssa-loop-im.c
trunk/gcc/tree-ssa-operands.c
trunk/gcc/tree-ssa-reassoc.c
trunk/gcc/tree-ssa-sink.c
trunk/gcc/tree-ssa.c
trunk/gcc/tree-ssanames.c
trunk/gcc/tree.c
trunk/gcc/tree.def
trunk/gcc/tree.h
trunk/gcc/var-tracking.c


-- 


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

[Bug ada/41493] [4.5 regression] ACATS c34006g fails on arm-linux and sparc-rtems

[joel at gcc dot gnu dot org]

--- Comment #3 from joel at gcc dot gnu dot org  2009-10-12 18:58 ---
Created an attachment (id=18792)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18792&action=view)
Add type to pthread_mutexattr_t


-- 


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

[Bug debug/41558] gfortran -O code excessive DW_OP_deref's

[jakub at gcc dot gnu dot org]

--- Comment #4 from jakub at gcc dot gnu dot org  2009-10-12 19:09 ---
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug debug/41343] [4.5 Regression] sysdeps/ieee754/dbl-64/dosincos.c from glibc causes excessive memory use

[aoliva at gcc dot gnu dot org]

--- Comment #20 from aoliva at gcc dot gnu dot org  2009-10-12 19:58 ---
Fixed


-- 

aoliva at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug debug/41447] Wrong debug with VTA on temporaries initialized from memory variable

[aoliva at gcc dot gnu dot org]

--- Comment #4 from aoliva at gcc dot gnu dot org  2009-10-12 20:00 ---
There's nothing stopping optimizers from moving assignments to memory across
debug stmts, but with debug temps we don't move debug stmts across memory
assignments any more, so this testcase is fixed.


-- 

aoliva at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug middle-end/41264] [4.5 Regression] variable-tracking unbelievably slow

[aoliva at gcc dot gnu dot org]

--- Comment #8 from aoliva at gcc dot gnu dot org  2009-10-12 20:01 ---
Fixed


-- 

aoliva at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug other/41338] High memory consumption when compiling with -O3 -g

[aoliva at gcc dot gnu dot org]

--- Comment #5 from aoliva at gcc dot gnu dot org  2009-10-12 20:01 ---
Fixed


-- 

aoliva at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED


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

[Bug middle-end/41682] Need for attributes to tag code blocks so optimiser can remove more code.

[pinskia at gcc dot gnu dot org]

--- Comment #2 from pinskia at gcc dot gnu dot org  2009-10-12 20:04 ---
Just to expand on that, fopen might change errno and it also it might return
NULL which case fgetc might cause the program to seg fault.  etc.


-- 


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

[Bug lto/41681] Feature request half way option between dynamic and static linking.

[pinskia at gcc dot gnu dot org]

--- Comment #2 from pinskia at gcc dot gnu dot org  2009-10-12 20:06 ---
I don't understand what you are asking for either.  Static libraries and
dynamic libraries are usually two separate files (except under AIX) so it would
be hard to decide to do one or another.

Even if we figure that part out, what is the gain?


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |WAITING


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

[Bug tree-optimization/41497] [4.5 Regression] apparent integer wrong code bug

[rguenth at gcc dot gnu dot org]

--- Comment #8 from rguenth at gcc dot gnu dot org  2009-10-12 20:23 ---
Eh, indeed if that fixes it the bug is elsewhere.  I suggest to not apply this
partial reversion until we know better.


-- 


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

[Bug tree-optimization/41497] [4.5 Regression] apparent integer wrong code bug

[rguenth at gcc dot gnu dot org]

--- Comment #9 from rguenth at gcc dot gnu dot org  2009-10-12 20:24 ---
The problem is that we follow SSA edges into loops that may not be executed.
Sebastian - how are we supposed to deal with this case?


-- 


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

[Bug lto/41598] bootstrap *using* lto fails

[espindola at google dot com]

--- Comment #12 from espindola at google dot com  2009-10-12 21:02 ---
(In reply to comment #9)
> Ok, so the issue here is that we have
> 
>   typedef struct VEC_constructor_elt_gc { } VEC_constructor_elt_gc;
> 
> vs.
> 
>   typedef struct VEC_constructor_elt_gcx { } VEC_constructor_elt_gc;
> 
> which causes us to not merge the two union tree_node types which are
> 
>   typedef union tree_node *tree;
>   union tree_node {
> tree * use;
> VEC_constructor_elt_gc *elts;
>   };
> 
> And in the end because we look through typedefs here:
> 
>   static hashval_t
>   iterative_hash_type_name (tree type, hashval_t v)
>   {
> tree name = TYPE_NAME (TYPE_MAIN_VARIANT (type));
> 
> Now this is necessary - we'd want to merge
> 
>   union tree_node {
> tree * use;
> struct VEC_constructor_elt_gc *elts;
>   };
> 
> as well.
> 
> So - this cannot be fixed by type merging, but instead together with what
> we need to fix TBAA issues for non-merged types we have to try to cover
> these issues as well.

I am a bit confused why we cannot merge the types.

If using structural equality, "struct VEC_constructor_elt_gc" and "struct
VEC_constructor_elt_gcx" should be equivalent since they are both {}. With
these being equivalent, the two typedefs defining VEC_constructor_elt_gc are
equivalent and finally the two "union tree_node" also are.


-- 


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

[Bug lto/41598] bootstrap *using* lto fails

[rguenther at suse dot de]

--- Comment #13 from rguenther at suse dot de  2009-10-12 21:03 ---
Subject: Re:  bootstrap *using* lto fails

On Mon, 12 Oct 2009, espindola at google dot com wrote:

> --- Comment #12 from espindola at google dot com  2009-10-12 21:02 ---
> (In reply to comment #9)
> > Ok, so the issue here is that we have
> > 
> >   typedef struct VEC_constructor_elt_gc { } VEC_constructor_elt_gc;
> > 
> > vs.
> > 
> >   typedef struct VEC_constructor_elt_gcx { } VEC_constructor_elt_gc;
> > 
> > which causes us to not merge the two union tree_node types which are
> > 
> >   typedef union tree_node *tree;
> >   union tree_node {
> > tree * use;
> > VEC_constructor_elt_gc *elts;
> >   };
> > 
> > And in the end because we look through typedefs here:
> > 
> >   static hashval_t
> >   iterative_hash_type_name (tree type, hashval_t v)
> >   {
> > tree name = TYPE_NAME (TYPE_MAIN_VARIANT (type));
> > 
> > Now this is necessary - we'd want to merge
> > 
> >   union tree_node {
> > tree * use;
> > struct VEC_constructor_elt_gc *elts;
> >   };
> > 
> > as well.
> > 
> > So - this cannot be fixed by type merging, but instead together with what
> > we need to fix TBAA issues for non-merged types we have to try to cover
> > these issues as well.
> 
> I am a bit confused why we cannot merge the types.
> 
> If using structural equality, "struct VEC_constructor_elt_gc" and "struct
> VEC_constructor_elt_gcx" should be equivalent since they are both {}. With
> these being equivalent, the two typedefs defining VEC_constructor_elt_gc are
> equivalent and finally the two "union tree_node" also are.

We're not really using structural equality.  I have patches to go
both ways (more structural equality and less), both cause some
regressions.  So I'm digging somewhat further for now.

Richard.


-- 


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

[Bug c++/37766] [C++0x] ICE with function's default reference template parameter

[jason at gcc dot gnu dot org]

--- Comment #6 from jason at gcc dot gnu dot org  2009-10-12 21:04 ---
Subject: Bug 37766

Author: jason
Date: Mon Oct 12 21:04:27 2009
New Revision: 152685

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152685
Log:
PR c++/37766
* pt.c (type_unification_real): Call convert_template_argument
for function default template arguments.
(check_default_tmpl_args): Suggest -std=c++0x when function default
template args seen in C++98 mode.

Added:
trunk/gcc/testsuite/g++.dg/cpp0x/fntmpdefarg1.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c
trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/37875] [c++0x] misinterpreted closing angle bracket in decltype operand

[jason at gcc dot gnu dot org]

--- Comment #2 from jason at gcc dot gnu dot org  2009-10-12 21:04 ---
Subject: Bug 37875

Author: jason
Date: Mon Oct 12 21:04:35 2009
New Revision: 152686

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152686
Log:
PR c++/37875
* parser.c (cp_parser_decltype): Set greater_than_is_operator_p.

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


-- 


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

[Bug c++/38798] [c++0x] Trouble with struct/class/enum keyword in late return types

[jason at gcc dot gnu dot org]

--- Comment #1 from jason at gcc dot gnu dot org  2009-10-12 21:47 ---
This was a problem with the grammar, which is resolved in the latest working
paper by using a different nonterminal trailing-return-type instead of type-id.


-- 

jason at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2009-10-12 21:47:57
   date||


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

[Bug c++/37766] [C++0x] ICE with function's default reference template parameter

[jason at gcc dot gnu dot org]

--- Comment #7 from jason at gcc dot gnu dot org  2009-10-12 21:49 ---
Fixed for 4.5; will backport for 4.4.3 after branch reopens.


-- 


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

[Bug c++/37875] [c++0x] misinterpreted closing angle bracket in decltype operand

[jason at gcc dot gnu dot org]

--- Comment #3 from jason at gcc dot gnu dot org  2009-10-12 21:49 ---
Fixed for 4.5; will backport for 4.4.3 once branch reopens.


-- 


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

[Bug target/41653] not optimal result for multiplication with constant when -Os is specified

[rth at gcc dot gnu dot org]

--- Comment #1 from rth at gcc dot gnu dot org  2009-10-12 21:51 ---
The expand pass relies on the rtx cost model to be correct.
I assume that arm_size_rtx_costs is models multiply incorrectly.


-- 


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

[Bug c++/38796] [c++0x] defaulted operator= with non-default return type accepted

[jason at gcc dot gnu dot org]

--- Comment #1 from jason at gcc dot gnu dot org  2009-10-12 21:53 ---
This is http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#906

Probably we should reject the declaration; certainly we shouldn't silently
change the return type.


-- 

jason at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2009-10-12 21:53:12
   date||


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

[Bug c++/38798] [c++0x] Trouble with struct/class/enum keyword in late return types

[jason at gcc dot gnu dot org]

--- Comment #2 from jason at gcc dot gnu dot org  2009-10-12 21:54 ---
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#770


-- 


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

[Bug c++/38888] [C++0x] badly readable diagnostic output with variadic templates

[jason at gcc dot gnu dot org]

-- 

jason at gcc dot gnu dot org changed:

   What|Removed |Added

   Severity|normal  |enhancement


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

[Bug c++/36744] [C++0x] function modifying argument received by-value affects caller's variable when passed as rvalue

[jason at gcc dot gnu dot org]

--- Comment #8 from jason at gcc dot gnu dot org  2009-10-12 21:58 ---
*** Bug 39050 has been marked as a duplicate of this bug. ***


-- 

jason at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||s dot gesemann at gmail dot
   ||com


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

[Bug c++/39050] [c++0x] rvalue reference & copy construction issue

[jason at gcc dot gnu dot org]

--- Comment #3 from jason at gcc dot gnu dot org  2009-10-12 21:58 ---


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


-- 

jason at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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

[Bug tree-optimization/41377] [4.5 Regression] gimple EH rewrite causes ICE with PPRE (enabled at -O3)

[rth at gcc dot gnu dot org]

--- Comment #5 from rth at gcc dot gnu dot org  2009-10-12 22:34 ---
Mine.


-- 

rth at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED
   Last reconfirmed|2009-10-05 00:09:08 |2009-10-12 22:34:01
   date||


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

[Bug target/41156] [4.4/4.5 Regression] zlib segfault in inflate_table() compiled w/ -O -msse2 ftree-vectorize

[dirtyepic at gentoo dot org]

--- Comment #25 from dirtyepic at gentoo dot org  2009-10-12 22:48 ---
would you please just test the patch on PR 40838 and tell HJ if it works or
not?


-- 


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

[Bug testsuite/41660] FAIL: gcc.dg/plugin/one_time-test-1.c -fplugin=./one_time_plugin.so (internal compiler error)

[hp at gcc dot gnu dot org]

--- Comment #3 from hp at gcc dot gnu dot org  2009-10-12 23:22 ---
Looks like Matz fixed this with r152669.


-- 


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

[Bug ada/41493] [4.5 regression] ACATS c34006g fails on arm-linux and sparc-rtems

[joel at gcc dot gnu dot org]

--- Comment #4 from joel at gcc dot gnu dot org  2009-10-12 23:33 ---
(From update of attachment 18792)
Patch attached to wrong PR.


-- 

joel at gcc dot gnu dot org changed:

   What|Removed |Added

  Attachment #18792|0   |1
is obsolete||


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

[Bug c++/41690] New: Scoping is incorrect for inherited classes nested inside a templated class.

[timothy dot renner at gmail dot com]

When a nested class inherits from another nested class, scoping is incorrect
only if the outer class is templated.  A full .ii file follows, but to
illustrate in a compact example:

class A {
  class B {
protected:
  int d_data;
  };
  class C : public B {
void foo() { d_data = 0; }
  };
};

If A is *not* templated, the code will compile.  If A is templated, the
compiler complains that d_data has not been declared in the current scope.


There is no option for attaching files, so the .ii file follows:
--%<

# 1 "a.cpp"
# 1 ""
# 1 ""
# 1 "a.cpp"
# 1 "templ.h" 1
class notempl {
private:
 int d_stuff;

 class A {
 protected:
  int d_data;
 };

 class B : public A {
  void test() {
   d_data = 0;
  }
 };

};


template 
class templ {
private:
 int d_stuff;

 class A {
 protected:
  int d_data;
 };

 class B : public A {
  void test() {
   d_data = 0;
  }
 };

};
# 2 "a.cpp" 2

int main() {
 notempl tmp1;
 templ tmp2;

 return 0;
}

--%<

Detailed compilation follows:

~/tmp/gcc-bug# g++ -v -save-temps a.cpp
Using built-in specs.
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 4.3.3-5ubuntu4'
--with-bugurl=file:///usr/share/doc/gcc-4.3/README.Bugs
--enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared
--with-system-zlib --libexecdir=/usr/lib --without-included-gettext
--enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.3
--program-suffix=-4.3 --enable-clocale=gnu --enable-libstdcxx-debug
--enable-objc-gc --enable-mpfr --with-tune=generic --enable-checking=release
--build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.3.3 (Ubuntu 4.3.3-5ubuntu4) 
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-shared-libgcc' '-mtune=generic'
 /usr/lib/gcc/x86_64-linux-gnu/4.3.3/cc1plus -E -quiet -v -D_GNU_SOURCE a.cpp
-D_FORTIFY_SOURCE=2 -mtune=generic -fpch-preprocess -o a.ii
ignoring nonexistent directory "/usr/local/include/x86_64-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc/x86_64-linux-gnu/4.3.3/../../../../x86_64-linux-gnu/include"
ignoring nonexistent directory "/usr/include/x86_64-linux-gnu"
#include "..." search starts here:
#include <...> search starts here:
 /usr/include/c++/4.3
 /usr/include/c++/4.3/x86_64-linux-gnu
 /usr/include/c++/4.3/backward
 /usr/local/include
 /usr/lib/gcc/x86_64-linux-gnu/4.3.3/include
 /usr/lib/gcc/x86_64-linux-gnu/4.3.3/include-fixed
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-shared-libgcc' '-mtune=generic'
 /usr/lib/gcc/x86_64-linux-gnu/4.3.3/cc1plus -fpreprocessed a.ii -quiet
-dumpbase a.cpp -mtune=generic -auxbase a -version -fstack-protector -o a.s
GNU C++ (Ubuntu 4.3.3-5ubuntu4) version 4.3.3 (x86_64-linux-gnu)
compiled by GNU C version 4.3.3, GMP version 4.2.4, MPFR version 2.4.0.
GGC heuristics: --param ggc-min-expand=97 --param ggc-min-heapsize=126404
Compiler executable checksum: d9dd67dcc191271ac69fd2c05266cf9c
In file included from a.cpp:2:
templ.h: In member function void templ::B::test():
templ.h:31: error: d_data was not declared in this scope


-- 
   Summary: Scoping is incorrect for inherited classes nested inside
a templated class.
   Product: gcc
   Version: 4.3.3
Status: UNCONFIRMED
  Severity: minor
  Priority: P3
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: timothy dot renner at gmail dot com


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

[Bug target/39677] AMD Opteron E needs workaround for lock erratum

[rth at gcc dot gnu dot org]

--- Comment #3 from rth at gcc dot gnu dot org  2009-10-13 01:07 ---
Not an openmp bug; we've got to make the change for all code gcc generates.


-- 

rth at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |rth at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED
  Component|middle-end  |target
   Keywords|openmp  |
   Last reconfirmed|2009-04-07 13:42:25 |2009-10-13 01:07:32
   date||


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

[Bug c++/41690] Scoping is incorrect for inherited classes nested inside a templated class.

[paolo dot carlini at oracle dot com]

--- Comment #1 from paolo dot carlini at oracle dot com  2009-10-13 01:08 
---
Not a bug, use this->d_data.


-- 

paolo dot carlini at oracle dot com changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


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

[Bug libfortran/41683] [4.5 Regression] F2003 Repeat specification after P descriptor rejected

[jvdelisle at gcc dot gnu dot org]

--- Comment #2 from jvdelisle at gcc dot gnu dot org  2009-10-13 01:43 
---
Subject: Bug 41683

Author: jvdelisle
Date: Tue Oct 13 01:43:39 2009
New Revision: 152695

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152695
Log:
2009-10-12  Jerry DeLisle  

PR libgfortran/41683
* io/format.c (parse_format_list): Allow a repeat specifier immediately
after a P specifier.

Modified:
trunk/libgfortran/ChangeLog
trunk/libgfortran/io/format.c


-- 


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

[Bug libfortran/41683] [4.5 Regression] F2003 Repeat specification after P descriptor rejected

[jvdelisle at gcc dot gnu dot org]

--- Comment #3 from jvdelisle at gcc dot gnu dot org  2009-10-13 02:05 
---
Subject: Bug 41683

Author: jvdelisle
Date: Tue Oct 13 02:03:54 2009
New Revision: 152696

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152696
Log:
2009-10-12  Jerry DeLisle  

PR libgfortran/41683
* gfortran.dg/fmt_error_9.f: Add check for repeat count after P.

Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gfortran.dg/fmt_error_9.f


-- 


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

[Bug bootstrap/41691] New: -flto leads to bootstrap failure

[linuxl4 at sohu dot com]

trunk r152694

CFLAGS="-march=atom -mfpmath=sse -mveclibabi=svml -pipe -O3 -flto"

When configure in libgcc, 

checking for x86_64-unknown-linux-gnu-gcc... /home/xhs/build/gcc/./gcc/xgcc
-B/home/xhs/build/gcc/./gcc/ -B/gcc-4.5/gcc/x86_64-unknown-linux-gnu/bin/
-B/gcc-4.5/gcc/x86_64-unknown-linux-gnu/lib/ -isystem
/gcc-4.5/gcc/x86_64-unknown-linux-gnu/include -isystem
/gcc-4.5/gcc/x86_64-unknown-linux-gnu/sys-include   
checking for suffix of object files... configure: error: in
`/home/xhs/build/gcc/x86_64-unknown-linux-gnu/libgcc':
configure: error: cannot compute suffix of object files: cannot compile
See `config.log' for more details.


-- 
   Summary: -flto leads to bootstrap failure
   Product: gcc
   Version: 4.5.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: bootstrap
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: linuxl4 at sohu dot com
 GCC build triplet: x86_64-pc-linux
  GCC host triplet: x86_64-pc-linux
GCC target triplet: x86_64-pc-linux


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

[Bug bootstrap/41691] -flto leads to bootstrap failure

[linuxl4 at sohu dot com]

--- Comment #1 from linuxl4 at sohu dot com  2009-10-13 02:42 ---
Created an attachment (id=18793)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18793&action=view)
config.log file


-- 


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