[Bug middle-end/22429] [4.1 Regression] -1073741824 <= n && n <= 1073741823 is true where n is 1073741824

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
06:54 ---
4.0 produced:
  D.1463 = n - -1073741824;
  if (D.1463 >= 0)

Which is wrong as overflow is undefined.

4.1 produces:
(n >= -1073741824)
as overflow is undefined.

This was exposed by:
2005-07-02  Andrew Pinski  <[EMAIL PROTECTED]>

PR middle-end/14490
* fold-const.c (fold_binary): Handle the return value of
fold_to_nonsharp_ineq_using_bound if we get back the same operand back.
Implement "X +- C1 CMP C2" folding to "X CMP C2 -+ C1".

Which means I have to look into it since I exposed it.  We should be 
subtracting using unsigned mode.


-- 
   What|Removed |Added

 CC||pinskia at gcc dot gnu dot
   ||org
 Status|UNCONFIRMED |NEW
  Component|c   |middle-end
 Ever Confirmed||1
 GCC target triplet|i686-pc-linux-gnu   |
   Keywords||wrong-code
  Known to fail||4.1.0
  Known to work||4.0.2
   Last reconfirmed|-00-00 00:00:00 |2005-07-12 06:54:16
   date||
Summary|-1073741824 <= n && n <=|[4.1 Regression] -1073741824
   |1073741823 is true where n  |<= n && n <= 1073741823 is
   |is 1073741824   |true where n is 1073741824
   Target Milestone|--- |4.1.0


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

[Bug middle-end/21840] [4.1 Regression] ICE while building Linux kernel (seg fault), missing cast

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
06:44 ---
With the patch in PR 22368, we get the following ICE instead:
t.c:6: error: statement types mismatch
D.1273_6 = funcD.1271_4;

voidD.28 (*) (void)
voidD.28 *

I will look into fixing this after I resubmit my other patch which fixes one of 
those issues.

-- 
   What|Removed |Added

OtherBugsDependingO||22368
  nThis||
   Last reconfirmed|2005-05-31 14:57:52 |2005-07-12 06:44:00
   date||


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

[Bug c/22429] New: -1073741824 <= n && n <= 1073741823 is true where n is 1073741824

[akr at m17n dot org]

I found that following program exits with 1 instead of 0.

% cat z.c
int f(int n)
{
  if (-1073741824 <= n && n <= 1073741823)
return 1;
  return 0;
}

int main()
{
  return f(1073741824);
}
% /home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/gcc -v -O  z.c
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../../gcc/configure
--prefix=/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449
--enable-languages=c
Thread model: posix
gcc version 4.1.0 20050712 (experimental)
 
/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../libexec/gcc/i686-pc-linux-gnu/4.1.0/cc1
-quiet -v -iprefix
/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/
z.c -quiet -dumpbase z.c -mtune=pentiumpro -auxbase z -O -version -o 
/tmp/cc3anyqv.s
ignoring nonexistent directory
"/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/../../../../i686-pc-linux-gnu/include"
ignoring duplicate directory
"/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/lib/gcc/i686-pc-linux-gnu/4.1.0/include"
ignoring nonexistent directory
"/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/lib/gcc/i686-pc-linux-gnu/4.1.0/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 
/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/include
 /usr/local/include
 /home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/include
 /usr/include
End of search list.
GNU C version 4.1.0 20050712 (experimental) (i686-pc-linux-gnu)
compiled by GNU C version 4.1.0 20050712 (experimental).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: cab36206423b633931a3bd43d355747c
 as -V -Qy -o /tmp/ccUCeuxU.o /tmp/cc3anyqv.s
GNU assembler version 2.15 (i386-linux) using BFD version 2.15
 
/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../libexec/gcc/i686-pc-linux-gnu/4.1.0/collect2
--eh-frame-hdr -m elf_i386 -dynamic-linker /lib/ld-linux.so.2 /usr/lib/crt1.o
/usr/lib/crti.o
/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/crtbegin.o
-L/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0
-L/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc
-L/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/lib/gcc/i686-pc-linux-gnu/4.1.0
-L/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/../../..
-L/home/akr/ruby/chkbuild/tmp/build/gcc-trunk/20050712T134449/lib/gcc/i686-pc-linux-gnu/4.1.0/../../..
/tmp/ccUCeuxU.o -lgcc --as-needed -lgcc_s --no-as-needed -lc -lgcc --as-needed
-lgcc_s --no-as-needed
/home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/../lib/gcc/i686-pc-linux-gnu/4.1.0/crtend.o
/usr/lib/crtn.o
% ./a.out   
zsh: exit 1 ./a.out

It exists with 0 if optimization is disabled.

% /home/src/chkbuild-tmp/build/gcc-trunk/20050712T134449/bin/gcc z.c
% ./a.out

-- 
   Summary: -1073741824 <= n && n <= 1073741823 is true where n is
1073741824
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: akr at m17n dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: i686-pc-linux-gnu


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

[Bug tree-optimization/21883] [4.1 Regression] jump threading causing excessive code duplication

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

 CC||law at gcc dot gnu dot org
   Last reconfirmed|2005-06-02 19:04:47 |2005-07-12 06:25:35
   date||


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

[Bug middle-end/19046] [4.0/4.1 Regression] usage of MOVE_RATIO should be tweaked

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
06:19 ---
This was basically fixed on the mainline:
__Z1fv:
LFB5:
li r9,0
li r10,0
stw r9,0(r3)
stw r10,4(r3)
blr

By:
2005-06-01  Josh Conner <[EMAIL PROTECTED]>

PR 21478
* gimplify.c (gimplify_init_constructor): Don't spill initializer
to read-only memory if it's sparse.

-- 
   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED


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

[Bug debug/20998] [3.4/4.0/4.1 Regression] GCC does not emit debug info for variables in anonymous unions

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
06:06 ---
(In reply to comment #2)
> It is because of ALIAS_DECL
Which means it was caused by:
2002-12-18  Jason Merrill  <[EMAIL PROTECTED]>

Handle anonymous unions at the tree level.
C++ ABI change: Mangle anonymous unions using the name of their
first named field (by depth-first search).  Should not cause
binary compatibility problems, though, as the compiler previously
didn't emit anything for affected unions.
* cp-tree.def (ALIAS_DECL): New tree code.

-- 
   What|Removed |Added

 CC||jason at gcc dot gnu dot org


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

[Bug preprocessor/11931] unjustified warning for C89 code using HUGE_VAL

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
05:56 ---
*** Bug 22428 has been marked as a duplicate of this bug. ***

-- 
   What|Removed |Added

 CC||bje at gcc dot gnu dot org


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

[Bug preprocessor/22428] __extension__ won't silence pedwarns about hex float constants

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
05:56 ---


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

-- 
   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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

[Bug preprocessor/22428] New: __extension__ won't silence pedwarns about hex float constants

[bje at gcc dot gnu dot org]

The __extension__ keyword does not silence pedwarns about hexadecimal floating
point constants.  This is used by GNU libc, for example in the definition of
INFINITY:

#  define HUGE_VALF (__extension__ 0x1.0p255f)
#  define HUGE_VALL (__extension__ 0x1.0p32767L)

These macros produce warnings that cannot be silenced.  This appears not to work
because the pedwarn is generated by the preprocessor.

-- 
   Summary: __extension__ won't silence pedwarns about hex float
constants
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: preprocessor
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: bje at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: i686-pc-linux-gnu


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

[Bug c++/21353] [3.4/4.0/4.1 Regression] rvalues should not be allowed to be default values for non const references in class functions.

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
05:51 ---
Reduced testcase:
enum X{ a, b, c };
class C
{
  void func( X & ref = a );
};

This has been failing since "3.4.0 20040116" (which is the branch date for 
3.4.0).

-- 
   What|Removed |Added

   Last reconfirmed|2005-05-03 15:04:22 |2005-07-12 05:51:48
   date||


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

[Bug c++/22427] New: member function template of partial specialized class template

[zhaojiangbin at yahoo dot com]

Case 1:

The following code is rejected by GCC 4.0.1 and GCC 4.0.0:

=== begin ===

template < class C, class T >
struct A
{
  template < class G >
  void f( G& g )
  {
g.f1();
  }
};

// (a)

template < class T > // (c)
template < class G >
void
A< char, T >::f( G& g ) // (b)
{
  g.f2();
}

=== end ===

The compiler says "error: no member function 'f' declared in 'A'" and
"error: invalid function declaration" at point (b).

Case 2:

But if a partial specialization of class template A, as below, is inserted at
point (a) in case 1, the compilers accept the code:

=== begin ===

template < class T >
struct A< char, T >
{
  template < typename G >
  void f( G& g );
};

=== end ===

Case 3:

The compiler also accepts the code if the function definition at point (c) in
case 1 is defined as below, even without the partial specialization of class
template A in case 2:

=== begin ===

template <>
template < class G >
void
A< char, int >::f( G& g )
{
  g.g2();
}

=== end ===


Case 4:

If the member function f() is not a template, as below, the error messages are
"error: invalid use of undefined type 'A'" at point (d), "error:
declaration of struct 'A'" at point (e), and "error: template
definition of non-template 'void A::f()'" at point (d):

=== begin ===

template < class C, class T >
struct A
{ // (d)
  void f() {}
};

template < class T >
void
A< char, T >::f() // (e)
{}

=== end ===


The compilers tested are Debian 4.0.0-7:

=== begin ===

Using built-in specs.
Target: i486-linux
Configured with: ../src/configure -v
--enable-languages=c,c++,java,f95,objc,ada,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib --enable-nls
--without-included-gettext --enable-threads=posix --program-suffix=-4.0
--enable-__cxa_atexit --enable-libstdcxx-allocator=mt --enable-clocale=gnu
--enable-libstdcxx-debug --enable-java-gc=boehm --enable-java-awt=gtk
--enable-mpfr --disable-werror --enable-checking=release i486-linux
Thread model: posix
gcc version 4.0.1 20050509 (prerelease) (Debian 4.0.0-7)

=== end ===

and Debian 4.0.1-1:

=== begin ===

Using built-in specs.
Target: i486-linux-gnu
Configured with: ../src/configure -v
--enable-languages=c,c++,java,f95,objc,ada,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib --enable-nls
--without-included-gettext --enable-threads=posix --program-suffix=-4.0
--enable-__cxa_atexit --enable-libstdcxx-allocator=mt --enable-clocale=gnu
--enable-libstdcxx-debug --enable-java-gc=boehm --enable-java-awt=gtk
--with-java-home=/usr/lib/jvm/java-1.4.2-gcj-4.0-1.4.2.0/jre --enable-mpfr
--disable-werror --enable-checking=release i486-linux-gnu
Thread model: posix
gcc version 4.0.1 (Debian 4.0.1-1)

=== end ===

-- 
   Summary: member function template of partial specialized class
template
   Product: gcc
   Version: 4.0.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: zhaojiangbin at yahoo dot com
CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: i486-linux-gnu
GCC target triplet: i486-linux-gnu


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

[Bug fortran/15966] [4.0 Only] ICE and segmentation fault on internal write

[paulthomas2 at wanadoo dot fr]

--- Additional Comments From paulthomas2 at wanadoo dot fr  2005-07-12 
05:44 ---
(In reply to comment #19)
> Fixed in 4.0.2 and above.

Strictly speaking, pr15966 is fixed.  However, writing to array internal files
is still broken because no record length (aka character length) is being
transmitted.  This is a bug that comes up in a number of NIST tests (eg.
fm909.for tests 6, 7, 8, 10 & 22, 23, 25, 26.).

Jerry DeLisle and I are onto it.

With:

  implicit none
  integer :: i(10),j
  character(12)  :: r(12)
  i = (/(j,j=1,10)/)
  write(r,'(5(2x,i4/)/5(3x,i6/))') i
  write(6,'(a12)') r
  end

Intel and g95 do this

[EMAIL PROTECTED] mytests]# ./a.out
 1
 2
 3
 4
 5
 
6
7
8
9
   10

whilst gfortran does well, something else

[EMAIL PROTECTED] mytests]# ./a.out
 1
