[Bug c/35744] [4.1/4.2/4.3/4.4 regression] ICE attributes for invalid types

[reichelt at gcc dot gnu dot org]

--- Comment #2 from reichelt at gcc dot gnu dot org  2008-04-11 06:56 
---
Subject: Bug 35744

Author: reichelt
Date: Fri Apr 11 06:55:38 2008
New Revision: 134193

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134193
Log:
PR c/35744
* attribs.c (decl_attributes): Return early on errorneous node.

* gcc.dg/attr-error-1.c: New test.

Added:
trunk/gcc/testsuite/gcc.dg/attr-error-1.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/attribs.c
trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/35884] defining __need_size_t before including causes error

[jakub at gcc dot gnu dot org]

--- Comment #3 from jakub at gcc dot gnu dot org  2008-04-11 06:45 ---
No, that is a way how the implementation does that internally.  That's
certainly not something you are allowed to do in random applications or
libraries.


-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


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

[Bug c++/35884] defining __need_size_t before including causes error

[stdin at stdin dot me dot uk]

--- Comment #2 from stdin at stdin dot me dot uk  2008-04-11 03:36 ---
You define __need_size_t when you want to pull in the definition of size_t but
not other typedefs/functions. It's the standard way to get the size_t type.


-- 

stdin at stdin dot me dot uk changed:

   What|Removed |Added

 Status|RESOLVED|UNCONFIRMED
 Resolution|INVALID |


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

[Bug other/35905] gcc 4.2.3 still contains many GPL v2 references

[pinskia at gcc dot gnu dot org]

