printf ' ' | fink --no-use-binary-dist --yes --build-as-nobody rebuild spass 2>&1 The package 'spass' will be built without being installed. Reading build dependency for spass-3.7-1... Reading dependency for spass-3.7-1... Reading build conflict for spass-3.7-1... The following package will be rebuilt: spass curl --connect-timeout 30 -f -L -A 'fink/0.37.0' -O http://distfiles.master.finkmirrors.net/distfiles/spass37.tgz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 25 1309k 25 332k 0 0 434k 0 0:00:03 --:--:-- 0:00:03 434k 100 1309k 100 1309k 0 0 894k 0 0:00:01 0:00:01 --:--:-- 895k Setting runtime build-lock... dpkg-deb -b /sw/build.build/root-fink-buildlock-spass-3.7-1 /sw/build.build dpkg-deb: building package `fink-buildlock-spass-3.7-1' in `/sw/build.build/fink-buildlock-spass-3.7-1_2014.07.29-10.11.08_darwin-x86_64.deb'. Installing build-lock package... /sw/bin/dpkg-lockwait -i /sw/build.build/fink-buildlock-spass-3.7-1_2014.07.29-10.11.08_darwin-x86_64.deb Selecting previously deselected package fink-buildlock-spass-3.7-1. (Reading database ... 4296 files and directories currently installed.) Unpacking fink-buildlock-spass-3.7-1 (from .../fink-buildlock-spass-3.7-1_2014.07.29-10.11.08_darwin-x86_64.deb) ... Setting up fink-buildlock-spass-3.7-1 (2014.07.29-10.11.08) ... sudo -u fink-bld [ENV] sh -c /tmp/fink.ftnNr env LANG=C LC_ALL=C /sw/bin/tar --no-same-owner --no-same-permissions -xvf /sw/src/spass37.tgz SPASS-3.7/ SPASS-3.7/aclocal.m4 SPASS-3.7/LICENCE SPASS-3.7/m4/ SPASS-3.7/m4/install-sh SPASS-3.7/m4/texinfo.tex SPASS-3.7/m4/ac_prog_perl_version.m4 SPASS-3.7/m4/missing SPASS-3.7/m4/depcomp SPASS-3.7/m4/compile SPASS-3.7/scripts/ SPASS-3.7/scripts/texi2pod.pl.in SPASS-3.7/scripts/dfg2otter.pl.in SPASS-3.7/examples/ SPASS-3.7/examples/problem54.dfg SPASS-3.7/SPASS/ SPASS-3.7/SPASS/resolution.c SPASS-3.7/SPASS/hashmap.c SPASS-3.7/SPASS/unify.c SPASS-3.7/SPASS/sharing.h SPASS-3.7/SPASS/graph.c SPASS-3.7/SPASS/clock.c SPASS-3.7/SPASS/iascanner.c SPASS-3.7/SPASS/iaparser.c SPASS-3.7/SPASS/rpos.c SPASS-3.7/SPASS/cnf.c SPASS-3.7/SPASS/subsumption.c SPASS-3.7/SPASS/doc-proof.h SPASS-3.7/SPASS/rules-split.c SPASS-3.7/SPASS/memory.c SPASS-3.7/SPASS/partition.c SPASS-3.7/SPASS/config.h.in SPASS-3.7/SPASS/description.h SPASS-3.7/SPASS/rules-sort.h SPASS-3.7/SPASS/term.c SPASS-3.7/SPASS/context.h SPASS-3.7/SPASS/renaming.h SPASS-3.7/SPASS/proofcheck.c SPASS-3.7/SPASS/subst.c SPASS-3.7/SPASS/table.h SPASS-3.7/SPASS/dfgparser.c SPASS-3.7/SPASS/search.h SPASS-3.7/SPASS/tableau.c SPASS-3.7/SPASS/dfg2tptp.c SPASS-3.7/SPASS/strings.c SPASS-3.7/SPASS/tptpparser.h SPASS-3.7/SPASS/kbo.h SPASS-3.7/SPASS/terminator.h SPASS-3.7/SPASS/component.c SPASS-3.7/SPASS/tptp2dfg.c SPASS-3.7/SPASS/tptpscanner.c SPASS-3.7/SPASS/approx.c SPASS-3.7/SPASS/ras.c SPASS-3.7/SPASS/sort.h SPASS-3.7/SPASS/symbol.h SPASS-3.7/SPASS/hasharray.c SPASS-3.7/SPASS/cmdline.c SPASS-3.7/SPASS/stack.h SPASS-3.7/SPASS/dfgparser.y SPASS-3.7/SPASS/st.h SPASS-3.7/SPASS/analyze.c SPASS-3.7/SPASS/rules-ur.h SPASS-3.7/SPASS/order.h SPASS-3.7/SPASS/flags.c SPASS-3.7/SPASS/vector.h SPASS-3.7/SPASS/closure.c SPASS-3.7/SPASS/clause.c SPASS-3.7/SPASS/rules-inf.h SPASS-3.7/SPASS/iaparser.y SPASS-3.7/SPASS/foldfg.c SPASS-3.7/SPASS/list.c SPASS-3.7/SPASS/hash.c SPASS-3.7/SPASS/rules-red.c SPASS-3.7/SPASS/dfg.h SPASS-3.7/SPASS/defs.c SPASS-3.7/SPASS/misc.c SPASS-3.7/SPASS/eml.c SPASS-3.7/SPASS/condensing.h SPASS-3.7/SPASS/dfgscanner.l SPASS-3.7/SPASS/search.c SPASS-3.7/SPASS/tableau.h SPASS-3.7/SPASS/strings.h SPASS-3.7/SPASS/tptpparser.c SPASS-3.7/SPASS/kbo.c SPASS-3.7/SPASS/terminator.c SPASS-3.7/SPASS/component.h SPASS-3.7/SPASS/term.h SPASS-3.7/SPASS/context.c SPASS-3.7/SPASS/renaming.c SPASS-3.7/SPASS/proofcheck.h SPASS-3.7/SPASS/dfg2otter.c SPASS-3.7/SPASS/subst.h SPASS-3.7/SPASS/table.c SPASS-3.7/SPASS/dfgparser.h SPASS-3.7/SPASS/iaparser.h SPASS-3.7/SPASS/rpos.h SPASS-3.7/SPASS/cnf.h SPASS-3.7/SPASS/subsumption.h SPASS-3.7/SPASS/doc-proof.c SPASS-3.7/SPASS/rules-split.h SPASS-3.7/SPASS/memory.h SPASS-3.7/SPASS/dfg2ascii.c SPASS-3.7/SPASS/partition.h SPASS-3.7/SPASS/description.c SPASS-3.7/SPASS/rules-sort.c SPASS-3.7/SPASS/resolution.h SPASS-3.7/SPASS/hashmap.h SPASS-3.7/SPASS/tptp.h SPASS-3.7/SPASS/unify.h SPASS-3.7/SPASS/sharing.c SPASS-3.7/SPASS/dfgscanner.c SPASS-3.7/SPASS/version.h SPASS-3.7/SPASS/graph.h SPASS-3.7/SPASS/clock.h SPASS-3.7/SPASS/list.h SPASS-3.7/SPASS/hash.h SPASS-3.7/SPASS/rules-red.h SPASS-3.7/SPASS/defs.h SPASS-3.7/SPASS/misc.h SPASS-3.7/SPASS/eml.h SPASS-3.7/SPASS/condensing.c SPASS-3.7/SPASS/order.c SPASS-3.7/SPASS/flags.h SPASS-3.7/SPASS/vector.c SPASS-3.7/SPASS/ia.h SPASS-3.7/SPASS/closure.h SPASS-3.7/SPASS/clause.h SPASS-3.7/SPASS/rules-inf.c SPASS-3.7/SPASS/iascanner.l SPASS-3.7/SPASS/foldfg.h SPASS-3.7/SPASS/symbol.c SPASS-3.7/SPASS/hasharray.h SPASS-3.7/SPASS/cmdline.h SPASS-3.7/SPASS/stack.c SPASS-3.7/SPASS/st.c SPASS-3.7/SPASS/analyze.h SPASS-3.7/SPASS/rules-ur.c SPASS-3.7/SPASS/dfg2dfg.c SPASS-3.7/SPASS/top.c SPASS-3.7/SPASS/tptpscanner.l SPASS-3.7/SPASS/approx.h SPASS-3.7/SPASS/tptpparser.y SPASS-3.7/SPASS/ras.h SPASS-3.7/SPASS/sort.c SPASS-3.7/INSTALL SPASS-3.7/doc/ SPASS-3.7/doc/tutorial/ SPASS-3.7/doc/tutorial/tutorial.pdf SPASS-3.7/doc/html/ SPASS-3.7/doc/html/script_6.html SPASS-3.7/doc/html/script_2.html SPASS-3.7/doc/html/script_7.html SPASS-3.7/doc/html/script_3.html SPASS-3.7/doc/html/script.html SPASS-3.7/doc/html/LICENCE.html SPASS-3.7/doc/html/script_5.html SPASS-3.7/doc/html/script_abt.html SPASS-3.7/doc/html/script_1.html SPASS-3.7/doc/html/script_ovr.html SPASS-3.7/doc/html/script_4.html SPASS-3.7/doc/texinfo/ SPASS-3.7/doc/texinfo/dfg2tptp.texi SPASS-3.7/doc/texinfo/script.info SPASS-3.7/doc/texinfo/dfg2ascii.texi SPASS-3.7/doc/texinfo/tptp2dfg.texi SPASS-3.7/doc/texinfo/dfg2otter.texi SPASS-3.7/doc/texinfo/script.texi SPASS-3.7/doc/texinfo/SPASS.texi SPASS-3.7/doc/texinfo/dfg2otter.pl.texi SPASS-3.7/doc/texinfo/dfg2dfg.texi SPASS-3.7/doc/texinfo/spassfaq.texi SPASS-3.7/doc/man/ SPASS-3.7/doc/man/dfg2ascii.1 SPASS-3.7/doc/man/tptp2dfg.1 SPASS-3.7/doc/man/dfg2tptp.1 SPASS-3.7/doc/man/SPASS.1 SPASS-3.7/doc/man/dfg2otter.1 SPASS-3.7/doc/man/dfg2dfg.1 SPASS-3.7/doc/man/dfg2otter.pl.1 SPASS-3.7/doc/handbook/ SPASS-3.7/doc/handbook/handbook-spass.pdf SPASS-3.7/doc/syntax/ SPASS-3.7/doc/syntax/spass-input-syntax.pdf SPASS-3.7/README SPASS-3.7/configure SPASS-3.7/VERSIONHISTORY SPASS-3.7/Makefile.am SPASS-3.7/lib/ SPASS-3.7/lib/gettimeofday.c SPASS-3.7/lib/gettimeofday.h SPASS-3.7/lib/alarm.c SPASS-3.7/configure.ac SPASS-3.7/Makefile.in sudo -u fink-bld [ENV] sh -c /tmp/fink.YIDSa [ -r /sw/fink/dists/stable/main/finkinfo/sci/spass.patch ] sudo -u fink-bld [ENV] sh -c /tmp/fink.NJe1C patch -p1 < /sw/fink/dists/stable/main/finkinfo/sci/spass.patch patching file doc/texinfo/script.info sudo -u fink-bld [ENV] sh -c /tmp/fink.UyFSq ./configure --prefix=/sw checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... m4/install-sh -c -d checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for style of include used by make... GNU checking dependency style of gcc... gcc3 checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking for ranlib... ranlib checking whether gcc and cc understand -c and -o together... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether ln -s works... yes checking whether make sets $(MAKE)... (cached) yes checking for bison... bison checking for flex... flex checking for gnutar... gnutar checking for perl... /usr/bin/perl checking for perl version greater than or equal to 5.0004... ok checking for texi2html... no configure: WARNING: texi2html not found checking for pod2man... /usr/bin/pod2man checking for log10 in -lm... yes checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking malloc.h usability... no checking malloc.h presence... no checking for malloc.h... no checking mmsystem.h usability... no checking mmsystem.h presence... no checking for mmsystem.h... no checking for unistd.h... (cached) yes checking windows.h usability... no checking windows.h presence... no checking for windows.h... no checking for an ANSI C-conforming const... yes checking return type of signal handlers... void checking for vprintf... yes checking for _doprnt... no checking for gettimeofday... yes checking for time... yes checking for strtol... yes checking for strtoul... yes configure: creating ./config.status config.status: creating Makefile config.status: creating scripts/dfg2otter.pl config.status: creating scripts/texi2pod.pl config.status: creating SPASS/config.h config.status: executing depfiles commands config.status: executing dfg2otter commands config.status: executing texi2pod commands make /Applications/Xcode.app/Contents/Developer/usr/bin/make all-am depbase=`echo SPASS/clause.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/clause.o -MD -MP -MF $depbase.Tpo -c -o SPASS/clause.o SPASS/clause.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/cmdline.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/cmdline.o -MD -MP -MF $depbase.Tpo -c -o SPASS/cmdline.o SPASS/cmdline.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/context.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/context.o -MD -MP -MF $depbase.Tpo -c -o SPASS/context.o SPASS/context.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/description.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/description.o -MD -MP -MF $depbase.Tpo -c -o SPASS/description.o SPASS/description.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/dfgparser.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfgparser.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfgparser.o SPASS/dfgparser.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/dfgscanner.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfgscanner.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfgscanner.o SPASS/dfgscanner.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/tptpparser.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/tptpparser.o -MD -MP -MF $depbase.Tpo -c -o SPASS/tptpparser.o SPASS/tptpparser.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/tptpscanner.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/tptpscanner.o -MD -MP -MF $depbase.Tpo -c -o SPASS/tptpscanner.o SPASS/tptpscanner.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/context.c:41: In file included from ./SPASS/context.h:52: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ In file included from dfgscanner.l:47: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); return list_DeleteElement(Symbols, (POINTER) S, ^ ^ In file included from SPASS/clause.c:41: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ ./SPASS/symbol.h:672:38: In file included from SPASS/context.c:41: In file included from warning: ./SPASS/context.h:52: ./SPASS/term.h:103:40:cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ return list_DeleteElement(Symbols, (POINTER) S, ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from dfgscanner.l:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/clause.c:41: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from dfgparser.y:44: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast]./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ In file included from tptpparser.y:8: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ In file included from tptpscanner.l:4: In file included from ./SPASS/tptp.h:28: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from dfgparser.y:44: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ In file included from tptpparser.y:8: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from tptpscanner.l:4: In file included from ./SPASS/tptp.h:30: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark;In file included from SPASS/context.c:41: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from dfgparser.y:44: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from tptpparser.y:8: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from tptpscanner.l:4: In file included from ./SPASS/tptp.h:30: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from In file included from SPASS/clause.c:41: In file included from ./SPASS/clause.h:48./SPASS/st.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: 48: In file included from ./SPASS/foldfg.h:warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] 49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ./SPASS/context.h cont_CheckStackPush((POINTER)cont_StackBottom()); ^ :867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from dfgscanner.l:49: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ cont_CheckStackPush((POINTER)cont_StackBottom());./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ depbase=`echo SPASS/eml.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/eml.o -MD -MP -MF $depbase.Tpo -c -o SPASS/eml.o SPASS/eml.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from dfgparser.y:44: In file included from ./SPASS/dfg.h:47: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from tptpparser.y:24: In file included from ./SPASS/tptp.h:30: In file included from ./SPASS/dfg.h:47: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from dfgscanner.l:49: In file included from ./SPASS/dfg.h:47: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] In file included from SPASS/clause.c:41: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] : warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from tptpscanner.l:4: In file included from ./SPASS/tptp.h:30: In file included from ./SPASS/dfg.h:47: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/clause.c:767:35: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] !list_PointerMember(NonFinite, (POINTER)Pred)) { ^ SPASS/clause.c:770:26: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] NonFinite = list_Cons((POINTER)Pred, NonFinite); ^ SPASS/clause.c:771:50: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_PointerDeleteElement(Result, (POINTER)Pred); ^ SPASS/clause.c:774:36: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] if (!list_PointerMember(Result, (POINTER)Pred)) ^ SPASS/clause.c:775:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_Cons((POINTER)Pred, Result); ^ SPASS/clause.c:782:46: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_PointerDeleteElement(Result, (POINTER)fol_Equality()); ^ tptpparser.y:621:41: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] hm_Insert(tptp_dfg_reserved_speedup,(POINTER)i,hm_StringHash(tptp_dfg_reserveds[i])); ^ dfgparser.y:924:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tupel = list_Cons((POINTER)(yyvsp[(13) - (15)].number),list_List((POINTER)Rule)); ^ SPASS/clause.c:2282:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] preds = list_Cons((POINTER) clause_LiteralPredicate(l), preds); ^ dfgparser.y:1132:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] dfg_USERPRECEDENCE = list_Cons((POINTER)s, dfg_USERPRECEDENCE); ^ dfgparser.y:1144:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] dfg_USERPRECEDENCE = list_Cons((POINTER)s, dfg_USERPRECEDENCE); ^ dfgparser.y:1157:42: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] dfg_CLAXRELATION = list_Cons(list_Cons((POINTER)(yyvsp[(2) - (5)].number), dfg_CLAXAXIOMS), dfg_CLAXRELATION); ^ dfgparser.y:1191:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] dfg_USERSELECTION = list_Cons((POINTER)s, dfg_USERSELECTION); ^ depbase=`echo SPASS/flags.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/flags.o -MD -MP -MF $depbase.Tpo -c -o SPASS/flags.o SPASS/flags.c &&\ mv -f $depbase.Tpo $depbase.Po SPASS/clause.c:3605:37: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] if (list_PointerMember(Indices, (POINTER) i)) ^ dfgparser.y:1558:46: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ClAxContribution = list_Cons(list_Cons((POINTER)clause_Number(clause),labels),ClAxContribution); ^ dfgparser.y:1581:46: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ClAxContribution = list_Cons(list_Cons((POINTER)clause_Number(clause),labels),ClAxContribution); ^ dfgparser.y:2027:47: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] varlist = list_Nconc(varlist, list_List((POINTER)term_TopSymbol(helpterm))); ^ dfgparser.y:2031:48: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] varlist = list_Nconc(varlist, list_List((POINTER)var)); ^ dfgparser.y:2225:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Rplaca(scan, (POINTER)symbol); /* change the name list to a symbol list */ ^ dfgparser.y:2257:55: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] eml_SetPropFoSymbolAssocList(PropSymbol,list_List((POINTER)FoSymbol)); ^ SPASS/clause.c:4193:20: warning: format specifies type 'unsigned int' but the argument has type 'unsigned long' [-Wformat] printf(",%u", i*sizeof(SPLITFIELDENTRY)*CHAR_BIT+j); ~~ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ %lu In file included from SPASS/eml.c:36: In file included from ./SPASS/cnf.h:49: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/eml.c:36: In file included from ./SPASS/cnf.h:49: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/eml.c:36: In file included from ./SPASS/cnf.h:49: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ 8 warnings generated. depbase=`echo SPASS/foldfg.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/foldfg.o -MD -MP -MF $depbase.Tpo -c -o SPASS/foldfg.o SPASS/foldfg.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/eml.c:36: In file included from ./SPASS/cnf.h:50: In file included from ./SPASS/resolution.h:51: In file included from ./SPASS/subsumption.h:53: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/eml.c:131:14: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_BOX, list_Cons((POINTER)eml_COMP, ^ SPASS/eml.c:131:42: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_BOX, list_Cons((POINTER)eml_COMP, ^ SPASS/eml.c:132:16: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_CONV, list_Cons((POINTER)eml_DIA, ^ SPASS/eml.c:132:45: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_CONV, list_Cons((POINTER)eml_DIA, ^ SPASS/eml.c:133:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_DIV, list_Cons((POINTER)eml_DOMAIN, ^ SPASS/eml.c:133:46: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_DIV, list_Cons((POINTER)eml_DOMAIN, ^ SPASS/eml.c:134:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_DOMRESTR, list_Cons((POINTER)eml_ID, ^ SPASS/eml.c:134:58: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_DOMRESTR, list_Cons((POINTER)eml_ID, ^ SPASS/eml.c:135:13: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_RANGE, list_Cons((POINTER)eml_RANRESTR, ^ SPASS/eml.c:135:43: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_RANGE, list_Cons((POINTER)eml_RANRESTR, ^ SPASS/eml.c:136:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_SUM, list_List((POINTER)eml_TEST)))))))))))); ^ SPASS/eml.c:136:52: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)eml_SUM, list_List((POINTER)eml_TEST)))))))))))); ^ SPASS/eml.c:143:13: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_Exist(), list_List((POINTER)fol_And()))); ^ SPASS/eml.c:143:45: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_Exist(), list_List((POINTER)fol_And()))); ^ SPASS/eml.c:145:13: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_All(), list_List((POINTER)fol_Implies()))); ^ SPASS/eml.c:145:43: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_All(), list_List((POINTER)fol_Implies()))); ^ SPASS/eml.c:147:13: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_Exist(), list_List((POINTER)fol_And()))); ^ SPASS/eml.c:147:45: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_Exist(), list_List((POINTER)fol_And()))); ^ SPASS/flags.cSPASS/eml.c:149:740:27: warning: comparison of constant -1 with expression of type 'FLAG_ID' is always true [-Wtautological-constant-out-of-range-compare] :13: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return (flag_Id(String) != -1); ~~~~~~~~~~~~~~~ ^ ~~ list_Cons((POINTER)fol_All(), list_List((POINTER)fol_Or()))); ^ SPASS/eml.c:149:43: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_All(), list_List((POINTER)fol_Or()))); ^ SPASS/eml.c:151:13: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_List((POINTER)fol_Exist())); ^ SPASS/eml.c:153:13: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_List((POINTER)fol_Exist())); ^ SPASS/eml.c:155:13: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_List((POINTER)fol_Equality())); ^ SPASS/eml.c:269:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)(symbol_GetSigSymbol(i)), ^ SPASS/eml.c:383:55: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] eml_SetPropFoSymbolAssocList(PropSymbol,list_List((POINTER)foSymbol)); ^ SPASS/eml.c:2221:20: warning: equality comparison with extraneous parentheses [-Wparentheses-equality] if ( (Polarity == -1) ) { /* Conjecture */ ~~~~~~~~~^~~~~ SPASS/eml.c:2221:20: note: remove extraneous parentheses around the comparison to silence this warning if ( (Polarity == -1) ) { /* Conjecture */ ~ ^ ~ SPASS/eml.c:2221:20: note: use '=' to turn this equality comparison into an assignment if ( (Polarity == -1) ) { /* Conjecture */ ^~ = In file included from SPASS/foldfg.c:42: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ 10 warnings generated. In file included from SPASS/foldfg.c:42: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/foldfg.c:42: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ SPASS/foldfg.c:117:17: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_ALL, list_Cons((POINTER)fol_EXIST, ^ SPASS/foldfg.c:117:45: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_ALL, list_Cons((POINTER)fol_EXIST, ^ SPASS/foldfg.c:118:12: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_AND, list_Cons((POINTER)fol_OR, ^ SPASS/foldfg.c:118:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_AND, list_Cons((POINTER)fol_OR, ^ SPASS/foldfg.c:119:14: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_NOT, ^ SPASS/foldfg.c:120:16: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_IMPLIES, list_Cons((POINTER)fol_IMPLIED, ^ SPASS/foldfg.c:120:48: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_IMPLIES, list_Cons((POINTER)fol_IMPLIED, ^ SPASS/foldfg.c:121:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_EQUIV, list_Cons((POINTER)fol_VARLIST, ^ SPASS/foldfg.c:121:55: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_EQUIV, list_Cons((POINTER)fol_VARLIST, ^ SPASS/foldfg.c:122:27: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_EQUALITY, list_Cons((POINTER)fol_TRUE, ^ SPASS/foldfg.c:122:60: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_Cons((POINTER)fol_EQUALITY, list_Cons((POINTER)fol_TRUE, ^ SPASS/foldfg.c:123:15: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] list_List((POINTER)fol_FALSE)))))))))))); ^ SPASS/foldfg.c:128:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] fol_SYMBOLS = list_Cons((POINTER)fol_NOT, list_List((POINTER)fol_EQUALITY)); ^ SPASS/foldfg.c:128:58: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] fol_SYMBOLS = list_Cons((POINTER)fol_NOT, list_List((POINTER)fol_EQUALITY)); ^ SPASS/foldfg.c:281:47: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] term_CreateValueBinding(Var, term_OldMark(), (POINTER)symbol_CreateStandardVariable()); ^ depbase=`echo SPASS/hashmap.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/hashmap.o -MD -MP -MF $depbase.Tpo -c -o SPASS/hashmap.o SPASS/hashmap.c &&\ mv -f $depbase.Tpo $depbase.Po SPASS/foldfg.c:826:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Symbols = list_Cons((POINTER)Symbol, Symbols); ^ SPASS/foldfg.c:862:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Symbols = list_Cons((POINTER)Symbol, Symbols); ^ SPASS/foldfg.c:2010:10: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] (POINTER)term_TopSymbol(list_Car(Scan))); ^ 10 warnings generated. SPASS/foldfg.c:2304:51: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] term_CreateValueBinding(FormulaTop, ActMark, (POINTER)InstanceTop); ^ SPASS/foldfg.c:2375:26: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] *Bindings = list_Cons((POINTER)TermTop,*Bindings); ^ SPASS/foldfg.c:2403:48: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] term_CreateValueBinding(TermTop, ActMark, (POINTER)InstanceTop); ^ SPASS/foldfg.c:2404:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] *Bindings = list_Cons((POINTER)TermTop,*Bindings); ^ depbase=`echo SPASS/kbo.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/kbo.o -MD -MP -MF $depbase.Tpo -c -o SPASS/kbo.o SPASS/kbo.c &&\ mv -f $depbase.Tpo $depbase.Po 11 warnings generated. depbase=`echo SPASS/list.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/list.o -MD -MP -MF $depbase.Tpo -c -o SPASS/list.o SPASS/list.c &&\ mv -f $depbase.Tpo $depbase.Po SPASS/hashmap.c:133:44: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'HASHMAP_HASH' (aka 'unsigned int') [-Wint-to-void-pointer-cast] hm->table[i] = list_Cons(list_PairCreate((POINTER)hash,value),hm->table[i]); ^ In file included from SPASS/kbo.c:41: In file included from ./SPASS/kbo.h:47: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/kbo.c:41: In file included from ./SPASS/kbo.h:47: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/kbo.c:41: In file included from ./SPASS/kbo.h:48: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] 1 warning generated. cont_CheckStackPush((POINTER)cont_StackTop()); ^ depbase=`echo SPASS/memory.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/memory.o -MD -MP -MF $depbase.Tpo -c -o SPASS/memory.o SPASS/memory.c &&\ mv -f $depbase.Tpo $depbase.Po SPASS/list.c:1536:35: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_PairRplacSecond(Count, (POINTER) (Occurences + 1)); ^ 1 warning generated. depbase=`echo SPASS/misc.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/misc.o -MD -MP -MF $depbase.Tpo -c -o SPASS/misc.o SPASS/misc.c &&\ mv -f $depbase.Tpo $depbase.Po 8 warnings generated. depbase=`echo SPASS/order.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/order.o -MD -MP -MF $depbase.Tpo -c -o SPASS/order.o SPASS/order.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/rpos.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rpos.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rpos.o SPASS/rpos.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/sharing.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/sharing.o -MD -MP -MF $depbase.Tpo -c -o SPASS/sharing.o SPASS/sharing.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/order.c:42: In file included from ./SPASS/order.h:47: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/order.c:42: In file included from ./SPASS/order.h:47: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/rpos.c:41: In file included from ./SPASS/rpos.h:44: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/rpos.c:41: In file included from ./SPASS/rpos.h:44: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/order.c:42: In file included from ./SPASS/order.h:48: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/rpos.c:41: In file included from ./SPASS/rpos.h:45: In file included from ./SPASS/order.h:48: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ 1 warning generated. depbase=`echo SPASS/st.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/st.o -MD -MP -MF $depbase.Tpo -c -o SPASS/st.o SPASS/st.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/sharing.c:41: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/sharing.c:41: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/sharing.c:41: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ 21 warnings generated. 8 warnings generated. depbase=`echo SPASS/stack.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/stack.o -MD -MP -MF $depbase.Tpo -c -o SPASS/stack.o SPASS/stack.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/strings.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/strings.o -MD -MP -MF $depbase.Tpo -c -o SPASS/strings.o SPASS/strings.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/st.c:41: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/st.c:41: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/st.c:41: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ 8 warnings generated. depbase=`echo SPASS/subst.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/subst.o -MD -MP -MF $depbase.Tpo -c -o SPASS/subst.o SPASS/subst.c &&\ mv -f $depbase.Tpo $depbase.Po 36 warnings generated. depbase=`echo SPASS/symbol.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/symbol.o -MD -MP -MF $depbase.Tpo -c -o SPASS/symbol.o SPASS/symbol.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/term.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/term.o -MD -MP -MF $depbase.Tpo -c -o SPASS/term.o SPASS/term.c &&\ mv -f $depbase.Tpo $depbase.Po 30 warnings generated. depbase=`echo SPASS/unify.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/unify.o -MD -MP -MF $depbase.Tpo -c -o SPASS/unify.o SPASS/unify.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/subst.c:41: In file included from ./SPASS/subst.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/subst.c:41: In file included from ./SPASS/subst.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ 8 warnings generated. In file included from SPASS/subst.c:41: In file included from ./SPASS/subst.h:77: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/symbol.c:41: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ depbase=`echo SPASS/analyze.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/analyze.o -MD -MP -MF $depbase.Tpo -c -o SPASS/analyze.o SPASS/analyze.c &&\ mv -f $depbase.Tpo $depbase.Po ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ SPASS/symbol.c:140:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] hm_Insert(symbol_Speedup,(POINTER)ActIndex,Sig->hash); ^ SPASS/symbol.c:164:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] hm_Remove(symbol_Speedup,(POINTER)idx,sig->hash); ^ SPASS/symbol.c:166:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] hm_Insert(symbol_Speedup,(POINTER)idx,sig->hash); ^ SPASS/symbol.c:220:11: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] (POINTER)Index); ^ SPASS/symbol.c:360:50: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_FREEDSYMBOLS, (POINTER)Symbol); ^ SPASS/symbol.c:401:37: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] symbol_FREEDSYMBOLS = list_Cons((POINTER)Index,symbol_FREEDSYMBOLS); ^ SPASS/symbol.c:403:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] hm_Remove(symbol_Speedup,(POINTER)Index,Entry->hash); ^ SPASS/symbol.c:426:21: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_Cons((POINTER)symbol_GetSigSymbol(Index), Result); ^ SPASS/symbol.c:451:21: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_Cons((POINTER)symbol_GetSigSymbol(Index), Result); ^ SPASS/symbol.c:475:21: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_Cons((POINTER)symbol_GetSigSymbol(Index), Result); ^ SPASS/symbol.c:502:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_Cons((POINTER)Symbol, Result); ^ SPASS/symbol.c:965:29: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Precedences = list_Cons((POINTER) symbol_Ordering(Precedence, (SYMBOL) list_Car(Scan1)), ^ SPASS/symbol.c:1000:22: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Symbols = list_Cons((POINTER)S->info, Symbols); ^ SPASS/symbol.c:1037:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Symbols = list_Cons((POINTER)Symbol, Symbols); ^ In file included from SPASS/term.c:42: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ depbase=`echo SPASS/clock.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/clock.o -MD -MP -MF $depbase.Tpo -c -o SPASS/clock.o SPASS/clock.c &&\ mv -f $depbase.Tpo $depbase.Po ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/term.c:42: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/unify.c:41: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/unify.c:41: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ SPASS/term.c:452:31: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] TopStack = list_Push((POINTER)term_TopSymbol(Term), ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ SPASS/term.c:474:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] TopStack = list_Push((POINTER)term_TopSymbol(Term), TopStack); ^ SPASS/term.c:841:22: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_List((POINTER) term_TopSymbol(Term)); ^ SPASS/term.c:887:43: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] result = list_Nconc(result, list_List((POINTER) term_TopSymbol(Term))); ^ In file included from SPASS/unify.c:41: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/analyze.c:42: In file included from ./SPASS/analyze.h:44: In file included from ./SPASS/search.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ SPASS/term.c:1940:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Variables = list_Cons((POINTER)Top, Variables); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/analyze.c:42: In file included from ./SPASS/analyze.h:SPASS/term.c:221944: In file included from :./SPASS/search.h:44: In file included from ./SPASS/clause.h:42: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] 48: term_CreateValueBinding(Top, ActMark, (POINTER)symbol_CreateStandardVariable()); ^ In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warningSPASS/term.c:2287:37: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] : cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ Result = list_Cons(list_PairCreate((POINTER)Top, ^ SPASS/term.c:2288./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] : term_BIND[i][0] = (POINTER) term_NullMark(); ^ 9: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] (POINTER)term_TopSymbol(Term)), ^ SPASS/term.c:2292:37: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_CreateValueBinding(Top, Mark, (POINTER)Depth); ^ 8 warnings generated. In file included from SPASS/analyze.c:42: In file included from ./SPASS/analyze.h:44: In file included from ./SPASS/search.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ depbase=`echo SPASS/closure.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/closure.o -MD -MP -MF $depbase.Tpo -c -o SPASS/closure.o SPASS/closure.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/analyze.c:42: In file included from ./SPASS/analyze.h:44: In file included from ./SPASS/search.h:44: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/analyze.c:514:21: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] result = list_Cons((POINTER)s, result); ^ SPASS/analyze.c:542:27: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] graph_NodeSetInfo(Node, (POINTER)(ana_NodeDegree(Node)+1)); ^ SPASS/analyze.c:642:43: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] distrPairs = list_Cons(list_PairCreate((POINTER)Add, (POINTER)Mult), ^ SPASS/analyze.c:642:57: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] distrPairs = list_Cons(list_PairCreate((POINTER)Add, (POINTER)Mult), ^ SPASS/analyze.c:752:21: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] result = list_Cons((POINTER)s, result); ^ 8 warnings generated. depbase=`echo SPASS/cnf.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/cnf.o -MD -MP -MF $depbase.Tpo -c -o SPASS/cnf.o SPASS/cnf.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/component.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/component.o -MD -MP -MF $depbase.Tpo -c -o SPASS/component.o SPASS/component.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/closure.c:42: In file included from ./SPASS/closure.h:45: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/closure.c:42: In file included from ./SPASS/closure.h:45: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ 16 warnings generated. depbase=`echo SPASS/condensing.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/condensing.o -MD -MP -MF $depbase.Tpo -c -o SPASS/condensing.o SPASS/condensing.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/closure.c:42: In file included from ./SPASS/closure.h:45: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/closure.c:42: In file included from ./SPASS/closure.h:45: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ 8 warnings generated. In file included from SPASS/component.c:41: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/cnf.c:41: In file included from ./SPASS/cnf.h:49: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ In file included from SPASS/component.c:41: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/cnf.c:41: In file included from ./SPASS/cnf.h:49: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ depbase=`echo SPASS/defs.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/defs.o -MD -MP -MF $depbase.Tpo -c -o SPASS/defs.o SPASS/defs.c &&\ mv -f $depbase.Tpo $depbase.Po ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ SPASS/component.c:213:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] complist = list_Cons((POINTER)j,complist); ^ SPASS/component.c:214:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] compindexlist = list_Cons((POINTER)(litptr->litptr[j]->litindex), ^ SPASS/component.c:242:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] complist = list_Cons((POINTER)i,complist); ^ SPASS/component.c:243:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] compindexlist = list_Cons((POINTER)(litptr->litptr[i]->litindex),compindexlist); ^ In file included from SPASS/cnf.c:41: In file included from ./SPASS/cnf.h:49: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/closure.c:42: In file included from ./SPASS/closure.h:47: ./SPASS/ras.h:94:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] result[ras_alloc] = (POINTER) size; ^ ./SPASS/ras.h:154:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ ./SPASS/ras.h:179:20: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) oldsize; ^ ./SPASS/ras.h:247:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ SPASS/closure.c:136:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras_Set(cc_GetCdrs(), stack_index, (POINTER) cdr); ^ SPASS/closure.c:160:39: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras_Set(cc_GetSizes(), stack_index, (POINTER) size); ^ SPASS/closure.c:317:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras_FastPush(cdr, (POINTER) i); /* form a cycle */ ^ SPASS/closure.c:318:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras_FastPush(size, (POINTER) (cc_GetCar(i) == term_Null()? 0 : 1)); ^ In file included from SPASS/cnf.c:41: In file included from ./SPASS/cnf.h:50: In file included from ./SPASS/resolution.h:51: In file included from ./SPASS/subsumption.h:53: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ 15 warnings generated. In file included from SPASS/condensing.c:40: In file included from ./SPASS/subsumption.h:50: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/condensing.c:40: In file included from ./SPASS/subsumption.h:50: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/condensing.c:40: In file included from ./SPASS/subsumption.h:50: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ depbase=`echo SPASS/doc-proof.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/doc-proof.o -MD -MP -MF $depbase.Tpo -c -o SPASS/doc-proof.o SPASS/doc-proof.c &&\ mv -f $depbase.Tpo $depbase.Po 9 warnings generated. depbase=`echo SPASS/graph.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/graph.o -MD -MP -MF $depbase.Tpo -c -o SPASS/graph.o SPASS/graph.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/condensing.c:40: In file included from ./SPASS/subsumption.h:53: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/condensing.c:60:14: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) i); ^ SPASS/condensing.c:79:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] indexlist = list_Cons((POINTER)k,indexlist); ^ 18 warnings generated. In file included from SPASS/defs.c:41: In file included from ./SPASS/cnf.h:49: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ depbase=`echo SPASS/hash.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/hash.o -MD -MP -MF $depbase.Tpo -c -o SPASS/hash.o SPASS/hash.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/defs.c:41: In file included from ./SPASS/cnf.h:49: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ 12 warnings generated. depbase=`echo SPASS/hasharray.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/hasharray.o -MD -MP -MF $depbase.Tpo -c -o SPASS/hasharray.o SPASS/hasharray.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/defs.c:41: In file included from ./SPASS/cnf.h:49: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/cnf.c:43: In file included from ./SPASS/rules-red.h:52: In file included from ./SPASS/closure.h:47: ./SPASS/ras.h:94:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] result[ras_alloc] = (POINTER) size; ^ ./SPASS/ras.h:154:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ ./SPASS/ras.h:179:20: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) oldsize; ^ ./SPASS/ras.h:247:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ SPASS/cnf.c:135:11: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) (- polterm1)); ^ SPASS/cnf.c:140:16: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER)polterm1); ^ SPASS/cnf.c:145:11: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) (- polterm1)); ^ SPASS/cnf.c:147:11: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) polterm1); ^ SPASS/cnf.c:163:17: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) polterm1); ^ SPASS/cnf.c:260:53: warning: cast to 'LIST' (aka 'struct LIST_HELP *') from smaller integer type 'int' [-Wint-to-pointer-cast] list_Rplaca(l, list_PairCreate((TERM) list_Car(l), (LIST) pol)); ^ In file included from SPASS/doc-proof.c:45: In file included from ./SPASS/doc-proof.h:48: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/doc-proof.c:45: In file included from ./SPASS/doc-proof.h:48: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ SPASS/cnf.c:1075:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] result = list_Cons((POINTER)term_TopSymbol((TERM)list_Car(scan)),result); ^ In file included from SPASS/defs.c:41: In file included from ./SPASS/cnf.h:50: In file included from ./SPASS/resolution.h:51: In file included from ./SPASS/subsumption.h:53: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from SPASS/doc-proof.c:45: In file included from ./SPASS/doc-proof.h:48: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ 14 warnings generated. depbase=`echo SPASS/iaparser.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/iaparser.o -MD -MP -MF $depbase.Tpo -c -o SPASS/iaparser.o SPASS/iaparser.c &&\ mv -f $depbase.Tpo $depbase.Po SPASS/cnf.c:2629:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] *Symblist = list_Cons((POINTER)SkolemSymbol, *Symblist); ^ SPASS/defs.c:361:26: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] compllits = list_Cons((POINTER) predindex, compllits); ^ SPASS/defs.c:381:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] clausenumbers = list_Cons((POINTER) clause_Number((CLAUSE) list_Car(l2)), ^ SPASS/defs.c:386:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] clausenumbers = list_Cons((POINTER) clause_Number(Clause), ^ SPASS/defs.c:388:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] compllits = list_Cons((POINTER) literal_index, compllits); ^ SPASS/cnf.c:3077:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] if (list_Member(Symbols, (POINTER)term_TopSymbol(list_Car(Scan)), ^ SPASS/cnf.c:3309:27: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] *Symblist = list_Cons((POINTER)skolem,*Symblist); ^ SPASS/cnf.c:3310:57: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] mapping = list_Cons(list_PairCreate(list_Car(scan), (POINTER)skolem), ^ SPASS/defs.c:599:42: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] clause_SetParentClauses(c, list_Cons((POINTER) clause_Number(Clause), ^ SPASS/cnf.c:3590:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_Cons((POINTER)skolem, Result); ^ In file included from SPASS/doc-proof.c:45: In file included from ./SPASS/doc-proof.h:48: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/cnf.c:3742:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Pair = list_PairCreate((POINTER) term_TopSymbol(Term), ^ SPASS/cnf.c:3743:9: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] (POINTER) Var); ^ SPASS/cnf.c:3824:41: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Vars = list_Nconc(Vars, list_List((POINTER) New)); ^ SPASS/cnf.c:3845:20: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Vars = list_List((POINTER) symbol_CreateStandardVariable()); ^ depbase=`echo SPASS/iascanner.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/iascanner.o -MD -MP -MF $depbase.Tpo -c -o SPASS/iascanner.o SPASS/iascanner.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/partition.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/partition.o -MD -MP -MF $depbase.Tpo -c -o SPASS/partition.o SPASS/partition.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/proofcheck.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/proofcheck.o -MD -MP -MF $depbase.Tpo -c -o SPASS/proofcheck.o SPASS/proofcheck.c &&\ mv -f $depbase.Tpo $depbase.Po 10 warnings generated. depbase=`echo SPASS/ras.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/ras.o -MD -MP -MF $depbase.Tpo -c -o SPASS/ras.o SPASS/ras.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from iaparser.y:45: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from iaparser.y:46: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from iascanner.l:47: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from iascanner.l:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25:In file included from iaparser.y:47: In file included from ./SPASS/foldfg.h: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] 49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866 term_BIND[i][0] = (POINTER) term_NullMark(); ^ :23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/ras.c:41: ./SPASS/ras.h:94:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] result[ras_alloc] = (POINTER) size; ^ ./SPASS/ras.h:154:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ ./SPASS/ras.h:179:20: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) oldsize; ^ ./SPASS/ras.h:247:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ In file included from iaparser.y:48: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ 4 warnings generated. depbase=`echo SPASS/renaming.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/renaming.o -MD -MP -MF $depbase.Tpo -c -o SPASS/renaming.o SPASS/renaming.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/resolution.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/resolution.o -MD -MP -MF $depbase.Tpo -c -o SPASS/resolution.o SPASS/resolution.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/proofcheck.c:37: In file included from ./SPASS/proofcheck.h:47: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/proofcheck.c:37: In file included from ./SPASS/proofcheck.h:47: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ iaparser.y:312:47: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] varlist = list_Nconc(varlist, list_List((POINTER)term_TopSymbol(helpterm))); ^ iaparser.y:316:48: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] varlist = list_Nconc(varlist, list_List((POINTER)var)); ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/proofcheck.c:37: In file included from ./SPASS/proofcheck.h:47: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/proofcheck.c:37: In file included from ./SPASS/proofcheck.h:47: In file included from ./SPASS/dfg.h:47: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/proofcheck.c:176:24: warning: cast to 'const void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] Parent = bsearch((const void*)ParentNum, ClauseVector, Size, ^ SPASS/proofcheck.c:234:19: warning: cast to 'const void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] Parent = bsearch((const void*)ParentNum, ClauseVector, Size, ^ SPASS/proofcheck.c:237:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Missing = list_Cons((POINTER)ParentNum, Missing); ^ SPASS/proofcheck.c:243:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] NewPLits = list_Cons((POINTER)PLitNum, NewPLits); ^ SPASS/proofcheck.c:388:27: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_Rplaca(ScanParents, (POINTER)clause_Number(list_Car(ScanParents))); ^ SPASS/proofcheck.c:442:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ParentIds = list_Cons((POINTER)pcheck_LabelToNumber(list_Car(ParentLabels)), ParentIds); ^ In file included from SPASS/renaming.c:41: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ In file included from SPASS/resolution.c:41: In file included from ./SPASS/resolution.h:47: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/resolution.c:41: In file included from ./SPASS/resolution.h:47: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] 15 warnings generated. term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ In file included from SPASS/renaming.c:41: In file included from ./SPASS/renaming.h:50: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from In file included from SPASS/renaming.c:41: In file included from ./SPASS/renaming.h:50: In file included from SPASS/resolution.c:41: ./SPASS/foldfg.h:49: In file included from ./SPASS/resolution.h:47: In file included from ./SPASS/unify.h:51In file included from ./SPASS/unify.h:51: ./SPASS/context.h: :866./SPASS/context.h:866:23::23: warning: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast]: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ cont_CheckStackPush((POINTER)cont_StackTop()); ^ SPASS/renaming.c:1264:32: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] *SkolemSymbols = list_Cons((POINTER)ActSymbol,*SkolemSymbols); ^ depbase=`echo SPASS/rules-inf.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-inf.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-inf.o SPASS/rules-inf.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/resolution.c:41: In file included from ./SPASS/resolution.h:51: In file included from ./SPASS/subsumption.h:53: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ 12 warnings generated. 5 warnings generated. depbase=`echo SPASS/rules-red.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-red.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-red.o SPASS/rules-red.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/rules-sort.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-sort.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-sort.o SPASS/rules-sort.c &&\ mv -f $depbase.Tpo $depbase.Po 10 warnings generated. 19 warnings generated. depbase=`echo SPASS/rules-split.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-split.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-split.o SPASS/rules-split.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/rules-ur.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/rules-ur.o -MD -MP -MF $depbase.Tpo -c -o SPASS/rules-ur.o SPASS/rules-ur.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/rules-inf.c:45: In file included from ./SPASS/rules-inf.h:48: In file included from ./SPASS/search.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/rules-inf.c:45: In file included from ./SPASS/rules-inf.h:48: In file included from ./SPASS/search.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/rules-inf.c:45: In file included from ./SPASS/rules-inf.h:48: In file included from ./SPASS/search.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/rules-sort.c:45: In file included from ./SPASS/rules-sort.h:48: In file included from ./SPASS/sort.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/rules-red.c:41: In file included from ./SPASS/rules-red.h:44: In file included from ./SPASS/sort.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ In file included from SPASS/rules-inf.c:45: In file included from ./SPASS/rules-inf.h:48: In file included from ./SPASS/search.h:44: In file included from SPASS/rules-sort.c:45: In file included from ./SPASS/rules-sort.h:48: In file included from ./SPASS/sort.h:44: In file included from ./SPASS/clause.h:./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:481028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] : ./SPASS/term.h Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ :103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast]./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ ./SPASS/term.h./SPASS/symbol.h::147672::2538: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] : term_BIND[i][0] = (POINTER) term_NullMark(); ^ warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/rules-red.c:41: In file included from ./SPASS/rules-red.h:44: In file included from ./SPASS/sort.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/rules-ur.c:43: In file included from ./SPASS/rules-ur.h:42: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:In file included from SPASS/rules-split.c:45: In file included from ./SPASS/rules-split.h:48: 574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] In file included from ./SPASS/clause.h:48 return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ : In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/rules-ur.c:43: In file included from ./SPASS/rules-ur.h:42: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:In file included from SPASS/rules-split.c:45: In file included from ./SPASS/rules-split.h:48: 25: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: warning./SPASS/term.h:103: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] : term_BIND[i][0] = (POINTER) term_NullMark(); ^ 40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^./SPASS/term.h:160:25 : warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/rules-sort.c:45: In file included from ./SPASS/rules-sort.h:48: In file included from ./SPASS/sort.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/rules-red.c:41: In file included from ./SPASS/rules-red.h:44: In file included from ./SPASS/sort.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/rules-ur.c:43: In file included from ./SPASS/rules-ur.h:42: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from SPASS/rules-split.c:45: In file included from ./SPASS/rules-split.hIn file included from ./SPASS/unify.h:51: :48./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] : In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h cont_CheckStackPush((POINTER)cont_BINDINGS);:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ^ cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:867./SPASS/context.h:868:23: warning: :23: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] warning cont_CheckStackPush((POINTER)cont_StackTop()); ^ : cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/rules-sort.c:45: In file included from ./SPASS/rules-sort.h:48: In file included from ./SPASS/sort.h:44: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from SPASS/rules-red.c:41: In file included from ./SPASS/rules-red.h:44: In file included from ./SPASS/sort.h:44: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from SPASS/rules-split.c:45: In file included from ./SPASS/rules-split.h:48: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from SPASS/rules-ur.c:43: In file included from ./SPASS/rules-ur.h:42: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/rules-sort.c:187:35: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] if (!list_PointerMember(Lits, (POINTER)i)) { ^ SPASS/rules-sort.c:192:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ParentCls = list_Cons((POINTER)clause_Number(ClauseCopy), ParentCls); ^ SPASS/rules-sort.c:193:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ParentLits = list_Cons((POINTER)i, ParentLits); ^ SPASS/rules-sort.c:211:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] if (list_PointerMember(Lits, (POINTER)i)) { ^ SPASS/rules-sort.c:237:31: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ParentCls = list_Cons((POINTER)clause_Number(PartnerCopy), ParentCls); ^ SPASS/rules-sort.c:238:31: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ParentLits = list_Cons((POINTER)PLitInd, ParentLits); ^ SPASS/rules-sort.c:457:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_List((POINTER)gi); ^ SPASS/rules-sort.c:465:27: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)j, tLits); ^ SPASS/rules-sort.c:466:27: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] restLits = list_Cons((POINTER)j, restLits); ^ SPASS/rules-sort.c:564:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] TLits = list_List((POINTER)i); ^ SPASS/rules-sort.c:568:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] TLits = list_Cons((POINTER)j, TLits); ^ SPASS/rules-sort.c:657:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_List((POINTER)gi); ^ SPASS/rules-sort.c:665:29: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)j, tLits); ^ SPASS/rules-sort.c:666:29: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] restLits = list_Cons((POINTER)j, restLits); ^ SPASS/rules-sort.c:775:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] TLits = list_List((POINTER)i); ^ SPASS/rules-sort.c:782:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] TLits = list_Cons((POINTER)j, TLits); ^ SPASS/rules-inf.c:3643:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ParentNum = list_Cons((POINTER) clause_Number(Nucleus), ParentNum); ^ SPASS/rules-inf.c:3644:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ParentLits = list_Cons((POINTER) i, ParentLits); ^ SPASS/rules-inf.c:3645:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ParentNum = list_Cons((POINTER) clause_Number(NewClause), ParentNum); ^ SPASS/rules-inf.c:3646:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ParentLits = list_Cons((POINTER) clause_LiteralGetIndex(Lit), ParentLits); ^ SPASS/rules-sort.c:1072:31: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] parentClauses = list_Cons((POINTER)clause_Number(condClause), parentClauses); ^ SPASS/rules-sort.c:1073:31: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] parentLits = list_Cons((POINTER)clause_FirstSuccedentLitIndex(condClause), parentLits); ^ SPASS/rules-sort.c:1108:31: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] parentClauses = list_Cons((POINTER)clause_Number(pClause), parentClauses); ^ SPASS/rules-sort.c:1109:31: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] parentLits = list_Cons((POINTER) pi, parentLits); ^ SPASS/rules-sort.c:1117:36: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] if (!list_PointerMember(TLits, (POINTER)i)) ^ SPASS/rules-sort.c:1122:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] parentClauses = list_Cons((POINTER)clause_Number(Clause), parentClauses); ^ SPASS/rules-sort.c:1123:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] parentLits = list_Cons((POINTER)i, parentLits); ^ 16 warnings generated. SPASS/rules-sort.c:1369:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)j, tLits); ^ SPASS/rules-sort.c:1374:20: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)i, tLits); ^ SPASS/rules-sort.c:1469:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)j, tLits); ^ SPASS/rules-sort.c:1474:20: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)ti, tLits); ^ SPASS/rules-sort.c:1573:26: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)j, tLits); ^ SPASS/rules-sort.c:1579:22: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)i, tLits); ^ depbase=`echo SPASS/search.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/search.o -MD -MP -MF $depbase.Tpo -c -o SPASS/search.o SPASS/search.c &&\ mv -f $depbase.Tpo $depbase.Po SPASS/rules-sort.c:1694:26: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)j, tLits); ^ SPASS/rules-sort.c:1699:22: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] tLits = list_Cons((POINTER)ti, tLits); ^ In file included from SPASS/rules-red.c:41: In file included from ./SPASS/rules-red.h:52: In file included from ./SPASS/closure.h:47: ./SPASS/ras.h:94:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] result[ras_alloc] = (POINTER) size; ^ ./SPASS/ras.h:154:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ ./SPASS/ras.h:179:20: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) oldsize; ^ ./SPASS/ras.h:247:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ SPASS/rules-red.c:243:31: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Indexes = list_Cons((POINTER) i, Indexes); ^ SPASS/rules-red.c:255:37: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Indexes = list_Cons((POINTER) i, Indexes); ^ SPASS/rules-red.c:274:35: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Indexes = list_Cons((POINTER) i, Indexes); ^ SPASS/rules-red.c:281:39: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] && !list_PointerMember(Indexes, (POINTER) clause_FirstAntecedentLitIndex( ^ SPASS/rules-red.c:291:29: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Indexes = list_Cons((POINTER) clause_FirstAntecedentLitIndex(Clause), ^ SPASS/rules-red.c:546:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] Indexes = list_Cons((POINTER)i, Indexes); ^ SPASS/rules-red.c:560:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] Indexes = list_Cons((POINTER)i, Indexes); ^ SPASS/rules-red.c:776:22: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Help = list_Cons((POINTER)clause_Number(Clause), Help); ^ SPASS/rules-red.c:842:26: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ReducedBy = list_Cons((POINTER)clause_Number(PClause), ReducedBy); ^ SPASS/rules-red.c:843:26: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] PLits = list_Cons((POINTER)clause_LiteralGetIndex(PLit),PLits); ^ SPASS/rules-red.c:844:26: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ReducedLits = list_Cons((POINTER)(i+j), ReducedLits); ^ SPASS/rules-red.c:905:56: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] clause_SetParentClauses(Clause, list_Nconc(list_List((POINTER)clause_Number(Clause)),ClauseNums)); ^ SPASS/rules-red.c:1010:43: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] red_DocumentUnitConflict(Copy, list_List((POINTER)clause_FirstLitIndex()), ^ SPASS/rules-red.c:1011:16: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_List((POINTER)clause_Number(PClause)), ^ SPASS/rules-red.c:1012:16: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_List((POINTER)clause_FirstLitIndex())); ^ SPASS/rules-red.c:1215:16: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_List((POINTER)clause_Number(Clause))); ^ SPASS/rules-red.c:1218:46: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] clause_SetParentLiterals(Clause, list_List((POINTER)i)); ^ SPASS/rules-red.c:1827:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Parents = list_Cons((POINTER)clause_Number(Subsumer), Parents); ^ SPASS/rules-red.c:1831:48: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Parents = list_PointerDeleteElement(Parents, (POINTER) OriginalClauseNumber); ^ SPASS/rules-red.c:1834:50: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Parents = list_PointerDeleteElement(Parents, (POINTER) ActNum); ^ SPASS/rules-red.c:2012:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] litsToRemove = list_Cons((POINTER) i, litsToRemove); ^ SPASS/rules-red.c:2706:51: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] (POINTER) clause_Number( ^ SPASS/rules-red.c:2710:51: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] (POINTER) i, *RewParentLits); ^ SPASS/rules-red.c:3004:45: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] *RewParentCls = list_Cons((POINTER) clause_Number(Subsumer), ^ SPASS/rules-red.c:3026:45: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] *RewParentCls = list_Cons((POINTER) clause_Number(Subsumer), ^ SPASS/rules-red.c:5022:21: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_Rplaca(Scan,(POINTER)clause_LiteralGetIndex(list_Car(Scan))); ^ SPASS/rules-red.c:5027:69: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] red_DocumentMatchingReplacementResolution(Copy, PIndL, list_List((POINTER)RedClNum), ^ SPASS/rules-red.c:5028:21: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_List((POINTER)clause_FirstLitIndex())); ^ SPASS/rules-red.c:5071:64: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] red_DocumentMatchingReplacementResolution(Copy, list_List((POINTER)PInd), ^ SPASS/rules-red.c:5072:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_List((POINTER)RedClNum), ^ SPASS/rules-red.c:5073:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_List((POINTER)i)); ^ SPASS/rules-red.c:6359:22: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Self = list_Cons((POINTER)clause_Number(Clause),Self); ^ SPASS/rules-red.c:6362:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Declarations = list_Cons((POINTER)clause_FirstSuccedentLitIndex(list_Car(Scan)),Declarations); ^ SPASS/rules-red.c:6363:22: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_Rplaca(Scan,(POINTER)clause_Number(list_Car(Scan))); ^ SPASS/rules-red.c:6455:26: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Indexes = list_Cons((POINTER)(i+j), Indexes); ^ SPASS/rules-red.c:7737:27: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Indexes = list_Cons((POINTER)i,Indexes); ^ SPASS/rules-red.c:7745:27: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Indexes = list_Cons((POINTER)i,Indexes); ^ 10 warnings generated. In file included from SPASS/search.c:42: In file included from ./SPASS/search.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ depbase=`echo SPASS/sort.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/sort.o -MD -MP -MF $depbase.Tpo -c -o SPASS/sort.o SPASS/sort.c &&\ mv -f $depbase.Tpo $depbase.Po ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/search.c:42: In file included from ./SPASS/search.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/search.c:42: In file included from ./SPASS/search.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/search.c:42: In file included from ./SPASS/search.h:44: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ 10 warnings generated. In file included from SPASS/sort.c:41: In file included from ./SPASS/sort.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ SPASS/search.c:1223:42: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] if (list_PointerMember(Predicates, (POINTER)term_TopSymbol(Atom))) { ^ SPASS/search.c:1224:36: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Pair = list_AssocListPair(Result, (POINTER)term_TopSymbol(Atom)); ^ SPASS/search.c:1228:36: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_AssocCons(Result, (POINTER)term_TopSymbol(Atom), ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ 9 warnings generated. In file included from SPASS/sort.c:41: In file included from ./SPASS/sort.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ depbase=`echo SPASS/subsumption.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/subsumption.o -MD -MP -MF $depbase.Tpo -c -o SPASS/subsumption.o SPASS/subsumption.c &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo SPASS/table.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/table.o -MD -MP -MF $depbase.Tpo -c -o SPASS/table.o SPASS/table.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/sort.c:41: In file included from ./SPASS/sort.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/sort.c:41: In file included from ./SPASS/sort.h:44: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/sort.c:109:24: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] result = list_Cons((POINTER)sort_NodeSymbol(list_Car(Sort)), result); ^ SPASS/sort.c:1156:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Sorts = list_Cons((POINTER)term_TopSymbol(clause_LiteralAtom( ^ SPASS/sort.c:1278:47: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] clause_SetParentClauses(NewClause, list_List((POINTER)clause_Number(Clause))); ^ In file included from SPASS/subsumption.c:42: In file included from ./SPASS/subsumption.h:50: In file included from ./SPASS/unify.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/table.c:42: In file included from ./SPASS/table.h:51: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ In file included from SPASS/subsumption.c:42: In file included from ./SPASS/subsumption.h:50: In file included from ./SPASS/unify.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ./SPASS/symbol.h ^ :672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] ./SPASS/term.h:160:25: warning: return list_DeleteElement(Symbols, (POINTER) S, ^ cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/table.c:42: In file included from ./SPASS/table.h:51: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/subsumption.c:42: In file included from ./SPASS/subsumption.h:50: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/subsumption.c:42: In file included from ./SPASS/subsumption.h:53: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/subsumption.c:1062:28: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] TermIndexlist = list_Cons((POINTER)i, TermIndexlist); ^ SPASS/subsumption.c:1254:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] complist = list_Cons((POINTER)j,complist); ^ SPASS/subsumption.c:1255:11: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER)literal_GetLitIndex(litptr_Literal(litptr,j))); ^ 5 warnings generated. SPASS/subsumption.c:1269:32: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] list_Rplacd(end,list_List((POINTER)i)); ^ SPASS/subsumption.c:1271:15: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER)literal_GetLitIndex(litptr_Literal(litptr,i))); ^ SPASS/subsumption.c:1554:14: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) i); ^ SPASS/subsumption.c:1581:14: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) i); ^ SPASS/subsumption.c:1610:14: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) i); ^ SPASS/subsumption.c:1836:14: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) i); ^ SPASS/subsumption.c:2071:11: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] vec_Push((POINTER) i); ^ depbase=`echo SPASS/tableau.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/tableau.o -MD -MP -MF $depbase.Tpo -c -o SPASS/tableau.o SPASS/tableau.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/tableau.c:37: In file included from ./SPASS/tableau.h:46: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/tableau.c:37: In file included from ./SPASS/tableau.h:46: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/tableau.c:37: In file included from ./SPASS/tableau.h:46: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ 41 warnings generated. depbase=`echo SPASS/terminator.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/terminator.o -MD -MP -MF $depbase.Tpo -c -o SPASS/terminator.o SPASS/terminator.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/tableau.c:37: In file included from ./SPASS/tableau.h:46: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/tableau.c:461:16: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] node.car = (POINTER)clause_SplitLevel(list_Car(tab_Clauses(T))); /*any of them will do, so let's take the first one*/ ^ 13 warnings generated. In file included from SPASS/terminator.c:43: In file included from ./SPASS/terminator.h:44: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/terminator.c:43: In file included from ./SPASS/terminator.h:45: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ depbase=`echo SPASS/top.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/top.o -MD -MP -MF $depbase.Tpo -c -o SPASS/top.o SPASS/top.c &&\ mv -f $depbase.Tpo $depbase.Po ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/terminator.c:43: In file included from ./SPASS/terminator.h:45: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/terminator.c:43: In file included from ./SPASS/terminator.h:45: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ 13 warnings generated. depbase=`echo SPASS/vector.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/vector.o -MD -MP -MF $depbase.Tpo -c -o SPASS/vector.o SPASS/vector.c &&\ mv -f $depbase.Tpo $depbase.Po 30 warnings generated. In file included from SPASS/top.c:49: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/top.c:49: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ depbase=`echo SPASS/dfg2otter.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfg2otter.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfg2otter.o SPASS/dfg2otter.c &&\ mv -f $depbase.Tpo $depbase.Po ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/top.c:49: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ 11 warnings generated. depbase=`echo SPASS/dfg2tptp.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfg2tptp.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfg2tptp.o SPASS/dfg2tptp.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/top.c:49: In file included from ./SPASS/dfg.h:47: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ 10 warnings generated. depbase=`echo SPASS/tptp2dfg.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/tptp2dfg.o -MD -MP -MF $depbase.Tpo -c -o SPASS/tptp2dfg.o SPASS/tptp2dfg.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/top.c:57: In file included from ./SPASS/rules-red.h:52: In file included from ./SPASS/closure.h:47: ./SPASS/ras.h:94:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] result[ras_alloc] = (POINTER) size; ^ ./SPASS/ras.h:154:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ ./SPASS/ras.h:179:20: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) oldsize; ^ ./SPASS/ras.h:247:18: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ras[ras_top] = (POINTER) top; ^ depbase=`echo SPASS/dfg2ascii.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfg2ascii.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfg2ascii.o SPASS/dfg2ascii.c &&\ mv -f $depbase.Tpo $depbase.Po SPASS/top.c:397:30: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Cluster[i] = list_List((POINTER)i); ^ In file included from SPASS/dfg2otter.c:48: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/dfg2otter.c:48: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/dfg2otter.c:48: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/dfg2tptp.c:46: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/dfg2tptp.c:46: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147In file included from SPASS/dfg2otter.c::25: 48: In file included from ./SPASS/dfg.h:47: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] ./SPASS/clause.h term_BIND[i][0] = (POINTER) term_NullMark(); ^ :1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ./SPASS/term.h:160:25 ^ : warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark();./SPASS/clause.h:1038 ^ :34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from SPASS/tptp2dfg.c:24: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/tptp2dfg.c:24: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/dfg2tptp.c:46: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/tptp2dfg.c:25: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/dfg2tptp.c:46: In file included from ./SPASS/dfg.h:47: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from SPASS/dfg2ascii.c:45: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/tptp2dfg.c:25: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ In file included from SPASS/dfg2ascii.c:45: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ In file included from SPASS/dfg2ascii.c:45: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ 10 warnings generated. depbase=`echo SPASS/approx.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/approx.o -MD -MP -MF $depbase.Tpo -c -o SPASS/approx.o SPASS/approx.c &&\ mv -f $depbase.Tpo $depbase.Po In file included from SPASS/dfg2ascii.c:45: In file included from ./SPASS/dfg.h:47: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ 10 warnings generated. 10 warnings generated. 10 warnings generated. In file included from SPASS/approx.c:42: In file included from ./SPASS/approx.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ depbase=`echo SPASS/dfg2dfg.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ gcc -DHAVE_CONFIG_H -I. -I./SPASS -I./lib -I./SPASS -I/sw/include -O3 -DSPASS_SIGNALS=1 -D__inline__= -MT SPASS/dfg2dfg.o -MD -MP -MF $depbase.Tpo -c -o SPASS/dfg2dfg.o SPASS/dfg2dfg.c &&\ mv -f $depbase.Tpo $depbase.Po ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/approx.c:42: In file included from ./SPASS/approx.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -L/sw/lib -o SPASS/dfg2otter SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/dfg2otter.o -lm gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -L/sw/lib -o SPASS/dfg2tptp SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/dfg2tptp.o -lm 14 warnings generated. In file included from SPASS/approx.c:42: In file included from ./SPASS/approx.h:44: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -L/sw/lib -o SPASS/tptp2dfg SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/tptp2dfg.o -lm In file included from SPASS/approx.c:42: In file included from ./SPASS/approx.h:44: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ SPASS/approx.c:142:36: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result->newSymbols = list_Cons((POINTER)Predicate, Result->newSymbols); ^ SPASS/approx.c:366:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result->newSymbols = list_Cons((POINTER)Predicate, Result->newSymbols); ^ SPASS/approx.c:484:37: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_Cons(list_PairCreate((POINTER)s,(POINTER)term_TopSymbol(Term)), ^ SPASS/approx.c:484:48: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] Result = list_Cons(list_PairCreate((POINTER)s,(POINTER)term_TopSymbol(Term)), ^ SPASS/approx.c:680:37: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] if (list_PointerMember(VarsInTerm, (POINTER)Var)) ^ SPASS/approx.c:691:37: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] if (list_PointerMember(VarsInTerm, (POINTER)Var)) ^ In file included from SPASS/dfg2dfg.c:41: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: In file included from ./SPASS/term.h:49: ./SPASS/symbol.h:574:53: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_PointerMember(symbol_GeneratedBy(S1), (POINTER)S2); ^ ./SPASS/symbol.h:672:38: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] return list_DeleteElement(Symbols, (POINTER) S, ^ In file included from SPASS/dfg2dfg.c:41: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:48: ./SPASS/term.h:103:40: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[symbol_VarIndex(Var)][0] = (POINTER) Mark; ^ 20 warnings generated. ./SPASS/term.h:147:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ ./SPASS/term.h:160:25: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'NAT' (aka 'unsigned int') [-Wint-to-void-pointer-cast] term_BIND[i][0] = (POINTER) term_NullMark(); ^ gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -L/sw/lib -o SPASS/dfg2ascii SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/dfg2ascii.o -lm In file included from SPASS/dfg2dfg.c:41: In file included from ./SPASS/dfg.h:47: In file included from ./SPASS/clause.h:48: In file included from ./SPASS/sharing.h:49: In file included from ./SPASS/st.h:48: In file included from ./SPASS/foldfg.h:49: In file included from ./SPASS/unify.h:51: ./SPASS/context.h:866:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_BINDINGS); ^ ./SPASS/context.h:867:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackBottom()); ^ ./SPASS/context.h:868:23: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] cont_CheckStackPush((POINTER)cont_StackTop()); ^ In file included from SPASS/dfg2dfg.c:41: In file included from ./SPASS/dfg.h:47: ./SPASS/clause.h:1028:33: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentCls = list_Cons((POINTER) PClause, Clause->parentCls); ^ ./SPASS/clause.h:1038:34: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] Clause->parentLits = list_Cons((POINTER) PLit, Clause->parentLits); ^ 10 warnings generated. 16 warnings generated. gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -L/sw/lib -o SPASS/dfg2dfg SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/approx.o SPASS/dfg2dfg.o -lm 15 warnings generated. 51 warnings generated. gcc -O3 -DSPASS_SIGNALS=1 -D__inline__= -L/sw/lib -o SPASS/SPASS SPASS/clause.o SPASS/cmdline.o SPASS/context.o SPASS/description.o SPASS/dfgparser.o SPASS/dfgscanner.o SPASS/tptpparser.o SPASS/tptpscanner.o SPASS/eml.o SPASS/flags.o SPASS/foldfg.o SPASS/hashmap.o SPASS/kbo.o SPASS/list.o SPASS/memory.o SPASS/misc.o SPASS/order.o SPASS/rpos.o SPASS/sharing.o SPASS/st.o SPASS/stack.o SPASS/strings.o SPASS/subst.o SPASS/symbol.o SPASS/term.o SPASS/unify.o SPASS/analyze.o SPASS/clock.o SPASS/closure.o SPASS/cnf.o SPASS/component.o SPASS/condensing.o SPASS/defs.o SPASS/doc-proof.o SPASS/graph.o SPASS/hash.o SPASS/hasharray.o SPASS/iaparser.o SPASS/iascanner.o SPASS/partition.o SPASS/proofcheck.o SPASS/ras.o SPASS/renaming.o SPASS/resolution.o SPASS/rules-inf.o SPASS/rules-red.o SPASS/rules-sort.o SPASS/rules-split.o SPASS/rules-ur.o SPASS/search.o SPASS/sort.o SPASS/subsumption.o SPASS/table.o SPASS/tableau.o SPASS/terminator.o SPASS/top.o SPASS/vector.o -lm rm -f scripts/FLOTTER ln -s SPASS/SPASS scripts/FLOTTER /bin/rm -rf /sw/build.build/root-spass-3.7-1 /bin/mkdir -p /sw/build.build/root-spass-3.7-1/sw /bin/mkdir -p /sw/build.build/root-spass-3.7-1/DEBIAN /usr/sbin/chown -R fink-bld:fink-bld /sw/build.build/root-spass-3.7-1 sudo -u fink-bld [ENV] sh -c /tmp/fink.J3tp6 make install DESTDIR=/sw/build.build/root-spass-3.7-1 /Applications/Xcode.app/Contents/Developer/usr/bin/make install-am rm -f scripts/FLOTTER ln -s SPASS/SPASS scripts/FLOTTER test -z "/sw/bin" || m4/install-sh -c -d "/sw/build.build/root-spass-3.7-1/sw/bin" /usr/bin/install -c 'SPASS/SPASS' '/sw/build.build/root-spass-3.7-1/sw/bin/SPASS' /usr/bin/install -c 'SPASS/dfg2otter' '/sw/build.build/root-spass-3.7-1/sw/bin/dfg2otter' /usr/bin/install -c 'SPASS/dfg2tptp' '/sw/build.build/root-spass-3.7-1/sw/bin/dfg2tptp' /usr/bin/install -c 'SPASS/tptp2dfg' '/sw/build.build/root-spass-3.7-1/sw/bin/tptp2dfg' /usr/bin/install -c 'SPASS/dfg2ascii' '/sw/build.build/root-spass-3.7-1/sw/bin/dfg2ascii' /usr/bin/install -c 'SPASS/dfg2dfg' '/sw/build.build/root-spass-3.7-1/sw/bin/dfg2dfg' rm -f scripts/FLOTTER ln -s SPASS/SPASS scripts/FLOTTER test -z "/sw/bin" || m4/install-sh -c -d "/sw/build.build/root-spass-3.7-1/sw/bin" /usr/bin/install -c 'scripts/dfg2otter.pl' '/sw/build.build/root-spass-3.7-1/sw/bin/dfg2otter.pl' test -z "/sw/share/spass/html/" || m4/install-sh -c -d "/sw/build.build/root-spass-3.7-1/sw/share/spass/html/" /usr/bin/install -c -m 644 'doc/html/script.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script.html' /usr/bin/install -c -m 644 'doc/html/script_1.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script_1.html' /usr/bin/install -c -m 644 'doc/html/script_2.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script_2.html' /usr/bin/install -c -m 644 'doc/html/script_3.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script_3.html' /usr/bin/install -c -m 644 'doc/html/script_4.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script_4.html' /usr/bin/install -c -m 644 'doc/html/script_5.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script_5.html' /usr/bin/install -c -m 644 'doc/html/script_6.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script_6.html' /usr/bin/install -c -m 644 'doc/html/script_7.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script_7.html' /usr/bin/install -c -m 644 'doc/html/script_abt.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script_abt.html' /usr/bin/install -c -m 644 'doc/html/script_ovr.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//script_ovr.html' /usr/bin/install -c -m 644 'doc/html/LICENCE.html' '/sw/build.build/root-spass-3.7-1/sw/share/spass/html//LICENCE.html' test -z "/sw/share/info" || m4/install-sh -c -d "/sw/build.build/root-spass-3.7-1/sw/share/info" /usr/bin/install -c -m 644 './doc/texinfo/script.info' '/sw/build.build/root-spass-3.7-1/sw/share/info/script.info' test -z "/sw/share/man/man1" || m4/install-sh -c -d "/sw/build.build/root-spass-3.7-1/sw/share/man/man1" /usr/bin/install -c -m 644 './doc/man/SPASS.1' '/sw/build.build/root-spass-3.7-1/sw/share/man/man1/SPASS.1' /usr/bin/install -c -m 644 './doc/man/dfg2otter.pl.1' '/sw/build.build/root-spass-3.7-1/sw/share/man/man1/dfg2otter.pl.1' /usr/bin/install -c -m 644 './doc/man/dfg2dfg.1' '/sw/build.build/root-spass-3.7-1/sw/share/man/man1/dfg2dfg.1' /usr/bin/install -c -m 644 './doc/man/dfg2ascii.1' '/sw/build.build/root-spass-3.7-1/sw/share/man/man1/dfg2ascii.1' /usr/bin/install -c -m 644 './doc/man/dfg2otter.1' '/sw/build.build/root-spass-3.7-1/sw/share/man/man1/dfg2otter.1' /usr/bin/install -c -m 644 './doc/man/dfg2tptp.1' '/sw/build.build/root-spass-3.7-1/sw/share/man/man1/dfg2tptp.1' /usr/bin/install -c -m 644 './doc/man/tptp2dfg.1' '/sw/build.build/root-spass-3.7-1/sw/share/man/man1/tptp2dfg.1' test -z "/sw/share/spass/pdf/" || m4/install-sh -c -d "/sw/build.build/root-spass-3.7-1/sw/share/spass/pdf/" /usr/bin/install -c -m 644 'doc/handbook/handbook-spass.pdf' '/sw/build.build/root-spass-3.7-1/sw/share/spass/pdf//handbook-spass.pdf' /usr/bin/install -c -m 644 'doc/syntax/spass-input-syntax.pdf' '/sw/build.build/root-spass-3.7-1/sw/share/spass/pdf//spass-input-syntax.pdf' /usr/bin/install -c -m 644 'doc/tutorial/tutorial.pdf' '/sw/build.build/root-spass-3.7-1/sw/share/spass/pdf//tutorial.pdf' mv /sw/build.build/root-spass-3.7-1//sw/share/info/script.info /sw/build.build/root-spass-3.7-1//sw/share/info/spass.info sudo -u fink-bld [ENV] sh -c /tmp/fink.oEWts /usr/bin/install -d -m 700 /sw/build.build/root-spass-3.7-1/sw/share/doc/spass /bin/cp -r LICENCE /sw/build.build/root-spass-3.7-1/sw/share/doc/spass/ /bin/cp -r VERSIONHISTORY /sw/build.build/root-spass-3.7-1/sw/share/doc/spass/ /bin/chmod -R go=u-w /sw/build.build/root-spass-3.7-1/sw/share/doc/spass /bin/rm -f /sw/build.build/root-spass-3.7-1/sw/info/dir /sw/build.build/root-spass-3.7-1/sw/info/dir.old /sw/build.build/root-spass-3.7-1/sw/share/info/dir /sw/build.build/root-spass-3.7-1/sw/share/info/dir.old Reverting ownership of install dir to root Writing control file... Writing package script postinst... Writing package script prerm... Writing md5sums file... env LANG=C LC_ALL=C dpkg-deb -b root-spass-3.7-1 /sw/fink/10.9/stable/main/binary-darwin-x86_64/sci dpkg-deb: building package `spass' in `/sw/fink/10.9/stable/main/binary-darwin-x86_64/sci/spass_3.7-1_darwin-x86_64.deb'. Removing runtime build-lock... Removing build-lock package... /sw/bin/dpkg-lockwait -r fink-buildlock-spass-3.7-1 (Reading database ... 4297 files and directories currently installed.) Removing fink-buildlock-spass-3.7-1 ...