This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[Ada] activate backend warnings for Ada RTS
- To: gcc-patches at gcc dot gnu dot org
- Subject: [Ada] activate backend warnings for Ada RTS
- From: <guerby at acm dot org>
- Date: Mon, 29 Oct 2001 12:48:58 +0100
- Reply-to: guerby at acm dot org
Bootstraped, gnatlib_and_tools, check (no FAIL BTW) and ACATS on
i686-pc-linux-gnu.
The following warnings are reported with the patch in:
../../xgcc -B../../ -c -g -O2 -W -Wall -gnatpg -I. -I/home/guerby/work/gcc/gcc/gcc/ada g-awk.adb
g-awk.adb: In function `gnat__awk__get_line':
g-awk.adb:899: warning: `filter_active' might be used uninitialized in this function
../../xgcc -B../../ -c -g -O2 -W -Wall -gnatpg -I. -I/home/guerby/work/gcc/gcc/gcc/ada g-regpat.adb
g-regpat.adb: In function `gnat__regpat__compile__parse':
g-regpat.adb:878: warning: `par_no' might be used uninitialized in this function
g-regpat.adb: In function `gnat__regpat__compile__parse_atom':
g-regpat.adb:449: warning: `ip' might be used uninitialized in this function
g-regpat.adb: In function `gnat__regpat__match__match_whilem':
g-regpat.adb:2934: warning: `ln' might be used uninitialized in this function
../../xgcc -B../../ -c -g -O2 -W -Wall -gnatpg -I. -I/home/guerby/work/gcc/gcc/gcc/ada i-pacdec.adb
i-pacdec.adb: In function `interfaces__packed_decimal__packed_to_int32':
i-pacdec.adb:192: warning: `v' might be used uninitialized in this function
i-pacdec.adb: In function `interfaces__packed_decimal__packed_to_int64':
i-pacdec.adb:276: warning: `v' might be used uninitialized in this function
../../xgcc -B../../ -c -g -O2 -W -Wall -gnatpg -I. -I/home/guerby/work/gcc/gcc/gcc/ada s-tasque.adb
s-tasque.adb: In function `system__tasking__queuing__select_task_entry_call':
s-tasque.ads:78: warning: `selection' might be used uninitialized in this function
s-tasque.adb:552: warning: `entry_index' might be used uninitialized in this function
../../xgcc -B../../ -c -g -O2 -W -Wall -gnatpg -I. -I/home/guerby/work/gcc/gcc/gcc/ada s-tasren.adb
s-tasren.adb: In function `system__tasking__rendezvous__accept_call':
s-tasren.ads:107: warning: `uninterpreted_data' might be used uninitialized in this function
s-tasren.adb: In function `system__tasking__rendezvous__selective_wait':
s-tasren.ads:92: warning: `uninterpreted_data' might be used uninitialized in this function
s-tasren.adb: In function `system__tasking__rendezvous__timed_selective_wait':
s-tasren.ads:99: warning: `uninterpreted_data' might be used uninitialized in this function
The g-awk.adb can be get rid of by writing the code in a cleaner way. The i-pacdec
ones look like real potential bugs, I haven't looked at others yet.
--
Laurent Guerby <guerby@acm.org>
2001-10-29 Laurent Guerby <guerby@acm.org>
* Make-lang.in (GNATLIBFLAGS): Add -W -Wall.
*** Make-lang.in.orig Mon Oct 29 12:42:47 2001
--- Make-lang.in Sun Oct 28 22:50:53 2001
*************** shext =
*** 48,54 ****
# Extra flags to pass to recursive makes.
BOOT_ADAFLAGS= $(ADAFLAGS)
ADAFLAGS= -W -Wall -gnatpg -gnata
! GNATLIBFLAGS= -gnatpg
GNATLIBCFLAGS= -g -O2
ADA_INCLUDE_DIR = $(libsubdir)/adainclude
ADA_RTL_OBJ_DIR = $(libsubdir)/adalib
--- 48,54 ----
# Extra flags to pass to recursive makes.
BOOT_ADAFLAGS= $(ADAFLAGS)
ADAFLAGS= -W -Wall -gnatpg -gnata
! GNATLIBFLAGS= -W -Wall -gnatpg
GNATLIBCFLAGS= -g -O2
ADA_INCLUDE_DIR = $(libsubdir)/adainclude
ADA_RTL_OBJ_DIR = $(libsubdir)/adalib