public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "rguenth at tat dot physik dot uni-tuebingen dot de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug optimization/14863] [3.4/3.5 regression] unit-at-a-time causes miscompilation
Date: Sat, 10 Apr 2004 15:27:00 -0000	[thread overview]
Message-ID: <20040410144903.18803.qmail@sources.redhat.com> (raw)
In-Reply-To: <20040406114325.14863.rguenth@tat.physik.uni-tuebingen.de>


------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-04-09 21:22 -------
Subject: Re:  [3.4/3.5 regression] unit-at-a-time
 causes miscompilation

pinskia at gcc dot gnu dot org wrote:
> ------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-09 13:35 -------
> Commenting out the delete in deleteStorage lets the program run just fine.  I am 
> wondering if someone is holding on to the pointer too long, can someone run this 
> program with valgrind?

The -O1 version is ok:

bellatrix:~/tmp/delta/bctest3$ valgrind ./bctest3.ok
==19455== Memcheck, a memory error detector for x86-linux.
==19455== Copyright (C) 2002-2003, and GNU GPL'd, by Julian Seward.
==19455== Using valgrind-2.1.0, a program supervision framework for 
x86-linux.
==19455== Copyright (C) 2000-2003, and GNU GPL'd, by Julian Seward.
==19455== Estimated CPU clock rate is 1010 MHz
==19455== For more details, rerun with: -v
==19455==
==19455==
==19455== ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 0 from 0)
==19455== malloc/free: in use at exit: 284 bytes in 10 blocks.
==19455== malloc/free: 14 allocs, 4 frees, 301 bytes allocated.
==19455== For a detailed leak analysis,  rerun with: --leak-check=yes
==19455== For counts of detected errors, rerun with: -v

The -O1 -funit-at-a-time version not:

