[Bug c++/61186] New: ./g++.dg/ipa/pr52939.C & valgrind & pointer_set_insert

[Bug c++/61186] New: ./g++.dg/ipa/pr52939.C & valgrind & pointer_set_insert

[dcb314 at hotmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61186

            Bug ID: 61186
           Summary: ./g++.dg/ipa/pr52939.C & valgrind & pointer_set_insert
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com

For today's trunk build of gcc

$ valgrind -q --trace-children=yes ~/gcc/results/bin/gcc -c -O2 
./g++.dg/ipa/pr52939.C
==1427== Use of uninitialised value of size 8
==1427==    at 0x9C54B2: pointer_set_insert(pointer_set_t*, void const*)
(pointer-set.c:90)
==1427==    by 0x8FAB2E: symtab_remove_unreachable_nodes(bool, _IO_FILE*)
(ipa.c:180)
==1427==    by 0x754B5D: compile() [clone .part.29] (cgraphunit.c:2052)
==1427==    by 0x75525D: finalize_compilation_unit() (cgraphunit.c:2151)
==1427==    by 0x5B73DB: cp_write_global_declarations() (decl2.c:4626)
==1427==    by 0xA92CAC: compile_file() (toplev.c:562)
==1427==    by 0xA948F1: toplev_main(int, char**) (toplev.c:1915)
==1427==    by 0x32C5E21D64: (below main) (libc-start.c:285)
==1427== 
==1427== Conditional jump or move depends on uninitialised value(s)
==1427==    at 0x9C54B8: pointer_set_insert(pointer_set_t*, void const*)
(pointer-set.c:90)
==1427==    by 0x8FAB2E: symtab_remove_unreachable_nodes(bool, _IO_FILE*)
(ipa.c:180)
==1427==    by 0x754B5D: compile() [clone .part.29] (cgraphunit.c:2052)
==1427==    by 0x75525D: finalize_compilation_unit() (cgraphunit.c:2151)
==1427==    by 0x5B73DB: cp_write_global_declarations() (decl2.c:4626)
==1427==    by 0xA92CAC: compile_file() (toplev.c:562)
==1427==    by 0xA948F1: toplev_main(int, char**) (toplev.c:1915)
==1427==    by 0x32C5E21D64: (below main) (libc-start.c:285)
==1427== 
==1427== Use of uninitialised value of size 8
==1427==    at 0x9C54C8: pointer_set_insert(pointer_set_t*, void const*)
(pointer-set.c:150)
==1427==    by 0x8FAB2E: symtab_remove_unreachable_nodes(bool, _IO_FILE*)
(ipa.c:180)
==1427==    by 0x754B5D: compile() [clone .part.29] (cgraphunit.c:2052)
==1427==    by 0x75525D: finalize_compilation_unit() (cgraphunit.c:2151)
==1427==    by 0x5B73DB: cp_write_global_declarations() (decl2.c:4626)
==1427==    by 0xA92CAC: compile_file() (toplev.c:562)
==1427==    by 0xA948F1: toplev_main(int, char**) (toplev.c:1915)
==1427==    by 0x32C5E21D64: (below main) (libc-start.c:285)
==1427== 

$ ~/gcc/results/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/dcb/gcc/results/bin/gcc
COLLECT_LTO_WRAPPER=/home/dcb/gcc/results/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../src/trunk/configure --prefix=/home/dcb/gcc/results
--enable-checking=release --enable-languages=c,c++,fortran --disable-werror
Thread model: posix
gcc version 4.10.0 20140514 (experimental) (GCC) 
[dcb@zippy4 testsuite]$

[Bug ipa/61186] ./g++.dg/ipa/pr52939.C & valgrind & pointer_set_insert

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61186

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-06-11
          Component|c++                         |ipa
           Assignee|unassigned at gcc dot gnu.org      |jamborm at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Martin Jambor <jamborm at gcc dot gnu.org> ---
I have proposed a fix on the mailing list:

https://gcc.gnu.org/ml/gcc-patches/2014-06/msg00985.html

[Bug ipa/61186] ./g++.dg/ipa/pr52939.C & valgrind & pointer_set_insert

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61186

--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Author: jamborm
Date: Fri Jun 13 14:26:51 2014
New Revision: 211641

URL: https://gcc.gnu.org/viewcvs?rev=211641&root=gcc&view=rev
Log:
2014-06-13  Martin Jambor  <mjambor@suse.cz>

    PR ipa/61186
    * ipa-devirt.c (possible_polymorphic_call_targets): Store NULL to
    cache_token if returning early.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-devirt.c

[Bug ipa/61186] ./g++.dg/ipa/pr52939.C & valgrind & pointer_set_insert

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61186

--- Comment #3 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Author: jamborm
Date: Fri Jun 13 14:34:14 2014
New Revision: 211646

URL: https://gcc.gnu.org/viewcvs?rev=211646&root=gcc&view=rev
Log:
2014-06-13  Martin Jambor  <mjambor@suse.cz>

    PR ipa/61186
    * ipa-devirt.c (possible_polymorphic_call_targets): Store NULL to
    cache_token if returning early.


Modified:
    branches/gcc-4_9-branch/gcc/ChangeLog
    branches/gcc-4_9-branch/gcc/ipa-devirt.c

[Bug ipa/61186] ./g++.dg/ipa/pr52939.C & valgrind & pointer_set_insert

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61186

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> ---
Fixed.