2  3
  4  5
6
  7
8
  91
0
 


-- 


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

[Bug tree-optimization/22416] [4.1 Regression] 23_containers/set/explicit_instantiation/1.cc fails: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

 CC||pinskia at gcc dot gnu dot
   ||org


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

[Bug testsuite/22357] gcc.dg/tree-ssa/vrp17.c assumes an argument evaluation order

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:45 ---
Fixed.

-- 
   What|Removed |Added

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


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

[Bug bootstrap/22402] Error during the build on AIX 5.2.0 ML5

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Severity|critical|normal
  Component|c   |bootstrap
   Keywords||build
   Priority|P1  |P2


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

[Bug libfortran/22412] [4.0 only] Fortran B edit descriptor error

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:41 ---
Fixed on the mainline.

-- 
   What|Removed |Added

  GCC build triplet|powerpc-aix powerpc-darwin  |
   GCC host triplet|powerpc-aix powerpc-darwin  |
 GCC target triplet|powerpc-aix powerpc-darwin  |powerpc-aix, powerpc-darwin
Summary|Fortran B edit descriptor   |[4.0 only] Fortran B edit
   |error   |descriptor error
   Target Milestone|--- |4.0.2


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

[Bug rtl-optimization/22425] ICE in loop_givs_rescan, at loop.c:5521

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

 GCC target triplet|x86_64-*-linux-gnu, |x86_64-*-linux-gnu
   |powerpc64-darwin|


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

[Bug fortran/19292] [meta-bug] g77 features lacking in gfortran

[pinskia at gcc dot gnu dot org]

-- 
Bug 19292 depends on bug 15966, which changed state.

Bug 15966 Summary: [4.0 Only] ICE and segmentation fault on internal write
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15966

   What|Old Value   |New Value

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED

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

[Bug fortran/18834] ICE on reading from internal file character array

[pinskia at gcc dot gnu dot org]

-- 
Bug 18834 depends on bug 15966, which changed state.

Bug 15966 Summary: [4.0 Only] ICE and segmentation fault on internal write
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15966

   What|Old Value   |New Value

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED

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

[Bug fortran/19276] [meta-bug] CHARACTER related bugs in gfortran

[pinskia at gcc dot gnu dot org]

-- 
Bug 19276 depends on bug 15966, which changed state.

Bug 15966 Summary: [4.0 Only] ICE and segmentation fault on internal write
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15966

   What|Old Value   |New Value

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED

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

[Bug fortran/15966] [4.0 Only] ICE and segmentation fault on internal write

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:26 ---
Fixed in 4.0.2 and above.

-- 
   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug fortran/19292] [meta-bug] g77 features lacking in gfortran

[pinskia at gcc dot gnu dot org]

-- 
Bug 19292 depends on bug 18781, which changed state.

Bug 18781 Summary: [ICE] WRITE with FMT from CHARACTER array
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18781

   What|Old Value   |New Value

 Status|REOPENED|RESOLVED
 Resolution||FIXED

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

[Bug fortran/18834] ICE on reading from internal file character array

[pinskia at gcc dot gnu dot org]

-- 
Bug 18834 depends on bug 18781, which changed state.

Bug 18781 Summary: [ICE] WRITE with FMT from CHARACTER array
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18781

   What|Old Value   |New Value

 Status|REOPENED|RESOLVED
 Resolution||FIXED

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

[Bug fortran/19276] [meta-bug] CHARACTER related bugs in gfortran

[pinskia at gcc dot gnu dot org]

-- 
Bug 19276 depends on bug 18781, which changed state.

Bug 18781 Summary: [ICE] WRITE with FMT from CHARACTER array
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18781

   What|Old Value   |New Value

 Status|REOPENED|RESOLVED
 Resolution||FIXED

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

[Bug fortran/18781] [ICE] WRITE with FMT from CHARACTER array

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:26 ---
Fixed in 4.0.2 and above.

-- 
   What|Removed |Added

 Status|REOPENED|RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.0.2


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

[Bug fortran/19292] [meta-bug] g77 features lacking in gfortran

[pinskia at gcc dot gnu dot org]

-- 
Bug 19292 depends on bug 16531, which changed state.

Bug 16531 Summary: [4.0 only, gfortran] Hollerith Data not supported
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16531

   What|Old Value   |New Value

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED

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

[Bug fortran/16531] [4.0 only, gfortran] Hollerith Data not supported

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:25 ---
Fixed.

-- 
   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug rtl-optimization/22425] ICE in loop_givs_rescan, at loop.c:5521

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

 CC||pinskia at gcc dot gnu dot
   ||org
 GCC target triplet|x86_64-unknown-linux-gnu|x86_64-*-linux-gnu,
   ||powerpc64-darwin
   Keywords||ice-on-valid-code


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

[Bug tree-optimization/22422] [4.1 Regression] ICE in first_vi_for_offset, at tree-ssa-structalias.c:2843

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:23 ---
Confirmed, also fails on powerpc64-darwin.

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
 GCC target triplet|x86_64-unknown-linux-gnu|x86_64-*-linux-gnu,
   ||powerpc64-darwin
   Last reconfirmed|-00-00 00:00:00 |2005-07-12 04:23:26
   date||
Summary|ICE in first_vi_for_offset, |[4.1 Regression] ICE in
   |at tree-ssa-|first_vi_for_offset, at
   |structalias.c:2843  |tree-ssa-structalias.c:2843
   Target Milestone|--- |4.1.0


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

[Bug c/22421] problems with -Wformat and bit-fields

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:20 ---
As mentioned, just the text in the diagnostic is wong, not the diagnostic is 
wrong.

I don't know if I should mark this as a regression as this is really a 
progression as mentioned in 
comment #2.

-- 
   What|Removed |Added

   Severity|normal  |minor
 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Keywords||diagnostic
   Last reconfirmed|-00-00 00:00:00 |2005-07-12 04:20:43
   date||


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

[Bug bootstrap/22426] bootstrap fails - ld: unrecognized option '-Wl,-rpath'

[dish at csua dot berkeley dot edu]

--- Additional Comments From dish at csua dot berkeley dot edu  2005-07-12 
04:19 ---
Whooops. Accidentally hit refresh. Sorry about the duplicate of the duplicate. 
:]

(In reply to comment #0)
> /usr/local/src/objdir/gcc/gcj -B/usr/local/src/objdir/gcc/
> -B/usr/local/i686-pc-linux-gnu/bin/ -B/usr/local/i686-pc-linux-gnu/lib/ 
> -isystem
> /usr/local/i686-pc-linux-gnu/include -isystem
> /usr/local/i686-pc-linux-gnu/sys-include -ffloat-store -fno-omit-frame-pointer
> -g -O2 -o .libs/jv-convert --main=gnu.gcj.convert.Convert -shared-libgcc 
> -L/usr/local/src/objdir/i686-pc-linux-gnu/libjava
> -L/usr/local/src/objdir/i686-pc-linux-gnu/libjava/.libs ./.libs/libgcj.so
> -L/usr/local/src/objdir/i686-pc-linux-gnu/libstdc++-v3/src
> -L/usr/local/src/objdir/i686-pc-linux-gnu/libstdc++-v3/src/.libs -lpthread 
> -ldl
> -L/usr/local/src/objdir/gcc -L/usr/local/i686-pc-linux-gnu/bin
> -L/usr/local/i686-pc-linux-gnu/lib
> -L/usr/local/lib/gcc/i686-pc-linux-gnu/../../../i686-pc-linux-gnu/lib
> -L/usr/local/lib/gcc/i686-pc-linux-gnu/../.. -lgcc_s -lc -lgcc_s -Wl,--rpath
> -Wl,/usr/local/lib
> 
> /usr/local/i686-pc-linux-gnu/bin/ld: unrecognized option '-Wl,-rpath'
> /usr/local/i686-pc-linux-gnu/bin/ld: use the --help option for usage 
> information
> collect2: ld returned 1 exit status
> 
> [EMAIL PROTECTED]:/usr/local/src/objdir $ /usr/local/i686-pc-linux-gnu/bin/ld
--version
> GNU ld version 2.16.1
> 
> Binutils were upgraded from 2.14.1 after giving same errors. 
> Distro: Mandrake 10.0.
> 
> Same as http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22323 but for 4.0.1. No
> problem w/3.4.3 as well.
> 
> Thanks



-- 


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

[Bug c/22421] problems with -Wformat and bit-fields

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:18 ---
*** Bug 21962 has been marked as a duplicate of this bug. ***

-- 
   What|Removed |Added

 CC||pluto at agmk dot net


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

[Bug c/21962] 4.0/4.1 Regression] ] format '%012llx' expects type X, but argument has type X

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:17 ---


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

-- 
   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||DUPLICATE


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

[Bug bootstrap/22323] bootstrap fails - ld: unrecognized option '-Wl,-rpath'

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:16 ---
What happens if you configure with an absolute path instead of a relative path?

-- 


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

[Bug bootstrap/22426] bootstrap fails - ld: unrecognized option '-Wl,-rpath'

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:15 ---


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

-- 
   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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

[Bug bootstrap/22323] bootstrap fails - ld: unrecognized option '-Wl,-rpath'

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:15 ---
*** Bug 22426 has been marked as a duplicate of this bug. ***

-- 


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

[Bug bootstrap/22426] New: bootstrap fails - ld: unrecognized option '-Wl,-rpath'

[dish at csua dot berkeley dot edu]

