This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Valgrind indicates Ada front-end uses some uninitialized data
- From: Hans-Peter Nilsson <hans-peter dot nilsson at axis dot com>
- To: gcc at gcc dot gnu dot org
- Date: Thu, 30 Oct 2003 04:17:43 +0100
- Subject: Valgrind indicates Ada front-end uses some uninitialized data
It seems there are a few uninitialized variables or other data
used in the Ada front end. I see this for every Ada file with
LAST_UPDATED: Wed Oct 29 16:31:14 UTC 2003 bootstrapping with
--enable-checking=valgrind.
...
stage1/xgcc -Bstage1/ -B/usr/local/i686-pc-linux-gnu/bin/ -g -O2 -DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long -Werror -DHAVE_CONFIG_H gcov-dump.o version.o ../libiberty/libiberty.a -o gcov-dump
stage1/xgcc -Bstage1/ -B/usr/local/i686-pc-linux-gnu/bin/ -c -g -O2 -gnatpg -gnata -I- -I. -Iada -I/home/hp/cvs_areas/combined/combined/gcc/ada /home/hp/cvs_areas/combined/combined/gcc/ada/ada.ads -o ada/ada.o
==9354== Conditional jump or move depends on uninitialised value(s)
==9354== at 0x8150CCC: lib__xref__output_references (lib-xref.adb:999)
==9354== by 0x8154288: lib__writ__write_ali (lib-writ.adb:1029)
==9354== by 0x8286E70: _ada_gnat1drv (gnat1drv.adb:666)
==9354== by 0x805AAEE: gnat_parse_file (misc.c:220)
==9354==
==9354== Conditional jump or move depends on uninitialised value(s)
==9354== at 0x8150E53: lib__xref__output_references (lib-xref.adb:1093)
==9354== by 0x8154288: lib__writ__write_ali (lib-writ.adb:1029)
==9354== by 0x8286E70: _ada_gnat1drv (gnat1drv.adb:666)
==9354== by 0x805AAEE: gnat_parse_file (misc.c:220)
stage1/xgcc -Bstage1/ -B/usr/local/i686-pc-linux-gnu/bin/ -c -g -O2 -gnatpg -gnata -I- -I. -Iada -I/home/hp/cvs_areas/combined/combined/gcc/ada /home/hp/cvs_areas/combined/combined/gcc/ada/a-charac.ads -o ada/a-charac.o
==9357== Conditional jump or move depends on uninitialised value(s)
==9357== at 0x8150CCC: lib__xref__output_references (lib-xref.adb:999)
==9357== by 0x8154288: lib__writ__write_ali (lib-writ.adb:1029)
==9357== by 0x8286E70: _ada_gnat1drv (gnat1drv.adb:666)
==9357== by 0x805AAEE: gnat_parse_file (misc.c:220)
==9357==
==9357== Conditional jump or move depends on uninitialised value(s)
==9357== at 0x8150E53: lib__xref__output_references (lib-xref.adb:1093)
==9357== by 0x8154288: lib__writ__write_ali (lib-writ.adb:1029)
==9357== by 0x8286E70: _ada_gnat1drv (gnat1drv.adb:666)
==9357== by 0x805AAEE: gnat_parse_file (misc.c:220)
...
I'm blissfully ignorant in Ada matters, so please help yourself.
brgds, H-P
PS. Yes *used* data, not just moved around.
(Refer to the valgrind documentation.)