[Bug fortran/31608] wrong types in character array/scalar binop

[pault at gcc dot gnu dot org]

--- Comment #27 from pault at gcc dot gnu dot org  2007-10-10 07:05 ---
(In reply to comment #17)
> char.3 = (*(char[0:][1:1] *) atmp.0.data)[S.2][1]{lb: 1 sz: 1};
> (*(char[0:][1:1] *) atmp.1.data)[S.2] = char.3;
> the first line is correct, the second is not.

For the record, the patch at the end produces:

char char.3[1:1];
char.3[1]{lb: 1 sz: 1} = (*(char[0:][1:1] *)
atmp.0.data)[S.2][1]{lb
: 1 sz: 1};
(*(char[0:][1:1] *) atmp.1.data)[S.2] = char.3[1]{lb: 1 sz: 1};

which is nearly there.  The lhs of the bottom line now needs to be the first
element of the string; ie. (*(char[0:][1:1] *) atmp.1.data)[S.2][1] and we will
be there.  The problem is that I cannot figure out yet where the assignment
occurs, in order to do anything with the lhs!

Paul

Index: gcc/fortran/trans-intrinsic.c
===
*** gcc/fortran/trans-intrinsic.c   (révision 129121)
--- gcc/fortran/trans-intrinsic.c   (copie de travail)
*** gfc_conv_intrinsic_char (gfc_se * se, gf
*** 1278,1297 
tree arg;
tree var;
tree type;

gfc_conv_intrinsic_function_args (se, expr, &arg, 1);

/* We currently don't support character types != 1.  */
gcc_assert (expr->ts.kind == 1);
!   type = gfc_character1_type_node;
var = gfc_create_var (type, "char");

!   arg = convert (type, arg);
!   gfc_add_modify_expr (&se->pre, var, arg);
!   se->expr = gfc_build_addr_expr (build_pointer_type (type), var);
se->string_length = integer_one_node;
  }
- 

  static void
  gfc_conv_intrinsic_ctime (gfc_se * se, gfc_expr * expr)
--- 1278,1298 
tree arg;
tree var;
tree type;
+   tree elem;

gfc_conv_intrinsic_function_args (se, expr, &arg, 1);

/* We currently don't support character types != 1.  */
gcc_assert (expr->ts.kind == 1);
!   type = gfc_typenode_for_spec (&expr->ts);
var = gfc_create_var (type, "char");

!   arg = convert (gfc_character1_type_node, arg);
!   elem = gfc_build_array_ref (var, gfc_index_one_node, NULL);
!   gfc_add_modify_expr (&se->pre, elem, arg);
!   se->expr = gfc_build_addr_expr (pchar_type_node, elem);
se->string_length = integer_one_node;
  }

  static void
  gfc_conv_intrinsic_ctime (gfc_se * se, gfc_expr * expr)


-- 


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

[Bug target/33138] [4.3 Regression] rejects valid? assembler, segfaults

[tbm at cyrius dot com]

--- Comment #7 from tbm at cyrius dot com  2007-10-10 07:35 ---
(In reply to comment #6)
> Works for me with r129166.  I suppose this was x86_64.  And a dup of either
> PR33600 or PR33552.

Yeah, it was a dup.


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


-- 

tbm at cyrius dot com changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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

[Bug middle-end/32370] [4.3 Regression] Segfault after rejecting bogus assembler

[tbm at cyrius dot com]

--- Comment #8 from tbm at cyrius dot com  2007-10-10 07:35 ---
*** Bug 33138 has been marked as a duplicate of this bug. ***


-- 


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

[Bug rtl-optimization/33676] libgfortran bootstrap failure: selected_int_kind.f90:22: Segmentation fault, wrong code with -fomit-frame-pointer

[ubizjak at gmail dot com]

--- Comment #11 from ubizjak at gmail dot com  2007-10-10 07:59 ---
(In reply to comment #9)
> Revision 128957 causes this regression.

I can confirm that r128956 bootstraps OK when configured with
--build=i386-pc-linux-gnu. Also, r128956 compiles and runs testcase from
comment #8 without problems.


-- 


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

[Bug ada/33722] putenv() is made posix-conformant on FreeBSD 7.x

[kostikbel at ukr dot net]

--- Comment #1 from kostikbel at ukr dot net  2007-10-10 08:16 ---
Created an attachment (id=14335)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14335&action=view)
Fix for free() after putenv() on FreeBSD 7.x

The patch allowed me to bootstrap gcc 4.2.2 on the FreeBSD 7.x with
gnat enabled.


-- 


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

Re: [Bug ada/33722] putenv() is made posix-conformant on FreeBSD 7.x

[Arnaud Charlet]

> Created an attachment (id=14335)
>  --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14335&action=view)
> Fix for free() after putenv() on FreeBSD 7.x
> 
> The patch allowed me to bootstrap gcc 4.2.2 on the FreeBSD 7.x with
> gnat enabled.

Patch looks good to me. OK for 4.2 branch and trunk.

Arno

[Bug ada/33722] New: putenv() is made posix-conformant on FreeBSD 7.x

[kostikbel at ukr dot net]

The putenv() in the FreeBSD 7.x is made posix-conforming, that means
that the function does not make the copy of the argument string for entering
it into the environment.

As consequence, gcc/ada/env.c, __gnat_setenv() function shall not call
free() on the malloc'ed string. Otherwise, memory of the environment
strings become corrupted. In particular, bootstrap cannot proceed because
gnat tools segfaults.


-- 
   Summary: putenv() is made posix-conformant on FreeBSD 7.x
   Product: gcc
   Version: 4.2.2
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: kostikbel at ukr dot net
 GCC build triplet: i386-pc-freebsd7
  GCC host triplet: i386-pc-freebsd7
GCC target triplet: i386-pc-freebsd7


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

[Bug ada/33722] putenv() is made posix-conformant on FreeBSD 7.x

[charlet at adacore dot com]

--- Comment #2 from charlet at adacore dot com  2007-10-10 08:18 ---
Subject: Re:  putenv() is made posix-conformant on FreeBSD 7.x

> Created an attachment (id=14335)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14335&action=view)
>  --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14335&action=view)
> Fix for free() after putenv() on FreeBSD 7.x
> 
> The patch allowed me to bootstrap gcc 4.2.2 on the FreeBSD 7.x with
> gnat enabled.

Patch looks good to me. OK for 4.2 branch and trunk.

Arno


-- 


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

[Bug target/26902] missed optimization during x87 args load with inline-asm

[steven at gcc dot gnu dot org]

--- Comment #4 from steven at gcc dot gnu dot org  2007-10-10 09:06 ---
Maybe regstack needs to be taught how to swap stack register loads to avoid the
fxch.


-- 


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

[Bug libstdc++/33633] [4.3 Regression] -D_GLIBCXX_DEBUG vs ext/hash_*

[pcarlini at suse dot de]

--- Comment #4 from pcarlini at suse dot de  2007-10-10 09:19 ---
(In reply to comment #2)
> Here's my plan for the legacy hash containers:
> 
> 1) port debug mode to tr1 associative containers
> 2) move ext/hash containers to deprecated
> 
> Thoughts?

Certainly, I agree with the (mid term?) plan!

> Anyway.
> 
> This issue is a macro name mix-up. Here's I'll check in the attached fix
> shortly.