/usr/local/src/objdir/gcc/gcj -B/usr/local/src/objdir/gcc/
-B/usr/local/i686-pc-linux-gnu/bin/ -B/usr/local/i686-pc-linux-gnu/lib/ -isystem
/usr/local/i686-pc-linux-gnu/include -isystem
/usr/local/i686-pc-linux-gnu/sys-include -ffloat-store -fno-omit-frame-pointer
-g -O2 -o .libs/jv-convert --main=gnu.gcj.convert.Convert -shared-libgcc 
-L/usr/local/src/objdir/i686-pc-linux-gnu/libjava
-L/usr/local/src/objdir/i686-pc-linux-gnu/libjava/.libs ./.libs/libgcj.so
-L/usr/local/src/objdir/i686-pc-linux-gnu/libstdc++-v3/src
-L/usr/local/src/objdir/i686-pc-linux-gnu/libstdc++-v3/src/.libs -lpthread -ldl
-L/usr/local/src/objdir/gcc -L/usr/local/i686-pc-linux-gnu/bin
-L/usr/local/i686-pc-linux-gnu/lib
-L/usr/local/lib/gcc/i686-pc-linux-gnu/../../../i686-pc-linux-gnu/lib
-L/usr/local/lib/gcc/i686-pc-linux-gnu/../.. -lgcc_s -lc -lgcc_s -Wl,--rpath
-Wl,/usr/local/lib

/usr/local/i686-pc-linux-gnu/bin/ld: unrecognized option '-Wl,-rpath'
/usr/local/i686-pc-linux-gnu/bin/ld: use the --help option for usage information
collect2: ld returned 1 exit status

[EMAIL PROTECTED]:/usr/local/src/objdir $ /usr/local/i686-pc-linux-gnu/bin/ld 
--version
GNU ld version 2.16.1

Binutils were upgraded from 2.14.1 after giving same errors. 
Distro: Mandrake 10.0.

Same as http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22323 but for 4.0.1. No
problem w/3.4.3 as well.

Thanks

-- 
   Summary: bootstrap fails - ld: unrecognized option '-Wl,-rpath'
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: bootstrap
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: dish at csua dot berkeley dot edu
CC: gcc-bugs at gcc dot gnu dot org


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

[Bug bootstrap/22323] bootstrap fails - ld: unrecognized option '-Wl,-rpath'

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:11 ---
*** Bug 22424 has been marked as a duplicate of this bug. ***

-- 
   What|Removed |Added

 CC||dish at csua dot berkeley
   ||dot edu


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

[Bug bootstrap/22424] bootstrap fails - ld: unrecognized option '-Wl,-rpath'

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
04:11 ---


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

-- 
   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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

[Bug target/20126] [3.4 Regression] Inlined memcmp makes one argument null on entry

[belyshev at depni dot sinp dot msu dot ru]

-- 
   What|Removed |Added

  BugsThisDependsOn||22425


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

[Bug rtl-optimization/22425] New: ICE in loop_givs_rescan, at loop.c:5521

[belyshev at depni dot sinp dot msu dot ru]

Here is tescase for this ICE, which was first mentioned in
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20126#c26 . 
It still fails on mainline.

--
// compile with -O2

static struct
{
  unsigned int p, f;
} s[] ={
  { 0x08, 625 },
  { 0x09, 1250 },
  { 0x0a, 2500 },
  { 0x0b, 3030 },
  { 0x0c, 5000 }
};

unsigned int foo (unsigned int f)
{
  int i, n;
  
  n = sizeof (s) / sizeof (s[0]);
  for (i = 0; i < n; i++)
if (f == s[i].f)
  return 1 / s[i].p;
  return 1000 / f;
}

-- 
   Summary: ICE in loop_givs_rescan, at loop.c:5521
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: rtl-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: belyshev at depni dot sinp dot msu dot ru
CC: aoliva at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
dot org
GCC target triplet: x86_64-unknown-linux-gnu
OtherBugsDependingO 20126
 nThis:


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

[Bug bootstrap/22424] New: bootstrap fails - ld: unrecognized option '-Wl,-rpath'

[dish at csua dot berkeley dot edu]

/usr/local/src/objdir/gcc/gcj -B/usr/local/src/objdir/gcc/
-B/usr/local/i686-pc-linux-gnu/bin/ -B/usr/local/i686-pc-linux-gnu/lib/ -isystem
/usr/local/i686-pc-linux-gnu/include -isystem
/usr/local/i686-pc-linux-gnu/sys-include -ffloat-store -fno-omit-frame-pointer
-g -O2 -o .libs/jv-convert --main=gnu.gcj.convert.Convert -shared-libgcc 
-L/usr/local/src/objdir/i686-pc-linux-gnu/libjava
-L/usr/local/src/objdir/i686-pc-linux-gnu/libjava/.libs ./.libs/libgcj.so
-L/usr/local/src/objdir/i686-pc-linux-gnu/libstdc++-v3/src
-L/usr/local/src/objdir/i686-pc-linux-gnu/libstdc++-v3/src/.libs -lpthread -ldl
-L/usr/local/src/objdir/gcc -L/usr/local/i686-pc-linux-gnu/bin
-L/usr/local/i686-pc-linux-gnu/lib
-L/usr/local/lib/gcc/i686-pc-linux-gnu/../../../i686-pc-linux-gnu/lib
-L/usr/local/lib/gcc/i686-pc-linux-gnu/../.. -lgcc_s -lc -lgcc_s -Wl,--rpath
-Wl,/usr/local/lib

/usr/local/i686-pc-linux-gnu/bin/ld: unrecognized option '-Wl,-rpath'
/usr/local/i686-pc-linux-gnu/bin/ld: use the --help option for usage information
collect2: ld returned 1 exit status

[EMAIL PROTECTED]:/usr/local/src/objdir $ /usr/local/i686-pc-linux-gnu/bin/ld 
--version
GNU ld version 2.16.1

Binutils were upgraded from 2.14.1 after giving same errors. 
Distro: Mandrake 10.0.

Same as http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22323 but for 4.0.1. No
problem w/3.4.3 as well.

Thanks

-- 
   Summary: bootstrap fails - ld: unrecognized option '-Wl,-rpath'
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: bootstrap
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: dish at csua dot berkeley dot edu
CC: gcc-bugs at gcc dot gnu dot org


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

[Bug libfortran/22412] Fortran B edit descriptor error

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-12 
03:27 ---
Subject: Bug 22412

CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED]   2005-07-12 03:27:41

Modified files:
libgfortran: ChangeLog 
libgfortran/io : write.c 

Log message:
PR libgfortran/22412
* io/write.c (otoa): Bias p by SCRATCH_SIZE, not
sizeof (SCRATCH_SIZE).
(btoa): Same.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libgfortran/ChangeLog.diff?cvsroot=gcc&r1=1.260&r2=1.261
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libgfortran/io/write.c.diff?cvsroot=gcc&r1=1.40&r2=1.41



-- 


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

[Bug libfortran/22423] New: Warnings when building libgfortran

[fengwang at gcc dot gnu dot org]

There are warnings when build libgfortran:

$grep warning buildlog
[snip]
../../../gcc/libgfortran/generated/matmul_i4.c:102: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i8.c:102: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_i8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r4.c:102: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r8.c:102: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_r8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c4.c:102: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c4.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c8.c:102: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/matmul_c8.c:185: warning: passing argument 1
../../../gcc/libgfortran/generated/transpose_i4.c:66: warning: passing argument
../../../gcc/libgfortran/generated/transpose_i8.c:66: warning: passing argument
../../../gcc/libgfortran/generated/transpose_c4.c:66: warning: passing argument
../../../gcc/libgfortran/generated/transpose_c8.c:66: warning: passing argument
../../../gcc/libgfortran/generated/eoshift1_4.c:61: warning: 'soffset' may be 
us
../../../gcc/libgfortran/generated/eoshift1_4.c:73: warning: 'len' may be used 
u
../../../gcc/libgfortran/generated/eoshift1_4.c:55: warning: 'roffset' may be 
us
../../../gcc/libgfortran/generated/eoshift1_8.c:61: warning: 'soffset' may be 
us
../../../gcc/libgfortran/generated/eoshift1_8.c:73: warning: 'len' may be used 
u
../../../gcc/libgfortran/generated/eoshift1_8.c:55: warning: 'roffset' may be 
us
../../../gcc/libgfortran/generated/eoshift3_4.c:75: warning: 'len' may be used 
u
../../../gcc/libgfortran/generated/eoshift3_4.c:59: warning: 'soffset' may be 
us
../../../gcc/libgfortran/generated/eoshift3_4.c:53: warning: 'roffset' may be 
us
../../../gcc/libgfortran/generated/eoshift3_8.c:75: warning: 'len' may be used 
u
../../../gcc/libgfortran/generated/eoshift3_8.c:59: warning: 'soffset' may be 
us
../../../gcc/libgfortran/generated/eoshift3_8.c:53: warning: 'roffset' may be 
us
../../../gcc/libgfortran/io/list_read.c:2187: warning: missing braces around 
ini
../../../gcc/libgfortran/io/list_read.c:2187: warning: (near initialization for
../../../gcc/libgfortran/io/list_read.c:2188: warning: missing braces around 
ini
../../../gcc/libg

[Bug tree-optimization/22422] New: ICE in first_vi_for_offset, at tree-ssa-structalias.c:2843

[belyshev at depni dot sinp dot msu dot ru]

//
// C testcase, compile with -O1

struct D
{
  int n;
  int c [8];
};

struct A
{
  int i;
  char *p;
};

struct B
{
  struct A *a;
  struct D *d;
};

int dtInsert1 (struct B *b)
{
  struct A a = { 0, 0 };
  struct D *d;

  b->a = &a;
  d = b->d;
  &d->c [d->n];
  return 0;
}

//

vi.i: In function ‘dtInsert1’:
vi.i:20: internal compiler error: in first_vi_for_offset, at
tree-ssa-structalias.c:2843

Backtrace:

Starting program: /home/ssb/src/build/gcc/cc1 -quiet
/home/ssb/src/bugs/pending/vi.i -O

Breakpoint 1, fancy_abort (
file=0xc31230 "../../gcc41/gcc/tree-ssa-structalias.c", line=2843, 
function=0xdf1c30 "first_vi_for_offset")
at ../../gcc41/gcc/diagnostic.c:590
590   internal_error ("in %s, at %s:%d", function, trim_filename (file), 
line);
(gdb) bt
#0  fancy_abort (file=0xc31230 "../../gcc41/gcc/tree-ssa-structalias.c", 
line=2843, function=0xdf1c30 "first_vi_for_offset")
at ../../gcc41/gcc/diagnostic.c:590
#1  0x009ded2f in first_vi_for_offset (start=0xed4320, offset=32)
at ../../gcc41/gcc/tree-ssa-structalias.c:2843
#2  0x009d5bfa in solution_set_add (set=0xed5100, offset=32)
at ../../gcc41/gcc/tree-ssa-structalias.c:601
#3  0x009d5fae in set_union_with_increment (to=0xed2ba0, 
from=0xed2b60, inc=32) at ../../gcc41/gcc/tree-ssa-structalias.c:630
#4  0x009da177 in solve_graph (graph=0xe9cda0)
at ../../gcc41/gcc/tree-ssa-structalias.c:1716
#5  0x009e153e in compute_points_to_sets (ai=0xebb2d0)
at ../../gcc41/gcc/tree-ssa-structalias.c:3535
#6  0x0052f36d in compute_may_aliases ()
at ../../gcc41/gcc/tree-ssa-alias.c:260
#7  0x009b1bdc in execute_one_pass (pass=0xdde1c0)
at ../../gcc41/gcc/passes.c:774