--- Comment #6 from pinskia at gcc dot gnu dot org  2008-04-10 23:34 ---
>(Is 4.1 still open? I don't remember.)

Yes but no  see the thread starting at
http://gcc.gnu.org/ml/gcc/2008-03/msg00163.html .

4.3 branch should be have already COPYING3{,.LIB} as it was the trunk when they
were added.


-- 


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

[Bug c++/19476] Missed null checking elimination with new

[ian at airs dot com]

--- Comment #12 from ian at airs dot com  2008-04-10 23:33 ---
Note that bug 35878, which was closed as a duplicate of this one, was a case of
placement new.  For placement new the check for a NULL pointer is particularly
useless, as the language standard says that placement new is required to return
the pointer which was passed in.


-- 


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

[Bug other/35905] gcc 4.2.3 still contains many GPL v2 references

[carlton at bactrian dot org]

--- Comment #5 from carlton at bactrian dot org  2008-04-10 23:30 ---
Thanks for the info.  I just did a spot check on the trunk and
4.2 branch: it looks like all the currently fixable issues I raised are fixed
in the trunk, and Copying.html is probably fixed in the branch (I saw
gpl_v3.texi).  But there's no COPYING3{,.LIB} at the toplevel
of the 4.2 branch, which I think is important to reduce confusion.

I didn't spot check the 4.3 or 4.1 branches.  (Is 4.1 still open?
I don't remember.)


-- 


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

[Bug other/35905] gcc 4.2.3 still contains many GPL v2 references

[pinskia at gcc dot gnu dot org]

--- Comment #4 from pinskia at gcc dot gnu dot org  2008-04-10 23:21 ---
I don't think we should keep this bug opened any more as the only issue left to
"fix" is really in the FSF hands and they are already working on it.


-- 


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

[Bug other/35905] gcc 4.2.3 still contains many GPL v2 references

[pinskia at gcc dot gnu dot org]

--- Comment #3 from pinskia at gcc dot gnu dot org  2008-04-10 23:20 ---
(In reply to comment #2)
> Now Copying.html is a different story and I think was already fixed.
And has: http://gcc.gnu.org/ml/gcc-patches/2008-04/msg00106.html .


-- 


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

[Bug other/35905] gcc 4.2.3 still contains many GPL v2 references

[pinskia at gcc dot gnu dot org]

--- Comment #2 from pinskia at gcc dot gnu dot org  2008-04-10 23:19 ---
(In reply to comment #1)
> Actually this is why those have not been moved yet.

And more to the point, the FSF lawyers have not decided how to word the
exception for the GPLv3.

Now Copying.html is a different story and I think was already fixed.


-- 


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

[Bug other/35905] gcc 4.2.3 still contains many GPL v2 references

[pinskia at gcc dot gnu dot org]

--- Comment #1 from pinskia at gcc dot gnu dot org  2008-04-10 23:17 ---
>(Though, given the presence of the exception there, there's
probably little difference between v2 and v3...)

Actually this is why those have not been moved yet.


-- 


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

[Bug other/35905] New: gcc 4.2.3 still contains many GPL v2 references

[carlton at bactrian dot org]

I just downloaded GCC 4.2.3, and discovered that it states in several places
that it's using GPL v2 instead of v3; my impression from following the mailing
lists is that it (and even 4.2.2) should be GPL v3.

One example (a particularly important one, since it's most exposed to the user)
is the manual:
.  Also, the
top-level directory of the source contains v2 versions of COPYING and
COPYING.LIB.  (I don't know what, if any, files within the tree refer to the
top-level versions of those files, instead of the versions within
subdirectories, but it is at the very least confusing to only have v2 versions
at the top level.)  Another example I ran across is that files in libstdc++/src
refer to GPL v2.  (Though, given the presence of the exception there, there's
probably little difference between v2 and v3...)


-- 
   Summary: gcc 4.2.3 still contains many GPL v2 references
   Product: gcc
   Version: 4.2.3
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: other
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: carlton at bactrian dot org


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

[Bug target/35768] gcc.c-torture/compile/20010226-1.c:22: ICE: in do_output_reload, at reload1.c:7331

[danglin at gcc dot gnu dot org]

--- Comment #9 from danglin at gcc dot gnu dot org  2008-04-10 22:52 ---
Fixed.


-- 

danglin at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED


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

[Bug target/35768] gcc.c-torture/compile/20010226-1.c:22: ICE: in do_output_reload, at reload1.c:7331

[danglin at gcc dot gnu dot org]

--- Comment #8 from danglin at gcc dot gnu dot org  2008-04-10 22:51 ---
Subject: Bug 35768

Author: danglin
Date: Thu Apr 10 22:50:49 2008
New Revision: 134182

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134182
Log:
PR target/35768
* pa.md: Define mode iterator P.  Define mode attribute dwc.
(dcacheflush): Update pattern to use iterator P and attribute dwc.
(icacheflush): Likewise.
* pa.h (INITIALIZE_TRAMPOLINE): Use dcacheflushsi/icacheflushsi if
!TARGET_64BIT, and dcacheflushdi/icacheflushdi if TARGET_64BIT.


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


-- 


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

[Bug c++/35904] New: Poor error message

[chris at bubblescope dot net]

The code:
void grab(int& i);

int main(void)
{ grab(1); }

Produces the useful and informative error:

invalid initialization of non-const reference of type ‘int&’ from a temporary
of type ‘int’

Whereas the code:


template
void grab(T t, int& i);

int main(void)
{ grab(1,1); }

Produces the much less useful

"no matching function for call to ‘grab(int, int)’"

Would it be possible to still get the error message about temporaries in the
templated case?


-- 
   Summary: Poor error message
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: enhancement
  Priority: P3
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: chris at bubblescope dot net


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

[Bug fortran/35831] Type-mismatch check missing for dummy procedure argument

[jaydub66 at gmail dot com]

--- Comment #4 from jaydub66 at gmail dot com  2008-04-10 21:09 ---
To me it's also not completely clear what the standard says on this, but the
way to fix it would probably be to insert some additional check into
operator_correspondence (interface.c), where currently only the type and rank
of the arguments is checked.


To require full equality of all array borders (as suggested in my comment #2),
one could simply add

  if (!gfc_compare_array_spec (f1->sym->as, f2->sym->as))
return 1;

into the above mentioned routine. This would result in gfortran behaving the
same way as ifort in this case, may it be standard-conforming or not.


If on the other hand Tobias is right in the assumption he made in comment #3,
then one could something along the lines of

  if (f1->sym->as->type != f2->sym->as->type)
return 1;

to require only the array types to be equal, or something similar to at least
prevent assumed-shape arrays from being passed instead of eplicit-shape arrays.


My feeling is that at least the array size should match for explicit-shape
arrays, but this is just a feeling and I couldn't find anything in the standard
to confirm this.

I'm not sure if the changes I'm suggesting would interfere with any other case
where 'operator_correspondence' is called, but at least they don't seem to
trigger any regressions.


-- 


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

[Bug c/35903] false warning when passing quoted string to function strcmp(arg,"no");

[rsa at us dot ibm dot com]

--- Comment #2 from rsa at us dot ibm dot com  2008-04-10 18:58 ---
Compiled with:
cd /home/ryanarn/glibc/stages/stage_lround/glibc/math

/opt/at43/bin/gcc -m32 test-ildoubl.c -save-temps -c -std=gnu99 -fgnu89-inline
-O2 -Wall -Winline -Wwrite-strings -fmerge-all-constants -g -mcpu=power4
-mlong-double-128 -mnew-mnemonics -Wstrict-prototypes -mlong-double-128   
-Wno-uninitialized -D__NO_MATH_INLINES -D__LIBC_INTERNAL_MATH_INLINES
-I../include
-I/home/ryanarn/glibc/stages/stage_lround/build/glibc32_power4/math
-I/home/ryanarn/glibc/stages/stage_lround/build/glibc32_power4
-I../sysdeps/powerpc/powerpc32/elf -I../sysdeps/powerpc/elf
-I../sysdeps/unix/sysv/linux/powerpc/powerpc32/power4/fpu
-I../sysdeps/powerpc/powerpc32/power4/fpu
-I../sysdeps/unix/sysv/linux/powerpc/powerpc32/power4
-I../sysdeps/unix/sysv/linux/powerpc/powerpc32/fpu
-I../sysdeps/powerpc/powerpc32/fpu
-I../nptl/sysdeps/unix/sysv/linux/powerpc/powerpc32
-I../sysdeps/unix/sysv/linux/powerpc/powerpc32
-I../nptl/sysdeps/unix/sysv/linux/powerpc -I../sysdeps/unix/sysv/linux/powerpc
-I../sysdeps/ieee754/ldbl-128ibm -I../sysdeps/ieee754/ldbl-opt
-I../nptl/sysdeps/unix/sysv/linux -I../nptl/sysdeps/pthread
-I../sysdeps/pthread -I../sysdeps/unix/sysv/linux -I../sysdeps/gnu
-I../sysdeps/unix/common -I../sysdeps/unix/mman -I../sysdeps/unix/inet
-I../nptl/sysdeps/unix/sysv -I../sysdeps/unix/sysv -I../sysdeps/unix/powerpc
-I../nptl/sysdeps/unix -I../sysdeps/unix -I../sysdeps/posix
-I../sysdeps/powerpc/powerpc32/power4 -I../sysdeps/powerpc/powerpc32
-I../sysdeps/wordsize-32 -I../sysdeps/powerpc/fpu -I../sysdeps/powerpc/math
-I../nptl/sysdeps/powerpc -I../sysdeps/powerpc -I../sysdeps/ieee754/dbl-64
-I../sysdeps/ieee754/flt-32 -I../sysdeps/ieee754 -I../sysdeps/generic/elf
-I../sysdeps/generic -I../nptl  -I.. -I../libio -I. -nostdinc -isystem
/opt/at43/lib/gcc/powerpc64-linux/4.3.0/include -isystem
/opt/at43/lib/gcc/powerpc64-linux/4.3.0/include-fixed -isystem /usr/include
-D_LIBC_REENTRANT -include ../include/libc-symbols.h   -DNOT_IN_libc=1
-U__LIBC_INTERNAL_MATH_INLINES -D__FAST_MATH__ -DTEST_FAST_MATH -fno-builtin  
-o
/home/ryanarn/glibc/stages/stage_lround/build/glibc32_power4/math/test-ildoubl.o
-MD -MP -MF
/home/ryanarn/glibc/stages/stage_lround/build/glibc32_power4/math/test-ildoubl.o.dt
-MT
/home/ryanarn/glibc/stages/stage_lround/build/glibc32_power4/math/test-ildoubl.o


-- 


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

[Bug c/35903] false warning when passing quoted string to function strcmp(arg,"no");

[rsa at us dot ibm dot com]

--- Comment #1 from rsa at us dot ibm dot com  2008-04-10 18:57 ---
Created an attachment (id=15465)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15465&action=view)
preprocessed test-ildouble.c file.

strcmp on line 16036 seems to be the problematic one.


-- 


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

[Bug c/35903] New: false warning when passing quoted string to function strcmp(arg,"no");

[rsa at us dot ibm dot com]

When building libm-test.c (part of the GLIBC make check math test suite for
GLIBC CVS head as of April 10, 2008) with GCC 4.3 I get the following warning:

math/libm-test.c: In function 'parse_opt':
math/libm-test.c:6102: warning: array subscript is above array bounds

In relation to the following code:

  if (strcmp (arg, "yes") == 0)

This warning goes away if replaced with:
  char yes[] = "yes";
  if (strcmp (arg,yes) == 0)

Andrew Pinski says this is a false warning and that I should file a bug report.


-- 
   Summary: false warning when passing quoted string to function
strcmp(arg,"no");
   Product: gcc
   Version: 4.3.1
Status: UNCONFIRMED
  Severity: minor
  Priority: P3
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rsa at us dot ibm dot com
 GCC build triplet: n/a
  GCC host triplet: n/a
GCC target triplet: n/a


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

[Bug target/27234] no way to stop gcc from mucking with the incoming argument stack on ia32

[jakub at gcc dot gnu dot org]

--- Comment #17 from jakub at gcc dot gnu dot org  2008-04-10 18:13 ---
x86_64 actually isn't a problem, as it passes integral arguments in registers
(and kernel only uses at most 6 syscall arguments).  Structures aren't passed
by value.


-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

Summary|no way to stop gcc from |no way to stop gcc from
   |mucking with the incoming   |mucking with the incoming
   |argument stack on   |argument stack on ia32
   |ia32/x86_64 |


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

[Bug target/27234] no way to stop gcc from mucking with the incoming argument stack on ia32/x86_64

[jakub at gcc dot gnu dot org]

--- Comment #16 from jakub at gcc dot gnu dot org  2008-04-10 18:09 ---
>From the kernel people it would be interesting to hear on which targets they
actually need it (e.g. if it is i?86 only, it would be better implemented as
i?86 specific syscall_linkage attribute).


-- 

jakub at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||jakub at gcc dot gnu dot org


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

[Bug target/27234] no way to stop gcc from mucking with the incoming argument stack

[jakub at gcc dot gnu dot org]

--- Comment #15 from jakub at gcc dot gnu dot org  2008-04-10 17:40 ---
The i?86 Linux kernel just got bitten by this again, see
https://bugzilla.redhat.com/show_bug.cgi?id=427707
In this case, it wasn't about a tail call, but I believe high register pressure
that caused modification of the incoming stack slot, which is undesirable for
kernel asmlinkage functions.

The #c14 patch after small fixup (s/preserve-stack/preserve_stack/) fixes some
cases, but certainly all, on the other side pessimizes code even where it is
not strictly necessary (though it is unclear how hard would it be to improve
that).

On f1 already vanilla gcc doesn't modify the incoming stack area, and the patch
just pessimizes it by reading all arguments into registers and then storing
them 
into a different stack slot, eventhough d argument is actually never modified
and so could be used directly from the stack slot, avoiding one move from
memory and one move to memory.  f2 is an example where the patch doesn't help
at all,
and incoming stack area is modified even with the patch.  On f3 the patch
properly prevents doing tail call, as that would actually modify the incoming
stack area.  But on f4 there is no need to avoid the tail call.

I guess we could live with avoiding all tail calls, but a) need a fix for f2
b) for f1 I'd say at expand time for -O1+ we should know whether an argument
is TREE_ADDRESSABLE or not, and whether it is ever modified or not, which could
help us avoid unnecessary copying.  Still will need to make sure reloading
won't
push anything into the incoming registers area.


-- 


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

[Bug c++/35331] [4.3/4.4 regression] ICE with invalid specialization of variadic template

[pcarlini at suse dot de]

--- Comment #2 from pcarlini at suse dot de  2008-04-10 17:05 ---
Seems doable...


-- 

pcarlini at suse dot de changed:

   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |pcarlini at suse dot de
   |dot org |
 Status|NEW |ASSIGNED


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

[Bug c/35900] typecast (sign extension) missing

[holger dot hopp at sap dot com]

--- Comment #2 from holger dot hopp at sap dot com  2008-04-10 16:15 ---
You're right!
Great - the fix is faster available than expected!
Thank you.


-- 


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

[Bug ada/35902] xml ada installation bug in slackware

[charlet at gcc dot gnu dot org]

--- Comment #1 from charlet at gcc dot gnu dot org  2008-04-10 14:41 ---
You should probably report this to slackware then.

Note that you are not using gnat gpl in your report, but a very old GCC version
(3.3.6), so I'd suggest trying with a newer version, where things will
very likely work.


-- 

charlet at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||WORKSFORME


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

[Bug ada/35902] New: xml ada installation bug in slackware

[olcay dot alic at gmail dot com]

Hi,
Hi,
I have installed gnat-gpl on my Linux machine. And then from the same directory
under sources folder I extracted the xml-ada library. And started to install
it. I executed the configure command successfully.
But then I tried to make by executing "make -f Makefile.314 install" command.
Then after a series of normal output the execution was interrupted.
And I observed the following output.


…..
cc -c -I./ -I../../unicode -I../../input_sources -I../../sax -I../../dom -I../
-O2 -gnatN -I- ../../sax/sax-attributes.adb
+===GNAT BUG DETECTED==+
| 3.3.6 (i486-slackware-linux-gnu) in expand_call, at calls.c:3098 |
| Error detected at
/usr/lib/gcc-lib/i486-slackware-linux/3.3.6/adainclude/s-secsta.ads:65:14|
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.|
| Include the entire contents of this bug box in the report.   |
| Include the exact gcc or gnatmake command that you entered.  |
| Also include sources listed below in gnatchop format |
| concatenated together with no headers between files. |
+==+

Please include these source files with error report

../../sax/sax-attributes.adb
../../sax/sax-attributes.ads
../../sax/sax.ads
../../unicode/unicode.ads
../../unicode/unicode-ces.ads
../../sax/sax-models.ads
../../unicode/unicode.adb
../../unicode/unicode-names.ads
../../unicode/unicode-names-basic_latin.ads
../../unicode/unicode-names-latin_extended_a.ads

compilation abandoned
gnatmake: "../../sax/sax-attributes.adb" compilation error
make[1]: *** [sax-attributes.o] Error 4
make[1]: Leaving directory
`/mnt/IS/olya/gnat-gpl/x86-linux/sources/xmlada-2.1/sax'
make: *** [sax] Error 2


-- 
   Summary: xml ada installation bug in slackware
   Product: gcc
   Version: unknown
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: olcay dot alic at gmail dot com


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

[Bug middle-end/35897] DSE doesn't support targets with wide registers

[hjl at gcc dot gnu dot org]

--- Comment #4 from hjl at gcc dot gnu dot org  2008-04-10 14:06 ---
Subject: Bug 35897

Author: hjl
Date: Thu Apr 10 14:05:52 2008
New Revision: 134163

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134163
Log:
2008-04-09  H.J. Lu  <[EMAIL PROTECTED]>

PR middle-end/35897
* dse.c (store_info): Add a FIXME for positions_needed.
(fill_bitmask): New.
(record_store): Assert width <= size of positions_needed *
CHAR_BIT.  Call fill_bitmask to initialize positions_needed.
(check_mem_read_rtx): Use long on mask.  Call fill_bitmask to
set mask.

Modified:
branches/ix86/avx/gcc/ChangeLog.avx
branches/ix86/avx/gcc/dse.c


-- 


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

[Bug c/35900] typecast (sign extension) missing

[rguenth at gcc dot gnu dot org]

--- Comment #1 from rguenth at gcc dot gnu dot org  2008-04-10 13:45 ---
I belive this was fixed by

Author: rguenth
Date: Tue Apr  8 22:03:33 2008
New Revision: 134110

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134110
Log:
2008-04-08  Richard Guenther  <[EMAIL PROTECTED]>

* fold-const.c (fold_widened_comparison): Do not allow
sign-changes that change the result.

* gcc.c-torture/execute/20080408-1.c: New testcase.

Added:
branches/gcc-4_3-branch/gcc/testsuite/gcc.c-torture/execute/20080408-1.c
  - copied unchanged from r134108,
trunk/gcc/testsuite/gcc.c-torture/execute/20080408-1.c
Modified:
branches/gcc-4_3-branch/gcc/ChangeLog
branches/gcc-4_3-branch/gcc/fold-const.c
branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.3.1


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

[Bug middle-end/35897] DSE doesn't support targets with wide registers

[hjl dot tools at gmail dot com]

--- Comment #3 from hjl dot tools at gmail dot com  2008-04-10 13:32 ---
A patch is posted at

http://gcc.gnu.org/ml/gcc-patches/2008-04/msg00837.html


-- 

hjl dot tools at gmail dot com changed:

   What|Removed |Added

URL||http://gcc.gnu.org/ml/gcc-
   ||patches/2008-
   ||04/msg00837.html
   Keywords||patch


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

[Bug c/35900] New: typecast (sign extension) missing

[holger dot hopp at sap dot com]

In the following example the typecast (sign extension) from int
(32bit) to long (64bit) is missing. Before the compare the signed i1
is < 0 and unsigned u2 is > 0 and this should be kept when casting to
64bit long. Same issue for long long (also 64bit).
So we get correct ov=1 with gcc version <= 4.2, but wrong ov=0 with
gcc version >= 4.3. 
This issue occurs with and without optimization.

gcc version:  gcc-4_3_branch and trunk svn revision 133752
  (gcc-4_2 and below runs fine)


int main()
{
  int ov;
  unsigned u2;
  int i1;

  i1 = 0;
  u2 = (unsigned)2147483647 + 1 ;
  (i1) += (u2);
  if ( (long)(i1)<(long)(u2) ) ov = 1; else ov = 0;

  return !ov;
}


-- 
   Summary: typecast (sign extension) missing
   Product: gcc
   Version: 4.3.1
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: holger dot hopp at sap dot com
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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

[Bug c/35899] ICE on filesystem code

[megari at mbnet dot fi]

--- Comment #1 from megari at mbnet dot fi  2008-04-10 12:09 ---
Created an attachment (id=15464)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15464&action=view)
Preprocessed source


-- 


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

[Bug c/35899] New: ICE on filesystem code

[megari at mbnet dot fi]

I get an ICE on some filesystem code I'm developing when trying to compile it
with GCC 4.3.0.

[EMAIL PROTECTED]:~/gcc-bug$ gcc-4.3 -v -save-temps -o sfs_unittests.o  -O2 -g 
-I.
-std=c99 -Wall -W -c sfs_unittests.c 
Using built-in specs.
Target: i486-linux-gnu
Configured with: ../src/configure linux gnu
Thread model: posix
gcc version 4.3.1 20080401 (prerelease) (Debian 4.3.0-3) 
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-o' 'sfs_unittests.o' '-O2' '-g' '-I.'
'-std=c99' '-Wall' '-W' '-c' '-mtune=generic'
 /usr/lib/gcc/i486-linux-gnu/4.3.1/cc1 -E -quiet -v -I. sfs_unittests.c
-mtune=generic -std=c99 -Wall -W -fworking-directory -O2 -fpch-preprocess -o
sfs_unittests.i
ignoring nonexistent directory "/usr/local/include/i486-linux-gnu"
ignoring nonexistent directory
"/usr/lib/gcc/i486-linux-gnu/4.3.1/../../../../i486-linux-gnu/include"
ignoring nonexistent directory "/usr/include/i486-linux-gnu"
#include "..." search starts here:
#include <...> search starts here:
 .
 /usr/local/include
 /usr/lib/gcc/i486-linux-gnu/4.3.1/include
 /usr/lib/gcc/i486-linux-gnu/4.3.1/include-fixed
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-o' 'sfs_unittests.o' '-O2' '-g' '-I.'
'-std=c99' '-Wall' '-W' '-c' '-mtune=generic'
 /usr/lib/gcc/i486-linux-gnu/4.3.1/cc1 -fpreprocessed sfs_unittests.i -quiet
-dumpbase sfs_unittests.c -mtune=generic -auxbase-strip sfs_unittests.o -g -O2
-Wall -W -std=c99 -version -o sfs_unittests.s
GNU C (Debian 4.3.0-3) version 4.3.1 20080401 (prerelease) (i486-linux-gnu)
compiled by GNU C version 4.3.1 20080401 (prerelease), GMP version
4.2.2, MPFR version 2.3.1.
warning: GMP header version 4.2.2 differs from library version 4.2.1.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: c8e3951360ed7273beac0a50e7fd5f3d
In file included from sfs_unittests.c:4:
fs/sfs_xplatform.h: In function ‘sfs_write_file’:
fs/sfs_xplatform.h:130: warning: implicit declaration of function
‘sfs_native_write_block’
fs/sfs_xplatform.h:148: warning: implicit declaration of function
‘sfs_native_read_block’
sfs_unittests.c: At top level:
sfs_unittests.c:5: warning: conflicting types for ‘sfs_native_write_block’
fs/sfs_xplatform.h:130: warning: previous implicit declaration of
‘sfs_native_write_block’ was here
sfs_unittests.c:11: warning: conflicting types for ‘sfs_native_read_block’
fs/sfs_xplatform.h:148: warning: previous implicit declaration of
‘sfs_native_read_block’ was here
sfs_unittests.c: In function ‘printbl’:
sfs_unittests.c:18: warning: implicit declaration of function ‘printf’
sfs_unittests.c:18: warning: incompatible implicit declaration of built-in
function ‘printf’
sfs_unittests.c: In function ‘main’:
sfs_unittests.c:64: warning: incompatible implicit declaration of built-in
function ‘printf’
fs/sfs_xplatform.h: In function ‘sfs_remove_bytes’:
fs/sfs_xplatform.h:250: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See  for instructions.
[EMAIL PROTECTED]:~/gcc-bug$


-- 
   Summary: ICE on filesystem code
   Product: gcc
   Version: 4.3.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: megari at mbnet dot fi


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

[Bug c++/35898] C++ exception bug at run time when mutually recursive functions

[rguenth at gcc dot gnu dot org]

--- Comment #2 from rguenth at gcc dot gnu dot org  2008-04-10 10:40 ---
Your exception specification on small, medium and large makes throws from the
recursively called dummy_test bogus.


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


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

[Bug tree-optimization/34006] [4.2 Regression] vectorization with 64-bit integers

[victork at gcc dot gnu dot org]

--- Comment #6 from victork at gcc dot gnu dot org  2008-04-10 10:36 ---
The problem in reduced testcase is that loop gets vectorized by gcc 4.2 despite
a dependency between iterations with distance 1.
compute_data_dependences_for_loop () returns "chrec_known" for DDR {
ivec(iclass), ivec(iclass-1) }.

Here is part of dump produced by scev in 4.2:

(compute_affine_dependence
  (stmt_a =
D.1282_9 = (*ivec_8)[D.1281_7])
  (stmt_b =
(*ivec_8)[D.1280_6] = D.1284_13)
(subscript_dependence_tester
(analyze_overlapping_iterations
  (chrec_a = {0, +, 1}_1)
  (chrec_b = {1, +, 1}_1)
(analyze_siv_subscript
(analyze_subscript_affine_affine
  (overlaps_a = scev_known)
  (overlaps_b = scev_known)
)
)
  (overlap_iterations_a = scev_known)
  (overlap_iterations_b = scev_known)
)
(dependence classified: scev_known)
)
)


While in gcc 4.3 the scev produces the following dump for same DDR:

(compute_affine_dependence
  (stmt_a =
D.970_9 = (*ivec_8(D))[D.969_7])
  (stmt_b =
(*ivec_8(D))[D.968_6] = D.972_13)
(subscript_dependence_tester
(analyze_overlapping_iterations
  (chrec_a = {0, +, 1}_1)
  (chrec_b = {1, +, 1}_1)
(analyze_siv_subscript
(analyze_subscript_affine_affine
  (overlaps_a = [1 + 1 * x_1]
)
  (overlaps_b = [0 + 1 * x_1]
)
)
)
  (overlap_iterations_a = [1 + 1 * x_1]
)
  (overlap_iterations_b = [0 + 1 * x_1]
)
)
(analyze_overlapping_iterations
  (chrec_a = 0B)
  (chrec_b = 0B)
(analyze_ziv_subscript
)
  (overlap_iterations_a = [0]
)
  (overlap_iterations_b = [0]
)
)
(build_classic_dist_vector
  dist_vector = (  1
  )
)
)
)


Sebastian, can you take a look?
Thanks.


-- 

victork at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||spop at gcc dot gnu dot org
 AssignedTo|victork at gcc dot gnu dot  |spop at gcc dot gnu dot org
   |org |


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

[Bug tree-optimization/35894] ICE in calc_dfs_tree, at dominance.c:393

[rguenth at gcc dot gnu dot org]

--- Comment #2 from rguenth at gcc dot gnu dot org  2008-04-10 10:31 ---


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


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||DUPLICATE


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

[Bug tree-optimization/35869] ICE in calc_dfs_tree at -O2 -gnatp after VRP optimization

[rguenth at gcc dot gnu dot org]

--- Comment #2 from rguenth at gcc dot gnu dot org  2008-04-10 10:31 ---
*** Bug 35894 has been marked as a duplicate of this bug. ***


-- 

rguenth at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||marcus at jet dot franken
   ||dot de


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

[Bug tree-optimization/35821] Internal compiler error: segmentation fault

[irar at il dot ibm dot com]

--- Comment #10 from irar at il dot ibm dot com  2008-04-10 07:10 ---
Fixed.


-- 

irar at il dot ibm dot com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED


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