... short term, however, seems a good idea manage to keep the ext facilities
working (well, our own testsuite infrastructure still uses the hash_*
containers and adding -D_GLIBCXX_DEBUG to the testing switches broke testing
completely, that's how I actually noticed ;)


-- 


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

[Bug tree-optimization/32183] [4.3 Regression] reassoc2 can more extra calculations into a loop

[steven at gcc dot gnu dot org]

--- Comment #33 from steven at gcc dot gnu dot org  2007-10-10 08:57 ---
What happened with the suggestion to only do this in reassoc2 (see comment
#27)?


-- 


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

[Bug target/33381] [4.2 regression] miscompilation casting signed long to void*

[rguenth at gcc dot gnu dot org]

--- Comment #10 from rguenth at gcc dot gnu dot org  2007-10-10 09:24 
---
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug target/33381] [4.2 regression] miscompilation casting signed long to void*

[rguenth at gcc dot gnu dot org]

--- Comment #9 from rguenth at gcc dot gnu dot org  2007-10-10 09:24 ---
Subject: Bug 33381

Author: rguenth
Date: Wed Oct 10 09:24:43 2007
New Revision: 129197

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129197
Log:
2007-10-10  Richard Guenther  <[EMAIL PROTECTED]>

PR tree-optimization/33099
PR tree-optimization/33381
* tree-vrp.c (adjust_range_with_scev): Do not adjust ranges
from pointer typed chrecs.

* gcc.c-torture/execute/pr33099.c: New testcase.
* gcc.c-torture/execute/pr33381.c: Likewise.

Added:
branches/gcc-4_2-branch/gcc/testsuite/gcc.c-torture/execute/pr33099.c
branches/gcc-4_2-branch/gcc/testsuite/gcc.c-torture/execute/pr33381.c
Modified:
branches/gcc-4_2-branch/gcc/ChangeLog
branches/gcc-4_2-branch/gcc/testsuite/ChangeLog
branches/gcc-4_2-branch/gcc/tree-vrp.c


-- 


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

[Bug tree-optimization/33099] [4.2 Regression] Scalar evolutions confusing VRP with pointer values that wrap around

[rguenth at gcc dot gnu dot org]

--- Comment #9 from rguenth at gcc dot gnu dot org  2007-10-10 09:24 ---
Subject: Bug 33099

Author: rguenth
Date: Wed Oct 10 09:24:43 2007
New Revision: 129197

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129197
Log:
2007-10-10  Richard Guenther  <[EMAIL PROTECTED]>

PR tree-optimization/33099
PR tree-optimization/33381
* tree-vrp.c (adjust_range_with_scev): Do not adjust ranges
from pointer typed chrecs.

* gcc.c-torture/execute/pr33099.c: New testcase.
* gcc.c-torture/execute/pr33381.c: Likewise.

Added:
branches/gcc-4_2-branch/gcc/testsuite/gcc.c-torture/execute/pr33099.c
branches/gcc-4_2-branch/gcc/testsuite/gcc.c-torture/execute/pr33381.c
Modified:
branches/gcc-4_2-branch/gcc/ChangeLog
branches/gcc-4_2-branch/gcc/testsuite/ChangeLog
branches/gcc-4_2-branch/gcc/tree-vrp.c


-- 


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

[Bug tree-optimization/33099] [4.2 Regression] Scalar evolutions confusing VRP with pointer values that wrap around

[rguenth at gcc dot gnu dot org]

--- Comment #10 from rguenth at gcc dot gnu dot org  2007-10-10 09:25 
---
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug debug/31899] [4.2 Regression] -g and using declaration causing ICE in reference_to_unused

[rguenth at gcc dot gnu dot org]

--- Comment #14 from rguenth at gcc dot gnu dot org  2007-10-10 09:29 
---
Subject: Bug 31899

Author: rguenth
Date: Wed Oct 10 09:29:13 2007
New Revision: 129199

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129199
Log:
2007-10-10  Richard Guenther  <[EMAIL PROTECTED]>

Backport from mainline
2007-10-03  Doug Kwan  <[EMAIL PROTECTED]>
Richard Guenther  <[EMAIL PROTECTED]>

PR debug/31899
* dwarf2out.c (reference_to_unused): Disable sanity checking,
be conservative instead.

* g++.dg/debug/using3.C: New testcase.

Added:
branches/gcc-4_2-branch/gcc/testsuite/g++.dg/debug/using3.C
  - copied unchanged from r128978,
trunk/gcc/testsuite/g++.dg/debug/using3.C
Modified:
branches/gcc-4_2-branch/gcc/ChangeLog
branches/gcc-4_2-branch/gcc/dwarf2out.c
branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug debug/31899] [4.2 Regression] -g and using declaration causing ICE in reference_to_unused

[rguenth at gcc dot gnu dot org]

--- Comment #15 from rguenth at gcc dot gnu dot org  2007-10-10 09:29 
---
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug fortran/33686] FORALL loop gives wrong result

[dominiq at lps dot ens dot fr]

--- Comment #9 from dominiq at lps dot ens dot fr  2007-10-10 09:35 ---
Are the codes in #7 and #8 supposed to behave differently?


-- 


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

[Bug middle-end/33692] [4.3 Regression] Type checking error with address-of and volatile

[rguenth at gcc dot gnu dot org]

--- Comment #5 from rguenth at gcc dot gnu dot org  2007-10-10 09:57 ---
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

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


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