-- 
   Summary: ICE in first_vi_for_offset, at tree-ssa-
structalias.c:2843
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Keywords: ice-on-valid-code
  Severity: normal
  Priority: P2
 Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: belyshev at depni dot sinp dot msu dot ru
CC: dberlin at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
dot org
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug c/22421] problems with -Wformat and bit-fields

[joseph at codesourcery dot com]

--- Additional Comments From joseph at codesourcery dot com  2005-07-12 
02:03 ---
Subject: Re:  New: problems with -Wformat and bit-fields

On Tue, 12 Jul 2005, wilson at gcc dot gnu dot org wrote:

> This problem showed up compiling the IA-64 linux kernel with gcc-4.0.1.  There
> was an unexpected printf format warnings for a 32-bit bit-field.  The same
> problem can be reproduced on any LP64 machine, such as x86_64-linux.

The format issues are bug 21962, but this bug is more detailed.

> 1) What printf formats should be allowed to match for a bit-field?  Or do we
> want to force use of a cast?  I think the gcc-3.3.x behaviour is correct and
> desirable.

If the bit-field has rank above that of int, then we must require a cast.

> 2) The type checking code in check_format_types needs to be extended to handle
> bit-field types properly.

I don't think any format checking code should need changing for this if 
the code handling creating bit-field types, promotions and diagnostics is 
made correct.

> 3) The behaviour of c_common_signed_or_unsigned_type should be checked.  Is it
> OK to return a standard integral type when the input is a non-standard 
> integral
> type?  If this is OK, then shouldn't we also do this when the signedness is 
> the
> same?  It seems odd that this routine can return either a standard integral 
> type
> or a non-standard integral type, depending on signedness.
> 4) We should check if we still want the special bit-field check in
> perform_integral_promotions.  This one I think we can defer indefinitely.

If 32-bit bit-field types are to be nonstandard types (i.e. extended 
integer types) then they have rank less than that of 32-bit int so should 
promote to int and be accepted for int formats.  Either there should be a 
special check to make nonstandard types the same width as int promote to 
int, or possibly simpler the standard type should be used for bit-fields 
in that case.  More generally it may make sense to use standard types for 
bit-fields which have the same width as a standard type.



-- 


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

[Bug c/22421] problems with -Wformat and bit-fields

[wilson at gcc dot gnu dot org]

--- Additional Comments From wilson at gcc dot gnu dot org  2005-07-12 
01:53 ---
Created an attachment (id=9247)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9247&action=view)
31/32/33 bit-fields vs %u/%lu/%ld/%d printf formats

Compile on an LP64 machine (e.g. ia64-linux, x86_64-linux, etc) with -Wformat,
and look at the warnings.  gcc-3.3.x generates 12 warnings.  gcc-4.0 and up
generate 18 warnings, 6 of which appear to be wrong.


-- 


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

[Bug fortran/15966] [4.0 Only] ICE and segmentation fault on internal write

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-12 
01:51 ---
Subject: Bug 15966

CVSROOT:/cvs/gcc
Module name:gcc
Branch: gcc-4_0-branch
Changes by: [EMAIL PROTECTED]   2005-07-12 01:50:48

Modified files:
libgfortran: ChangeLog 
libgfortran/intrinsics: etime.c getcwd.c stat.c unlink.c 
libgfortran/io : transfer.c unit.c 
libgfortran/runtime: string.c 
gcc/testsuite  : ChangeLog 
gcc/fortran: ChangeLog arith.c arith.h expr.c gfortran.h 
 gfortran.texi intrinsic.c io.c misc.c primary.c 
 simplify.c trans-const.c trans-io.c 
Added files:
gcc/testsuite/gfortran.dg: hollerith.f90 hollerith2.f90 
   hollerith3.f90 hollerith4.f90 
   hollerith_f95.f90 
   hollerith_legacy.f90 
gcc/testsuite/gfortran.dg/g77: cpp4.F 

Log message:
2005-07-12  Feng Wang  <[EMAIL PROTECTED]>

Backport from the mainline:
2005-03-05  Tobias Schl"uter  <[EMAIL PROTECTED]>
* trans-const.c (gfc_conv_constant_to_tree): Use correct tree
type for COMPLEX constants.

2005-07-07  Feng Wang  <[EMAIL PROTECTED]>
PR fortran/16531
PR fortran/15966
PR fortran/18781
* arith.c (gfc_hollerith2int, gfc_hollerith2real,
gfc_hollerith2complex, gfc_hollerith2character, gfc_hollerith2logical):
New functions.
(eval_intrinsic): Don't evaluate if Hollerith constant arguments exist.
* arith.h (gfc_hollerith2int, gfc_hollerith2real,
gfc_hollerith2complex, gfc_hollerith2character, gfc_hollerith2logical):
Add prototypes.
* expr.c (free_expr0): Free memery allocated for Hollerith constant.
(gfc_copy_expr): Allocate and copy string if Expr is from Hollerith.
(gfc_check_assign): Enable conversion from Hollerith to other.
* gfortran.h (bt): Add BT_HOLLERITH.
(gfc_expr): Add from_H flag.
* intrinsic.c (gfc_type_letter): Return 'h' for BT_HOLLERITH.
(add_conversions): Add conversions from Hollerith constant to other.
(do_simplify): Don't simplify if  Hollerith constant arguments exist.
* io.c (resolve_tag): Enable array in FORMAT tag under GFC_STD_GNU.
* misc.c (gfc_basetype_name): Return "HOLLERITH" for BT_HOLLERITH.
(gfc_type_name): Print "HOLLERITH" for BT_HOLLERITH.
* primary.c (match_hollerith_constant): New function.
(gfc_match_literal_constant): Add match Hollerith before Integer.
* simplify.c (gfc_convert_constant): Add conversion from Hollerith
to other.
* trans-const.c (gfc_conv_constant_to_tree): Use VIEW_CONVERT_EXPR to
convert Hollerith constant to tree.
* trans-io.c (gfc_convert_array_to_string): Get array's address and
length to set string expr.
(set_string): Deal with array assigned Hollerith constant and character
array.
* gfortran.texi: Document Hollerith constants as extention support.

2005-07-12  Feng Wang  <[EMAIL PROTECTED]>

Backport from the mainline:
2005-07-07  Feng Wang  <[EMAIL PROTECTED]>
PR fortran/16531
PR fortran/15966
PR fortran/18781
* gfortran.dg/hollerith.f90: New.
* gfortran.dg/hollerith2.f90: New.
* gfortran.dg/hollerith3.f90: New.
* gfortran.dg/hollerith4.f90: New.
* gfortran.dg/hollerith_f95.f90: New.
* gfortran.dg/hollerith_legacy.f90: New.
* gfortran.dg/g77/cpp4.F: New. Port from g77.

2005-07-12  Feng Wang  <[EMAIL PROTECTED]>

* runtime/string.c (compare0): Remove unused variable.
* intrinsics/etime.c (etime_sub): Ditto.
* intrinsics/getcwd.c (getcwd_i4_sub): Ditto.
* intrinsics/stat.c (stat_i4_sub stat_i8_sub fstat_i4_sub
fstat_i8_sub): Ditto.
* intrinsics/unlink.c (unlink_i4_sub): Ditto.
* io/unit.c (init_units): Ditto.

Backport from mainline.
2005-07-07  Feng Wang  <[EMAIL PROTECTED]>
PR fortran/16531
* io/transfer.c (formatted_transfer): Enable FMT_A on other types to
support Hollerith constants.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith2.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith3.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith4.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http

[Bug fortran/18781] [ICE] WRITE with FMT from CHARACTER array

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-12 
01:51 ---
Subject: Bug 18781

CVSROOT:/cvs/gcc
Module name:gcc
Branch: gcc-4_0-branch
Changes by: [EMAIL PROTECTED]   2005-07-12 01:50:48

Modified files:
libgfortran: ChangeLog 
libgfortran/intrinsics: etime.c getcwd.c stat.c unlink.c 
libgfortran/io : transfer.c unit.c 
libgfortran/runtime: string.c 
gcc/testsuite  : ChangeLog 
gcc/fortran: ChangeLog arith.c arith.h expr.c gfortran.h 
 gfortran.texi intrinsic.c io.c misc.c primary.c 
 simplify.c trans-const.c trans-io.c 
Added files:
gcc/testsuite/gfortran.dg: hollerith.f90 hollerith2.f90 
   hollerith3.f90 hollerith4.f90 
   hollerith_f95.f90 
   hollerith_legacy.f90 
gcc/testsuite/gfortran.dg/g77: cpp4.F 

Log message:
2005-07-12  Feng Wang  <[EMAIL PROTECTED]>

Backport from the mainline:
2005-03-05  Tobias Schl"uter  <[EMAIL PROTECTED]>
* trans-const.c (gfc_conv_constant_to_tree): Use correct tree
type for COMPLEX constants.

2005-07-07  Feng Wang  <[EMAIL PROTECTED]>
PR fortran/16531
PR fortran/15966
PR fortran/18781
* arith.c (gfc_hollerith2int, gfc_hollerith2real,
gfc_hollerith2complex, gfc_hollerith2character, gfc_hollerith2logical):
New functions.
(eval_intrinsic): Don't evaluate if Hollerith constant arguments exist.
* arith.h (gfc_hollerith2int, gfc_hollerith2real,
gfc_hollerith2complex, gfc_hollerith2character, gfc_hollerith2logical):
Add prototypes.
* expr.c (free_expr0): Free memery allocated for Hollerith constant.
(gfc_copy_expr): Allocate and copy string if Expr is from Hollerith.
(gfc_check_assign): Enable conversion from Hollerith to other.
* gfortran.h (bt): Add BT_HOLLERITH.
(gfc_expr): Add from_H flag.
* intrinsic.c (gfc_type_letter): Return 'h' for BT_HOLLERITH.
(add_conversions): Add conversions from Hollerith constant to other.
(do_simplify): Don't simplify if  Hollerith constant arguments exist.
* io.c (resolve_tag): Enable array in FORMAT tag under GFC_STD_GNU.
* misc.c (gfc_basetype_name): Return "HOLLERITH" for BT_HOLLERITH.
(gfc_type_name): Print "HOLLERITH" for BT_HOLLERITH.
* primary.c (match_hollerith_constant): New function.
(gfc_match_literal_constant): Add match Hollerith before Integer.
* simplify.c (gfc_convert_constant): Add conversion from Hollerith
to other.
* trans-const.c (gfc_conv_constant_to_tree): Use VIEW_CONVERT_EXPR to
convert Hollerith constant to tree.
* trans-io.c (gfc_convert_array_to_string): Get array's address and
length to set string expr.
(set_string): Deal with array assigned Hollerith constant and character
array.
* gfortran.texi: Document Hollerith constants as extention support.