==19618== Memcheck, a memory error detector for x86-linux.
==19618== Copyright (C) 2002-2003, and GNU GPL'd, by Julian Seward.
==19618== Using valgrind-2.1.0, a program supervision framework for 
x86-linux.
==19618== Copyright (C) 2000-2003, and GNU GPL'd, by Julian Seward.
==19618== Estimated CPU clock rate is 1009 MHz
==19618== For more details, rerun with: -v
==19618==
==19618== Conditional jump or move depends on uninitialised value(s)
==19618==    at 0x804A5E4: Engine<1, double, 
DynamicView>::Engine(Engine<1, double, DynamicView> const&, Interval<1> 
const&) (in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A670: Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > >::Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > >, Interval<1> >(Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > > const&, Interval<1> const&) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A814: 
_ZN10ParticleBCI5ArrayILi1Ed13ExpressionTagI10BinaryNodeI5OpAdd9ReferenceIS0_ILi1EdS1_IS2_I10OpMultiplyS4_IS0_ILi1Ed10MultiPatchI10DynamicTag7DynamicEEESB_EEEESF_EEE11MyParticlesI16MPDynamicUniformE6KillBCIdEE22applyBoundaryConditionEi 
(in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x80498E4: 
Particles<MPDynamicUniform>::applyBoundaryConditions(int) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==
==19618== Use of uninitialised value of size 4
==19618==    at 0x804A60A: Engine<1, double, 
DynamicView>::Engine(Engine<1, double, DynamicView> const&, Interval<1> 
const&) (in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A670: Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > >::Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > >, Interval<1> >(Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > > const&, Interval<1> const&) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A814: 
_ZN10ParticleBCI5ArrayILi1Ed13ExpressionTagI10BinaryNodeI5OpAdd9ReferenceIS0_ILi1EdS1_IS2_I10OpMultiplyS4_IS0_ILi1Ed10MultiPatchI10DynamicTag7DynamicEEESB_EEEESF_EEE11MyParticlesI16MPDynamicUniformE6KillBCIdEE22applyBoundaryConditionEi 
(in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x80498E4: 
Particles<MPDynamicUniform>::applyBoundaryConditions(int) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==
==19618== Use of uninitialised value of size 4
==19618==    at 0x804A610: Engine<1, double, 
DynamicView>::Engine(Engine<1, double, DynamicView> const&, Interval<1> 
const&) (in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A670: Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > >::Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > >, Interval<1> >(Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > > const&, Interval<1> const&) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A814: 
_ZN10ParticleBCI5ArrayILi1Ed13ExpressionTagI10BinaryNodeI5OpAdd9ReferenceIS0_ILi1EdS1_IS2_I10OpMultiplyS4_IS0_ILi1Ed10MultiPatchI10DynamicTag7DynamicEEESB_EEEESF_EEE11MyParticlesI16MPDynamicUniformE6KillBCIdEE22applyBoundaryConditionEi 
(in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x80498E4: 
Particles<MPDynamicUniform>::applyBoundaryConditions(int) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==
==19618== Invalid read of size 4
==19618==    at 0x804A613: Engine<1, double, 
DynamicView>::Engine(Engine<1, double, DynamicView> const&, Interval<1> 
const&) (in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A670: Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > >::Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > >, Interval<1> >(Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > > const&, Interval<1> const&) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A814: 
_ZN10ParticleBCI5ArrayILi1Ed13ExpressionTagI10BinaryNodeI5OpAdd9ReferenceIS0_ILi1EdS1_IS2_I10OpMultiplyS4_IS0_ILi1Ed10MultiPatchI10DynamicTag7DynamicEEESB_EEEESF_EEE11MyParticlesI16MPDynamicUniformE6KillBCIdEE22applyBoundaryConditionEi 
(in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x80498E4: 
Particles<MPDynamicUniform>::applyBoundaryConditions(int) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==  Address 0x76005550 is not stack'd, malloc'd or free'd
==19618==
==19618== Use of uninitialised value of size 4
==19618==    at 0x804A620: Engine<1, double, 
DynamicView>::Engine(Engine<1, double, DynamicView> const&, Interval<1> 
const&) (in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A670: Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > >::Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > >, Interval<1> >(Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > > const&, Interval<1> const&) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A814: 
_ZN10ParticleBCI5ArrayILi1Ed13ExpressionTagI10BinaryNodeI5OpAdd9ReferenceIS0_ILi1EdS1_IS2_I10OpMultiplyS4_IS0_ILi1Ed10MultiPatchI10DynamicTag7DynamicEEESB_EEEESF_EEE11MyParticlesI16MPDynamicUniformE6KillBCIdEE22applyBoundaryConditionEi 
(in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x80498E4: 
Particles<MPDynamicUniform>::applyBoundaryConditions(int) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==
==19618== Invalid read of size 4
==19618==    at 0x804A626: Engine<1, double, 
DynamicView>::Engine(Engine<1, double, DynamicView> const&, Interval<1> 
const&) (in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A670: Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > >::Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > >, Interval<1> >(Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > > const&, Interval<1> const&) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A814: 
_ZN10ParticleBCI5ArrayILi1Ed13ExpressionTagI10BinaryNodeI5OpAdd9ReferenceIS0_ILi1EdS1_IS2_I10OpMultiplyS4_IS0_ILi1Ed10MultiPatchI10DynamicTag7DynamicEEESB_EEEESF_EEE11MyParticlesI16MPDynamicUniformE6KillBCIdEE22applyBoundaryConditionEi 
(in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x80498E4: 
Particles<MPDynamicUniform>::applyBoundaryConditions(int) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==  Address 0x0 is not stack'd, malloc'd or free'd
==19618==
==19618== Process terminating with default action of signal 11 
(SIGSEGV): dumping core
==19618==  Address not mapped to object at address 0x0
==19618==    at 0x804A626: Engine<1, double, 
DynamicView>::Engine(Engine<1, double, DynamicView> const&, Interval<1> 
const&) (in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A670: Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > >::Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > >, Interval<1> >(Array<1, double, 
ExpressionTag<BinaryNode<OpMultiply, Array<1, double, DynamicView>, 
Array<1, double, DynamicView> > > > const&, Interval<1> const&) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x804A814: 
_ZN10ParticleBCI5ArrayILi1Ed13ExpressionTagI10BinaryNodeI5OpAdd9ReferenceIS0_ILi1EdS1_IS2_I10OpMultiplyS4_IS0_ILi1Ed10MultiPatchI10DynamicTag7DynamicEEESB_EEEESF_EEE11MyParticlesI16MPDynamicUniformE6KillBCIdEE22applyBoundaryConditionEi 
(in /net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==    by 0x80498E4: 
Particles<MPDynamicUniform>::applyBoundaryConditions(int) (in 
/net/bellatrix/home/rguenth/tmp/delta/bctest3/bctest3.fail)
==19618==
==19618== ERROR SUMMARY: 6 errors from 6 contexts (suppressed: 0 from 0)
==19618== malloc/free: in use at exit: 297 bytes in 13 blocks.
==19618== malloc/free: 14 allocs, 1 frees, 301 bytes allocated.
==19618== For a detailed leak analysis,  rerun with: --leak-check=yes
==19618== For counts of detected errors, rerun with: -v



------- Additional Comments From rguenth at tat dot physik dot uni-tuebingen dot de  2004-04-10 14:49 -------
Subject: Re:  [3.4/3.5 regression] unit-at-a-time
 causes miscompilation

The reduction is done, but it didn't leave me with something useful :(
Until someone figures out what is wrong with the original testcase, I'll 
give up on this.  Pooma testcases seem to be useless :(

Anyway, I should have spent the time finding the cause of miscompilation 
on code _I_ wrote...


-- 


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


  parent reply	other threads:[~2004-04-10 14:49 UTC|newest]

Thread overview: 43+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-04-06 11:43 [Bug optimization/14863] New: [3.4 " rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-06 11:45 ` [Bug optimization/14863] " rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-06 11:49 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-06 12:36 ` pinskia at gcc dot gnu dot org
2004-04-06 23:48 ` 1319 at bot dot ru
2004-04-07  7:59 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-07  8:00 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-07  8:04 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-07 10:25 ` 1319 at bot dot ru
2004-04-07 11:56 ` 1319 at bot dot ru
2004-04-07 12:04 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-07 13:07 ` [Bug optimization/14863] [3.4/3.5 " pinskia at gcc dot gnu dot org
2004-04-07 13:26 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-07 13:37 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-07 13:44 ` giovannibajo at libero dot it
2004-04-07 16:08 ` pinskia at gcc dot gnu dot org
2004-04-07 20:55 ` pinskia at gcc dot gnu dot org
2004-04-08 11:57 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-08 11:58 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-04-09 13:09 ` pinskia at gcc dot gnu dot org
2004-04-09 13:12 ` pinskia at gcc dot gnu dot org
2004-04-09 13:35 ` pinskia at gcc dot gnu dot org
2004-04-10 15:27 ` rguenth at tat dot physik dot uni-tuebingen dot de [this message]
2004-04-11  1:06 ` 1319 at bot dot ru
2004-06-02  0:08 ` [Bug rtl-optimization/14863] " belyshev at lubercy dot com
2004-06-02  0:19 ` [Bug rtl-optimization/14863] [3.4 " pinskia at gcc dot gnu dot org
2004-06-02  6:47 ` belyshev at lubercy dot com
2004-06-02  7:38 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-06-02  8:50 ` belyshev at lubercy dot com
2004-06-02 10:18 ` giovannibajo at libero dot it
2004-06-02 10:51 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-06-02 10:57 ` giovannibajo at libero dot it
2004-06-02 11:07 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-06-02 11:14 ` giovannibajo at libero dot it
2004-06-02 11:15 ` belyshev at lubercy dot com
2004-06-02 11:54 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-06-02 12:05 ` rguenth at tat dot physik dot uni-tuebingen dot de
2004-06-02 22:30 ` pinskia at gcc dot gnu dot org
2004-06-03  1:01 ` [Bug rtl-optimization/14863] [3.4/3.5 " giovannibajo at libero dot it
2004-06-03  1:08 ` pinskia at gcc dot gnu dot org
2004-06-03  1:12 ` pinskia at gcc dot gnu dot org
2004-06-03  1:25 ` giovannibajo at libero dot it
2004-06-04 20:47 ` giovannibajo at libero dot it

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20040410144903.18803.qmail@sources.redhat.com \
    --to=gcc-bugzilla@gcc.gnu.org \
    --cc=gcc-bugs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).