https://bugs.kde.org/show_bug.cgi?id=419230
Bug ID: 419230
Summary: Memcheck does not report conditional jump on
uninitialized value
Product: valgrind
Version: 3.15 SVN
Platform: Manjaro
OS: Linux
Status: REPORTED
Severity: normal
Priority: NOR
Component: memcheck
Assignee: jsew...@acm.org
Reporter: thomasfan...@gmail.com
Target Milestone: ---
Created attachment 127003
--> https://bugs.kde.org/attachment.cgi?id=127003&action=edit
Minimal example
SUMMARY
Memcheck does not always report a conditional jump based on an uninitialized
value on the stack, but is seems to depend on previous stack allocations.
In attachment a minimal example to reproduce the error. Compiling with macros
INIT_BUFFER=1, TEST_A1=0 and TEST_A2=1, and executing with valgrind will not
report the conditional jump based on uninitialized value.
STEPS TO REPRODUCE
1. Allocate a buffer of 1kB on the stack, clear it and let it go out of scope
2. Allocate a struct on the stack (without initialization), but do not use it
3. Allocate a second struct on the stack (without initialization), and jump
based on a member.
OBSERVED RESULT
No error is reported
EXPECTED RESULT
Valgrind should report an conditional jump based on unitialized value
SOFTWARE/OS VERSIONS
Linux/KDE Plasma: Manjaro
(available in About System)
KDE Plasma Version: 5.18.3
KDE Frameworks Version: 5.68.0
Qt Version: 4.14.1
ADDITIONAL INFORMATION
compiled with gcc version 9.3.0 (Arch Linux 9.3.0-1)
--
You are receiving this mail because:
You are watching all bug changes.