2005-07-12  Feng Wang  <[EMAIL PROTECTED]>

Backport from the mainline:
2005-07-07  Feng Wang  <[EMAIL PROTECTED]>
PR fortran/16531
PR fortran/15966
PR fortran/18781
* gfortran.dg/hollerith.f90: New.
* gfortran.dg/hollerith2.f90: New.
* gfortran.dg/hollerith3.f90: New.
* gfortran.dg/hollerith4.f90: New.
* gfortran.dg/hollerith_f95.f90: New.
* gfortran.dg/hollerith_legacy.f90: New.
* gfortran.dg/g77/cpp4.F: New. Port from g77.

2005-07-12  Feng Wang  <[EMAIL PROTECTED]>

* runtime/string.c (compare0): Remove unused variable.
* intrinsics/etime.c (etime_sub): Ditto.
* intrinsics/getcwd.c (getcwd_i4_sub): Ditto.
* intrinsics/stat.c (stat_i4_sub stat_i8_sub fstat_i4_sub
fstat_i8_sub): Ditto.
* intrinsics/unlink.c (unlink_i4_sub): Ditto.
* io/unit.c (init_units): Ditto.

Backport from mainline.
2005-07-07  Feng Wang  <[EMAIL PROTECTED]>
PR fortran/16531
* io/transfer.c (formatted_transfer): Enable FMT_A on other types to
support Hollerith constants.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith2.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith3.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith4.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http

[Bug fortran/16531] [4.0 only, gfortran] Hollerith Data not supported

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-12 
01:51 ---
Subject: Bug 16531

CVSROOT:/cvs/gcc
Module name:gcc
Branch: gcc-4_0-branch
Changes by: [EMAIL PROTECTED]   2005-07-12 01:50:48

Modified files:
libgfortran: ChangeLog 
libgfortran/intrinsics: etime.c getcwd.c stat.c unlink.c 
libgfortran/io : transfer.c unit.c 
libgfortran/runtime: string.c 
gcc/testsuite  : ChangeLog 
gcc/fortran: ChangeLog arith.c arith.h expr.c gfortran.h 
 gfortran.texi intrinsic.c io.c misc.c primary.c 
 simplify.c trans-const.c trans-io.c 
Added files:
gcc/testsuite/gfortran.dg: hollerith.f90 hollerith2.f90 
   hollerith3.f90 hollerith4.f90 
   hollerith_f95.f90 
   hollerith_legacy.f90 
gcc/testsuite/gfortran.dg/g77: cpp4.F 

Log message:
2005-07-12  Feng Wang  <[EMAIL PROTECTED]>

Backport from the mainline:
2005-03-05  Tobias Schl"uter  <[EMAIL PROTECTED]>
* trans-const.c (gfc_conv_constant_to_tree): Use correct tree
type for COMPLEX constants.

2005-07-07  Feng Wang  <[EMAIL PROTECTED]>
PR fortran/16531
PR fortran/15966
PR fortran/18781
* arith.c (gfc_hollerith2int, gfc_hollerith2real,
gfc_hollerith2complex, gfc_hollerith2character, gfc_hollerith2logical):
New functions.
(eval_intrinsic): Don't evaluate if Hollerith constant arguments exist.
* arith.h (gfc_hollerith2int, gfc_hollerith2real,
gfc_hollerith2complex, gfc_hollerith2character, gfc_hollerith2logical):
Add prototypes.
* expr.c (free_expr0): Free memery allocated for Hollerith constant.
(gfc_copy_expr): Allocate and copy string if Expr is from Hollerith.
(gfc_check_assign): Enable conversion from Hollerith to other.
* gfortran.h (bt): Add BT_HOLLERITH.
(gfc_expr): Add from_H flag.
* intrinsic.c (gfc_type_letter): Return 'h' for BT_HOLLERITH.
(add_conversions): Add conversions from Hollerith constant to other.
(do_simplify): Don't simplify if  Hollerith constant arguments exist.
* io.c (resolve_tag): Enable array in FORMAT tag under GFC_STD_GNU.
* misc.c (gfc_basetype_name): Return "HOLLERITH" for BT_HOLLERITH.
(gfc_type_name): Print "HOLLERITH" for BT_HOLLERITH.
* primary.c (match_hollerith_constant): New function.
(gfc_match_literal_constant): Add match Hollerith before Integer.
* simplify.c (gfc_convert_constant): Add conversion from Hollerith
to other.
* trans-const.c (gfc_conv_constant_to_tree): Use VIEW_CONVERT_EXPR to
convert Hollerith constant to tree.
* trans-io.c (gfc_convert_array_to_string): Get array's address and
length to set string expr.
(set_string): Deal with array assigned Hollerith constant and character
array.
* gfortran.texi: Document Hollerith constants as extention support.

2005-07-12  Feng Wang  <[EMAIL PROTECTED]>

Backport from the mainline:
2005-07-07  Feng Wang  <[EMAIL PROTECTED]>
PR fortran/16531
PR fortran/15966
PR fortran/18781
* gfortran.dg/hollerith.f90: New.
* gfortran.dg/hollerith2.f90: New.
* gfortran.dg/hollerith3.f90: New.
* gfortran.dg/hollerith4.f90: New.
* gfortran.dg/hollerith_f95.f90: New.
* gfortran.dg/hollerith_legacy.f90: New.
* gfortran.dg/g77/cpp4.F: New. Port from g77.

2005-07-12  Feng Wang  <[EMAIL PROTECTED]>

* runtime/string.c (compare0): Remove unused variable.
* intrinsics/etime.c (etime_sub): Ditto.
* intrinsics/getcwd.c (getcwd_i4_sub): Ditto.
* intrinsics/stat.c (stat_i4_sub stat_i8_sub fstat_i4_sub
fstat_i8_sub): Ditto.
* intrinsics/unlink.c (unlink_i4_sub): Ditto.
* io/unit.c (init_units): Ditto.

Backport from mainline.
2005-07-07  Feng Wang  <[EMAIL PROTECTED]>
PR fortran/16531
* io/transfer.c (formatted_transfer): Enable FMT_A on other types to
support Hollerith constants.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith2.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith3.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gfortran.dg/hollerith4.f90.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1
http

[Bug c/22421] New: problems with -Wformat and bit-fields

[wilson at gcc dot gnu dot org]

This problem showed up compiling the IA-64 linux kernel with gcc-4.0.1.  There
was an unexpected printf format warnings for a 32-bit bit-field.  The same
problem can be reproduced on any LP64 machine, such as x86_64-linux.

I have generated an small testcase, which tries bit-fields of size 31, 32, and
33, and tries printing them with %u, %lu, %ld, and %d.

For the 31-bit bit-fields, we accept either %u or %d for both signed and
unsigned which is OK.

For the 32-bit bit-fields, we accept only %u for the signed bit-field and %d for
the unsigned bit-field, which is backwards from what one would expect.

For the 33-bit bit-fields, we accept none of the alternatives.

gcc-3.3.x behaves the way I would expect.  Both %u and %d are accepted for both
the signed and unsigned 31- and 32-bit bit-fields, and both %lu and %ld are
accepted for both the signed and unsigned 33-bit bit-fields.

The underlying problem here is that bit-fields are now their own unique types in
the C front end.  Also, the type checking that c-format.c does is rather simple.
 It looks for two types whose TYPE_MAIN_VARIANT is the same, or two types which
are the same except for signedness.

For the 31-bit bit-fields, this works because there is a special check for
bit-fields smaller than int in perform_integral_promotions (called via
default_conversion), which then converts them to int or unsigned int.  However,
this code has a ??? comment which implies it may be removed in future gcc
versions.  Because we have a standard integral type here, the TYPE_MAIN_VARIANT
checks succeed.

For 32-bit bit-fields, the TYPE_MAIN_VARIANT checks fail because there is no
default conversion.  We then fall through to the signedness check, which uses
c_common_signed_or_unsigned_type (called via c_common_[signed,unsigned]_type)
which returns the input type if the signedness matches, otherwise, it returns a
standard type if the TYPE_PRECISION matches.  Thus for a 32-bit bit-field, it
returns a standard type only if the signedness is wrong, and thus we get the odd
behaviour that %u works only for a signed bit-field, and %d works only for an
unsigned bit-field.

For a 33-bit bit-field, we get neither the default conversion, nor the
TYPE_PRECISION match, and all format alternatives are rejected.

There are a number of issues to resolve here.
1) What printf formats should be allowed to match for a bit-field?  Or do we
want to force use of a cast?  I think the gcc-3.3.x behaviour is correct and
desirable.
2) The type checking code in check_format_types needs to be extended to handle
bit-field types properly.
3) The behaviour of c_common_signed_or_unsigned_type should be checked.  Is it
OK to return a standard integral type when the input is a non-standard integral
type?  If this is OK, then shouldn't we also do this when the signedness is the
same?  It seems odd that this routine can return either a standard integral type
or a non-standard integral type, depending on signedness.
4) We should check if we still want the special bit-field check in
perform_integral_promotions.  This one I think we can defer indefinitely.

-- 
   Summary: problems with -Wformat and bit-fields
   Product: gcc
   Version: 4.0.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: wilson at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: ia64-linux


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

[Bug ada/22381] Ada produces mis-match (non compatible) types in MODIFY_EXPR

[bosch at gcc dot gnu dot org]

--- Additional Comments From bosch at gcc dot gnu dot org  2005-07-12 01:46 
---
This seems a problem where Gigi adds padding, but does not add a convert. The 
padding is added at 
decl.c:698, and 20 lines later, there is a complex condition to figure out when 
and when not to add a 
"convert". This condition seems to be wrong, as for this test case no 
conversion to the padded type is 
added, while there should have been one.

  -Geert

-- 
   What|Removed |Added

 CC||kenner at gcc dot gnu dot
   ||org
 AssignedTo|unassigned at gcc dot gnu   |bosch at gcc dot gnu dot org
   |dot org |
 Status|UNCONFIRMED |ASSIGNED
 Ever Confirmed||1
   Last reconfirmed|-00-00 00:00:00 |2005-07-12 01:46:26
   date||


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

