[PATCH] Fix PTA with lots of SFTs

[Daniel Berlin]

On 11/27/07, David Daney <ddaney@avtrex.com> wrote:
> /home/daney/gccsvn/native-clean/./prev-gcc/xgcc
> -B/home/daney/gccsvn/native-clean/./prev-gcc/
> -B/usr/local/test/x86_64-unknown-linux-gnu/bin/ -c -g -O2 -DIN_GCC -W
> -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes
> -Wold-style-definition -Wmissing-format-attribute -pedantic
> -Wno-long-long -Wno-variadic-macros -Wno-overlength-strings -Werror
> -DHAVE_CONFIG_H -I. -I. -I../../clean/gcc -I../../clean/gcc/.
> -I../../clean/gcc/../include -I../../clean/gcc/../libcpp/include
> -I../../clean/gcc/../libdecnumber -I../../clean/gcc/../libdecnumber/bid
> -I../libdecnumber ../../clean/gcc/tree-ssa-structalias.c -o
> tree-ssa-structalias.o
> cc1: warnings being treated as errors
> ../../clean/gcc/tree-ssa-structalias.c: In function 'find_what_p_points_to':
> ../../clean/gcc/tree-ssa-structalias.c:4764: error: 'j' may be used
> uninitialized in this function
> ../../clean/gcc/tree-ssa-structalias.c:4764: note: 'j' was declared here
> make[3]: *** [tree-ssa-structalias.o] Error 1



Hmmm, this is actually theoretically true, since we don't set j when
low > high in get_first_overlapping_subvar.