[Bug ada/19419] New: ACATS CXA4009, CXA4020 - valgrind detects bad code (overlapping memcpy)

[baldrick at free dot fr]

Originally noted in [Bug middle-end/19410], but seems to be a different 
problem (maybe front-end). 
 
RUN cxa4020 
==24948== Memcheck, a memory error detector for x86-linux. 
==24948== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. 
==24948== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux. 
==24948== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. 
==24948== For more details, rerun with: -v 
==24948== 
 
,.,. CXA4020 ACATS 2.5 05-01-11 17:13:16 
 CXA4020 Check that the subprograms defined in package 
Ada.Strings.Wide_Bounded are available, and that they 
produce correct results, especially under conditions 
where truncation of the result is required. 
==24948== Source and destination overlap in memcpy(0x52BFC8F8, 0x52BFC8FC, 8) 
==24948==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113) 
==24948==by 0x805CABC: ada__strings__wide_superbounded__super_trim__4 
(a-stwisu.adb:1664) 
==24948==by 0x8068805: cxa4020__test_block__b10__trim__4.1007 
(a-stwibo.ads:810) 
==24948==by 0x806ABF6: _ada_cxa4020 (cxa4020.adb:396) 
==24948== 
==24948== Source and destination overlap in memcpy(0x52BFC8F8, 0x52BFC8FC, 12) 
==24948==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113) 
==24948==by 0x805CABC: ada__strings__wide_superbounded__super_trim__4 
(a-stwisu.adb:1664) 
==24948==by 0x8068805: cxa4020__test_block__b10__trim__4.1007 
(a-stwibo.ads:810) 
==24948==by 0x806ACDC: _ada_cxa4020 (cxa4020.adb:411) 
==24948== 
==24948== Source and destination overlap in memcpy(0x52BFC8F8, 0x52BFC8FC, 12) 
==24948==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113) 
==24948==by 0x805CABC: ada__strings__wide_superbounded__super_trim__4 
(a-stwisu.adb:1664) 
==24948==by 0x8068805: cxa4020__test_block__b10__trim__4.1007 
(a-stwibo.ads:810) 
==24948==by 0x806ADC2: _ada_cxa4020 (cxa4020.adb:422) 
==24948== 
==24948== Source and destination overlap in memcpy(0x52BFC8F8, 0x52BFC900, 10) 
==24948==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113) 
==24948==by 0x805CABC: ada__strings__wide_superbounded__super_trim__4 
(a-stwisu.adb:1664) 
==24948==by 0x8068805: cxa4020__test_block__b10__trim__4.1007 
(a-stwibo.ads:810) 
==24948==by 0x806AEA8: _ada_cxa4020 (cxa4020.adb:433) 
 CXA4020 PASSED . 
==24948== 
==24948== ERROR SUMMARY: 4 errors from 4 contexts (suppressed: 13 from 1) 
==24948== malloc/free: in use at exit: 10280 bytes in 2 blocks. 
==24948== malloc/free: 23 allocs, 21 frees, 12122 bytes allocated. 
==24948== For a detailed leak analysis,  rerun with: --leak-check=yes 
==24948== For counts of detected errors, rerun with: -v 
PASS:   cxa4020

-- 
   Summary: ACATS CXA4009, CXA4020 - valgrind detects bad code
(overlapping memcpy)
   Product: gcc
   Version: tree-ssa
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
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=19419

[Bug c++/19311] [3.4/4.0 Regression] ICE in resolve_overloaded_unification

[lerdsuwa at gcc dot gnu dot org]

--- Additional Comments From lerdsuwa at gcc dot gnu dot org  2005-01-13 
06:06 ---
Fixing it by queuing access checking until instantiation time 
turns out to be nasty:
- Need to invent new tree node, the current TREE_LIST cannot
  store the line number information.
- If only non-dependent qualified id are queued, need to check
  which one to queue.  If all are queued, then extra template 
  substitutions are needed which slow down the compiler.
I think the required changes is too big for 4.0 at this point.


-- 


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

[Bug target/18987] [3.3/3.4 regression] [ia64] Extra '.restore sp' in tail call

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-13 
05:57 ---
Subject: Bug 18987

CVSROOT:/cvs/gcc
Module name:gcc
Branch: gcc-3_4-branch
Changes by: [EMAIL PROTECTED]   2005-01-13 05:57:06

Modified files:
gcc: ChangeLog 
gcc/config/ia64: ia64.c 

Log message:
Patches to fix sibcall unwind info problems.
PR target/18987
* config/ia64/ia64.c (process_set): For alloc insn, only call
process_epilogue is !frame_pointer_needed.
PR target/13158
* config/ia64/ia64.c (ia64_expand_epilogue): Set RTX_FRAME_RELATED_P on
sibcall alloc instruction.
(process_set): Handle sibcall alloc instruction.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=2.2326.2.767&r2=2.2326.2.768
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/ia64/ia64.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.265.2.16&r2=1.265.2.17



-- 


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

[Bug target/13158] [ia64] bad unwind info as a result of sibcall

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-13 
05:57 ---
Subject: Bug 13158

CVSROOT:/cvs/gcc
Module name:gcc
Branch: gcc-3_4-branch
Changes by: [EMAIL PROTECTED]   2005-01-13 05:57:06

Modified files:
gcc: ChangeLog 
gcc/config/ia64: ia64.c 

Log message:
Patches to fix sibcall unwind info problems.
PR target/18987
* config/ia64/ia64.c (process_set): For alloc insn, only call
process_epilogue is !frame_pointer_needed.
PR target/13158
* config/ia64/ia64.c (ia64_expand_epilogue): Set RTX_FRAME_RELATED_P on
sibcall alloc instruction.
(process_set): Handle sibcall alloc instruction.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=2.2326.2.767&r2=2.2326.2.768
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/ia64/ia64.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.265.2.16&r2=1.265.2.17



-- 


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

[Bug c++/19403] [4.0 Regression] name lookup is broken with friends

[lerdsuwa at gcc dot gnu dot org]

--- Additional Comments From lerdsuwa at gcc dot gnu dot org  2005-01-13 
05:55 ---
Both ICC and Comeau are right.
The declaration

friend struct A; 

refers to boo::A, while the declaration
 
B(const A&) {}; 

refers to ::A.  So the code should compile.
The patch for PR1016, scheduled for 4.1, should fix it.


-- 


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

[Bug target/19418] _mm_cast*, icc8.1 new intrinsics

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

 Status|WAITING |NEW
   Last reconfirmed|2005-01-13 05:11:35 |2005-01-13 05:47:29
   date||


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

[Bug target/19418] _mm_cast*, icc8.1 new intrinsics

[tbptbp at gmail dot com]

--- Additional Comments From tbptbp at gmail dot com  2005-01-13 05:44 
---
They are described in the SSE2 documentation chapter and defined in emmintrin.h
that way:

/*
 * Support for casting between various SP, DP, INT vector types.
 * Note that these do no conversion of values, they just change
 * the type.
 */
extern __m128  _mm_castpd_ps(__m128d in);
extern __m128i _mm_castpd_si128(__m128d in);
extern __m128d _mm_castps_pd(__m128 in);
extern __m128i _mm_castps_si128(__m128 in);
extern __m128  _mm_castsi128_ps(__m128i in);
extern __m128d _mm_castsi128_pd(__m128i in);


-- 


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

[Bug target/19418] _mm_cast*, icc8.1 new intrinsics

[rth at gcc dot gnu dot org]

--- Additional Comments From rth at gcc dot gnu dot org  2005-01-13 05:40 
---
What file does Intel put them in?

-- 
   What|Removed |Added

 Status|NEW |WAITING


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

[Bug target/19418] _mm_cast*, icc8.1 new intrinsics

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
05:11 ---
Confirmed.

-- 
   What|Removed |Added

   Severity|normal  |enhancement
 Status|UNCONFIRMED |NEW
  Component|c   |target
 Ever Confirmed||1
   GCC host triplet|cygwin  |
 GCC target triplet||i?86-*-*, x86_64-*-*
   Keywords||ssemmx
   Last reconfirmed|-00-00 00:00:00 |2005-01-13 05:11:35
   date||


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

[Bug c/19418] New: _mm_cast*, icc8.1 new intrinsics

[tbptbp at gmail dot com]

Would it be possible to add those, as far as know, new casting intrinsics?
As ICC8.1 doesn't support straight C casts (neither does msvc2k3), they are
bound to appear sooner or later in code.

Excerpt from the only documentation i've found about them:
Intrinsics for Casting Support
This version of the Intel C++ Compiler supports casting between
various SP, DP, and INT vector types. These intrinsics do not convert
values; they just change the type.

extern __m128  _mm_castpd_ps(__m128d in);

extern __m128i _mm_castpd_si128(__m128d in);

extern __m128d _mm_castps_pd(__m128 in);

extern __m128i _mm_castps_si128(__m128 in);

extern __m128  _mm_castsi128_ps(__m128i in);

extern __m128d _mm_castsi128_pd(__m128i in);

-- 
   Summary: _mm_cast*, icc8.1 new intrinsics
   Product: gcc
   Version: 4.0.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: tbptbp at gmail dot com
CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: cygwin


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

[Bug target/19370] .size directive not emitted for mips-linux

[echristo at redhat dot com]

-- 
   What|Removed |Added

 Status|ASSIGNED|WAITING


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

[Bug target/18404] unnecessary sll when -mint64 (MIPS)

[echristo at redhat dot com]

--- Additional Comments From echristo at redhat dot com  2005-01-13 02:38 
---
-mint64 is being deprecated in 4.0 and will be removed after branching. What are
you using it for anyhow?

-- 
   What|Removed |Added

 Status|ASSIGNED|WAITING


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

[Bug c/5675] [4.0 regression] const variables wrongly considered part of constant expressions

[ian at airs dot com]

--- Additional Comments From ian at airs dot com  2005-01-13 02:34 ---
Just a note that reverting this patch:
http://gcc.gnu.org/ml/gcc-patches/2003-02/msg01334.html
fixes this regression.  Reverting that patch

Jan said that his patch did not change the results of the test, so presumably
something else changed somewhere.

Reverting that patch removes most of the warnings from c90-const-expr-3.c and
c99-const-expr-3.c, although we still get warnings for +0.0, 0.0+0.0, and
(double)0.0.

-- 
   What|Removed |Added

 CC||ian at airs dot com


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

[Bug target/19379] [4.0 Regression] ICE during build of newlib's e_atan2.c when soft-float

[rth at gcc dot gnu dot org]