[Bug tree-optimization/22135] The gcc-4.1-20050611 compiler ICE's using -ftree-vectorize in conjunction with -fdump-tree-all-details-stats

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
00:12 ---
(In reply to comment #7)
> It is known meaning people have reported it to the GCC list before but that 
> is it.
> A new bugzilla bug would be nice to keep track of it.

I just found there was a bug was already filed: PR 20962.


-- 


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

[Bug tree-optimization/21449] Loop unroller is way over estimating the unroll size of a loop

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
00:02 ---
Fixed by removing of the loop instead.

-- 
   What|Removed |Added

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


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

[Bug tree-optimization/22325] missed optimization in loop

[pinskia at gcc dot gnu dot org]

-- 
Bug 22325 depends on bug 17640, which changed state.

Bug 17640 Summary: empty loop not removed after optimization
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17640

   What|Old Value   |New Value

 Status|NEW |RESOLVED
 Resolution||FIXED

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

[Bug tree-optimization/19639] Funny (horrible) code for empty destructor

[pinskia at gcc dot gnu dot org]

-- 
Bug 19639 depends on bug 17640, which changed state.

Bug 17640 Summary: empty loop not removed after optimization
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17640

   What|Old Value   |New Value

 Status|NEW |ASSIGNED
 Status|ASSIGNED|NEW
 Status|NEW |RESOLVED
 Resolution||FIXED

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

[Bug tree-optimization/17640] empty loop not removed after optimization

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-12 
00:01 ---
Fixed in 4.1.0.

-- 
   What|Removed |Added

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


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

  BugsThisDependsOn||22420


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

[Bug ada/22420] New: Ada produces mis-match (non compatible) types in MODIFY_EXPR

[pinskia at gcc dot gnu dot org]

Another:
PROCEDURE C41304B IS
 TYPE V (DISC : INTEGER := 0) IS
  RECORD
 Y : INTEGER;
  END RECORD;
 TYPE T IS ACCESS V;
 FUNCTION F RETURN V IS
 BEGIN
  RETURN (DISC => 4, Y => 3);
 END F;
BEGIN
 null;
END C41304B;
Again see PR 22368 for the patch which I used to find this.
c41304b.adb:13: error: statement types mismatch
 = C.0D.379;

struct c41304b__vD.364
struct c41304b__f__T1bD.376

-- 
   Summary: Ada produces mis-match (non compatible) types in
MODIFY_EXPR
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: pinskia at gcc dot gnu dot org
CC: bosch at gcc dot gnu dot org,gcc-bugs at gcc dot gnu dot
org
OtherBugsDependingO 22368
 nThis:


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

[Bug ada/22419] Ada produces mis-match (non compatible) types in MODIFY_EXPR

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

OtherBugsDependingO||22368
  nThis||


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

[Bug ada/22419] New: Ada produces mis-match (non compatible) types in MODIFY_EXPR

[pinskia at gcc dot gnu dot org]

Another case:
with C392014_2;
package body C392014_0 is
function Create return T'Class is
begin
return C392014_2.Create ;
end Create;
end C392014_0;
package C392014_0 is
type T (D : natural) is abstract tagged null record;
function Create return T'Class;
end C392014_0;
with C392014_0;
with C392014_1;
package C392014_2 is
type T is new C392014_1.T with
record
C2 : natural;
end record;
function Create return T'Class;
end C392014_2;
with C392014_0;
package C392014_1 is
type T is new C392014_0.T with
record
C1 : natural;
end record;
end C392014_1;
Again see PR 22368 for the patch which I used to find this.

c392014_2.ads: In function 'C392014_0.Create':
c392014_2.ads:9: error: statement types mismatch
D.865 = D.866;

struct c392014_0__tD.395 *
struct c392014_2__tD.827 *

-- 
   Summary: Ada produces mis-match (non compatible) types in
MODIFY_EXPR
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: pinskia at gcc dot gnu dot org
CC: bosch at gcc dot gnu dot org,gcc-bugs at gcc dot gnu dot
org


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

[Bug other/18367] [4.1 Regression] make check fails with fixinclude problem

[geoffk at gcc dot gnu dot org]

--- Additional Comments From geoffk at gcc dot gnu dot org  2005-07-11 
23:40 ---
(On my system, I get seven chunks of 'diff' output, not just this one.)

-- 


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

[Bug other/18367] [4.1 Regression] make check fails with fixinclude problem

[geoffk at gcc dot gnu dot org]

--- Additional Comments From geoffk at gcc dot gnu dot org  2005-07-11 
23:39 ---
I think this means the testsuite needs to be updated, but am not sure how.  The 
README says:

The "check" step will proceed to construct a shell script that
will exercize all the fixes, using the sample test_text
provided with each fix.  Once done, the changes made will
be compared against the changes saved in the source directory.
If you are changing the tests or fixes, the change will likely
be highlighted.

I think this is the 'highlighting' referred to.

-- 


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

[Bug target/18421] ICE in reload_cse_simplify_operands, at postreload.c:391

[bernie at develer dot com]

--- Additional Comments From bernie at develer dot com  2005-07-11 23:35 
---
Oops... still pending for 4.0 and 3.4.

-- 
   What|Removed |Added

 Status|RESOLVED|REOPENED
 Resolution|FIXED   |


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

[Bug target/16719] [ColdFire] Illegal move of byte itno address register causes compiler to ICE

[bernie at develer dot com]

--- Additional Comments From bernie at develer dot com  2005-07-11 23:34 
---
Fixed on mainline.  Pending for 4.0 and 3.4.

-- 


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

[Bug target/18421] ICE in reload_cse_simplify_operands, at postreload.c:391

[bernie at develer dot com]

--- Additional Comments From bernie at develer dot com  2005-07-11 23:33 
---
Fixed.

-- 
   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug target/18421] ICE in reload_cse_simplify_operands, at postreload.c:391

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-11 
23:32 ---
Subject: Bug 18421

CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED]   2005-07-11 23:32:01

Modified files:
gcc: ChangeLog 
gcc/config/m68k: m68k.md m68k.c m68k.h m68k-protos.h 

Log message:
PR middle-end/16719
PR middle-end/18421
* config/m68k/m68k.h (HARD_REGNO_MODE_OK): Disallow bytes
in address registers.
* config/m68k/m68k.c (hard_regno_mode_ok): Likewise.
* config/m68k/m68k.md: Replace 's' with 'i' in 4th
alternative of addsi3_5200.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9411&r2=2.9412
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/m68k/m68k.md.diff?cvsroot=gcc&r1=1.84&r2=1.85
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/m68k/m68k.c.diff?cvsroot=gcc&r1=1.152&r2=1.153
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/m68k/m68k.h.diff?cvsroot=gcc&r1=1.128&r2=1.129
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/m68k/m68k-protos.h.diff?cvsroot=gcc&r1=1.20&r2=1.21



-- 


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

[Bug target/16719] [ColdFire] Illegal move of byte itno address register causes compiler to ICE

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-07-11 
23:32 ---
Subject: Bug 16719

CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED]   2005-07-11 23:32:01

Modified files:
gcc: ChangeLog 
gcc/config/m68k: m68k.md m68k.c m68k.h m68k-protos.h 

Log message:
PR middle-end/16719
PR middle-end/18421
* config/m68k/m68k.h (HARD_REGNO_MODE_OK): Disallow bytes
in address registers.
* config/m68k/m68k.c (hard_regno_mode_ok): Likewise.
* config/m68k/m68k.md: Replace 's' with 'i' in 4th
alternative of addsi3_5200.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9411&r2=2.9412
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/m68k/m68k.md.diff?cvsroot=gcc&r1=1.84&r2=1.85
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/m68k/m68k.c.diff?cvsroot=gcc&r1=1.152&r2=1.153
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/m68k/m68k.h.diff?cvsroot=gcc&r1=1.128&r2=1.129
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/m68k/m68k-protos.h.diff?cvsroot=gcc&r1=1.20&r2=1.21



-- 


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

[Bug target/16719] [ColdFire] Illegal move of byte itno address register causes compiler to ICE

[bernie at develer dot com]

--- Additional Comments From bernie at develer dot com  2005-07-11 23:25 
---
Patch attached to Bug #18421 (Attachment #9246).


-- 


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

[Bug target/18421] ICE in reload_cse_simplify_operands, at postreload.c:391

[bernie at develer dot com]

--- Additional Comments From bernie at develer dot com  2005-07-11 23:23 
---
Created an attachment (id=9246)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9246&action=view)
Updated patch


-- 
   What|Removed |Added

Attachment #8577 is|0   |1
   obsolete||
 AssignedTo|unassigned at gcc dot gnu   |bernie at develer dot com
   |dot org |
 Status|NEW |ASSIGNED


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