[Bug target/33369] [4.3 Regression] suffix or operands invalid for `pslld'

[uros at gcc dot gnu dot org]

--- Comment #8 from uros at gcc dot gnu dot org  2007-10-10 10:02 ---
Subject: Bug 33369

Author: uros
Date: Wed Oct 10 10:01:53 2007
New Revision: 129201

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129201
Log:
Backport from mainline:
2007-09-14  Uros Bizjak  <[EMAIL PROTECTED]>

PR target/33438
* config/i386/i386.md (fmodxf3): Copy operands[2] to temporary
register when operands[2] equals operands[1].
(dremxf3): Ditto.

2007-09-10  Uros Bizjak  <[EMAIL PROTECTED]>

PR target/33369
* gcc/config/i386/sse.md (ashr3): Change op2 mode to SImode.
Use 'N' operand constraint for op2.
(lshr3): Ditto.
(ashl3): Ditto.
(vec_shl_): Use const_0_to_255_mul_8_operand predicate for op2.
(vec_shr_): Use const_0_to_255_mul_8_operand predicate for op2.

* gcc/config/i386/i386.c (ix86_expand_builtin) [IX86_BUILTIN_PSLL?128,
IX86_BUILTIN_PSRA*?128, IX86_BUILTIN_PSRL?128]: Convert op1 to SImode.

testsuite/ChangeLog:

Backport from mainline:
2007-09-14  Uros Bizjak  <[EMAIL PROTECTED]>

PR target/33438
* gcc.target/i386/pr33438.c: New test.

2007-09-10  Uros Bizjak  <[EMAIL PROTECTED]>

PR target/33369
* gcc.dg/vect/pr33369.c: New test.


Added:
branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/vect/pr33369.c
  - copied unchanged from r128328,
trunk/gcc/testsuite/gcc.dg/vect/pr33369.c
branches/gcc-4_2-branch/gcc/testsuite/gcc.target/i386/pr33483.c
  - copied unchanged from r128502,
trunk/gcc/testsuite/gcc.target/i386/pr33483.c
Modified:
branches/gcc-4_2-branch/gcc/ChangeLog
branches/gcc-4_2-branch/gcc/config/i386/i386.c
branches/gcc-4_2-branch/gcc/config/i386/i386.md
branches/gcc-4_2-branch/gcc/config/i386/sse.md
branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug target/33438] [4.3 Regression] ICE in cselib_record_set, at cselib.c:1515 on x86

[uros at gcc dot gnu dot org]

--- Comment #3 from uros at gcc dot gnu dot org  2007-10-10 10:02 ---
Subject: Bug 33438

Author: uros
Date: Wed Oct 10 10:01:53 2007
New Revision: 129201

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129201
Log:
Backport from mainline:
2007-09-14  Uros Bizjak  <[EMAIL PROTECTED]>

PR target/33438
* config/i386/i386.md (fmodxf3): Copy operands[2] to temporary
register when operands[2] equals operands[1].
(dremxf3): Ditto.

2007-09-10  Uros Bizjak  <[EMAIL PROTECTED]>

PR target/33369
* gcc/config/i386/sse.md (ashr3): Change op2 mode to SImode.
Use 'N' operand constraint for op2.
(lshr3): Ditto.
(ashl3): Ditto.
(vec_shl_): Use const_0_to_255_mul_8_operand predicate for op2.
(vec_shr_): Use const_0_to_255_mul_8_operand predicate for op2.

* gcc/config/i386/i386.c (ix86_expand_builtin) [IX86_BUILTIN_PSLL?128,
IX86_BUILTIN_PSRA*?128, IX86_BUILTIN_PSRL?128]: Convert op1 to SImode.

testsuite/ChangeLog:

Backport from mainline:
2007-09-14  Uros Bizjak  <[EMAIL PROTECTED]>

PR target/33438
* gcc.target/i386/pr33438.c: New test.

2007-09-10  Uros Bizjak  <[EMAIL PROTECTED]>

PR target/33369
* gcc.dg/vect/pr33369.c: New test.


Added:
branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/vect/pr33369.c
  - copied unchanged from r128328,
trunk/gcc/testsuite/gcc.dg/vect/pr33369.c
branches/gcc-4_2-branch/gcc/testsuite/gcc.target/i386/pr33483.c
  - copied unchanged from r128502,
trunk/gcc/testsuite/gcc.target/i386/pr33483.c
Modified:
branches/gcc-4_2-branch/gcc/ChangeLog
branches/gcc-4_2-branch/gcc/config/i386/i386.c
branches/gcc-4_2-branch/gcc/config/i386/i386.md
branches/gcc-4_2-branch/gcc/config/i386/sse.md
branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug libfortran/32954] pack with -fdefault-integer-8

[fxcoudert at gcc dot gnu dot org]

-- 

fxcoudert at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |fxcoudert at gcc dot gnu dot
   |dot org |org
 Status|NEW |ASSIGNED
   Last reconfirmed|2007-08-01 05:50:50 |2007-10-10 10:37:13
   date||


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

[Bug tree-optimization/33723] New: [4.1/4.2/4.3 Regression] Inefficient code with compound literals

[jakub at gcc dot gnu dot org]

At -O2 we should IMNSHO generate the same code for all 3 functions:
typedef union
{
  struct
  {
int f1, f2, f3, f4, f5, f6, f7, f8;
long int f9, f10;
int f11;
  } f;
  char s[56];
  long int a;
} T;

void
foo (void)
{
  T t;
  t = (T) { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } };
  test (&t);
}

void
bar (void)
{
  T t = { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } };
  test (&t);
}

void
baz (void)
{
  T t;
  t = (const T) { { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 } };
  test (&t);
}

as nothing took the address of the compound literals, it was only used as
initializer to some other variable.  But instead foo/baz clear a temporary
(compound literal var) and then copy it over.  This is at least partly a
regression from 3.2.x which cleared both the compound literal variable (wasn't
able to DSE it) and the t variable.

Without a union we generate better code:
typedef struct
{
  int f1, f2, f3, f4, f5, f6, f7, f8;
  long int f9, f10;
  int f11;
} T;

void
foo (void)
{
  T t;
  t = (T) { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
  test (&t);
}

void
bar (void)
{
  T t = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
  test (&t);
}

void
baz (void)
{
  T t;
  t = (const T) { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
  test (&t);
}
but still bar uses on x86_64-linux rep stosq, while the other functions
store it by pieces.


-- 
   Summary: [4.1/4.2/4.3 Regression] Inefficient code with compound
literals
   Product: gcc
   Version: 4.1.2
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: jakub at gcc dot gnu dot org


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

[Bug fortran/33636] Rejects valid use of vector subscript in derived type parameter

[fxcoudert at gcc dot gnu dot org]

--- Comment #3 from fxcoudert at gcc dot gnu dot org  2007-10-10 11:23 
---
The problem is that we try simplification in find_array_section() because the
vector subscript is EXPR_ARRAY, which is not necessarily constant (in this
case, the values in the constructor depend on variable i). So, the check for
constantness needs to call gfc_is_constant_expr(), as in the patch below.

(This was hidden on 64-bit machines because there, expressions "i", "i+1" and
"i-1" have to be converted to integer(8), which means the vector subscript
isn't an EXPR_ARRAY but and EXPR_FUNCTION. Thus, we bailed out of the
simplification business.)



Index: expr.c
===
--- expr.c  (revision 129054)
+++ expr.c  (working copy)
@@ -1165,7 +1165,7 @@ find_array_section (gfc_expr *expr, gfc_
{
  gcc_assert (begin);

- if (begin->expr_type != EXPR_ARRAY)
+ if (begin->expr_type != EXPR_ARRAY || !gfc_is_constant_expr (begin))
{
  t = FAILURE;
  goto cleanup;


-- 

fxcoudert at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |fxcoudert at gcc dot gnu dot
   |dot org |org
 Status|NEW |ASSIGNED
   Last reconfirmed|2007-10-03 12:27:28 |2007-10-10 11:23:10
   date||


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

[Bug middle-end/33724] New: [4.3 Regression] Type checking error with address-of and ref-all pointer type

[rguenth at gcc dot gnu dot org]

struct xt_entry_target {
  unsigned char name[1];
};
struct ipt_entry {
  unsigned char elems[1];
};
void match_different(const unsigned char *);
int dump_entry(struct xt_entry_target *t)
{
  return __builtin_strcmp (t->name, "");
}
void is_same(const struct ipt_entry *a)
{
  match_different(a->elems);
}

libip4tc.3.i: In function 'is_same':
libip4tc.3.i:13: error: type mismatch in address expression
const unsigned char *

const unsigned char * {ref-all}

D.1556 = &a->elems[0]
libip4tc.3.i:13: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.


-- 
   Summary: [4.3 Regression] Type checking error with address-of and
ref-all pointer type
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code, ice-checking
  Severity: normal
  Priority: P3
 Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rguenth at gcc dot gnu dot org


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

[Bug middle-end/33724] [4.3 Regression] Type checking error with address-of and ref-all pointer type

[rguenth at gcc dot gnu dot org]

--- Comment #1 from rguenth at gcc dot gnu dot org  2007-10-10 11:34 ---
The problem here is that some times we use build_pointer_type () and sometimes
we use build_pointer_type_for_mode ().  If the latter is called with ref-all
true (as done from builtins.c for unsigned char) we get inconsistencies
dependent
on code-ordering on what is TYPE_POINTER_TO for such type.  Quoting from
build_pointer_type_for_mode:

  /* First, if we already have a type for pointers to TO_TYPE and it's
 the proper mode, use it.  */ 
  for (t = TYPE_POINTER_TO (to_type); t; t = TYPE_NEXT_PTR_TO (t))
if (TYPE_MODE (t) == mode && TYPE_REF_CAN_ALIAS_ALL (t) == can_alias_all)
  return t;

  t = make_node (POINTER_TYPE);

  TREE_TYPE (t) = to_type;
  TYPE_MODE (t) = mode;
  TYPE_REF_CAN_ALIAS_ALL (t) = can_alias_all;
  TYPE_NEXT_PTR_TO (t) = TYPE_POINTER_TO (to_type);
  TYPE_POINTER_TO (to_type) = t;

so we queue all pointer-to types here, even the incompatible ones.  This
leads to the verification failure because we simply chose the first
pointer-to type during verification:

if (TYPE_POINTER_TO (TREE_TYPE (op))
&& !useless_type_conversion_p (type,
   TYPE_POINTER_TO (TREE_TYPE (op)))
...


now, the original problem with the unsigned char speciality was introduced
by

+2005-10-04  Ulrich Weigand  <[EMAIL PROTECTED]>
+
+   PR ada/19382
+   * builtins.c (fold_builtin_memcmp): When constructing the pointer
+   type used to access data in the inlined length == 1 case, use
+   build_pointer_type_for_mode with CAN_ALIAS_ALL set to true.
+   (fold_builtin_strcmp, fold_builtin_strncmp): Likewise.


A simple work-around would be to queue ref-all pointers after old pointed-to
types.  Though I think having more than one here is bogus in the end.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||uweigand at gcc dot gnu dot
   ||org
  BugsThisDependsOn||19382


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

[Bug middle-end/33724] [4.3 Regression] Type checking error with address-of and ref-all pointer type

[rguenth at gcc dot gnu dot org]

--- Comment #2 from rguenth at gcc dot gnu dot org  2007-10-10 11:37 ---
Another fix would be to exchange the fix for PR19382 by only doing the
folding of builtin_memcmp if the alias set of unsigned char is zero.


-- 


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

[Bug rtl-optimization/33676] libgfortran bootstrap failure: selected_int_kind.f90:22: Segmentation fault, wrong code with -fomit-frame-pointer

[zadeck at naturalbridge dot com]

--- Comment #12 from zadeck at naturalbridge dot com  2007-10-10 11:41 
---
I will look at it today.


-- 


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

[Bug middle-end/33724] [4.3 Regression] Type checking error with address-of and ref-all pointer type

[rguenth at gcc dot gnu dot org]

--- Comment #3 from rguenth at gcc dot gnu dot org  2007-10-10 11:49 ---
Mine.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
   |dot org |org
 Status|UNCONFIRMED |ASSIGNED
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2007-10-10 11:49:12
   date||


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

[Bug fortran/33636] Rejects valid use of vector subscript in derived type parameter

[fxcoudert at gcc dot gnu dot org]

-- 

fxcoudert at gcc dot gnu dot org changed:

   What|Removed |Added

URL||http://gcc.gnu.org/ml/gcc-
   ||patches/2007-
   ||10/msg00548.html
   Keywords||patch
   Target Milestone|--- |4.3.0


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

[Bug rtl-optimization/33676] libgfortran bootstrap failure: selected_int_kind.f90:22: Segmentation fault, wrong code with -fomit-frame-pointer

[zadeck at naturalbridge dot com]

-- 

zadeck at naturalbridge dot com changed:

   What|Removed |Added

  BugsThisDependsOn|33669   |
 AssignedTo|unassigned at gcc dot gnu   |zadeck at naturalbridge dot
   |dot org |com
 Status|NEW |ASSIGNED


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

[Bug c/33725] New: Could eliminate argument push for the second const function for same arguments

[ubizjak at gmail dot com]

This testcase:

--cut here--
extern const int foo (int a);
extern const int bar (int a);

int test (int a)
{
  return foo (a) + bar (a);
}
--cut here--

compiles to:

test:
subl$12, %esp
movl%ebx, 4(%esp)
movl16(%esp), %ebx
movl%esi, 8(%esp)
movl%ebx, (%esp)(*)
callfoo
movl%ebx, (%esp)(**)
movl%eax, %esi
callbar
movl4(%esp), %ebx
addl%esi, %eax
movl8(%esp), %esi
addl$12, %esp
ret

However, since argument is already pushed to the stack for foo(), there is no
need to push it again for the bar() function [foo() is const function]. If gcc
eliminates the second push, a call-clobbered reg could be used to move argument
to (esp), resulting in something like:

test:
subl$12, %esp
movl16(%esp), %eax
movl%esi, 8(%esp)
movl%eax, (%esp)
callfoo
movl%eax, %esi
callbar
addl%esi, %eax
movl8(%esp), %esi
addl$12, %esp
ret


-- 
   Summary: Could eliminate argument push for the second const
function for same arguments
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ubizjak at gmail dot com
GCC target triplet: i686-pc-linux-gnu


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

[Bug tree-optimization/33680] [4.3 Regression] ICE when compilling elbg.c from ffmpeg (vectorizer)

[irar at il dot ibm dot com]

--- Comment #11 from irar at il dot ibm dot com  2007-10-10 13:23 ---
I understand that those symbols have to be renamed, I am just saying that maybe
it   should be done in the gimplifier and not in the vectorizer. But since
force_gimple_operand_bsi also goes through the statements list, I guess it is
reasonable to do the same thing in the vectorizer. Or we can add a new API like
force_gimple_operand_and_mark_for_renaming.

Anyway, I tried your patch. Now we get a different ICE:
internal compiler error: in referenced_var_lookup, at tree-dfa.c:642

D.1556 is marked for renaming but then during update_ssa it cannot find it - 
htab_find_with_hash (tree-dfa.c:641) returns NULL.

#0  referenced_var_lookup (uid=1556) at ../../gcc/gcc/tree-dfa.c:642
#1  0x006f9308 in update_ssa (update_flags=2048) at
../../gcc/gcc/tree-into-ssa.c:3207
#2  0x00aac184 in vect_transform_loop (loop_vinfo=0xe94410) at
../../gcc/gcc/tree-vect-transform.c:7431
#3  0x007fae09 in vectorize_loops () at
../../gcc/gcc/tree-vectorizer.c:2507
#4  0x00631726 in execute_one_pass (pass=0xdfc0c0) at
../../gcc/gcc/passes.c:1116
#5  0x006318ec in execute_pass_list (pass=0xdfc0c0) at
../../gcc/gcc/passes.c:1169
#6  0x006318fe in execute_pass_list (pass=0xdfbee0) at
../../gcc/gcc/passes.c:1170
#7  0x006318fe in execute_pass_list (pass=0xdfb2e0) at
../../gcc/gcc/passes.c:1170
#8  0x007086ce in tree_rest_of_compilation (fndecl=0x2ba807b05800) at
../../gcc/gcc/tree-optimize.c:404
#9  0x0088a054 in cgraph_expand_function (node=0x2ba807b05900) at
../../gcc/gcc/cgraphunit.c:1070
#10 0x0088bbe7 in cgraph_optimize () at ../../gcc/gcc/cgraphunit.c:1139
#11 0x004144fe in c_write_global_declarations () at
../../gcc/gcc/c-decl.c:8077
#12 0x006ad2e7 in toplev_main (argc=, argv=) at ../../gcc/gcc/toplev.c:1052
#13 0x2ba8077d5154 in __libc_start_main () from /lib64/libc.so.6
#14 0x00403cf9 in _start ()


Thanks,
Ira


-- 


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

[Bug fortran/33254] Diagnose different string lengths in array constructors at run time

[tobi at gcc dot gnu dot org]

--- Comment #2 from tobi at gcc dot gnu dot org  2007-10-10 12:59 ---
I have a patch for this.  Unfortunately, while playing around with testcases I
found a new segfault, so I'll have to look into this before submitting.

Failing testcase:
! { dg-do run }
! { dg-options "-fbounds-check" }
! { dg-shouldfail "Different CHARACTER lengths" }
! PR fortran/33254: No bounds checking for array constructors
program array_char
implicit none
character (len=2) :: x, y
character (len=2) :: z(2)
x = "a "
y = "cd"
z = [y(1:len(trim(y))), x(1:1)]  ! causes segfault
z = [trim(x),trim(y)] ! [ "a", "cd" ] ->INVALID: different string lengths
end program array_char

! { dg-output "Different CHARACTER lengths .2/1. in array constructor" }
! { dg-output "Different CHARACTER lengths .1/2. in array constructor" }


-- 

tobi at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |tobi at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED
   Last reconfirmed|2007-08-31 08:16:55 |2007-10-10 12:59:49
   date||


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

[Bug middle-end/33662] [4.3 Regression] Wrong register allocation on SH

[kkojima at gcc dot gnu dot org]

--- Comment #3 from kkojima at gcc dot gnu dot org  2007-10-10 13:28 ---
Not fixed by r129192.  I see

FAIL: gcc.c-torture/execute/pr33669.c execution,  -O1
FAIL: gcc.c-torture/execute/pr33669.c execution,  -O2
FAIL: gcc.c-torture/execute/pr33669.c execution,  -Os

on sh4-unknown-linux-gnu with r129192.


-- 


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

[Bug middle-end/33662] [4.3 Regression] Wrong register allocation on SH

[zadeck at naturalbridge dot com]

--- Comment #4 from zadeck at naturalbridge dot com  2007-10-10 13:33 
---
Subject: Re:  [4.3 Regression] Wrong register allocation
 on SH

kkojima at gcc dot gnu dot org wrote:
> --- Comment #3 from kkojima at gcc dot gnu dot org  2007-10-10 13:28 
> ---
> Not fixed by r129192.  I see
>
> FAIL: gcc.c-torture/execute/pr33669.c execution,  -O1
> FAIL: gcc.c-torture/execute/pr33669.c execution,  -O2
> FAIL: gcc.c-torture/execute/pr33669.c execution,  -Os
>
> on sh4-unknown-linux-gnu with r129192.
>
>
>   
i am so embarrassed.

kenny


-- 


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

[Bug fortran/33636] Rejects valid use of vector subscript in derived type parameter

[fxcoudert at gcc dot gnu dot org]

--- Comment #4 from fxcoudert at gcc dot gnu dot org  2007-10-10 13:38 
---
Subject: Bug 33636

Author: fxcoudert
Date: Wed Oct 10 13:38:38 2007
New Revision: 129208

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129208
Log:
PR fortran/33636
* expr.c (find_array_section): Check for constructor constantness.

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


-- 


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

[Bug c/33726] [4.3 Regression] Type checking error with address-of and volatile and arrays

[rguenth at gcc dot gnu dot org]

--- Comment #1 from rguenth at gcc dot gnu dot org  2007-10-10 13:39 ---
The C FE strips qualifier in building the ARRAY_REF.  I have a patch.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
   |dot org |org
 Status|UNCONFIRMED |ASSIGNED
  Component|middle-end  |c
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2007-10-10 13:39:34
   date||


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

[Bug middle-end/33391] [4.3 regression] gfortran.dg/do_3.F90 fails at -O2

[fxcoudert at gcc dot gnu dot org]

--- Comment #9 from fxcoudert at gcc dot gnu dot org  2007-10-10 13:41 
---
Subject: Bug 33391

Author: fxcoudert
Date: Wed Oct 10 13:40:50 2007
New Revision: 129209

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129209
Log:
PR testsuite/33391
* gfortran.dg/do_3.F90: Run with -fwrapv.

Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gfortran.dg/do_3.F90


-- 


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

[Bug fortran/33636] Rejects valid use of vector subscript in derived type parameter

[fxcoudert at gcc dot gnu dot org]

--- Comment #5 from fxcoudert at gcc dot gnu dot org  2007-10-10 13:41 
---
Fixed.


-- 

fxcoudert at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug testsuite/33391] [4.3 regression] gfortran.dg/do_3.F90 fails at -O2

[fxcoudert at gcc dot gnu dot org]

--- Comment #10 from fxcoudert at gcc dot gnu dot org  2007-10-10 13:42 
---
Testcase fixed.


-- 

fxcoudert at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
  Component|middle-end  |testsuite
   Keywords|wrong-code  |
 Resolution||FIXED


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

[Bug rtl-optimization/33721] [meta-bug] Gcc can't properly align stack variable

[hjl at lucon dot org]

--- Comment #1 from hjl at lucon dot org  2007-10-10 13:52 ---
There are

 -- Macro: STACK_BOUNDARY
 Define this macro to the minimum alignment enforced by hardware
 for the stack pointer on this machine.  The definition is a C
 expression for the desired alignment (measured in bits).  This
 value is used as a default if `PREFERRED_STACK_BOUNDARY' is not
 defined.  On most machines, this should be the same as
 `PARM_BOUNDARY'.

 -- Macro: PREFERRED_STACK_BOUNDARY
 Define this macro if you wish to preserve a certain alignment for
 the stack pointer, greater than what the hardware enforces.  The
 definition is a C expression for the desired alignment (measured
 in bits).  This macro must evaluate to a value equal to or larger
 than `STACK_BOUNDARY'.