--- Additional Comments From rth at gcc dot gnu dot org  2005-01-13 01:51 
---
(In reply to comment #10)
>{ "hard-float", MASK_80387, N_("Use hardware fp") }, \
> -  { "soft-float",-MASK_80387, N_("Do not use hardware fp") },  \
> +  { "soft-float",-(MASK_80387|MASK_FLOAT_RETURNS), \
> +N_("Do not use hardware fp") },  \

One thing that I notice about this is that -msoft-float and -mhard-float are
no longer inverses.  Perhaps it would be better to modify override_options to
notice when, after all options are processed, that MASK_80387 is off and then
turn off MASK_FLOAT_RETURNS to match.

-- 


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

[Bug target/19379] [4.0 Regression] ICE during build of newlib's e_atan2.c when soft-float

[joel at gcc dot gnu dot org]

--- Additional Comments From joel at gcc dot gnu dot org  2005-01-13 01:44 
---
(In reply to comment #9)
> In reply to comment #5:
> 
> Perhaps I am out of touch with what's extant in the embedded space.
> I havn't been paid to care about that in quite some time.  I'll defer.

It is hard to keep up with all the new CPUs. Unfortunately, it  
isn't always about what is still recommended for new
design.  Old stuff lives on forever and I hate to see it become
unsupported.

> Using "-MASK_80387|-MASK_FLOAT_RETURNS" is incorrect.  It should
> be "-(MASK_80387|MASK_FLOAT_RETURNS)".  I agree with Ralf's later
> comment that -mno-80387 and -msoft-float should probably stay in
> sync.

How does this look?

Index: i386.h
===
RCS file: /cvs/gcc/gcc/gcc/config/i386/i386.h,v
retrieving revision 1.417
diff -u -r1.417 i386.h
--- i386.h  11 Jan 2005 21:33:13 -  1.417
+++ i386.h  13 Jan 2005 01:41:28 -
@@ -333,9 +333,11 @@
 
 #define TARGET_SWITCHES
  \
 { { "80387",MASK_80387, N_("Use hardware fp") }, \
-  { "no-80387",-MASK_80387, N_("Do not use hardware 
fp") },  \
+  { "no-80387",-(MASK_80387|MASK_FLOAT_RETURNS), \
+ N_("Do not use hardware fp") },  \
   { "hard-float",   MASK_80387, N_("Use hardware fp") }, \
-  { "soft-float",  -MASK_80387, N_("Do not use hardware fp") },  \
+  { "soft-float",  -(MASK_80387|MASK_FLOAT_RETURNS), \
+N_("Do not use hardware fp") },  \
   { "no-soft-float",MASK_80387, N_("Use hardware fp") }, \
   { "386",  0, "" /*Deprecated.*/},  \
   { "486",  0, "" /*Deprecated.*/},  \

>  Though of course -msoft-float doesn't really mean as much
> as it sounds like it ought in conjunction with -mfpmath.

No it doesn't but at least it looks like the code that parses those 
arguments will correctly complain if you try to use it with
soft-float or no-387 set.

> In reply to comment #7:
> 
> Yes, I did mean trap #7 handler for an fpu emulator.  Though of
> course there are different levels of emulation.  One thing that
> has been done before for MIPS is to provide a trap handler, but
> only implement the move instructions.  This allows the ABI to
> remain unchanged by pretending that the appropriate registers
> exist, but not having to incur most of the overhead for trapping
> for all arithmetic instructions.

I had thought this might be how some did it.  But why when the
entire store could just as easily been avoided by the compiler?
 
> Since RTEMS is multilibed, this is much less of an advantage.

Exactly.  We will add a multilib for a performance advantage 
in addition to an instruction mismatch.

> In any case, Joel, would you please take ownership of this bug
> and see it through?  You're the one that would have to be doing
> the RTEMS testing anyway...

As long as you promise to review it. :)

I think the above patch is very close anyway.


-- 


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

[Bug target/18329] [4.0 regression] mmix-knuth-mmixware testsuite failure: execute/920501-7.c, execute/comp-goto-2.c

[hp at gcc dot gnu dot org]

--- Additional Comments From hp at gcc dot gnu dot org  2005-01-13 01:25 
---
Patch in comment #9 now committed, except the FIXME comment.
See http://gcc.gnu.org/ml/gcc-patches/2005-01/msg00692.html>.

-- 
   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug target/18330] [4.0 regression] mmix-knuth-mmixware testsuite failure: execute/comp-goto-2.c

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-13 
01:19 ---
Subject: Bug 18330

CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED]   2005-01-13 01:19:02

Modified files:
gcc: ChangeLog reload1.c 

Log message:
PR target/18329
PR target/18330
* reload1.c (delete_output_reload): Don't delete an output reload
if the pseudo lives longer than a single basic block.  Adjust and
improve wording of comment.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7105&r2=2.7106
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/reload1.c.diff?cvsroot=gcc&r1=1.458&r2=1.459



-- 


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

[Bug target/18329] [4.0 regression] mmix-knuth-mmixware testsuite failure: execute/920501-7.c, execute/comp-goto-2.c

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-13 
01:19 ---
Subject: Bug 18329

CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED]   2005-01-13 01:19:02

Modified files:
gcc: ChangeLog reload1.c 

Log message:
PR target/18329
PR target/18330
* reload1.c (delete_output_reload): Don't delete an output reload
if the pseudo lives longer than a single basic block.  Adjust and
improve wording of comment.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7105&r2=2.7106
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/reload1.c.diff?cvsroot=gcc&r1=1.458&r2=1.459



-- 


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

[Bug target/17822] avr: Hard-coded XXX_FOR_TARGET

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
01:10 ---
Confirmed.

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Last reconfirmed|-00-00 00:00:00 |2005-01-13 01:10:05
   date||


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

[Bug c++/6321] no warning for bad main function declaration

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
01:08 ---
Note the C front-end warns:
t.cc:2: warning: second argument of 'main' should be 'char **'
t.cc:2: warning: third argument of 'main' should probably be 'char **'
t.cc:2: warning: 'main' takes only zero or two arguments

-- 
   What|Removed |Added

   Last reconfirmed|2004-10-14 14:17:31 |2005-01-13 01:08:29
   date||


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

[Bug tree-optimization/14784] [Tree-ssa] alias analysis deficiency

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
01:02 ---
This is struct aliasing related so reassigning to Daniel Berlin.

-- 
   What|Removed |Added

 AssignedTo|dnovillo at gcc dot gnu dot |dberlin at gcc dot gnu dot
   |org |org


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

[Bug middle-end/4520] cselib.c hash_rtx incorrectly hashes based on rtx address

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
00:59 ---
Also if we use the address we more likely to have an unstable hastable in we 
can get a miscompare if 
we get different address across compilination.

-- 


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

[Bug bootstrap/18033] [3.4/4.0 Regression] --disable-aix64 doesn't remove ppc64 from multilib list

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-01-13 00:53 
---
patch committed

-- 
   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED


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

[Bug bootstrap/18033] [3.4/4.0 Regression] --disable-aix64 doesn't remove ppc64 from multilib list

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-13 
00:50 ---
Subject: Bug 18033

CVSROOT:/cvs/gcc
Module name:gcc
Branch: gcc-3_4-branch
Changes by: [EMAIL PROTECTED]   2005-01-13 00:50:40

Modified files:
.  : ChangeLog config-ml.in 

Log message:
PR bootstrap/18033
* config-ml.in: Eval option if surrounded by single quotes.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.856.2.26&r2=1.856.2.27
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/config-ml.in.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.30&r2=1.30.4.1



-- 


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

[Bug bootstrap/18033] [3.4/4.0 Regression] --disable-aix64 doesn't remove ppc64 from multilib list

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-13 
00:48 ---
Subject: Bug 18033

CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED]   2005-01-13 00:47:56

Modified files:
.  : ChangeLog config-ml.in 

Log message:
PR bootstrap/18033
* config-ml.in: Eval option if surrounded by single quotes.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/ChangeLog.diff?cvsroot=gcc&r1=1.1042&r2=1.1043
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/config-ml.in.diff?cvsroot=gcc&r1=1.32&r2=1.33



-- 


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

[Bug target/19334] darwin backend places some CONST_DECLs in the wrong section

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-13 
00:47 ---
Subject: Bug 19334

CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED]   2005-01-13 00:47:45

Modified files:
gcc: ChangeLog 
gcc/config : darwin.c 

Log message:
2005-01-12  Andrew Pinski  <[EMAIL PROTECTED]>

PR target/19334
* config/darwin.c (machopic_select_section): Use TYPE_SIZE_UNIT instead
of TYPE_SIZE where we mean the number of bytes.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7104&r2=2.7105
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/darwin.c.diff?cvsroot=gcc&r1=1.104&r2=1.105



-- 


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

[Bug target/19334] darwin backend places some CONST_DECLs in the wrong section

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
00:47 ---
Fixed.

-- 
   What|Removed |Added

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


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

[Bug middle-end/19417] return value of some functions not properly set (in r3)

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
00:44 ---
This works with both 3.4.4 and 4.0.0, I don't know if it is a latent bug or not.

-- 
   What|Removed |Added

   GCC host triplet|i386-linux  |
 GCC target triplet|ppc-linux   |powerpc-*-*
  Known to work||3.4.4 4.0.0


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

[Bug c++/17413] [3.4 regression] local classes as template argument

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Target Milestone|4.0.0   |3.4.4


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

[Bug middle-end/19417] return value of some functions not properly set (in r3)

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
00:38 ---
Oh, now I see the problem, we are using r0 twice which is just wrong.

-- 
   What|Removed |Added

   Severity|critical|normal
  Component|c   |middle-end
   Keywords||wrong-code
   Priority|P1  |P2


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

[Bug c++/14513] Friend name injection problem (implicit declaration)

[giovannibajo at libero dot it]

--- Additional Comments From giovannibajo at libero dot it  2005-01-13 
00:37 ---
Kriang, would you please add a note to changes.html about this? I am sure it is 
going to surprise many many people.

-- 


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

[Bug target/19392] [4.0 regression] mmix-knuth-mmixware testsuite failure: gcc.c-torture/execute/931004-11.c execution, -O0

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Target Milestone|--- |4.0.0


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

[Bug middle-end/19410] Overlapping memcpy with big struct copies (ACATS c64106a)

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
00:12 ---
(In reply to comment #5)
> Subject: Re:  Overlapping memcpy with big struct copies (ACATS c64106a)
> 
> On Thursday 13 January 2005 00:57, pinskia at gcc dot gnu dot org wrote:> > 
> > Yes it does matter at least according to the C example.  I was just 
> > reducing C64106A, the others 
are 
> > most likely a different problem.
> 
> Would you like me to file a separate report for them?  Here is cxa4009 by the 
> way:

Yes please because this is a related issue but I think it might be an Ada 
front-end bug rather than what 
C64106A is which is a middle-end one as shown by the C example.

-- 


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

[Bug tree-optimization/19241] [4.0 Regression] ICE in make_decl_rtl with inliner

[jason at redhat dot com]

--- Additional Comments From jason at redhat dot com  2005-01-13 00:10 
---
Subject: Re:  [4.0 Regression] ICE in
 make_decl_rtl with inliner

That makes sense to me.

Jason


-- 


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

[Bug middle-end/19410] Overlapping memcpy with big struct copies (ACATS c64106a)

[baldrick at free dot fr]

--- Additional Comments From baldrick at free dot fr  2005-01-13 00:08 
---
Subject: Re:  Overlapping memcpy with big struct copies (ACATS c64106a)

On Thursday 13 January 2005 00:57, pinskia at gcc dot gnu dot org wrote:
> 
> --- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
> 23:57 ---
> (In reply to comment #3)
> > Subject: Re:  Overlapping memcpy with big struct copies (ACATS c64106a)
> > > If the source and destination are identical, does it matter if memcpy is
> > used?  That said, ACATS tests cxa4009 and cxa4020 have overlapping memcpy's
> > where the source and destination are not identical (ACATS c95087a is the 
> > same
> > as c64106a: identical source and destination).
> 
> Yes it does matter at least according to the C example.  I was just reducing 
> C64106A, the others are 
> most likely a different problem.

Would you like me to file a separate report for them?  Here is cxa4009 by the 
way:

RUN cxa4009
==19375== Memcheck, a memory error detector for x86-linux.
==19375== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al.
==19375== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux.
==19375== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.
==19375== For more details, rerun with: -v
==19375==

,.,. CXA4009 ACATS 2.5 05-01-11 17:12:27
 CXA4009 Check that the subprograms defined in package
Ada.Strings.Bounded are available, and that they produce
correct results, especially under conditions where
truncation of the result is required.
==19375== Source and destination overlap in memcpy(0x52BFC954, 0x52BFC956, 4)
==19375==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113)
==19375==by 0x8055C72: ada__strings__superbounded__super_trim__4 
(a-strsup.adb:1662)
==19375==by 0x8063C85: .827::cxa4009__test_block__b10__trim(void) 
(a-strbou.ads:790)
==19375==by 0x8065E81: _ada_cxa4009 (cxa4009.adb:351)
==19375==
==19375== Source and destination overlap in memcpy(0x52BFC954, 0x52BFC956, 6)
==19375==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113)
==19375==by 0x8055C72: ada__strings__superbounded__super_trim__4 
(a-strsup.adb:1662)
==19375==by 0x8063C85: .827::cxa4009__test_block__b10__trim(void) 
(a-strbou.ads:790)
==19375==by 0x8065F46: _ada_cxa4009 (cxa4009.adb:366)
==19375==
==19375== Source and destination overlap in memcpy(0x52BFC954, 0x52BFC956, 6)
==19375==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113)
==19375==by 0x8055C72: ada__strings__superbounded__super_trim__4 
(a-strsup.adb:1662)
==19375==by 0x8063C85: .827::cxa4009__test_block__b10__trim(void) 
(a-strbou.ads:790)
==19375==by 0x806600B: _ada_cxa4009 (cxa4009.adb:377)
==19375==
==19375== Source and destination overlap in memcpy(0x52BFC954, 0x52BFC958, 5)
==19375==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113)
==19375==by 0x8055C72: ada__strings__superbounded__super_trim__4 
(a-strsup.adb:1662)
==19375==by 0x8063C85: .827::cxa4009__test_block__b10__trim(void) 
(a-strbou.ads:790)
==19375==by 0x80660D0: _ada_cxa4009 (cxa4009.adb:387)
 CXA4009 PASSED .