[Bug ada/22418] Ada produces mis-match (non compatible) types in MODIFY_EXPR

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
23:20 ---
(In reply to comment #0)
> Another one:
I think this testcase is the same problem:
PROCEDURE C37213D IS
 TYPE MY_ARR IS ARRAY (natural RANGE <>) OF INTEGER;
 FUNCTION F1 RETURN natural IS
 BEGIN
  RETURN 1;
 END F1;
 TYPE CONS (D3 : INTEGER := 1) IS
   RECORD
 C1 : MY_ARR(D3..F1);
   END RECORD;
   X : CONS;
BEGIN
  null;
END C37213D;


-- 


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

[Bug tree-optimization/22404] [4.1 regression] ICE in first_vi_for_offset

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
23:10 ---
Fixed.

-- 
   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED


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

[Bug other/22368] [meta-bugs] mis-match types in GCC

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

  BugsThisDependsOn||22418


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

[Bug ada/22418] New: Ada produces mis-match (non compatible) types in MODIFY_EXPR

[pinskia at gcc dot gnu dot org]

Another one:
PROCEDURE CC1204A IS
BEGIN
 DECLARE
  TYPE ARR IS ARRAY (natural RANGE <>) OF CHARACTER;
  TYPE RECD (C : natural := 1) IS
   RECORD
C1 : ARR (1..C);
   END RECORD;
  X1 : RECD;
  GENERIC
   P2 : IN RECD;
  PROCEDURE PROC;
  PROCEDURE PROC IS
  BEGIN
   null;
  END PROC;
 BEGIN 
  DECLARE
   PROCEDURE PR IS NEW PROC
( P2 => X1 );
  BEGIN
   null;
  END;
 END;
END CC1204A;

Again see PR 22368 for the patch which I used to find this.

-- 
   Summary: Ada produces mis-match (non compatible) types in
MODIFY_EXPR
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: pinskia at gcc dot gnu dot org
CC: bosch at gcc dot gnu dot org,gcc-bugs at gcc dot gnu dot
org
OtherBugsDependingO 22368
 nThis:


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

[Bug fortran/22417] [4.0/4.1 Regression] gfortran preprocessing regression: nonsense warning about file left but not entered

[jakub at redhat dot com]

--- Additional Comments From jakub at redhat dot com  2005-07-11 22:28 
---
Oops.  Untested patch, will do more testing tomorrow^Wtoday:
2005-07-12  Jakub Jelinek  <[EMAIL PROTECTED]>

PR fortran/22417
* scanner.c (preprocessor_line): Fix file left but not entered
warning.

--- gcc/fortran/scanner.c.jj2005-07-07 17:56:30.0 +0200
+++ gcc/fortran/scanner.c   2005-07-12 00:25:07.0 +0200
@@ -908,15 +908,15 @@ preprocessor_line (char *c)

   if (flag[2]) /* Ending current file.  */
 {
-  if (strcmp (current_file->filename, filename) != 0)
+  if (!current_file->up
+ || strcmp (current_file->up->filename, filename) != 0)
{
  gfc_warning_now ("%s:%d: file %s left but not entered",
   current_file->filename, current_file->line,
   filename);
  return;
}
-  if (current_file->up)
-   current_file = current_file->up;
+  current_file = current_file->up;
 }

   /* The name of the file can be a temporary file produced by


-- 


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

[Bug libfortran/22412] Fortran B edit descriptor error

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-07-11 22:02 
---
I'm pretty sure the problem is the line

p = scratch + sizeof (SCRATCH_SIZE) - 1;

SCRATCH_SIZE is the size of the buffer.  sizeof (SCRATCH_SIZE) probably is not 
what the author meant.

-- 


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

[Bug libfortran/22412] Fortran B edit descriptor error

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-07-11 21:57 
---
btoa() is overwriting the buffer scratch.  Although btoa() is in write.c, the 
buffer scratch is defined in transfer.c, so optimizing transfer.c changes the 
placement of scratch and exposes the failure.

-- 


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

[Bug fortran/22417] [4.0/4.1 Regression] gfortran preprocessing regression: nonsense warning about file left but not entered

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
21:54 ---
Confirmed.

-- 
   What|Removed |Added

 CC||jakub at gcc dot gnu dot
   ||org, pinskia at gcc dot gnu
   ||dot org
 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Keywords||diagnostic
   Last reconfirmed|-00-00 00:00:00 |2005-07-11 21:54:32
   date||
Summary|gfortran preprocessing  |[4.0/4.1 Regression]
   |regression: nonsense warning|gfortran preprocessing
   |about file left but not |regression: nonsense warning
   |entered |about file left but not
   ||entered


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

[Bug fortran/22417] New: gfortran preprocessing regression: nonsense warning about file left but not entered

[anlauf at hep dot tu-darmstadt dot de]

foo.F:

  program foo
#include "foo.h"
  end

foo.h:

c This is just a dummy include file for the -*- Fortran -*- preprocessor

% gfortran -c foo.F
Warning: foo.h:3: file foo.F left but not entered

-- 
   Summary: gfortran preprocessing regression: nonsense warning
about file left but not entered
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: fortran
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: anlauf at hep dot tu-darmstadt dot de
CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: i686-pc-linux-gnu


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

[Bug ada/22340] Ada build fails with --enable-bootstrap

[belyshev at depni dot sinp dot msu dot ru]

--- Additional Comments From belyshev at depni dot sinp dot msu dot ru  
2005-07-11 21:38 ---
Fixed.

-- 
   What|Removed |Added

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


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

[Bug target/18421] ICE in reload_cse_simplify_operands, at postreload.c:391

[bernie at develer dot com]

--- Additional Comments From bernie at develer dot com  2005-07-11 21:07 
---
A revised patch was posted here:

  http://gcc.gnu.org/ml/gcc-patches/2005-06/msg00853.html

I will attach it here in case someone wants to apply it
to an old version of GCC.


-- 


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

[Bug libfortran/22412] Fortran B edit descriptor error

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-07-11 20:53 
---
Killed when calling btoa() for conversion.

-- 


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

[Bug libfortran/22412] Fortran B edit descriptor error

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-07-11 20:50 
---
transfer integer appears to be overwriting the variable ionml when operating 
on B edit descriptor.  Prior to the function, ionml is NULL, after the 
function, the value is 0x31313131.

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Last reconfirmed|-00-00 00:00:00 |2005-07-11 20:50:02
   date||


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

[Bug tree-optimization/22415] [4.0 Regression] ICE in coalesce_abnormal_edges

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
20:15 ---
I think adding another DCE pass right before SRA and we will be able to 
reproduce this on the mainline 
also.

Also note turning off PRE "fixes" the ICE.  It might be PRE moving a statement 
causing the conflict.

-- 
   What|Removed |Added

 CC||dberlin at gcc dot gnu dot
   ||org


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

[Bug tree-optimization/22415] [4.0 Regression] ICE in coalesce_abnormal_edges

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
20:12 ---
Hmm, the reason why we cannot reproduce it on the mainline is because SRA 
thinks the variable a 
cannot be SRA'd because we still take the address of the variable even though 
that statement is dead.

-- 


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

[Bug fortran/20363] interface body has incorrect scope

[Tobias dot Schlueter at physik dot uni-muenchen dot de]

--- Additional Comments From Tobias dot Schlueter at physik dot 
uni-muenchen dot de  2005-07-11 20:12 ---
Subject: Re:  interface body has incorrect scope

paulthomas2 at wanadoo dot fr wrote:
> --- Additional Comments From paulthomas2 at wanadoo dot fr  2005-07-11 
> 20:02 ---
> Subject: Re:  interface body has incorrect scope
> 
> That seems to be as good as one could want!

Paul, do you have any idea what find_special could be intended for?  It seems
obvious that it does the wrong thing in the case of this PR, and I can't see
any case where it would be needed, but I would be surprised if there's no
intent behind it, and in another compiler the function is still present, does
the same thing, and is called in the same places.  Are there maybe any other
changes in symbol handling compensating for this?

Erik, I'll give this some more thought before I commit your patch, so don't
worry if I take a few days.

- Tobi


-- 


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

[Bug libfortran/22412] Fortran B edit descriptor error

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-07-11 20:08 
---
Something appears to be going wrong in io/transfer.c.  If I compile that file 
without optimization, the testcase passes, with optimization it fails.  I 
suspect it might be an uninitialized variable (ionml?) as opposed to 
miscompilation.

-- 


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

[Bug tree-optimization/22416] [4.1 Regression] 23_containers/set/explicit_instantiation/1.cc fails: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Keywords||alias, ice-on-valid-code
   Target Milestone|--- |4.1.0


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

[Bug tree-optimization/22416] New: [4.1 Regression] 23_containers/set/explicit_instantiation/1.cc fails: expected ssa_name, have var_decl in is_old_name, at tree-into-ssa.c:466

[jsm28 at gcc dot gnu dot org]

FAIL: 23_containers/set/explicit_instantiation/1.cc (test for excess errors)

has appeared on mainline on i686-pc-linux-gnu (gcc-testresults shows other
platforms as well) between 20050710 and 20050711 (both at 07:00 UTC).

/scratch/gcc/nightly-2005-07-11-mainline/i686-pc-linux-gnu/build_gcc/build/gcc-mainline-nightly-i686-pc-linux-gnu-i686-pc-linux-gnu/i686-pc-linux-gnu/libstdc++-v3/include/bits/stl_set.h:
In member function 'std::pair, _Compare, typename
_Alloc::rebind<_Key>::other>::const_iterator, bool> std::set<_Key, _Compare,
_Alloc>::insert(const _Key&) [with _Key = int, _Compare = std::less, _Alloc
= std::allocator]':
/scratch/gcc/nightly-2005-07-11-mainline/i686-pc-linux-gnu/build_gcc/build/gcc-mainline-nightly-i686-pc-linux-gnu-i686-pc-linux-gnu/i686-pc-linux-gnu/libstdc++-v3/include/bits/stl_set.h:318:
internal compiler error: tree check: expected ssa_name, have var_decl in
is_old_name, at tree-into-ssa.c:466

-- 
   Summary: [4.1 Regression]
23_containers/set/explicit_instantiation/1.cc fails:
expected ssa_name, have var_decl in is_old_name, at
tree-into-ssa.c:466
   Product: gcc
   Version: 4.1.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: jsm28 at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org


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

[Bug fortran/20363] interface body has incorrect scope

[paulthomas2 at wanadoo dot fr]

--- Additional Comments From paulthomas2 at wanadoo dot fr  2005-07-11 
20:02 ---
Subject: Re:  interface body has incorrect scope

That seems to be as good as one could want!

Paul T




-- 


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

[Bug tree-optimization/22415] [4.0 Regression] ICE in coalesce_abnormal_edges

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
19:56 ---
Confirmed, this might be a latent bug on the mainline.

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Keywords||ice-on-valid-code
  Known to fail||4.0.0
  Known to work||3.4.0
   Last reconfirmed|-00-00 00:00:00 |2005-07-11 19:56:04
   date||
Summary|ICE in  |[4.0 Regression] ICE in
   |coalesce_abnormal_edges |coalesce_abnormal_edges
   Target Milestone|--- |4.0.2


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

[Bug fortran/20363] interface body has incorrect scope

[erik dot edelmann at iki dot fi]

--- Additional Comments From erik dot edelmann at iki dot fi  2005-07-11 
19:52 ---

> Erik,
> 
> Have you checked the parse tree for this?  It looks OK, from a very 
> casual look, but the parse tree would be the clincher.

After comments from Tobi I posted a new patch here: 
http://gcc.gnu.org/ml/fortran/2005-07/msg00135.html

With that patch, the parse tree for the snafu module is


Namespace: A-H: (REAL 4) I-N: (INTEGER 4) O-Z: (REAL 4)
procedure name = snafu
symtree: foo  Ambig 0
symbol foo (UNKNOWN 0)(PROCEDURE UNKNOWN-INTENT UNKNOWN-ACCESS
UNKNOWN-PROC SUBROUTINE)
Generic interfaces: really_snafu

symtree: snafu  Ambig 0
symbol snafu (UNKNOWN 0)(MODULE UNKNOWN-INTENT UNKNOWN-ACCESS 
UNKNOWN-PROC)

symtree: really_snafu  Ambig 0
symbol really_snafu (UNKNOWN 0)(PROCEDURE UNKNOWN-INTENT UNKNOWN-ACCESS
MODULE-PROC SUBROUTINE)
Formal arglist: foo
Formal namespace
  Namespace: A-H: (REAL 4) I-N: (INTEGER 4) O-Z: (REAL 4)
  procedure name = really_snafu
  symtree: foo  Ambig 0
  symbol foo (INTEGER 4)(VARIABLE INOUT UNKNOWN-ACCESS UNKNOWN-PROC 
DUMMY)

  symtree: really_snafu  Ambig 0 from namespace snafu



-- 


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

[Bug c/22414] assert(i) gives "will never be executed" due to noreturn

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
19:50 ---
The warning is correct as there is an assigment for a temporary.
The assert should be written like:
void abort(void);

void f(int i)
{
  i ?(void) 0 : abort();
}

Please report this bug to glibc.

-- 
   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


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

[Bug tree-optimization/22415] New: ICE in coalesce_abnormal_edges

[jakub at redhat dot com]

struct C
{
  int a;
  int *b;
  int *c1 (int x) { return new int[sizeof (int) * x]; }
  void c2 (int *x, int *y, int z)
  {
for (int i = 0; i < z; i++)
  y[i] = x[i];
  }
  C (int x = 0) : a (x)
  {
if (a)
  {
b = c1 (a);
for (int i = 0; i < a; i++)
  b[i] = 0;
  }
  }
  C (const C & x) : a (x.a)
  {
if (a)
  {
b = c1 (a);
c2 (x.b, b, a);
  }
  }
  ~C (void) { if (a) delete b; }
  int &operator [] (int x)
  {
if (a == 0 && x == 0)
  {
a = 1;
b = c1 (1);
b[0] = 0;
  }
else
  {
C e (*this);
a = x + 1;
b = c1 (a);
c2 (e.b, b, e.a);
for (int i = e.a; i < a; i++)
  b[i] = 0;
  }
return b[x];
  }
  C & operator << (int x) { (*this)[a] = x; return *this; }
};

int
bar (void)
{
  C a;
  int f = 1;
  while (f != -1)
{
  f = 0;
  a << 1;
}
  return 0;
}

ICEs at -O2 in coalesce_abnormal_edges.  The bug is not present on HEAD
and 3.4.x compiles it just fine as well.

-- 
   Summary: ICE in coalesce_abnormal_edges
   Product: gcc
   Version: 4.0.2
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: jakub at redhat dot com
CC: gcc-bugs at gcc dot gnu dot org


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

[Bug bootstrap/22314] [4.1 regression] ICE in make profiledbootstrap: corrupted profile info for gcc/dominance.c

[bh at techhouse dot brown dot edu]

--- Additional Comments From bh at techhouse dot brown dot edu  2005-07-11 
19:42 ---
I get a similar error on my pentium-3 box, configuring with just:
/afs/cs/usr/bhudson/gcc/gcc-cvs-head/configure --enable-languages=c,c++
and 
gmake CFLAGS=-O2 BOOT_CFLAGS=-O2 profiledbootstrap
with CVS of Sun Jul 10 06:06:01 EDT 2005

stage1/xgcc -Bstage1/ -B/usr/local/i686-pc-linux-gnu/bin/ -c   -O2 -fprofile-use
 -freorder-blocks-and-partition -DIN_GCC   -W -Wall -Wwrite-strings -Wstrict-pro
totypes -Wmissing-prototypes -pedantic -Wno-long-long -Wno-variadic-macros -Wold
-style-definition -Werror -fno-common   -DHAVE_CONFIG_H-I. -I. -I/afs/cs/usr
/bhudson/gcc/gcc-cvs-head/gcc -I/afs/cs/usr/bhudson/gcc/gcc-cvs-head/gcc/. -I/af
s/cs/usr/bhudson/gcc/gcc-cvs-head/gcc/../include -I/afs/cs/usr/bhudson/gcc/gcc-c
vs-head/gcc/../libcpp/include  /afs/cs/usr/bhudson/gcc/gcc-cvs-head/gcc/builtins
.c -o builtins.o
/afs/cs/usr/bhudson/gcc/gcc-cvs-head/gcc/builtins.c: In function 'expand_builtin
':
/afs/cs/usr/bhudson/gcc/gcc-cvs-head/gcc/builtins.c:6283: error: corrupted profi
le info: number of executions for edge 49-676 thought to be -148
/afs/cs/usr/bhudson/gcc/gcc-cvs-head/gcc/builtins.c:6283: error: corrupted profi
le info: number of executions for edge 49-50 thought to be 148
gmake[2]: *** [builtins.o] Error 1


-- 


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

[Bug c/22414] New: assert(i) gives "will never be executed" due to noreturn

[h dot b dot furuseth at usit dot uio dot no]

assert(i) gives "will never be executed" on Linux.
assert(0) and assert(1) are silent.

I've tried to vary the assert() definition, e.g. give __assert_fail()
return type int and do (void)(i ? 0 : (0 & __assert_fail(...))), but
only removing __attribute__((noreturn)) seems to kill the warning.
I don't want to do that.

gcc configuration:
../gcc-4.0.1/configure --quiet --prefix=/scratch/install
--program-suffix=-4.0.1 --enable-version-specific-runtime-libs
--enable-languages=c,c++

bash$ gcc-4.0.1 -save-temps -fsyntax-only -Wunreachable-code foo.cfoo.c: In
function 'Noisy_a':
foo.c:4: warning: will never be executed

bash$ cat -s foo.i
# 1 "foo.c"
# 1 ""
# 1 ""
# 1 "foo.c"
# 1 "/usr/include/assert.h" 1 3 4
# 36 "/usr/include/assert.h" 3 4
# 1 "/usr/include/features.h" 1 3 4
# 296 "/usr/include/features.h" 3 4
# 1 "/usr/include/sys/cdefs.h" 1 3 4
# 297 "/usr/include/features.h" 2 3 4
# 319 "/usr/include/features.h" 3 4
# 1 "/usr/include/gnu/stubs.h" 1 3 4
# 320 "/usr/include/features.h" 2 3 4
# 37 "/usr/include/assert.h" 2 3 4
# 65 "/usr/include/assert.h" 3 4

extern void __assert_fail (__const char *__assertion, __const char *__file,
  unsigned int __line, __const char *__function)
 __attribute__ ((__noreturn__));

extern void __assert_perror_fail (int __errnum, __const char *__file,
  unsigned int __line,
  __const char *__function)
 __attribute__ ((__noreturn__));

extern void __assert (const char *__assertion, const char *__file, int __line)
 __attribute__ ((__noreturn__));

# 2 "foo.c" 2

void Noisy_a(int i) {
((void) ((i) ? 0 : (__assert_fail ("i", "foo.c", 4, __PRETTY_FUNCTION__), 
0)));
}
void Silent_b() {
((void) ((0) ? 0 : (__assert_fail ("0", "foo.c", 7, __PRETTY_FUNCTION__), 
0)));
}
void Silent_c() {
((void) ((1) ? 0 : (__assert_fail ("1", "foo.c", 10, __PRETTY_FUNCTION__), 
0)));
}

-- 
   Summary: assert(i) gives "will never be executed" due to noreturn
   Product: gcc
   Version: 4.0.1
Status: UNCONFIRMED
  Severity: minor
  Priority: P2
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: h dot b dot furuseth at usit dot uio dot no
CC: gcc-bugs at gcc dot gnu dot org
 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=22414

[Bug middle-end/21076] [4.1 Regression] ACATs ICE cxh1001 at tree-vrp.c:124 (fold bug)

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
19:38 ---
Patch posted here: .

-- 
   What|Removed |Added

URL||http://gcc.gnu.org/ml/gcc-
   ||patches/2005-
   ||07/msg00771.html
   Keywords||patch


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

[Bug middle-end/22398] [4.1 Regression] ICE in compare_values, at tree-vrp.c:445

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-11 
19:38 ---
Patch posted here: .

-- 
   What|Removed |Added

URL||http://gcc.gnu.org/ml/gcc-
   ||patches/2005-
   ||07/msg00771.html
   Keywords||patch


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

[Bug ada/22413] New: Cross build fails (multiple blank lines)

[smcconne at seakr dot com]

Using crosstool get the following:

gcc   -g -O2  -DIN_GCC -DCROSS_COMPILE  -W -Wall -Wwrite-strings
-Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long
-Wno-variadic-macros -Wold-style-definition-DHAVE_CONFIG_H  -o cc1 \
c-parse.o c-lang.o stub-objc.o attribs.o c-errors.o c-lex.o c-pragma.o 
c-decl.o
c-typeck.o c-convert.o c-aux-info.o c-common.o c-opts.o c-format.o c-semantics.o
c-incpath.o cppdefault.o c-ppoutput.o c-cppbuiltin.o prefix.o c-objc-common.o
c-dump.o c-pch.o rs6000-c.o c-gimplify.o tree-mudflap.o c-pretty-print.o main.o
 libbackend.a ../libcpp/libcpp.a ../libcpp/libcpp.a   ../libiberty/libiberty.a
gcc -c   -g -O2  -DIN_GCC -DCROSS_COMPILE  -W -Wall -Wwrite-strings
-Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long
-Wno-variadic-macros -Wold-style-definition-DHAVE_CONFIG_H-I. -I.
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/.
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/../include
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/../libcpp/include
 
/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/gcov.c
-o gcov.o
gcc -c   -g -O2  -DIN_GCC -DCROSS_COMPILE  -W -Wall -Wwrite-strings
-Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long
-Wno-variadic-macros -Wold-style-definition-DHAVE_CONFIG_H-I. -I.
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/.
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/../include
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/../libcpp/include
 
/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/errors.c
-o errors.o
gcc   -g -O2  -DIN_GCC -DCROSS_COMPILE  -W -Wall -Wwrite-strings
-Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long
-Wno-variadic-macros -Wold-style-definition-DHAVE_CONFIG_H  gcov.o intl.o
version.o errors.o ../libcpp/libcpp.a   ../libiberty/libiberty.a -o gcov
gcc -c   -g -O2  -DIN_GCC -DCROSS_COMPILE  -W -Wall -Wwrite-strings
-Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long
-Wno-variadic-macros -Wold-style-definition-DHAVE_CONFIG_H-I. -I.
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/.
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/../include
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/../libcpp/include
 
/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/gcov-dump.c
-o gcov-dump.o
gcc   -g -O2  -DIN_GCC -DCROSS_COMPILE  -W -Wall -Wwrite-strings
-Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long
-Wno-variadic-macros -Wold-style-definition-DHAVE_CONFIG_H  gcov-dump.o
version.o errors.o ../libcpp/libcpp.a   ../libiberty/libiberty.a -o gcov-dump
gcc -c -g -O2   -gnatpg -gnata -I- -I. -Iada
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/ada
/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/ada/ada.ads
-o ada/ada.o
gcc -c -g -O2   -gnatpg -gnata -I- -I. -Iada
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/ada
/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/ada/a-charac.ads
-o ada/a-charac.o
gcc -c -g -O2   -gnatpg -gnata -I- -I. -Iada
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/ada
/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/ada/a-chlat1.ads
-o ada/a-chlat1.o
gcc -c -g -O2   -gnatpg -gnata -g -O1 -fno-inline \
 -I- -I. -Iada
-I/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/ada
/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/gcc-4.0.1/gcc/ada/a-except.adb
-o ada/a-except.o
s-traent.ads:61:01: (style) blank lines not allowed at end of file
a-exexda.adb:154:01: (style) multiple blank lines
a-exextr.adb:192:01: (style) multiple blank lines
make[1]: *** [ada/a-except.o] Error 1
make[1]: Leaving directory
`/home/smcconne/work/crosstool-0.35/build/powerpc-405-linux-gnu/gcc-4.0.1-glibc-2.3.5/build-

[Bug bootstrap/22407] libgfortran build fails because of bad substitution

[ebotcazou at gcc dot gnu dot org]

--- Additional Comments From ebotcazou at gcc dot gnu dot org  2005-07-11 
19:20 ---
> Ok, rebuilt with "CONFIG_SHELL=/bin/bash; export CONFIG_SHELL".

Did you use an absolute path to invoke configure, as strongly recommended?  FWIW
I just bootstrapped 4.0.1 on Solaris 2.5.1, 2.6, 7, 8, 9 and 10 without a hitch.


-- 


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