For psABI conformance, we need INCOMING_STACK_BOUNDARY, which is specified
by the psABI. For backends with INCOMING_STACK_BOUNDARY support,
PREFERRED_STACK_BOUNDARY is used for outgoing stack alignment only. That
means

STACK_BOUNDARY <= PREFERRED_STACK_BOUNDARY <= INCOMING_STACK_BOUNDARY


-- 


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

[Bug middle-end/33726] New: [4.3 Regression] Type checking error with address-of and volatile and arrays

[rguenth at gcc dot gnu dot org]

typedef unsigned int U032;
typedef volatile struct {
 U032 Monochrome[1];
 struct {
  U032 WidthHeight;
 } UnclippedRectangle[1];
} RivaBitmap;
void writel(void *);
void rivafb_fillrect(RivaBitmap *bm)
{
  writel(&bm->UnclippedRectangle[0].WidthHeight);
}

fbdev.3.i: In function 'rivafb_fillrect':
fbdev.3.i:11: warning: passing argument 1 of 'writel' discards qualifiers from
pointer target type
fbdev.3.i:10: error: type mismatch in address expression
volatile U032 *

U032 *

D.1551 = &bm->UnclippedRectangle[0].WidthHeight
fbdev.3.i:10: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.


-- 
   Summary: [4.3 Regression] Type checking error with address-of and