==19375==
==19375== ERROR SUMMARY: 4 errors from 4 contexts (suppressed: 13 from 1)
==19375== malloc/free: in use at exit: 10280 bytes in 2 blocks.
==19375== malloc/free: 17 allocs, 15 frees, 12050 bytes allocated.
==19375== For a detailed leak analysis,  rerun with: --leak-check=yes
==19375== For counts of detected errors, rerun with: -v
PASS:   cxa4009


For the first error, the code in question is (a-strsup.adb):

1662 Source.Data (1 .. Source.Current_Length) :=
1663   Source.Data (First .. Last);

where Source.Current_Length = 4, First = 3 and Last = 6.  So indeed the source
and destination overlap (these are strings).  The code seems to perform a direct
call to memcpy.


-- 


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

[Bug tree-optimization/19337] [4.0 Regression] ada does not compile at -O3 (nested functions related)

[hubicka at ucw dot cz]

--- Additional Comments From hubicka at ucw dot cz  2005-01-13 00:07 ---
Subject: Re:  [4.0 Regression] ada does not compile at -O3 (nested functions 
related)

Testing attached patch

void write_char(char);
int len(char*);
void f(char *a)
{
  int col = 0;
  int i;
  void wchar(char c)
  {
if (c == '\t')
 {
  do {
   wchar(' ');
  } while ((col%8)!=0);
 }
else
 {
   write_char (c);
   col++;
 }
  }
  for(i =0;i

PR tree-optimize/19337
* tree-inlie.c (initialize_inlined_parameters): Copy
saved_static_chain_decl only.

Index: tree-inline.c
===
RCS file: /cvs/gcc/gcc/gcc/tree-inline.c,v
retrieving revision 1.162
diff -c -3 -p -r1.162 tree-inline.c
*** tree-inline.c   4 Jan 2005 01:54:25 -   1.162
--- tree-inline.c   13 Jan 2005 00:04:22 -
*** initialize_inlined_parameters (inline_da
*** 808,813 
--- 809,816 
  
/* Initialize the static chain.  */
p = DECL_STRUCT_FUNCTION (fn)->static_chain_decl;
+   if (DECL_STRUCT_FUNCTION (fn)->saved_static_chain_decl)
+ p = DECL_STRUCT_FUNCTION (fn)->saved_static_chain_decl;
if (p)
  {
/* No static chain?  Seems like a bug in tree-nested.c.  */


-- 


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

[Bug c/19417] return value of some functions not properly set (in r3)

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-13 
00:02 ---
I see nothing wrong with the code:
.L139:
#APP
/* cort start return */

#NO_APP
mr 3,0
.L137:
--- return
-
r0 is set before L139

r3 is set before L137:
li 3,73
beq- 0,.L137

So no nothing is wrong with the code as far as I can see.

Can you point out where the problem is because I cannot find it?

-- 


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

[Bug target/19399] [4.0 Regression] mutexes support broken

[corsepiu at gcc dot gnu dot org]

--- Additional Comments From corsepiu at gcc dot gnu dot org  2005-01-12 
23:57 ---
(In reply to comment #6)
> (In reply to comment #3)

> What do you think of them?

pr19399-try2.diff looks good to me. I've just launched local test-builds,
nevertheless, OK to commit, IMO.

I haven't looked into rtems-gxx_wrappers.diff, yet.

-- 


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

[Bug middle-end/19410] Overlapping memcpy with big struct copies (ACATS c64106a)

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
23:57 ---
(In reply to comment #3)
> Subject: Re:  Overlapping memcpy with big struct copies (ACATS c64106a)
> > If the source and destination are identical, does it matter if memcpy is
> used?  That said, ACATS tests cxa4009 and cxa4020 have overlapping memcpy's
> where the source and destination are not identical (ACATS c95087a is the same
> as c64106a: identical source and destination).

Yes it does matter at least according to the C example.  I was just reducing 
C64106A, the others are 
most likely a different problem.

-- 


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

[Bug middle-end/19410] Overlapping memcpy with big struct copies (ACATS c64106a)

[baldrick at free dot fr]

--- Additional Comments From baldrick at free dot fr  2005-01-12 23:52 
---
Subject: Re:  Overlapping memcpy with big struct copies (ACATS c64106a)

> This can be reproduced with the following C example:
> struct A
> {
>   int a[1024];
> };
> void g(struct A *a, struct A *b)
> {
>   *a = *b;
> }
> struct A c;
> int main(void)
> {
>   g(&c, &c);
> }

If the source and destination are identical, does it matter if memcpy is
used?  That said, ACATS tests cxa4009 and cxa4020 have overlapping memcpy's
where the source and destination are not identical (ACATS c95087a is the same
as c64106a: identical source and destination).


-- 


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

[Bug c/19417] return value of some functions not properly set (in r3)

[cort at fsmlabs dot com]

--- Additional Comments From cort at fsmlabs dot com  2005-01-12 23:51 
---
More info - host system info, gcc build flags and compiler flags used to
build the source files.

Script started on Wed 12 Jan 2005 03:42:36 PM MST
[EMAIL PROTECTED]$ /opt/rtldk-2.2/bin/ppc-linux-gcc -v
Reading specs from /opt/rtldk-2.2/bin/../lib/gcc-lib/ppc-linux/3.3.2/specs
Configured with: ../gcc-3.3.2/configure --prefix=/opt/rtldk-2.2/
--target=ppc-linux --enable-languages=c,c++,f77 --disable-nls
--enable-threads=posix --enable-symvers=gnu --enable-__cxa_atexit
--enable-shared --enable-c99 --host=i386-linux --enable-altivec
Thread model: posix
gcc version 3.3.2
[EMAIL PROTECTED]$ cat /etc/issue
Fedora Core release 2 (Tettnang)
Kernel \r on an \m

[EMAIL PROTECTED]$ uname -a
Linux host115.fsmlabs.com 2.4.25-rtl #18 SMP Fri May 28 16:51:21 MDT 2004 i686
i686 i386 GNU/Linux
[EMAIL PROTECTED]$ exit

Script done on Wed 12 Jan 2005 03:42:49 PM MST

built with:

/opt/rtldk-2.2/bin/ppc-linux-gcc -D__RTCORE_KERNEL__ -nostdinc -isystem
/opt/rtldk-2.2/bin/../lib/gcc-lib/ppc-linux/3.3.2/include/
-I/sys/rtlinuxpro-2.2/include/app/rtl -I/sys/rtlinuxpro-2.2/linux/include
-I/sys/rtlinuxpro-2.2/linux/arch/ppc  -I/sys/rtlinuxpro-2.2/include -Wall
-Wstrict-prototypes -Wno-trigraphs -fno-strict-aliasing -fno-common
-I/sys/linuxrtl-2.4-synergy-2.2/arch/ppc -fsigned-char -msoft-float -pipe
-ffixed-r2 -Wno-uninitialized -mmultiple -mstring -DMODULE --save-temps -O2  -o
kill.o -c kill.c
ppc-linux-gcc: warning: -pipe ignored because -save-temps specified



-- 


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

[Bug c/19417] return value of some functions not properly set (in r3)

[cort at fsmlabs dot com]

--- Additional Comments From cort at fsmlabs dot com  2005-01-12 23:49 
---
Created an attachment (id=7946)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7946&action=view)
non-working .s file


-- 


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

[Bug c/19417] return value of some functions not properly set (in r3)

[cort at fsmlabs dot com]

--- Additional Comments From cort at fsmlabs dot com  2005-01-12 23:49 
---
Created an attachment (id=7945)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7945&action=view)
working .s file


-- 


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

[Bug c/19417] return value of some functions not properly set (in r3)

[cort at fsmlabs dot com]

--- Additional Comments From cort at fsmlabs dot com  2005-01-12 23:48 
---
Created an attachment (id=7944)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7944&action=view)
working .i file


-- 


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

[Bug c/19417] return value of some functions not properly set (in r3)

[cort at fsmlabs dot com]

--- Additional Comments From cort at fsmlabs dot com  2005-01-12 23:48 
---
Created an attachment (id=7943)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7943&action=view)
non-working .i


-- 


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

[Bug tree-optimization/19241] [4.0 Regression] ICE in make_decl_rtl with inliner

[hubicka at ucw dot cz]

--- Additional Comments From hubicka at ucw dot cz  2005-01-12 23:47 ---
Subject: Re:  [4.0 Regression] ICE in make_decl_rtl with inliner

Hi,
the problem is retval being mapped to &temporary.  When copy_body_p
replaces retval by this expression, the addr_expr is walked recursively
and temporary is not in the decl map so it is remapped to newly
allocated decls that never gets placed in bind_expr.

I think we either can insert map temporary == temporary when creating
the expression or avoid recursing when remapping happens.  The seconds
sounds cheaper and I think it is valid, so I am testing the attached
fix.  I am not familiar with inliner implementation enought to say for
sure that we never recurse into the replacements for reason tought.

Index: tree-inline.c
===
RCS file: /cvs/gcc/gcc/gcc/tree-inline.c,v
retrieving revision 1.162
diff -c -3 -p -r1.162 tree-inline.c
*** tree-inline.c   4 Jan 2005 01:54:25 -   1.162
--- tree-inline.c   12 Jan 2005 23:43:04 -
*** copy_body_r (tree *tp, int *walk_subtree
*** 503,508 
--- 503,509 
/* Replace this variable with the copy.  */
STRIP_TYPE_NOPS (new_decl);
*tp = new_decl;
+   *walk_subtrees = 0;
  }
else if (TREE_CODE (*tp) == STATEMENT_LIST)
  copy_statement_list (tp);



-- 


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

[Bug c/19417] New: return value of some functions not properly set (in r3)

[cort at fsmlabs dot com]

I have included 2 .i and .s files.  One correctly sets the return value (r3) and
one does not.  The addition of the nonleaf() call causes the return value to be
set properly.  If you search the .s files for "cort start return" "cort end
return" you can see it.

It seems that the return value isn't set properly if the function does not call
another function at the out: label.

I'm cross compiling from a 32-bit x86 to a 32-bit PowerPC (of the 6xx/74xx 
variety).

-- 
   Summary: return value of some functions not properly set (in r3)
   Product: gcc
   Version: 3.3.2
Status: UNCONFIRMED
  Severity: critical
  Priority: P1
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: cort at fsmlabs dot com
CC: gcc-bugs at gcc dot gnu dot org
  GCC host triplet: i386-linux
GCC target triplet: ppc-linux


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

[Bug middle-end/19410] Overlapping memcpy with big struct copies (ACATS c64106a)

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
23:36 ---
If this is anything, this is a testuite bug:
REC2 := PKG.REC2;
REC2 is passed in:
  PKG.CHK_RECTYPE1 (PKG.REC1, PKG.REC2, PKG.REC3);

Or a middle-end one for using memcpy as it assumes the two structs are going to 
point to two diffrent 
positions.

This can be reproduced with the following C example:
struct A
{
  int a[1024];
};
void g(struct A *a, struct A *b)
{
  *a = *b;
}
struct A c;
int main(void)
{
  g(&c, &c);
}

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
  Component|ada |middle-end
 Ever Confirmed||1
   Keywords||wrong-code
   Last reconfirmed|-00-00 00:00:00 |2005-01-12 23:36:15
   date||
Summary|ACATS c64106a - valgrind|Overlapping memcpy with big
   |detects wrong code  |struct copies (ACATS
   |(overlapping memcpy)|c64106a)
Version|tree-ssa|4.0.0


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

[Bug ada/19416] ACATS cxa9001, cxa9002 - valgrind detects wrong code (unitialized data passed to syscall)

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Keywords||wrong-code
Version|tree-ssa|4.0.0


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

[Bug ada/19416] New: ACATS cxa9001, cxa9002 - valgrind detects wrong code (unitialized data passed to syscall)

[baldrick at free dot fr]

,.,. CXA9001 ACATS 2.5 05-01-13 00:23:22 
 CXA9001 Check that the operations defined in the generic package 
Ada.Storage_IO provide the ability to store and retrieve 
objects which may include implicit levels of indirection 
in their implementation, from an in-memory buffer. 
==7317== Syscall param write(buf) points to uninitialised byte(s) 
==7317==at 0x1B9D2533: __write_nocancel (in /lib/tls/libc.so.6) 
==7317==by 0x1B9847E4: new_do_write (in /lib/tls/libc.so.6) 
==7317==by 0x1B984A9E: _IO_do_write@@GLIBC_2.1 (in /lib/tls/libc.so.6) 
==7317==by 0x1B985F54: _IO_file_close_it@@GLIBC_2.1 (in /lib/tls/libc.so.6) 
==7317==by 0x1B97A71D: _IO_fclose@@GLIBC_2.1 (in /lib/tls/libc.so.6) 
==7317==by 0x80567AD: system__file_io__close (s-fileio.adb:243) 
==7317==by 0x804C3FD: 
cxa9001__test_block__data_storage__buffer_io__close.1057 (a-direio.adb:77) 
==7317==by 0x804C746: cxa9001__test_block__data_storage.917 
(cxa9001.adb:169) 
==7317==by 0x804D1AC: _ada_cxa9001 (cxa9001.adb:260) 
==7317==by 0x8049CC4: main (b~cxa9001.adb:152) 
==7317==  Address 0x1B909011 is not stack'd, malloc'd or (recently) free'd 
 CXA9001 PASSED .

-- 
   Summary: ACATS cxa9001, cxa9002 - valgrind detects wrong code
(unitialized data passed to syscall)
   Product: gcc
   Version: tree-ssa
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
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=19416

[Bug ada/19414] ACATS cxb4003 - valgrind detects wrong code (invalid read)

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Keywords||wrong-code
Version|tree-ssa|4.0.0


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

[Bug ada/19415] ACATS c953001 - valgrind detects wrong code (invalid read)

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Keywords||wrong-code
Version|tree-ssa|4.0.0


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

[Bug ada/19415] New: ACATS c953001 - valgrind detects wrong code (invalid read)

[baldrick at free dot fr]

RUN c953001 
==1870== Memcheck, a memory error detector for x86-linux. 
==1870== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. 
==1870== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux. 
==1870== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. 
==1870== For more details, rerun with: -v 
==1870== 
==1870== warning: Valgrind's pthread_setschedparam does nothing 
==1870==  (scheduling not changeable) 
==1870==  your program may misbehave as a result 
 
,.,. C953001 ACATS 2.5 05-01-11 16:52:43 
 C953001 Check that an exception in an entry_barrier condition 
causes Program_Error to be propagated to all current 
callers of all entries of the protected object. 
==1870== warning: Valgrind's pthread_attr_destroy does nothing 
==1870==  your program may misbehave as a result 
==1870== warning: Valgrind's pthread_setschedparam does nothing 
==1870==  (scheduling not changeable) 
==1870==  your program may misbehave as a result 
==1870== warning: Valgrind's pthread_attr_destroy does nothing 
==1870==  your program may misbehave as a result 
==1870== warning: Valgrind's pthread_setschedparam does nothing 
==1870==  (scheduling not changeable) 
==1870==  your program may misbehave as a result 
==1870== warning: Valgrind's pthread_attr_destroy does nothing 
==1870==  your program may misbehave as a result 
==1870== Thread 2: 
==1870== Invalid read of size 4 
==1870==at 0x806A028: c953001__po__family21bB.927 (c953001.adb:106) 
==1870==by 0x8061EF9: 
system__tasking__protected_objects__operations__po_do_or_queue 
(s-tpobop.adb:309) 
==1870==by 0x80626F9: 
system__tasking__protected_objects__operations__protected_entry_call 
(s-tpobop.adb:575) 
==1870==by 0x806A3C1: c953001__waiterB.1116 (c953001.adb:132) 
==1870==  Address 0xA8 is not stack'd, malloc'd or (recently) free'd 
 
raised STORAGE_ERROR : s-intman.adb:124 explicit raise 
==1870== 
==1870== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 17 from 1) 
==1870== malloc/free: in use at exit: 175868 bytes in 93 blocks. 
==1870== malloc/free: 114 allocs, 21 frees, 179174 bytes allocated. 
==1870== For a detailed leak analysis,  rerun with: --leak-check=yes 
==1870== For counts of detected errors, rerun with: -v 
FAIL:   c953001

-- 
   Summary: ACATS c953001 - valgrind detects wrong code (invalid
read)
   Product: gcc
   Version: tree-ssa
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
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=19415

[Bug ada/19414] New: ACATS cxb4003 - valgrind detects wrong code (invalid read)

[baldrick at free dot fr]

RUN cxb4003 
==3253== Memcheck, a memory error detector for x86-linux. 
==3253== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. 
==3253== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux. 
==3253== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. 
==3253== For more details, rerun with: -v 
==3253== 
 
,.,. CXB4003 ACATS 2.5 05-01-11 17:16:32 
 CXB4003 Check that function Valid, with various Display_Format 
parameters, produces correct results. 
==3253== Invalid read of size 1 
==3253==at 0x80523DB: interfaces__cobol__valid_numeric (i-cobol.adb:646) 
==3253==by 0x805C9BD: cxb4003__test_block__display_format__valid.418 
(i-cobol.adb:1008) 
==3253==by 0x805E3C1: _ada_cxb4003 (cxb4003.adb:226) 
==3253==by 0x8049E08: main (b~cxb4003.adb:152) 
==3253==  Address 0x1BA4F678 is 0 bytes after a block of size 8 alloc'd 
==3253==at 0x1B9055B4: malloc (vg_replace_malloc.c:130) 
==3253==by 0x804F2ED: __gnat_malloc (s-memory.adb:92) 
==3253==by 0x805D041: _ada_cxb4003 (cxb4003.adb:116) 
==3253==by 0x8049E08: main (b~cxb4003.adb:152) 
==3253== 
==3253== Invalid read of size 1 
==3253==at 0x8052439: interfaces__cobol__valid_numeric (i-cobol.adb:650) 
==3253==by 0x805C9BD: cxb4003__test_block__display_format__valid.418 
(i-cobol.adb:1008) 
==3253==by 0x805E514: _ada_cxb4003 (cxb4003.adb:258) 
==3253==by 0x8049E08: main (b~cxb4003.adb:152) 
==3253==  Address 0x1BA4FD28 is 0 bytes after a block of size 8 alloc'd 
==3253==at 0x1B9055B4: malloc (vg_replace_malloc.c:130) 
==3253==by 0x804F2ED: __gnat_malloc (s-memory.adb:92) 
==3253==by 0x805D7FB: _ada_cxb4003 (cxb4003.adb:148) 
==3253==by 0x8049E08: main (b~cxb4003.adb:152) 
==3253== 
==3253== Invalid read of size 1 
==3253==at 0x8052471: interfaces__cobol__valid_numeric (i-cobol.adb:655) 
==3253==by 0x805C9BD: cxb4003__test_block__display_format__valid.418 
(i-cobol.adb:1008) 
==3253==by 0x805E664: _ada_cxb4003 (cxb4003.adb:291) 
==3253==by 0x8049E08: main (b~cxb4003.adb:152) 
==3253==  Address 0x1BA50408 is 0 bytes after a block of size 8 alloc'd 
==3253==at 0x1B9055B4: malloc (vg_replace_malloc.c:130) 
==3253==by 0x804F2ED: __gnat_malloc (s-memory.adb:92) 
==3253==by 0x805E058: _ada_cxb4003 (cxb4003.adb:182) 
==3253==by 0x8049E08: main (b~cxb4003.adb:152) 
 CXB4003 PASSED . 
==3253== 
==3253== ERROR SUMMARY: 3 errors from 3 contexts (suppressed: 13 from 1) 
==3253== malloc/free: in use at exit: 11568 bytes in 83 blocks. 
==3253== malloc/free: 92 allocs, 9 frees, 13050 bytes allocated. 
==3253== For a detailed leak analysis,  rerun with: --leak-check=yes 
==3253== For counts of detected errors, rerun with: -v 
PASS:   cxb4003

-- 
   Summary: ACATS cxb4003 - valgrind detects wrong code (invalid
read)
   Product: gcc
   Version: tree-ssa
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
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=19414

[Bug ada/19410] ACATS c64106a - valgrind detects wrong code (overlapping memcpy)

[baldrick at free dot fr]

--- Additional Comments From baldrick at free dot fr  2005-01-12 23:12 
---
ACATS tests C95087A, CXA4009 and CXA4020 show similar failures. 

-- 


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

[Bug ada/19413] ACATS c761010 - valgrind detects wrong code (Conditional jump or move depends on uninitialised value)

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Keywords||wrong-code
Version|tree-ssa|4.0.0


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

[Bug ada/19412] ACATS c761007 - valgrind detects wrong code (Conditional jump or move depends on uninitialised value)

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Keywords||wrong-code
Version|tree-ssa|4.0.0


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

[Bug preprocessor/19411] Simple program causes gcc to run out of memory

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
23:07 ---
This is the preprocessor f'ing up.  The macros are complex which cause the 
problem, I might be able 
get a self contained example later on.

-- 
   What|Removed |Added

  Component|c   |preprocessor
   Keywords||memory-hog


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

[Bug ada/19413] New: ACATS c761010 - valgrind detects wrong code (Conditional jump or move depends on uninitialised value)

[baldrick at free dot fr]

RUN c761010 
==10616== Memcheck, a memory error detector for x86-linux. 
==10616== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. 
==10616== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux. 
==10616== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. 
==10616== For more details, rerun with: -v 
==10616== 
 
,.,. C761010_1 ACATS 2.5 05-01-11 16:44:04 
 C761010_1 Check that Adjust is not called when aggregates are used 
  to initialize objects. 
   - C761010_1 Finalize called - case O. 
   - C761010_1 Finalize called - case N. 
   - C761010_1 Finalize called - case R. 
   - C761010_1 Finalize called - case Q. 
==10616== Conditional jump or move depends on uninitialised value(s) 
==10616==at 0x805C01A: c761010_1__var_strings__Oeq 
(c761010_1-var_strings.adb:31) 
==10616==by 0x805C1CD: c761010_1__var_strings__check_equal 
(c761010_1-var_strings.adb:56) 
==10616==by 0x805D414: c761010_1__var_strings__types___elabb 
(c761010_1-var_strings-types.adb:94) 
==10616==by 0x8049DDF: adainit (b~c761010.adb:126) 
==10616== 
==10616== Conditional jump or move depends on uninitialised value(s) 
==10616==at 0x805C01C: c761010_1__var_strings__Oeq 
(c761010_1-var_strings.adb:31) 
==10616==by 0x805C1CD: c761010_1__var_strings__check_equal 
(c761010_1-var_strings.adb:56) 
==10616==by 0x805D414: c761010_1__var_strings__types___elabb 
(c761010_1-var_strings-types.adb:94) 
==10616==by 0x8049DDF: adainit (b~c761010.adb:126) 
   - C761010_1 Finalize called - case L. 
   - C761010_1 Finalize called - case K. 
 
no further errors

-- 
   Summary: ACATS c761010 - valgrind detects wrong code (Conditional
jump or move depends on uninitialised value)
   Product: gcc
   Version: tree-ssa
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
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=19413

[Bug ada/19409] ACATS c460010 - valgrind detects wrong code

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Keywords||wrong-code
Version|tree-ssa|4.0.0


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

[Bug ada/19412] New: ACATS c761007 - valgrind detects wrong code (Conditional jump or move depends on uninitialised value)

[baldrick at free dot fr]

RUN c761007 
==10563== Memcheck, a memory error detector for x86-linux. 
==10563== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. 
==10563== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux. 
==10563== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. 
==10563== For more details, rerun with: -v 
==10563== 
==10563== warning: Valgrind's pthread_setschedparam does nothing 
==10563==  (scheduling not changeable) 
==10563==  your program may misbehave as a result 
 
,.,. C761007 ACATS 2.5 05-01-11 16:43:55 
 C761007 Check that if a finalize procedure invoked by a transfer of 
control or selection of a terminate alternative attempts 
to propagate an exception, the exception is ignored, but 
any other finalizations due to be performed are 
performed. 
==10563== warning: Valgrind's pthread_attr_destroy does nothing 
==10563==  your program may misbehave as a result 
==10563== warning: Valgrind's pthread_setschedparam does nothing 
==10563==  (scheduling not changeable) 
==10563==  your program may misbehave as a result 
==10563== warning: Valgrind's pthread_cond_destroy is incomplete 
==10563==  (it doesn't check if the cond is waited on) 
==10563==  your program may misbehave as a result 
==10563== warning: Valgrind's pthread_attr_destroy does nothing 
==10563==  your program may misbehave as a result 
==10563== warning: Valgrind's pthread_setschedparam does nothing 
==10563==  (scheduling not changeable) 
==10563==  your program may misbehave as a result 
==10563== warning: Valgrind's pthread_attr_destroy does nothing 
==10563==  your program may misbehave as a result 
==10563== Thread 4: 
==10563== Conditional jump or move depends on uninitialised value(s) 
==10563==at 0x806BABE: c761007__subtestsB.371 (c761007.adb:12) 
==10563==by 0x8065625: system__tasking__stages__task_wrapper 
(s-tassta.adb:959) 
==10563==by 0x1B90D823: thread_wrapper (vg_libpthread.c:795) 
==10563==by 0xB0016754: do__quit (vg_scheduler.c:1761) 
==10563== warning: Valgrind's pthread_cond_destroy is incomplete 
==10563==  (it doesn't check if the cond is waited on) 
==10563==  your program may misbehave as a result 
==10563== warning: Valgrind's pthread_cond_destroy is incomplete 
==10563==  (it doesn't check if the cond is waited on) 
==10563==  your program may misbehave as a result 
 C761007 PASSED . 
==10563== 
==10563== ERROR SUMMARY: 2 errors from 1 contexts (suppressed: 17 from 1) 
==10563== malloc/free: in use at exit: 12340 bytes in 7 blocks. 
==10563== malloc/free: 97 allocs, 90 frees, 114602 bytes allocated. 
==10563== For a detailed leak analysis,  rerun with: --leak-check=yes 
==10563== For counts of detected errors, rerun with: -v 
PASS:   c761007

-- 
   Summary: ACATS c761007 - valgrind detects wrong code (Conditional
jump or move depends on uninitialised value)
   Product: gcc
   Version: tree-ssa
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
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=19412

[Bug c/19411] New: Simple program causes gcc to run out of memory

[gcc-bugzilla at gcc dot gnu dot org]

A simple program causes gcc to use inordinate amounts of memory
and finally crash.

Environment:
System: Linux glauke 2.6.8-powerpc #1 Sun Oct 3 13:22:21 CEST 2004 ppc GNU/Linux
Architecture: ppc

host: powerpc-unknown-linux-gnu
build: powerpc-unknown-linux-gnu
target: powerpc-unknown-linux-gnu
configured with: ../src/configure -v 
--enable-languages=c,c++,java,f77,pascal,objc,ada --prefix=/usr 
--libexecdir=/usr/lib --with-gxx-include-dir=/usr/include/c++/3.4 
--enable-shared --with-system-zlib --enable-nls --without-included-gettext 
--program-suffix=-3.4 --enable-__cxa_atexit --enable-libstdcxx-allocator=mt 
--enable-clocale=gnu --enable-libstdcxx-debug --enable-java-gc=boehm 
--enable-java-awt=gtk --disable-multilib --disable-softfloat powerpc-linux

How-To-Repeat:

Compile this program as follows:

  gcc-3.4 -maltivec prog.c

prog.c follows:

#include 

vector float foo(vector float a)
{
 return vec_add(a, 
vec_add(a, 
vec_add(a, 
vec_add(a, a;
}
--- Additional Comments From athena at fftw dot org  2005-01-12 22:55 
---
Fix:

Declare explicit temporary variables for the intermediate results.

-- 
   Summary: Simple program causes gcc to run out of memory
   Product: gcc
   Version: 3.4.3
Status: UNCONFIRMED
  Severity: normal
  Priority: P3
 Component: c
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: athena at fftw dot org
CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-unknown-linux-gnu
  GCC host triplet: powerpc-unknown-linux-gnu
GCC target triplet: powerpc-unknown-linux-gnu


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

[Bug ada/19410] New: ACATS c64106a - valgrind detects wrong code (overlapping memcpy)

[baldrick at free dot fr]

RUN c64106a 
==4601== Memcheck, a memory error detector for x86-linux. 
==4601== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. 
==4601== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux. 
==4601== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. 
==4601== For more details, rerun with: -v 
==4601== 
 
,.,. C64106A ACATS 2.5 05-01-11 16:41:51 
 C64106A CHECK USE OF ACTUAL CONSTRAINTS BY UNCONSTRAINED FORMAL 
PARAMETERS. 
==4601== Source and destination overlap in memcpy(0x52BFC6EC, 0x52BFC6EC, 28) 
==4601==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113) 
==4601==by 0x805B772: _ada_c64106a (c64106a.adb:88) 
==4601==by 0x8049DFC: main (b~c64106a.adb:149) 
==4601== 
==4601== Source and destination overlap in memcpy(0x52BFC664, 0x52BFC664, 28) 
==4601==at 0x1B906AC5: memcpy (mac_replace_strmem.c:113) 
==4601==by 0x805BB4C: _ada_c64106a (c64106a.adb:235) 
==4601==by 0x8049DFC: main (b~c64106a.adb:149) 
 C64106A PASSED . 
==4601== 
==4601== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 13 from 1) 
==4601== malloc/free: in use at exit: 10280 bytes in 2 blocks. 
==4601== malloc/free: 12 allocs, 10 frees, 11810 bytes allocated. 
==4601== For a detailed leak analysis,  rerun with: --leak-check=yes 
==4601== For counts of detected errors, rerun with: -v 
PASS:   c64106a

-- 
   Summary: ACATS c64106a - valgrind detects wrong code (overlapping
memcpy)
   Product: gcc
   Version: tree-ssa
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
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=19410

[Bug bootstrap/18033] [3.4/4.0 Regression] --disable-aix64 doesn't remove ppc64 from multilib list

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Keywords||build
   Target Milestone|--- |3.4.4


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

[Bug ada/19409] New: ACATS c460010 - valgrind detects wrong code

[baldrick at free dot fr]

RUN c460010 
==29485== Memcheck, a memory error detector for x86-linux. 
==29485== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. 
==29485== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux. 
==29485== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. 
==29485== For more details, rerun with: -v 
==29485== 
 
,.,. C460010 ACATS 2.5 05-01-11 16:37:49 
 C460010 Check that Constraint_Error is not raised if an array 
aggregate without an others choice is assigned to an 
object of a constrained array subtype, and the length of 
each dimension of the aggregate equals the length of the 
corresponding dimension of the target object. 
==29485== Conditional jump or move depends on uninitialised value(s) 
==29485==at 0x805B7A7: c460010__equals.433 (c460010_2.adb:5) 
==29485==by 0x805BBB8: _ada_c460010 (c460010.adb:37) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
==29485== 
==29485== Use of uninitialised value of size 4 
==29485==at 0x805B7A7: c460010__equals.433 (c460010_2.adb:5) 
==29485==by 0x805BBB8: _ada_c460010 (c460010.adb:37) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
==29485== 
==29485== Conditional jump or move depends on uninitialised value(s) 
==29485==at 0x805: _ada_c460010 (c460010.adb:37) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
==29485== 
==29485== Conditional jump or move depends on uninitialised value(s) 
==29485==at 0x805B8D0: c460010__equals.609 (c460010_2.adb:5) 
==29485==by 0x805BEBB: _ada_c460010 (c460010.adb:126) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
==29485== 
==29485== Use of uninitialised value of size 4 
==29485==at 0x805B8D0: c460010__equals.609 (c460010_2.adb:5) 
==29485==by 0x805BEBB: _ada_c460010 (c460010.adb:126) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
==29485== 
==29485== Conditional jump or move depends on uninitialised value(s) 
==29485==at 0x805B8DC: c460010__equals.609 (c460010_2.adb:5) 
==29485==by 0x805BEBB: _ada_c460010 (c460010.adb:126) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
==29485== 
==29485== Conditional jump or move depends on uninitialised value(s) 
==29485==at 0x805B907: c460010__equals.721 (c460010_2.adb:5) 
==29485==by 0x805C19C: _ada_c460010 (c460010.adb:169) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
==29485== 
==29485== Conditional jump or move depends on uninitialised value(s) 
==29485==at 0x805C19F: _ada_c460010 (c460010.adb:169) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
==29485== 
==29485== Conditional jump or move depends on uninitialised value(s) 
==29485==at 0x805B95A: c460010__equals.794 (c460010_2.adb:5) 
==29485==by 0x805C56E: _ada_c460010 (c460010.adb:212) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
==29485== 
==29485== Conditional jump or move depends on uninitialised value(s) 
==29485==at 0x805B966: c460010__equals.794 (c460010_2.adb:5) 
==29485==by 0x805C56E: _ada_c460010 (c460010.adb:212) 
==29485==by 0x8049E1B: main (b~c460010.adb:157) 
 C460010 PASSED . 
==29485== 
==29485== ERROR SUMMARY: 22 errors from 10 contexts (suppressed: 13 from 1) 
==29485== malloc/free: in use at exit: 10280 bytes in 2 blocks. 
==29485== malloc/free: 11 allocs, 9 frees, 11762 bytes allocated. 
==29485== For a detailed leak analysis,  rerun with: --leak-check=yes 
==29485== For counts of detected errors, rerun with: -v 
PASS:   c460010

-- 
   Summary: ACATS c460010 - valgrind detects wrong code
   Product: gcc
   Version: tree-ssa
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
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=19409

[Bug bootstrap/18033] [3.4/4.0 Regression] --disable-aix64 doesn't remove ppc64 from multilib list

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-01-12 22:43 
---
Regression.

Another solution: eval each option.

-- 
   What|Removed |Added

Summary|--disable-aix64 doesn't |[3.4/4.0 Regression] --
   |remove ppc64 from multilib  |disable-aix64 doesn't remove
   |list|ppc64 from multilib list


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

[Bug ada/18727] ACATS c43214c fails at runtime

[baldrick at free dot fr]

--- Additional Comments From baldrick at free dot fr  2005-01-12 22:43 
---
valgrind detects wrong code: 
 
RUN c43214c 
==21414== Memcheck, a memory error detector for x86-linux. 
==21414== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. 
==21414== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux. 
==21414== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. 
==21414== For more details, rerun with: -v 
==21414== 
 
,.,. C43214C ACATS 2.5 05-01-11 16:34:43 
 C43214C CONSTRAINED ARRAY FORMAL GENERIC PARAMETER. 
==21414== Conditional jump or move depends on uninitialised value(s) 
==21414==at 0x805B4E3: _ada_c43214c (c43214c.adb:53) 
==21414==by 0x8049DFC: main (b~c43214c.adb:149) 
==21414== 
==21414== Conditional jump or move depends on uninitialised value(s) 
==21414==at 0x805B4E5: _ada_c43214c (c43214c.adb:53) 
==21414==by 0x8049DFC: main (b~c43214c.adb:149) 
   * C43214C ARRAY DOES NOT CONTAIN THE CORRECT VALUES. 
 C43214C FAILED . 
==21414== 
==21414== ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 13 from 1) 
==21414== malloc/free: in use at exit: 10280 bytes in 2 blocks. 
==21414== malloc/free: 11 allocs, 9 frees, 11762 bytes allocated. 
==21414== For a detailed leak analysis,  rerun with: --leak-check=yes 
==21414== For counts of detected errors, rerun with: -v 
FAIL:   c43214c 
 

-- 


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

[Bug ada/19140] ACATS c37402a segfault at runtime on x86_64

[baldrick at free dot fr]

--- Additional Comments From baldrick at free dot fr  2005-01-12 22:41 
---
valgrind thinks there is wrong code: 
 
RUN c37402a 
==11202== Memcheck, a memory error detector for x86-linux. 
==11202== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al. 
==11202== Using valgrind-2.3.0.CVS, a program supervision framework for 
x86-linux. 
==11202== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al. 
==11202== For more details, rerun with: -v 
==11202== 
==11202== warning: Valgrind's pthread_setschedparam does nothing 
==11202==  (scheduling not changeable) 
==11202==  your program may misbehave as a result 
 
,.,. C37402A ACATS 2.5 05-01-11 16:29:46 
 C37402A CHECK THAT WHEN A FORMAL PARAMETER OF A SUBPROGRAM, ENTRY, 
OR GENERIC UNIT HAS AN UNCONSTRAINED TYPE WITH 
DISCRIMINANTS THAT HAVE DEFAULTS, 'CONSTRAINED IS 'TRUE' 
WHEN APPLIED TO FORMAL PARAMETERS OF MODE IN AND HAS THE 
VALUE OF THE ACTUAL PARAMETER FOR THE OTHER MODES. 
==11202== warning: Valgrind's pthread_attr_destroy does nothing 
==11202==  your program may misbehave as a result 
==11202== warning: Valgrind's pthread_setschedparam does nothing 
==11202==  (scheduling not changeable) 
==11202==  your program may misbehave as a result 
==11202== warning: Valgrind's pthread_cond_destroy is incomplete 
==11202==  (it doesn't check if the cond is waited on) 
==11202==  your program may misbehave as a result 
==11202== Use of uninitialised value of size 4 
==11202==at 0x80671D2: _ada_c37402a (c37402a.adb:252) 
==11202== 
==11202== Use of uninitialised value of size 4 
==11202==at 0x8065A30: report__result (report.adb:208) 
==11202== 
==11202== Use of uninitialised value of size 4 
==11202==at 0x8065A37: report__result (report.adb:208) 
 C37402A PASSED . 
==11202== 
==11202== Invalid read of size 4 
==11202==at 0x1B8F0BE3: fixup (in /lib/ld-2.3.3.so) 
==11202==by 0x1B8F09EF: _dl_runtime_resolve (in /lib/ld-2.3.3.so) 
==11202==by 0x1BA68609: (within /lib/libdl.so.2) 
==11202==by 0x1B8F154E: _dl_fini (in /lib/ld-2.3.3.so) 
==11202==  Address 0x1BA6C3D4 is not stack'd, malloc'd or (recently) free'd 
 
followed by a bunch of ever more dubious looking errors. 

-- 
   What|Removed |Added

Summary|ACATS c37402a segfault at   |ACATS c37402a segfault at
   |runtime on x86_64   |runtime on x86_64


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

[Bug libfortran/19280] Inconsistent licensing of libgfortran

[toon at moene dot indiv dot nluug dot nl]

--- Additional Comments From toon at moene dot indiv dot nluug dot nl  
2005-01-12 22:16 ---
"Weapons of Mass Relicensing" ...

-- 
   What|Removed |Added

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


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

[Bug fortran/19292] [metabug] g77 features lacking in gfortran

[toon at moene dot indiv dot nluug dot nl]

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

Bug 19280 Summary: Inconsistent licensing of libgfortran
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19280

   What|Old Value   |New Value

 Status|ASSIGNED|RESOLVED
 Resolution||FIXED

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

[Bug libfortran/18982] open(status="new") does not generate an error if the file exists

[Thomas dot Koenig at online dot de]

--- Additional Comments From Thomas dot Koenig at online dot de  2005-01-12 
22:03 ---
Sligtly updated patch:

http://gcc.gnu.org/ml/gcc-patches/2005-01/msg00675.html

Thomas

-- 


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

[Bug ada/19408] ACATS c391002 failure on powerpc-darwin, wrong .space

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
21:58 ---
Created an attachment (id=7941)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7941&action=view)
reduced testcase


-- 


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

[Bug ada/19408] New: ACATS c391002 failure on powerpc-darwin, wrong .space

[pinskia at gcc dot gnu dot org]

Compiling the testcase on powerpc-darwin we get an error when assembling:
/var/tmp//ccAw6HXh.s:52:Bad Absolute Expression, absolute 0 assumed.
/var/tmp//ccAw6HXh.s:52:Repeat < 0, .space ignored

This usually means the .space is a large number (which was turned negative by 
the asm because it only 
needs 32bit).
.space 18446744073709551587

If we look at the CONSTRUCTOR which the Ada front-end generates:
{.band=2, .the_command=0, ._parent={.band=2}, .tc_scc=66}

we see that ._parent (which is at position 1) is in the middle which is just 
wrong.  The middle-end of 
GCC has always have expected the CONSTRUCTOR be in the same order as the fields 
in the RECORD 
type.
I will attach the semi reduced testcase.

I think this also happens on ppc-linux but on ppc-linux we just get a warning 
from gas.

-- 
   Summary: ACATS c391002 failure on powerpc-darwin, wrong .space
   Product: gcc
   Version: 4.0.0
Status: UNCONFIRMED
  Keywords: wrong-code
  Severity: normal
  Priority: P2
 Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: pinskia at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: powerpc-darwin


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

[Bug c++/19407] vector keyword in typedef inside template struct ignored

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
21:31 ---
Another example (which is rejected):
#include 
template < typename Val > struct S {
typedef Val vector_type __attribute__((vector_size(16)));
void pr_size() { printf ("size = %d\n", sizeof(vector_type)); }
};
int main()
{
printf ("size = %d\n", sizeof(S < float >::vector_type));
S x;
x.pr_size();
return 0;
}

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Keywords||rejects-valid, wrong-code
   Last reconfirmed|-00-00 00:00:00 |2005-01-12 21:31:53
   date||


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

[Bug c++/19407] vector keyword in typedef inside template struct ignored

[leblanc at skycomputers dot com]

--- Additional Comments From leblanc at skycomputers dot com  2005-01-12 
21:29 ---
The program below prints 4-s instead of 16-s.

 1  #include 
 2  #include 
 3
 4  template < typename Val > struct S {
 5  typedef vector Val vector_type;
 6  void pr_size() { printf ("size = %d\n", sizeof(vector_type)); }
 7  };  
 8
 9  int main()
10  {
11printf ("size = %d\n", sizeof(S < float >::vector_type));
12S x;
13x.pr_size();
14return 0;
15  }


-- 
   What|Removed |Added

  BugsThisDependsOn||17743
Summary|vector keyword in typedef   |vector keyword in typedef
   |inside struct ignored   |inside template struct
   ||ignored


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

[Bug libfortran/19280] Inconsistent licensing of libgfortran

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-12 
21:27 ---
Subject: Bug 19280

CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED]   2005-01-12 21:27:33

Modified files:
libgfortran: ChangeLog c99_protos.h libgfortran.h 
libgfortran/intrinsics: abort.c args.c associated.c bessel.c 
c99_functions.c cpu_time.c cshift0.c 
date_and_time.c env.c eoshift0.c 
eoshift2.c erf.c etime.c exit.c flush.c 
fnum.c getXid.c getcwd.c ishftc.c 
mvbits.c pack_generic.c rand.c random.c 
reshape_generic.c reshape_packed.c 
size.c spread_generic.c stat.c 
string_intrinsics.c system.c 
system_clock.c transpose_generic.c 
umask.c unlink.c unpack_generic.c 
libgfortran/io : backspace.c close.c endfile.c format.c 
 inquire.c io.h list_read.c lock.c open.c read.c 
 rewind.c transfer.c unit.c unix.c write.c 
libgfortran/m4 : all.m4 any.m4 cexp.m4 chyp.m4 count.m4 
 cshift1.m4 ctrig.m4 dotprod.m4 dotprodc.m4 
 dotprodl.m4 eoshift1.m4 eoshift3.m4 exponent.m4 
 fraction.m4 head.m4 iforeach.m4 ifunction.m4 
 in_pack.m4 in_unpack.m4 iparm.m4 matmul.m4 
 matmull.m4 maxloc0.m4 maxloc1.m4 maxval.m4 
 minloc0.m4 minloc1.m4 minval.m4 nearest.m4 
 pow.m4 product.m4 reshape.m4 set_exponent.m4 
 shape.m4 sum.m4 transpose.m4 
libgfortran/runtime: environ.c error.c in_pack_generic.c 
 in_unpack_generic.c main.c memory.c 
 normalize.c pause.c select.c stop.c 
 string.c 
libgfortran/generated: _abs_c4.f90 _abs_c8.f90 _abs_i4.f90 
   _abs_i8.f90 _abs_r4.f90 _abs_r8.f90 
   _acos_r4.f90 _acos_r8.f90 _aint_r4.f90 
   _aint_r8.f90 _anint_r4.f90 _anint_r8.f90 
   _asin_r4.f90 _asin_r8.f90 _atan2_r4.f90 
   _atan2_r8.f90 _atan_r4.f90 _atan_r8.f90 
   _conjg_c4.f90 _conjg_c8.f90 _cos_c4.f90 
   _cos_c8.f90 _cos_r4.f90 _cos_r8.f90 
   _cosh_r4.f90 _cosh_r8.f90 _dim_i4.f90 
   _dim_i8.f90 _dim_r4.f90 _dim_r8.f90 
   _exp_c4.f90 _exp_c8.f90 _exp_r4.f90 
   _exp_r8.f90 _log10_r4.f90 _log10_r8.f90 
   _log_c4.f90 _log_c8.f90 _log_r4.f90 
   _log_r8.f90 _mod_i4.f90 _mod_i8.f90 
   _mod_r4.f90 _mod_r8.f90 _sign_i4.f90 
   _sign_i8.f90 _sign_r4.f90 _sign_r8.f90 
   _sin_c4.f90 _sin_c8.f90 _sin_r4.f90 
   _sin_r8.f90 _sinh_r4.f90 _sinh_r8.f90 
   _sqrt_c4.f90 _sqrt_c8.f90 _sqrt_r4.f90 
   _sqrt_r8.f90 _tan_r4.f90 _tan_r8.f90 
   _tanh_r4.f90 _tanh_r8.f90 all_l4.c 
   all_l8.c any_l4.c any_l8.c count_4_l4.c 
   count_4_l8.c count_8_l4.c count_8_l8.c 
   cshift1_4.c cshift1_8.c dotprod_c4.c 
   dotprod_c8.c dotprod_i4.c dotprod_i8.c 
   dotprod_l4.c dotprod_l8.c dotprod_r4.c 
   dotprod_r8.c eoshift1_4.c eoshift1_8.c 
   eoshift3_4.c eoshift3_8.c exp_c4.c 
   exp_c8.c exponent_r4.c exponent_r8.c 
   fraction_r4.c fraction_r8.c hyp_c4.c 
   hyp_c8.c in_pack_i4.c in_pack_i8.c 
   in_unpack_i4.c in_unpack_i8.c matmul_c4.c 
   matmul_c8.c matmul_i4.c matmul_i8.c 
   matmul_l4.c matmul_l8.c matmul_r4.c 
   matmul_r8.c maxloc0_4_i4.c maxloc0_4_i8.c 
   maxloc0_4_r4.c maxloc0_4_r8.c 
   maxloc0_8_i4.c maxloc0_8_i8.c 
   maxloc0_8_r4.c maxloc0_8_r8.c 
   maxloc1_4_i4.c maxloc1_4_i8.c 
   maxloc1_4_r4.c maxloc1_4_r8.c 
   maxloc1_8_i4.c maxloc1_8_i8.c 
   maxloc1_8_r4.c maxloc1_8_r8.c maxval_i4.c 
 

[Bug c++/19407] New: vector keyword in typedef inside struct ignored

[leblanc at skycomputers dot com]

 

-- 
   Summary: vector keyword in typedef inside struct ignored
   Product: gcc
   Version: 4.0.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: leblanc at skycomputers dot com
CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: ppc-*-linux
  GCC host triplet: ppc-*-linux
GCC target triplet: ppc-*-linux


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

[Bug c++/9573] typedef with __attribute__ ((mode(....))) doesnt seem to work inside a struct/class

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
21:13 ---
(In reply to comment #9)
I think that part is more related to PR 17743.  Can you file a new bug, 
templates are much harder to get 
working with attributes.

-- 


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

[Bug c++/9573] typedef with __attribute__ ((mode(....))) doesnt seem to work inside a struct/class

[leblanc at skycomputers dot com]

--- Additional Comments From leblanc at skycomputers dot com  2005-01-12 
21:08 ---
The bug I reported in #19400, duplicating this one, is fixed in the compiler as 
of 1/12/04.  However, 
this variant remains busted:

 1  #include 
 2  #include 
 3
 4  template < typename Val > struct S {
 5  typedef vector Val vector_type;
 6  void pr_size() { printf ("size = %d\n", sizeof(vector_type)); }
 7  };  
 8
 9  int main()
10  {
11printf ("size = %d\n", sizeof(S < float >::vector_type));
12S x;
13x.pr_size();
14return 0;
15  }

because it prints

size = 4
size = 4


-- 


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

[Bug c++/19406] [4.0 Regression] ICE: in force_decl_die, at dwarf2out.c:12442

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
21:06 ---
: Search converges between 2004-01-27-trunk (#442) and 2004-01-28-trunk (#443).

Confirmed.

Caused by:
2004-01-27  Devang Patel  <[EMAIL PROTECTED]>

* name-lookup.c: Include "debug.h"
(do_namespace_alias): Invoke debug_hooks to emit debug info
for namespace alias.
(do_local_using_decl): Invoke debug_hooks to emit debug info
for using decl.
(do_class_using_decl): Same.
(do_toplevel_using_decl): Same.
(do_using_directive): Same.
(cp_emit_debug_info_for_using): New function.
* Make-lang.in (cp/parser.o): Depend on debug.h
(cp/name-lookup.o): Same.

-- 
   What|Removed |Added

 CC||dpatel at apple dot com
 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Keywords||ice-on-valid-code
   Last reconfirmed|-00-00 00:00:00 |2005-01-12 21:06:16
   date||
Summary|ICE: in force_decl_die, at  |[4.0 Regression] ICE: in
   |dwarf2out.c:12442   |force_decl_die, at
   ||dwarf2out.c:12442
   Target Milestone|--- |4.0.0


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

[Bug c++/19406] New: ICE: in force_decl_die, at dwarf2out.c:12442

[Woebbeking at web dot de]

Hi, 
 
I get the mentioned ICE if I compile the following code with -g 
(gcc < 4 works fine): 
 
struct A 
{ 
virtual int foo(); 
 
double d; 
}; 
 
 
struct B : public A 
{ 
A::d; 
}; 
 
 
int main() 
{ 
return 0; 
} 
 
 
Cheers, 
André

-- 
   Summary: ICE: in force_decl_die, at dwarf2out.c:12442
   Product: gcc
   Version: 4.0.0
Status: UNCONFIRMED
  Severity: critical
  Priority: P2
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: Woebbeking at web dot de
CC: gcc-bugs at gcc dot gnu dot org


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

[Bug middle-end/19402] __builtin_powi? still missing

[rguenth at tat dot physik dot uni-tuebingen dot de]

-- 
   What|Removed |Added

 CC||rguenth at tat dot physik
   ||dot uni-tuebingen dot de


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

[Bug c++/19404] [4.0 Regression] anonymous types and templates and rejecting valid code

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
20:35 ---
The only patch which makes sense (as it is not really that bogus really as 
shown in this example):
PR c++/17413
* pt.c (check_instantiated_args): Remove bogus SFINAE code.

-- 
   What|Removed |Added

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


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

[Bug bootstrap/18033] --disable-aix64 doesn't remove ppc64 from multilib list

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-01-12 20:31 
---
config-ml.in see the option surrounded by single quotes and it does not match.

Index: config-ml.in
===
RCS file: /cvs/gcc/gcc/config-ml.in,v
retrieving revision 1.32
diff -c -p -r1.32 config-ml.in
*** config-ml.in7 Nov 2004 23:37:28 -   1.32
--- config-ml.in12 Jan 2005 20:28:36 -
*** ml_realsrcdir=${srcdir}
*** 108,113 
--- 108,118 
  ml_verbose=--verbose
  for option in ${ac_configure_args}
  do
+ # strip single quotes added unconditionally by autoconf 2.59
+   case $option in
+   \'*\') option=`echo $option | sed -e s/^\'// -e s/\'$//`
+   esac
+ 
case $option in
--*) ;;
-*) option=-$option ;;


-- 


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

[Bug bootstrap/18033] --disable-aix64 doesn't remove ppc64 from multilib list

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-01-12 20:30 
---
config-ml.in bug

-- 
   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |dje at gcc dot gnu dot org
   |dot org |
 Status|NEW |ASSIGNED
   Last reconfirmed|2005-01-12 20:30:12 |2005-01-12 20:30:39
   date||


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

[Bug bootstrap/18033] --disable-aix64 doesn't remove ppc64 from multilib list

[dje at gcc dot gnu dot org]

--- Additional Comments From dje at gcc dot gnu dot org  2005-01-12 20:30 
---
confirmed

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Last reconfirmed|-00-00 00:00:00 |2005-01-12 20:30:12
   date||


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

[Bug target/19379] [4.0 Regression] ICE during build of newlib's e_atan2.c when soft-float

[rth at gcc dot gnu dot org]

--- Additional Comments From rth at gcc dot gnu dot org  2005-01-12 19:47 
---
In reply to comment #5:

Perhaps I am out of touch with what's extant in the embedded space.
I havn't been paid to care about that in quite some time.  I'll defer.

Using "-MASK_80387|-MASK_FLOAT_RETURNS" is incorrect.  It should
be "-(MASK_80387|MASK_FLOAT_RETURNS)".  I agree with Ralf's later
comment that -mno-80387 and -msoft-float should probably stay in
sync.  Though of course -msoft-float doesn't really mean as much
as it sounds like it ought in conjunction with -mfpmath.

In reply to comment #7:

Yes, I did mean trap #7 handler for an fpu emulator.  Though of
course there are different levels of emulation.  One thing that
has been done before for MIPS is to provide a trap handler, but
only implement the move instructions.  This allows the ABI to
remain unchanged by pretending that the appropriate registers
exist, but not having to incur most of the overhead for trapping
for all arithmetic instructions.

Since RTEMS is multilibed, this is much less of an advantage.

In any case, Joel, would you please take ownership of this bug
and see it through?  You're the one that would have to be doing
the RTEMS testing anyway...

-- 
   What|Removed |Added

 AssignedTo|rth at gcc dot gnu dot org  |unassigned at gcc dot gnu
   ||dot org
 Status|WAITING |NEW


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

[Bug c++/19403] [4.0 Regression] name lookup is broken with friends

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
19:47 ---
(In reply to comment #2)
> Excuse me?

You are right, but what is werid here is that ICC even in strict mode and 
Comeau accept the code.

This is invalid code and a dup of bug 14513.

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

-- 
   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||DUPLICATE


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

[Bug c++/14513] Friend name injection problem (implicit declaration)

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
19:47 ---
*** Bug 19403 has been marked as a duplicate of this bug. ***

-- 
   What|Removed |Added

 CC||Woebbeking at web dot de


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

[Bug c++/19403] [4.0 Regression] name lookup is broken with friends

[gdr at integrable-solutions dot net]

--- Additional Comments From gdr at integrable-solutions dot net  
2005-01-12 19:37 ---
Subject: Re:  [4.0 Regression] name lookup is broken with friends

"pinskia at gcc dot gnu dot org" <[EMAIL PROTECTED]> writes:

| : Search converges between 2004-11-25-014001-trunk (#656) and 
2004-11-25-161001-trunk 
| (#657).
| 
| Yes this is valid code. we should have found the global A for the statement 
"friend struct A;" but instead 
| it adds a class to the namespace Boo which is wrong.

Excuse me?

The behaviour mandated by the C++ standard is that if there is no
declaration for type A in the innermost enclosing namespace then an
implicit one is added -- because A is used unqualified.  In
particular, the global A should not be found. Thus the code is
ill-formed.
The PR should be closed as invalid.

-- Gaby


-- 


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

[Bug c++/19263] [3.4/4.0 regression]: wrong-code: explicit inicialization of v8qi miscompiled

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
19:16 ---
Patch here: .

-- 
   What|Removed |Added

   Keywords||patch


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

[Bug target/19405] [4.0 Regression] 18_support/numeric_limits.cc fails on ppc-darwin (long doubles)

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
18:57 ---
http://gcc.gnu.org/ml/gcc-regression/2005-01/msg00021.html

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Last reconfirmed|-00-00 00:00:00 |2005-01-12 18:57:36
   date||
   Target Milestone|--- |4.0.0


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

[Bug target/19405] New: [4.0 Regression] 18_support/numeric_limits.cc fails on ppc-darwin (long doubles)

[pinskia at gcc dot gnu dot org]

The long double part of 18_support/numeric_limits.cc started to fail when the 
following patch was 
applied:
2005-01-06  Geoffrey Keating  <[EMAIL PROTECTED]>

* c-cppbuiltin.c (builtin_define_float_constants): Set __*_EPSILON__
for IBM long double format correctly.

Which means that the epsilon definition is not correct any more as this 
libstdc++ tests (almong other 
things "1.0+epsilon != 1.0" so we are getting an asser from that.

-- 
   Summary: [4.0 Regression] 18_support/numeric_limits.cc fails on
ppc-darwin (long doubles)
   Product: gcc
   Version: 4.0.0
Status: UNCONFIRMED
  Keywords: wrong-code
  Severity: normal
  Priority: P2
 Component: target
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: pinskia at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org,geoffk at apple dot com
GCC target triplet: powerpc-darwin


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

[Bug c++/19404] [4.0 Regression] error: 'QSizePolicy::' uses anonymous type

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
18:53 ---
Confirmed, reduced testcase:
class Base; 
template 
inline  Base const& operator>>(Base const& rConfiguration, Type& rType) ;
enum { HSize = 6, HMask = 0x3f, VMask = HMask << HSize }; 
int verData(unsigned int data){ return (int)( (data & VMask) >> HSize ); } 

Note it start failing after "2004-12-11".

This is valid code we should reject the template as it does not fit with the 
arguments.

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Keywords||rejects-valid
   Last reconfirmed|-00-00 00:00:00 |2005-01-12 18:53:44
   date||
Summary|error:  |[4.0 Regression] error:
   |'QSizePolicy::' uses anonymous type  |enum>' uses anonymous type
   Target Milestone|--- |4.0.0


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

[Bug c++/19404] New: error: 'QSizePolicy::' uses anonymous type

[Woebbeking at web dot de]

Hi, 
 
the following Code doesn't compile: 
 
 
class Base; 
 
 
template 
inline 
Base& 
operator<<(Base& rConfiguration, 
   Type const& rType) 
{ 
return rConfiguration; 
} 
 
 
template 
inline 
Base const& 
operator>>(Base const& rConfiguration, 
   Type& rType) 
{ 
return rConfiguration; 
} 
 
 
struct QSizePolicy 
{ 
enum { HSize = 6, HMask = 0x3f, VMask = HMask << HSize }; 
 
enum SizeType { Fixed = 0 }; 
 
SizeType verData() const { return (SizeType)( (data & VMask) >> HSize ); } 
 
void setVerData( SizeType d ) { data = (unsigned int)(data & ~(HMask << 
HSize)) | 
(d << HSize); } 
 
unsigned int data; 
}; 
 
It compiles with g++ < 4.0. 
 
 
Cheers, 
André

-- 
   Summary: error: 'QSizePolicy::' uses anonymous
type
   Product: gcc
   Version: 4.0.0
Status: UNCONFIRMED
  Severity: normal
  Priority: P2
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: Woebbeking at web dot de
CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/19403] [4.0 Regression] name lookup is broken with friends

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-12 
18:42 ---
: Search converges between 2004-11-25-014001-trunk (#656) and 
2004-11-25-161001-trunk 
(#657).

Yes this is valid code. we should have found the global A for the statement 
"friend struct A;" but instead 
it adds a class to the namespace Boo which is wrong.

I am alomst certain it is caused by one of the "Friend class name lookup" 
patches.

-- 
   What|Removed |Added

 CC||lerdsuwa at users dot
   ||sourceforge dot net
 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Keywords||rejects-valid
   Last reconfirmed|-00-00 00:00:00 |2005-01-12 18:42:20
   date||
Summary|name lookup is broken   |[4.0 Regression] name lookup
   ||is broken with friends
   Target Milestone|--- |4.0.0


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

[Bug c++/19263] [3.4/4.0 regression]: wrong-code: explicit inicialization of v8qi miscompiled

[jakub at gcc dot gnu dot org]

--- Additional Comments From jakub at gcc dot gnu dot org  2005-01-12 18:30 
---
Tested to also test static initializers:
typedef signed char v8qi __attribute__ ((vector_size (8)));

extern "C" void abort (void);

static unsigned char S[16];

struct A
{
  int i;
  v8qi j, k;
  int l;
};

void
foo (unsigned char v)
{
  A a = { 1, { v, v, v, v, v, v, v, v },
  { v + 1, v + 1, v + 1, v + 1, v + 1, v + 1, v + 1, v + 1 }, 3 };
  v8qi *s = (v8qi *) &S[0];
  *s = a.j;
  s[1] = a.k;
}

void
bar (unsigned char v)
{
  v8qi val8 = { v, v, v, v, v, v, v, v };
  v8qi *s = (v8qi *) &S[0];
  *s = val8;
}

int n = 5, cnt;

int
num (void)
{
  ++cnt;
  return n;
}

void
baz (void)
{
  static A a = { 0, { num (), num (), num (), num (), 6, 6, 6, 6 },
 { 7, 7, 7, 7, 8, 8, 8, 8 }, 0 };
  v8qi *s = (v8qi *) &S[0];
  *s = a.j;
  s[1] = a.k;
}

int
main ()
{
  int i;
  foo (1);
  for (i = 0; i < 8; ++i)
if (S[i] != 1)
  abort ();
  for (; i < 16; ++i)
if (S[i] != 2)
  abort ();
  bar (3);
  for (i = 0; i < 8; ++i)
if (S[i] != 3)
  abort ();
  baz ();
  if (cnt != 4)
abort ();
  for (i = 0; i < 16; ++i)
if (S[i] != 5 + (i / 4))
  abort ();
  return 0;
}

Works with G++ 3.2.x, fails with 3.4.x and mainline, even with:
--- typeck2.c.jj2005-01-12 18:34:32.0 +0100
+++ typeck2.c   2005-01-12 19:19:28.602047217 +0100
@@ -348,8 +348,9 @@ split_nonconstant_init_1 (tree dest, tre
 case VECTOR_TYPE:
   if (!initializer_constant_valid_p (init, type))
{
+ tree cons = copy_node (init);
  CONSTRUCTOR_ELTS (init) = NULL;
- code = build (MODIFY_EXPR, type, dest, init);
+ code = build (MODIFY_EXPR, type, dest, cons);
  code = build_stmt (EXPR_STMT, code);
  pcode = &TREE_CHAIN (code);
}

patch.

-- 


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

[Bug target/7525] [ARM/Thumb] long calls stubs only in one code section, cannot branch to them from other section

[rearnsha at gcc dot gnu dot org]

--- Additional Comments From rearnsha at gcc dot gnu dot org  2005-01-12 
18:11 ---
In the general case of calling library support functions, this really needs
fixing in the linker.  I'm going to fix this for the specific case of
__call_via_ because this is necessary to generate code that conforms to the
EABI (__call_via_ isn't a recognized library entry point).

-- 
   What|Removed |Added

 AssignedTo|unassigned at gcc dot gnu   |rearnsha at gcc dot gnu dot
   |dot org |org
 Status|NEW |ASSIGNED
   Last reconfirmed|2004-01-26 15:43:48 |2005-01-12 18:11:28
   date||


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

[Bug c++/19403] New: name lookup is broken

[Woebbeking at web dot de]

Hi, 
 
the following code doesn't compile: 
 
struct A {}; 
 
namespace Boo 
{ 
struct B 
{ 
friend struct A; 
 
B(const A&) {}; 
}; 
} 
 
int main() 
{ 
A a; 
Boo::B b(a); 
return 0; 
} 
 
It compiles with g++ < 4.0.

-- 
   Summary: name lookup is broken
   Product: gcc
   Version: 4.0.0
Status: UNCONFIRMED
  Severity: critical
  Priority: P2
 Component: c++
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: Woebbeking at web dot de
CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/19263] [3.4/4.0 regression]: wrong-code: explicit inicialization of v8qi miscompiled

[jakub at gcc dot gnu dot org]

--- Additional Comments From jakub at gcc dot gnu dot org  2005-01-12 18:00 
---
This seems to be because of the CONSTRUCTOR_ELTS (init) = NULL;
added in http://gcc.gnu.org/ml/gcc-patches/2004-01/msg00832.html
by Richard.
If I remove it, the testcase works, as well as this bigger one below.
Wiping the initializers of the vector can't be right, so either that line
can be just deleted, or we want to create zero vector and then initialize
it field by field with the original values.
typedef signed char v8qi __attribute__ ((vector_size (8)));

extern "C" void abort (void);

static unsigned char S[16];

struct A
{
  int i;
  v8qi j, k;
  int l;
};

void
foo (unsigned char v)
{
  A a = { 1, { v, v, v, v, v, v, v, v },
 { v + 1, v + 1, v + 1, v + 1, v + 1, v + 1, v + 1, v + 1 }, 3 };
  v8qi *s = (v8qi *) & S[0];
  *s = a.j;
  s[1] = a.k;
}

void
bar (unsigned char v)
{
  v8qi val8 = { v, v, v, v, v, v, v, v };
  v8qi *s = (v8qi *) & S[0];
  *s = val8;
}

int
main ()
{
  int i;
  foo (1);
  for (i = 0; i < 8; ++i)
if (S[i] != 1)
  abort ();
  for (; i < 16; ++i)
if (S[i] != 2)
  abort ();
  bar (3);
  for (i = 0; i < 8; ++i)
if (S[i] != 3)
  abort ();
  return 0;
}



-- 
   What|Removed |Added

 CC||rth at gcc dot gnu dot org


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