[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kde-bugs-dist
Subject:    [valgrind] [Bug 326955] false positive : move depends on uninitialised value wcscpy
From:       David Dyck <david.dyck () fluke ! com>
Date:       2013-10-31 22:21:37
Message-ID: bug-326955-17878-aAZZ4Kc0BO () http ! bugs ! kde ! org/
[Download RAW message or body]

https://bugs.kde.org/show_bug.cgi?id=326955

David Dyck <david.dyck@fluke.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|64 bit false positive  move |false positive : move
                   |depends on uninitialised    |depends on uninitialised
                   |value wcscpy                |value wcscpy

--- Comment #1 from David Dyck <david.dyck@fluke.com> ---
removed the "64 bit" portion of the comment

The false positive returns when compiling with g++ instead of gcc

e.g. both
g++ -m32 -Wall -O0 -g valgrind_bug_wcscpy.c && valgrind --track-origins=yes
./a.out
 and
g++ -m64 -Wall -O0 -g valgrind_bug_wcscpy.c && valgrind --track-origins=yes
./a.out

yield errors like:
==15026== Conditional jump or move depends on uninitialised value(s)
==15026==    at 0x5789F05: __wcscpy_ssse3 (in /lib64/libc-2.15.so)
==15026==    by 0x400687: main (valgrind_bug_wcscpy.c:31)
==15026==  Uninitialised value was created by a stack allocation
==15026==    at 0x40065C: main (valgrind_bug_wcscpy.c:23)


gcc (SUSE Linux) 4.7.1 20120723 [gcc-4_7-branch revision 189773]
> ldd a.out
        linux-vdso.so.1 (0x00007fff10bff000)
        libc.so.6 => /lib64/libc.so.6 (0x00007fd84dcda000)
        /lib64/ld-linux-x86-64.so.2 (0x00007fd84e07f000)


g++ (SUSE Linux) 4.7.1 20120723 [gcc-4_7-branch revision 189773]
> ldd a.out
        linux-vdso.so.1 (0x00007ffff9790000)
        libstdc++.so.6 => /usr/lib64/libstdc++.so.6 (0x00007fb62ab54000)
        libm.so.6 => /lib64/libm.so.6 (0x00007fb62a85d000)
        libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x00007fb62a647000)
        libc.so.6 => /lib64/libc.so.6 (0x00007fb62a2a2000)
        /lib64/ld-linux-x86-64.so.2 (0x00007fb62ae5b000)

-- 
You are receiving this mail because:
You are watching all bug changes.
[prev in list] [next in list] [prev in thread] [next in thread]