volatile and arrays
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code, ice-checking
  Severity: normal
  Priority: P3
 Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rguenth at gcc dot gnu dot org


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

[Bug fortran/33727] New: Segfault with ugly string array constructor

[tobi at gcc dot gnu dot org]

pb-d-128-141-24-81:~/src/pr tobi$ cat t.f90
program array_char
implicit none
character (len=2) :: x, y
character (len=2) :: z(2)
x = "a "
y = "cd"
z = [y(1:len(trim(y))), x(1:1)]  ! causes segfault
end program array_char
pb-d-128-141-24-81:~/src/pr tobi$ ../hggcc/build/gcc/f951 t.f90
 MAIN__
t.f90:6: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.
pb-d-128-141-24-81:~/src/pr tobi$


-- 
   Summary: Segfault with ugly string array constructor
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code
  Severity: normal
  Priority: P3
 Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: tobi at gcc dot gnu dot org


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

[Bug fortran/33254] Diagnose different string lengths in array constructors at run time

[tobi at gcc dot gnu dot org]

--- Comment #3 from tobi at gcc dot gnu dot org  2007-10-10 14:23 ---
The failure from #2 is now PR 33727.


-- 


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

[Bug rtl-optimization/33721] [meta-bug] Gcc can't properly align stack variable

[hjl at lucon dot org]

--- Comment #2 from hjl at lucon dot org  2007-10-10 13:54 ---
(In reply to comment #1)
> 
> STACK_BOUNDARY <= PREFERRED_STACK_BOUNDARY <= INCOMING_STACK_BOUNDARY
> 

But for backward compatibility, we can only do it with a command line
option.


-- 


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

[Bug fortran/33727] Segfault with ugly string array constructor

[dominiq at lps dot ens dot fr]

--- Comment #3 from dominiq at lps dot ens dot fr  2007-10-10 14:38 ---
Note that the (IMHO) valid code:

program array_char
implicit none
character (len=2) :: x, y
character (len=2) :: z(2)
x = "a "
y = "cd"
z = (/y(1:len(trim(x))), x(1:len(trim(x)))/)  ! causes segfault
print *, z
end program array_char

gives also the same ICE:

[address=43248000 pc=430c1a90]
pr33727_db.f90: In function 'MAIN__':
pr33727_db.f90:6: internal compiler error: Segmentation Fault


-- 


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

[Bug c++/33728] New: Assignement allowed to const pointer

[brianp at occinc dot com]

I have a block of code:
struct LatLon : public Coord
{
std::string lat;
std::string lon;

inline LatLon() : lat(""), lon("") {}
};

Coord* coord;
coord = new LatLon();
static_cast(coord)->lat = static_cast(other.coord)->lat;
static_cast(coord)->lon = static_cast(other.coord)->lon;

This should fail to compile as I casted it to a const pointer object.  And it
does fail with the 3.2.2 compiler.  But it successfully compiles with the 4.1.2
compiler.

Compiled sucessfully Red Hat Fedora Core 6:
g++ --version
g++ (GCC) 4.1.2 20070626 (Red Hat 4.1.2-13)

Failed to compile on White Box Linux WS3:
g++ --version
g++ (GCC) 3.2.2
Copyright (C) 2002 Free Software Foundation, Inc.

XmlInMessages.C: In copy constructor
   `xmlin::LocateRequestMessage::LocateRequestMessage(const
   xmlin::LocateRequestMessage&)':
XmlInMessages.C:243: passing `const std::string' as `this' argument of `
   std::basic_string<_CharT, _Traits, _Alloc>& std::basic_string<_CharT,
   _Traits, _Alloc>::operator=(const std::basic_string<_CharT, _Traits,
   _Alloc>&) [with _CharT = char, _Traits = std::char_traits, _Alloc =
   std::allocator]' discards qualifiers
XmlInMessages.C:244: passing `const std::string' as `this' argument of `
   std::basic_string<_CharT, _Traits, _Alloc>& std::basic_string<_CharT,
   _Traits, _Alloc>::operator=(const std::basic_string<_CharT, _Traits,
   _Alloc>&) [with _CharT = char, _Traits = std::char_traits, _Alloc =
   std::allocator]' discards qualifiers
make: *** [../obj/gnu/XmlInMessages.o] Error 1


-- 
   Summary: Assignement allowed to const pointer
   Product: gcc
   Version: 4.1.2
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: brianp at occinc dot com


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

[Bug fortran/33727] Segfault with ugly string array constructor

[tobi at gcc dot gnu dot org]

--- Comment #4 from tobi at gcc dot gnu dot org  2007-10-10 14:40 ---
OTOH this works:
program array_char
implicit none
character (len=2) :: x
character (len=1) :: z
x = "a "
z = x(1:len(trim(x)))
end program array_char

So the problem is with array constructors.


-- 


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

[Bug fortran/33727] Segfault with ugly string array constructor

[tobi at gcc dot gnu dot org]

--- Comment #1 from tobi at gcc dot gnu dot org  2007-10-10 14:25 ---
There's a disabled check in bounds_check_10.f90 (to be submitted) which depends
on this bug, please enable it after fixing.


-- 


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

[Bug fortran/33727] Segfault with ugly string array constructor

[tobi at gcc dot gnu dot org]

--- Comment #2 from tobi at gcc dot gnu dot org  2007-10-10 14:34 ---
(In reply to comment #1)
> There's a disabled check in bounds_check_10.f90 (to be submitted) which 
> depends
> on this bug, please enable it after fixing.

Scratch that, of course after the first runtime error the testcase will stop,
so there's no point in checking multiple runtime errors :-)


-- 


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

[Bug libstdc++/33633] [4.3 Regression] -D_GLIBCXX_DEBUG vs ext/hash_*

[bkoz at gcc dot gnu dot org]

--- Comment #5 from bkoz at gcc dot gnu dot org  2007-10-10 15:24 ---
Subject: Bug 33633

Author: bkoz
Date: Wed Oct 10 15:23:59 2007
New Revision: 129210

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129210
Log:
2007-10-10  Benjamin Kosnik  <[EMAIL PROTECTED]>

PR libstdc++/33633
* include/debug/hash_multimap.h: Change _GLIBCXX_EXT to _GLIBCXX_EXT_D.
* include/debug/hash_set.h: Same.
* include/debug/hash_multiset.h: Same.
* include/debug/hash_map.h: Same.

2007-10-10  Benjamin Kosnik  <[EMAIL PROTECTED]>

* include/parallel/losertree.h (loser_tree_traits_unguarded): To 
loser_tree_unguarded_traits.
* include/parallel/multiway_merge.h (__gnu_parallel): Same.


Modified:
trunk/libstdc++-v3/ChangeLog
trunk/libstdc++-v3/include/debug/hash_map.h
trunk/libstdc++-v3/include/debug/hash_multimap.h
trunk/libstdc++-v3/include/debug/hash_multiset.h
trunk/libstdc++-v3/include/debug/hash_set.h
trunk/libstdc++-v3/include/parallel/losertree.h
trunk/libstdc++-v3/include/parallel/multiway_merge.h


-- 


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

[Bug fortran/31608] wrong types in character array/scalar binop

[pault at gcc dot gnu dot org]

--- Comment #28 from pault at gcc dot gnu dot org  2007-10-10 15:44 ---
The patch below fixes the lot.  It was not necessary in the end to touch
trans-intrinsic.c.  Once the appropriate, offending bit of trans-array.c was
fixed, all the casting occurred correctly.  The fixes to iresolve.c deal with
the various ICEing testcases in the comments below and are partially based on
FX's input.

This now compiles an runs correctly.

  character(len=1) :: string = "z"
  integer :: i(1) = (/100/)
  print *, Up("abc")
  print *, transfer(((transfer(string,"x",1))), "x",1)
  print *, transfer(char(i), "x")
  print *, Upper ("abcdefg")
 contains
  Character (len=20) Function Up (string)
Character(len=*) string
character(1) :: chr
Up = transfer(achar(iachar(transfer(string,chr,1))), "x")
return
  end function Up
  Character (len=20) Function Upper (string)
Character(len=*) string
Upper =&
 transfer(merge(transfer(string,"x",len(string)),&
   string, .true.), "x")
return
  end function Upper
end

and the code in achar, which Richard flagged up has become:

char char.6;

char.6 = (*(char[0:][1:1] *) atmp.3.data)[S.5][1]{lb: 1 sz: 1};
(*(char[0:][1:1] *) atmp.4.data)[S.5][1]{lb: 1 sz: 1} = char.6;

The patch even regtests but I will check tonto and cp2k before submitting.

Cheers

Paul

Index: gcc/fortran/trans-array.c
===
*** gcc/fortran/trans-array.c   (révision 129121)
--- gcc/fortran/trans-array.c   (copie de travail)
*** gfc_conv_expr_descriptor (gfc_se * se, g
*** 4711,4717 
gfc_add_block_to_block (&block, &rse.pre);
gfc_add_block_to_block (&block, &lse.pre);

!   gfc_add_modify_expr (&block, lse.expr, rse.expr);

/* Finish the copying loops.  */
gfc_trans_scalarizing_loops (&loop, &block);
--- 4711,4725 
gfc_add_block_to_block (&block, &rse.pre);
gfc_add_block_to_block (&block, &lse.pre);

!   if (TREE_CODE (rse.expr) != INDIRECT_REF)
!   {
! lse.string_length = rse.string_length;
! tmp = gfc_trans_scalar_assign (&lse, &rse, expr->ts, true,
! expr->expr_type == EXPR_VARIABLE);
! gfc_add_expr_to_block (&block, tmp);
!   }
!   else
!   gfc_add_modify_expr (&block, lse.expr, rse.expr);

/* Finish the copying loops.  */
gfc_trans_scalarizing_loops (&loop, &block);
Index: gcc/fortran/iresolve.c
===
*** gcc/fortran/iresolve.c  (révision 129121)
--- gcc/fortran/iresolve.c  (copie de travail)
*** gfc_get_string (const char *format, ...)
*** 62,75 
  static void
  check_charlen_present (gfc_expr *source)
  {
!   if (source->expr_type == EXPR_CONSTANT && source->ts.cl == NULL)
  {
source->ts.cl = gfc_get_charlen ();
source->ts.cl->next = gfc_current_ns->cl_list;
gfc_current_ns->cl_list = source->ts.cl;
source->ts.cl->length = gfc_int_expr (source->value.character.length);
source->rank = 0;
  }
  }

  /* Helper function for resolving the "mask" argument.  */
--- 62,85 
  static void
  check_charlen_present (gfc_expr *source)
  {
!   if (source->ts.cl == NULL)
  {
source->ts.cl = gfc_get_charlen ();
source->ts.cl->next = gfc_current_ns->cl_list;
gfc_current_ns->cl_list = source->ts.cl;
+ }
+
+   if (source->expr_type == EXPR_CONSTANT)
+ {
source->ts.cl->length = gfc_int_expr (source->value.character.length);
source->rank = 0;
  }
+   else if (source->expr_type == EXPR_ARRAY)
+ {
+   source->ts.cl->length =
+   gfc_int_expr (source->value.constructor->expr->value.character.length);
+   source->rank = 1;
+ }
  }

  /* Helper function for resolving the "mask" argument.  */
*** gfc_resolve_access (gfc_expr *f, gfc_exp
*** 132,139 
  }


! void
! gfc_resolve_achar (gfc_expr *f, gfc_expr *x, gfc_expr *kind)
  {
f->ts.type = BT_CHARACTER;
f->ts.kind = (kind == NULL)
--- 142,150 
  }


! static void
! gfc_resolve_char_achar (gfc_expr *f, gfc_expr *x, gfc_expr *kind,
!   const char *name)
  {
f->ts.type = BT_CHARACTER;
f->ts.kind = (kind == NULL)
*** gfc_resolve_achar (gfc_expr *f, gfc_expr
*** 143,155 
gfc_current_ns->cl_list = f->ts.cl;
f->ts.cl->length = gfc_int_expr (1);

!   f->value.function.name = gfc_get_string ("__achar_%d_%c%d", f->ts.kind,
   gfc_type_letter (x->ts.type),
   x->ts.kind);
  }


  void
  gfc_resolve_acos (gfc_expr *f, gfc_expr *x)
  {
f->ts = x->ts;
--- 154,173 
gfc_current_ns->cl_list = f->ts.cl;
f->ts.cl->length = gfc_int_expr (1);

!   f->value.function

[Bug libstdc++/33682] libstdc++ broken for !__GTHREAD_HAS_COND hosts

[bkoz at gcc dot gnu dot org]

--- Comment #5 from bkoz at gcc dot gnu dot org  2007-10-10 15:45 ---

This should be fixed now. Please confirm and close.


-- 

bkoz at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
   Last reconfirmed|-00-00 00:00:00 |2007-10-10 15:45:22
   date||


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

[Bug fortran/31608] wrong types in character array/scalar binop

[rguenther at suse dot de]

--- Comment #29 from rguenther at suse dot de  2007-10-10 15:47 ---
Subject: Re:  wrong types in character array/scalar binop

On Wed, 10 Oct 2007, pault at gcc dot gnu dot org wrote:

> --- Comment #28 from pault at gcc dot gnu dot org  2007-10-10 15:44 
> ---
> The patch below fixes the lot.  It was not necessary in the end to touch
> trans-intrinsic.c.  Once the appropriate, offending bit of trans-array.c was
> fixed, all the casting occurred correctly.  The fixes to iresolve.c deal with
> the various ICEing testcases in the comments below and are partially based on
> FX's input.
> 
> This now compiles an runs correctly.
> 
>   character(len=1) :: string = "z"
>   integer :: i(1) = (/100/)
>   print *, Up("abc")
>   print *, transfer(((transfer(string,"x",1))), "x",1)
>   print *, transfer(char(i), "x")
>   print *, Upper ("abcdefg")
>  contains
>   Character (len=20) Function Up (string)
> Character(len=*) string
> character(1) :: chr
> Up = transfer(achar(iachar(transfer(string,chr,1))), "x")
> return
>   end function Up
>   Character (len=20) Function Upper (string)
> Character(len=*) string
> Upper =&
>  transfer(merge(transfer(string,"x",len(string)),&
>string, .true.), "x")
> return
>   end function Upper
> end
> 
> and the code in achar, which Richard flagged up has become:
> 
> char char.6;
> 
> char.6 = (*(char[0:][1:1] *) atmp.3.data)[S.5][1]{lb: 1 sz: 1};
> (*(char[0:][1:1] *) atmp.4.data)[S.5][1]{lb: 1 sz: 1} = char.6;

nice.

> The patch even regtests but I will check tonto and cp2k before submitting.

Thanks for the efforts!

Richard.


-- 


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

[Bug libstdc++/33633] [4.3 Regression] -D_GLIBCXX_DEBUG vs ext/hash_*

[bkoz at gcc dot gnu dot org]

--- Comment #6 from bkoz at gcc dot gnu dot org  2007-10-10 15:49 ---

Fixed. 

Current debug mode results (ie, with make CXXFLAGS="-D_GLIBCXX_DEBUG" check)

FAIL: 20_util/pair/moveable.cc execution test
FAIL: 23_containers/deque/moveable.cc execution test
FAIL: 23_containers/headers/bitset/synopsis.cc (test for excess errors)
FAIL: 23_containers/headers/deque/synopsis.cc (test for excess errors)
FAIL: 23_containers/headers/list/synopsis.cc (test for excess errors)
FAIL: 23_containers/headers/map/synopsis.cc (test for excess errors)
FAIL: 23_containers/headers/set/synopsis.cc (test for excess errors)
FAIL: 23_containers/headers/vector/synopsis.cc (test for excess errors)
FAIL: 23_containers/list/moveable.cc execution test
FAIL: 23_containers/map/moveable.cc execution test
FAIL: 23_containers/map/operators/1_neg.cc  (test for errors, line 210)
FAIL: 23_containers/map/operators/1_neg.cc  (test for errors, line 214)
FAIL: 23_containers/multimap/moveable.cc execution test
FAIL: 23_containers/multiset/moveable.cc execution test
FAIL: 23_containers/set/moveable.cc execution test
FAIL: 23_containers/set/operators/1_neg.cc  (test for errors, line 285)
FAIL: 23_containers/set/operators/1_neg.cc  (test for errors, line 289)
FAIL: 23_containers/vector/bool/capacity/29134.cc (test for excess errors)
WARNING: 23_containers/vector/bool/capacity/29134.cc compilation failed to
produce executable
FAIL: 23_containers/vector/bool/modifiers/insert/31370.cc (test for excess
errors)
WARNING: 23_containers/vector/bool/modifiers/insert/31370.cc compilation failed
to produce executable
FAIL: 23_containers/vector/moveable.cc execution test
WARNING: program timed out.
FAIL: 25_algorithms/nth_element/2.cc execution test
XPASS: 26_numerics/headers/cmath/c99_classification_macros_c.cc (test for
excess errors)
WARNING: program timed out.
FAIL: ext/pb_ds/example/erase_if.cc execution test
FAIL: ext/pb_ds/example/hash_illegal_resize.cc execution test
FAIL: ext/pb_ds/example/hash_mod.cc execution test
FAIL: ext/pb_ds/example/hash_shift_mask.cc execution test
FAIL: ext/pb_ds/example/ranged_hash.cc execution test
FAIL: ext/pb_ds/regression/hash_data_map_rand.cc execution test
FAIL: ext/pb_ds/regression/hash_no_data_map_rand.cc execution test
FAIL: ext/pb_ds/regression/priority_queue_rand.cc execution test
FAIL: ext/pb_ds/regression/tree_data_map_rand.cc execution test
FAIL: ext/pb_ds/regression/tree_no_data_map_rand.cc execution test
FAIL: ext/pb_ds/regression/trie_data_map_rand.cc execution test
FAIL: ext/pb_ds/regression/trie_no_data_map_rand.cc execution test

=== libstdc++ Summary ===

# of expected passes5328
# of unexpected failures33
# of unexpected successes   1
# of expected failures  57
# of unsupported tests  18


The pb_ds code fails are related to _GLIBCXX_DEBUG, but not debug-mode. 

The "synopsis.cc" fails are actually testing something illegal: user-defined
forward declarations, so they can be ignored. 

These are decent results, but not spectacular.

-benjamin


-- 

bkoz at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug libstdc++/33633] [4.3 Regression] -D_GLIBCXX_DEBUG vs ext/hash_*

[pcarlini at suse dot de]

--- Comment #7 from pcarlini at suse dot de  2007-10-10 15:52 ---
Yes, time to fix the moveable.cc tests in debug-mode. Thanks.


-- 


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

[Bug boehm-gc/33442] 1938 unexpected fails in libjava testsuite

[dave at hiauly1 dot hia dot nrc dot ca]

--- Comment #4 from dave at hiauly1 dot hia dot nrc dot ca  2007-10-10 
17:04 ---
Subject: Re:  1938 unexpected fails in libjava testsuite

The attached patch fixes the problem.

Dave


--- Comment #5 from dave at hiauly1 dot hia dot nrc dot ca  2007-10-10 
17:04 ---
Created an attachment (id=14336)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14336&action=view)


-- 


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

[Bug boehm-gc/33442] 1938 unexpected fails in libjava testsuite

[danglin at gcc dot gnu dot org]

--- Comment #6 from danglin at gcc dot gnu dot org  2007-10-10 17:08 ---
Hans,

Is the attached patch correct?


-- 

danglin at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||Hans dot Boehm at hp dot com


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

[Bug libstdc++/33633] [4.3 Regression] -D_GLIBCXX_DEBUG vs ext/hash_*

[pcarlini at suse dot de]

--- Comment #8 from pcarlini at suse dot de  2007-10-10 17:36 ---
The moveable.cc fails are now fixed. Otherwise, a couple of fails are also
trivial

23_containers/vector/bool/capacity/29134.cc
23_containers/vector/bool/modifiers/insert/31370.cc

_S_word_size in the wrong namespace. 

And

25_algorithms/nth_element/2.cc

it's just slow in debug-mode, succeeds after ~1 min for me.


-- 


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

Re: [Bug tree-optimization/32183] [4.3 Regression] reassoc2 can more extra calculations into a loop

[Daniel Berlin]

On 10 Oct 2007 08:58:00 -, steven at gcc dot gnu dot org
<[EMAIL PROTECTED]> wrote:
>
>
> --- Comment #33 from steven at gcc dot gnu dot org  2007-10-10 08:57 
> ---
> What happened with the suggestion to only do this in reassoc2 (see comment
> #27)?
>
>
Yeah, i'm not sure why we just made both reassocs more expensive when
we only care what happens with the second.

[Bug tree-optimization/32183] [4.3 Regression] reassoc2 can more extra calculations into a loop

[dberlin at dberlin dot org]

--- Comment #34 from dberlin at gcc dot gnu dot org  2007-10-10 17:43 
---
Subject: Re:  [4.3 Regression] reassoc2 can more extra calculations into a loop

On 10 Oct 2007 08:58:00 -, steven at gcc dot gnu dot org
<[EMAIL PROTECTED]> wrote:
>
>
> --- Comment #33 from steven at gcc dot gnu dot org  2007-10-10 08:57 
> ---
> What happened with the suggestion to only do this in reassoc2 (see comment
> #27)?
>
>
Yeah, i'm not sure why we just made both reassocs more expensive when
we only care what happens with the second.


-- 


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

[Bug target/30801] [4.3 Regression] performance regression on uint64_t operations

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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

[Bug tree-optimization/31090] [4.3 Regression] Revision 121302 causes 30% performance regression

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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

[Bug target/32086] [4.3 Regression] 10% to 20% Performance Regression Between 4.1.3 and 4.3

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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

[Bug tree-optimization/32590] [4.3 regression] Duplicate code generated on both branches of if/else

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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

[Bug tree-optimization/32653] [4.3 Regression] Bootstrap failure with excessive memory consumption in tree-ssa-pre compiling libjava/interperter.c

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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

[Bug tree-optimization/32921] [4.3 Regression] Revision 126326 causes 12% slowdown

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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

[Bug bootstrap/33100] [4.3 regression] on bootstrap getting section .eh_frame: bad cie version 0: offset 0x0

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P5


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

[Bug target/33168] [4.3 Regression] GCC Boot failure, building libstc++

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug middle-end/33280] [4.3 regression] FAIL: gcc.c-torture/execute/990404-1.c execution at -O3

[mmitchel at gcc dot gnu dot org]

--- Comment #3 from mmitchel at gcc dot gnu dot org  2007-10-10 17:52 
---
The original submitter says the problem has disappeared.


-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||WORKSFORME


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

[Bug middle-end/33315] [4.3 Regression] If condition not getting eliminated

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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

[Bug middle-end/33318] [4.3 Regression] fortran/expr.c:305: internal compiler error: internal consistency failure

[mmitchel at gcc dot gnu dot org]

--- Comment #4 from mmitchel at gcc dot gnu dot org  2007-10-10 17:53 
---
Dave --

Is this fixed with Jan's patch?  If so, please close.

Thanks,

-- Mark


-- 


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

[Bug tree-optimization/33319] [4.2/4.3 regression] g++.dg/tree-ssa/pr27549.C ICE with vectorization

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug middle-end/33335] [4.3 Regression] FAIL: 26_numerics/complex/inserters_extractors/wchar_t/1.cc

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug bootstrap/33368] [4.3 regression] bootstrap comparision failure with --enable-targets=all

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug libstdc++/33633] [4.3 Regression] -D_GLIBCXX_DEBUG vs ext/hash_*

[bkoz at gcc dot gnu dot org]

--- Comment #9 from bkoz at gcc dot gnu dot org  2007-10-10 17:56 ---

Sweet, thanks. Any chance you could put in the 

23_containers/vector/bool/capacity/29134.cc
23_containers/vector/bool/modifiers/insert/31370.cc

fix too? My sources are in pre-deprecate mode right now...

best,
benjamin


-- 


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

[Bug tree-optimization/33383] [4.3 Regression] Revision 128092 miscompiles 400.perlbench

[mmitchel at gcc dot gnu dot org]

--- Comment #11 from mmitchel at gcc dot gnu dot org  2007-10-10 17:57 
---
I understand that we don't know whether this is a problem in GCC or in Perl. 
However, until we know, I think this should be P1 -- having GCC releases that
don't work with SPEC, without an explanation, undermines GCC's credibility.


-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug libstdc++/33633] [4.3 Regression] -D_GLIBCXX_DEBUG vs ext/hash_*

[pcarlini at suse dot de]

--- Comment #10 from pcarlini at suse dot de  2007-10-10 17:57 ---
I don't have a fix ;) Everything seems rather ugly and not worth the trouble...


-- 


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

[Bug c++/33407] [4.1/4.3 Regression] C++ operator new and new expression do not change dynamic type

[mmitchel at gcc dot gnu dot org]

--- Comment #7 from mmitchel at gcc dot gnu dot org  2007-10-10 17:58 
---
We really need to fix this class of problems.  Every release of GCC over the
past couple of years has had serious aliasing issues that caused real-world
programs to fall over.  We can fix this by making the compiler smarter
(teaching it more about what can alias) or dumber (by making it do less with
aliasing information), but we need to do one or the other.


-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug tree-optimization/33434] [4.3 Regression] -fipa-cp miscompilation

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug tree-optimization/33458] [4.3 regression] ICE "PHI def is not a GIMPLE value"

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug middle-end/33500] [4.3 regression] ICE in copy_to_mode_reg with logical(kind=1) expression

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P5


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

[Bug tree-optimization/33562] [4.3 Regression] aggregate DSE disabled

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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

[Bug middle-end/33589] [4.3 regression] ICE on valid code at -O2: verify_flow_info failed

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug target/33624] [4.3 Regression] ICE in speculate_insn, at haifa-sched.c:4053

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug rtl-optimization/33644] [4.3 Regression] ICE in local_cprop_pass with -ftrapv for crafty

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug middle-end/33670] [4.3 Regression] cc1 segfault with -O2 -fsched-stalled-insns=0 for twolf

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug rtl-optimization/33673] [4.3 Regression] ICE in verify_flow_info, missing barrier, when multiple tree opts disabled

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug tree-optimization/33680] [4.3 Regression] ICE when compilling elbg.c from ffmpeg (vectorizer)

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug tree-optimization/33645] [4.3 Regression] undefined static variable in vortex for -fno-unit-at-a-time

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug c++/33461] [4.3 regression] ICE with invalid specialization involving parameter packs

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P4


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

[Bug c++/33509] [4.3 Regression] tsubst_pack_expansion assumed to return TREE_VEC

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P2


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

[Bug fortran/33544] [4.3 only] Warning in TRANSFER intrinsic should be made optional

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P5


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

[Bug target/33545] [4.3 regression] Bootstrap failure/broken exceptions on alpha/Tru64

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P5


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

[Bug rtl-optimization/33648] [4.3 Regression] ICE in verify_flow_info for -fmodulo-sched -freorder-blocks-and-partition

[mmitchel at gcc dot gnu dot org]

--- Comment #3 from mmitchel at gcc dot gnu dot org  2007-10-10 18:10 
---
And, if profiling data is required, then we should issue an error saying that,
not fall over.


-- 

mmitchel at gcc dot gnu dot org changed:

   What|Removed |Added

   Priority|P3  |P1


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

[Bug c/32295] [4.1/4.2 Regression] An invalid c code causes an ICE in create_tmp_var, at gimplify.c:489

[jsm28 at gcc dot gnu dot org]

--- Comment #8 from jsm28 at gcc dot gnu dot org  2007-10-10 18:24 ---
Subject: Bug 32295

Author: jsm28
Date: Wed Oct 10 18:24:29 2007
New Revision: 129215

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129215
Log:
PR c/32295
* c-typeck.c (default_conversion): Call require_complete_type
before perform_integral_promotions.
(build_unary_op): Call require_complete_type except for ADDR_EXPR.
(build_c_cast): Call require_complete_type except for casts to
void types.
(convert_for_assignment): Call require_complete_type.

testsuite:
* gcc.dg/enum-incomplete-1.c: New test.

Added:
branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/enum-incomplete-1.c
Modified:
branches/gcc-4_2-branch/gcc/ChangeLog
branches/gcc-4_2-branch/gcc/c-typeck.c
branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c/32295] [4.1 Regression] An invalid c code causes an ICE in create_tmp_var, at gimplify.c:489

[jsm28 at gcc dot gnu dot org]

--- Comment #9 from jsm28 at gcc dot gnu dot org  2007-10-10 18:31 ---
Fixed for 4.2.3.


-- 

jsm28 at gcc dot gnu dot org changed:

   What|Removed |Added

 AssignedTo|jsm28 at gcc dot gnu dot org|unassigned at gcc dot gnu
   ||dot org
 Status|ASSIGNED|NEW
Summary|[4.1/4.2 Regression] An |[4.1 Regression] An invalid
   |invalid c code causes an ICE|c code causes an ICE in
   |in create_tmp_var, at   |create_tmp_var, at
   |gimplify.c:489  |gimplify.c:489


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

[Bug c++/33652] Target x86_64-pc-mingw32 fails to build

[nightstrike at gmail dot com]

--- Comment #1 from nightstrike at gmail dot com  2007-10-10 18:44 ---
Changed the title to better reflect what was transpiring.

This problem has since been fixed, so I am closing it.


-- 

nightstrike at gmail dot com changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED
Summary|Problem in libgcov.c|Target x86_64-pc-mingw32
   |(__gcov_execve) for target  |fails to build
   |x86_64-pc-mingw32   |


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

[Bug c++/33729] New: ice for broken C++ code

[dcb314 at hotmail dot com]

I just tried to compile the following C++ source code
with the GNU C++ compiler version 4.3 snapshot 20071005.

static extern c;

The compiler said

testProg.cc:3: error: ISO C++ forbids declaration of 'c' with no type
testProg.cc:3: error: conflicting specifiers in declaration of 'c'
testProg.cc:3: internal compiler error: in start_decl, at cp/decl.c:4128
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.


-- 
   Summary: ice for broken C++ code
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: suse-linux-x86_64


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