ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/a/anubis/anubis_4.1.1+dfsg1.orig.tar.gz net.c:345:24: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] stream_set_io (*str, (void *) fd, NULL, NULL, NULL, NULL, NULL); ^ mta.c:856:18: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] in = out = (void *) fd; ^ mta.c:867:8: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] in = (void *) fileno (stdin); ^ mta.c:868:9: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] out = (void *) fileno (stdout); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/c/clamsmtp/clamsmtp_1.10.orig.tar.gz ../common/smtppass.c:730:12: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void*)(ret == 0 ? 0 : 1); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/d/dlume/dlume_0.2.4.orig.tar.gz gui.c:582:68: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_signal_connect (widget, "clicked", G_CALLBACK (link_callback), (gpointer)i); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/f/fdutils/fdutils_5.5-20060227.orig.tar.gz floppycontrol.c:382:23: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] eioctl(fd, FDRESET, (void *)reset_now, "reset"); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/f/flite/flite_1.4-release.orig.tar.gz au_oss.c:86:25: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] ad->platform_data = (void *)afd; ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/f/fprobe-ulog/fprobe-ulog_1.1.orig.tar.gz mem.c:156:29: warning: cast to 'mem_index_t' (aka 'void *') from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] bulk_quantity = (unsigned) (mem_index_t) bulk; /* for safety: movzbl, movzwl */ ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/g/gadmin-proftpd/gadmin-proftpd_0.4.2.orig.tar.gz create_user_tab.c:357:65: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(toggle_cell_renderer[i]), "column", (void*)(i+1)); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/g/galan/galan_0.3.0+beta4.orig.tar.gz objectstore.c:195:39: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] objectstore_write_objectstoreitem((gpointer) i, ^ objectstore.c:196:49: warning: cast to 'gconstpointer' (aka 'const void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] g_hash_table_lookup(db->object_table, (gconstpointer) i), ^ objectstore.c:391:44: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'ObjectStoreKey' (aka 'int') [-Wint-to-void-pointer-cast] g_hash_table_insert(db->object_table, (gpointer) item->key, item); ^ objectstore.c:423:48: warning: cast to 'gconstpointer' (aka 'const void *') from smaller integer type 'ObjectStoreKey' (aka 'int') [-Wint-to-void-pointer-cast] return g_hash_table_lookup(db->object_table, (gconstpointer) db->rootkey); ^ objectstore.c:451:48: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'ObjectStoreKey' (aka 'int') [-Wint-to-void-pointer-cast] return g_hash_table_lookup(db->object_table, (gpointer) key); ^ objectstore.c:473:41: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'ObjectStoreKey' (aka 'int') [-Wint-to-void-pointer-cast] g_hash_table_insert(db->object_table, (gpointer) item->key, item); ^ objectstore.c:474:46: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'ObjectStoreKey' (aka 'int') [-Wint-to-void-pointer-cast] g_hash_table_insert(db->key_table, object, (gpointer) item->key); ^ objectstore.c:508:58: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'ObjectStoreKey' (aka 'int') [-Wint-to-void-pointer-cast] g_hash_table_insert(item->db->key_table, item->object, (gpointer) item->key); ^ objectstore.c:589:54: warning: cast to 'gconstpointer' (aka 'const void *') from smaller integer type 'ObjectStoreKey' (aka 'int') [-Wint-to-void-pointer-cast] return g_hash_table_lookup(item->db->object_table, (gconstpointer) datum->d.object_key); ^ patsel.la.c:106:38: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] GTK_SIGNAL_FUNC(button_clicked), (gpointer) index); ^ trigseq.la.c:283:84: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] gtk_signal_connect(GTK_OBJECT(b), "toggled", GTK_SIGNAL_FUNC(toggled_handler), (gpointer) i); ^ seqnum.la.c:310:50: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] GTK_SIGNAL_FUNC(value_changed_handler), (gpointer) i); ^ seqnote.la.c:365:50: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] GTK_SIGNAL_FUNC(value_changed_handler), (gpointer) i); ^ seqnote.la.c:375:51: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] GTK_SIGNAL_FUNC(toggle_changed_handler), (gpointer) i); ^ patloop.la.c:128:8: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint32' (aka 'int') [-Wint-to-void-pointer-cast] (gpointer) objectstore_datum_integer_value(datum)); ^ patloop.la.c:290:74: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] data->sequence[data->edit] = g_list_append(data->sequence[data->edit], (gpointer) num); ^ patloop.la.c:310:49: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] GList *cell = g_list_find_custom(selection, (gpointer) i, find_row); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/g/gbdfed/gbdfed_1.5.orig.tar.gz bdf.c:1194:29: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] hash_insert(fp->name, (void *) font->props_used, ^ bdf.c:1884:31: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] hash_insert(prop->name, (void *) i, &proptbl); ^ bdf.c:3230:26: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] hash_insert(p->name, (void *) n, &proptbl); ^ bdf.c:3476:30: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] hash_insert(p->name, (void *) font->props_used, ^ bdf.c:3595:28: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] hash_insert(p->name, (void *) off, (hashtable *) font->internal); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/g/gtk2-engines/gtk2-engines_2.20.2.orig.tar.bz2 ./src/hc_gtk2_support.c:435:72: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "HC_MENU_SHELL_MOTION_ID", (gpointer)id); ^ ./src/hc_gtk2_support.c:440:71: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "HC_MENU_SHELL_LEAVE_ID", (gpointer)id); ^ ./src/hc_gtk2_support.c:445:73: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "HC_MENU_SHELL_DESTROY_ID", (gpointer)id); ^ ./src/hc_gtk2_support.c:452:75: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "HC_MENU_SHELL_STYLE_SET_ID", (gpointer)id); ^ ./src/redmond_gtk2_misc.c:542:77: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "REDMOND_MENU_SHELL_MOTION_ID", (gpointer)id); ^ ./src/redmond_gtk2_misc.c:547:76: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "REDMOND_MENU_SHELL_LEAVE_ID", (gpointer)id); ^ ./src/redmond_gtk2_misc.c:552:78: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "REDMOND_MENU_SHELL_DESTROY_ID", (gpointer)id); ^ ./src/redmond_gtk2_misc.c:559:80: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "REDMOND_MENU_SHELL_STYLE_SET_ID", (gpointer)id); ^ ./src/glide_gtk2_support.c:1215:75: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "GLIDE_MENU_SHELL_MOTION_ID", (gpointer)id); ^ ./src/glide_gtk2_support.c:1220:74: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "GLIDE_MENU_SHELL_LEAVE_ID", (gpointer)id); ^ ./src/glide_gtk2_support.c:1225:76: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "GLIDE_MENU_SHELL_DESTROY_ID", (gpointer)id); ^ ./src/glide_gtk2_support.c:1232:78: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] g_object_set_data(G_OBJECT(widget), "GLIDE_MENU_SHELL_STYLE_SET_ID", (gpointer)id); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/g/gtkballs/gtkballs_3.1.5.orig.tar.gz inputname.c:69:30: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] show_hall_of_fame(NULL, (gpointer)pos, b); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/g/gutenprint/gutenprint_5.2.9.orig.tar.bz2 panel.c:1509:8: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] (gpointer) invalid); ^ panel.c:2567:37: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] G_CALLBACK(unit_callback), (gpointer) i); ^ panel.c:2606:25: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] plist_callback (NULL, (gpointer) stpui_plist_current); ^ panel.c:3901:10: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] (gpointer) idx); ^ panel.c:4038:25: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'gint' (aka 'int') [-Wint-to-void-pointer-cast] plist_callback (NULL, (gpointer) stpui_plist_current); ^ panel.c:4142:7: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] (gpointer) i); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/h/hfsutils/hfsutils_3.2.6.orig.tar.gz os.c:86:11: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] *priv = (void *) fd; ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/h/hugs98/hugs98_98.200609.21.orig.tar.gz ./iomonad.c:1632:15: warning: cast to 'Pointer' (aka 'void *') from smaller integer type 'HugsStablePtr' (aka 'int') [-Wint-to-void-pointer-cast] PtrResult((Pointer)x); ^ builtin.c:1782:12: warning: cast to 'HsStablePtr' (aka 'void *') from smaller integer type 'HugsStablePtr' (aka 'int') [-Wint-to-void-pointer-cast] return (HsStablePtr)x; ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/i/inotify-tools/inotify-tools_3.14.orig.tar.gz inotifytools.c:2050:45: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] struct rbtree *ret = rbinit(event_compare, (void*)sort_event); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/m/m17n-lib/m17n-lib_1.7.0.orig.tar.gz database.c:292:10: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] val = (void *) (n * positive); ^ plist.c:440:42: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] MPLIST_SET_ADVANCE (plist, Minteger, (void *) num); ^ charset.c:382:37: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] mchartable_set (encoder, c1, (void *) code1); ^ charset.c:387:34: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] mchartable_set (encoder, c1, (void *) code1); ^ input.c:604:37: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mplist_push (ic->plist, Minteger, (void *) len); ^ input.c:617:37: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mplist_push (ic->plist, Minteger, (void *) pos); ^ input.c:2610:27: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] MPLIST_VAL (markers) = (void *) (MPLIST_INTEGER (markers) + ins); ^ input.c:2620:10: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] = (void *) (MPLIST_INTEGER (markers) + ins - (to - from)); ^ input.c:2622:29: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] MPLIST_VAL (markers) = (void *) from; ^ input.c:2807:60: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mtext_put_prop (ic->preedit, from, to, Mcandidate_index, (void *) idx); ^ input.c:3312:6: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] (void *) ic->cursor_pos); ^ input.c:3418:38: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mplist_add (func_args, Minteger, (void *) code); ^ input.c:3487:33: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mplist_set (value, Minteger, (void *) val1); ^ m17n-flt.c:516:40: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mchartable_set (table, from + i, (void *) category); ^ m17n-flt.c:608:31: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mchartable_set (table, from, (void *) category_code); ^ m17n-flt.c:610:41: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mchartable_set_range (table, from, to, (void *) category_code); ^ m17n-flt.c:2571:55: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mchartable_set_range ((MCharTable *) arg, from, to, (void *) category); ^ face.c:206:33: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] mplist_add (pl, Minteger, (void *) hline->width); ^ face.c:221:33: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] mplist_add (pl, Minteger, (void *) box->width); ^ face.c:222:33: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] mplist_add (pl, Minteger, (void *) box->inner_hmargin); ^ face.c:223:33: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] mplist_add (pl, Minteger, (void *) box->inner_vmargin); ^ face.c:224:33: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] mplist_add (pl, Minteger, (void *) box->outer_hmargin); ^ face.c:225:33: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] mplist_add (pl, Minteger, (void *) box->outer_vmargin); ^ face.c:465:6: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] (void *) (mface_prop_data[i].index + 1)); ^ face.c:640:39: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] merged_face.property[MFACE_SIZE] = (void *) font_size; ^ face.c:659:42: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] merged_face.property[MFACE_SIZE] = (void *) ifont_size; ^ font.c:1120:7: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] (void *) (j + 1)) < 0) ^ font.c:1496:41: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] msymbol_put (id, M_font_list_len, (void *) num); ^ font.c:1753:4: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] SET_FONT_PROPERTY_NUMERIC (val, key, numeric); ^ font.c:2457:14: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void *) size; ^ font.c:2462:14: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void *) resy; ^ font.c:2487:9: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void *) rfont->ascent; ^ font.c:2489:9: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void *) rfont->descent; ^ font.c:2491:9: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void *) rfont->max_advance; ^ font-ft.c:207:37: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mplist_add (plist, Mapple_roman, (void *) i); ^ font-ft.c:218:36: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mplist_add (plist, registry, (void *) i); ^ font-ft.c:221:39: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mplist_add (plist, Municode_full, (void *) unicode_full); ^ font-ft.c:226:40: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mplist_add (plist, Municode_bmp, (void *) unicode_bmp); ^ font-ft.c:233:37: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mplist_add (plist, Miso8859_1, (void *) unicode_bmp); ^ input-gui.c:305:31: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] mface_put_prop (face, Msize, (void *) ic->spot.fontsize); ^ m17n-gui.c:794:12: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void *) (frame->average_width); ^ m17n-gui.c:796:12: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void *) (frame->ascent); ^ m17n-gui.c:798:12: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void *) (frame->descent); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/m/mailutils/mailutils_2.99.98.orig.tar.xz file_stream.c:180:16: warning: cast to 'mu_transport_t' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ptrans[0] = (mu_transport_t) fstr->fd; ^ mapfile_stream.c:225:20: warning: cast to 'mu_transport_t' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ptrans[0] = (mu_transport_t) mfs->fd; ^ tcp.c:170:20: warning: cast to 'mu_transport_t' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] ptrans[0] = (mu_transport_t) tcp->fd; ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/m/mbuffer/mbuffer_20150412.orig.tar.gz mbuffer.c:763:19: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] pthread_exit((void *) in); ^ mbuffer.c:764:12: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void *) in; ^ mbuffer.c:861:15: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] pthread_exit((void *) ret); ^ mbuffer.c:1145:15: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] pthread_exit((void *)status); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/o/orage/orage_4.8.3.orig.tar.bz2 icalrecur.c:1795:40: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] pvl_push(days_list,(void*)(int)doy); ^ icalrecur.c:1807:32: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] pvl_push(days_list,(void*)(first+ (pos-1) * 7)); ^ icalrecur.c:1820:32: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] pvl_push(days_list,(void*)(last - (pos-1) * 7)); ^ icalfileset.c:212:36: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] icalparser_set_gen_data(parser,(void*)set->fd); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/p/pavuk/pavuk_0.9.35.orig.tar.gz form.c:885:59: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] if(g_list_find(GTK_CLIST(ffi->widget)->selection, (void *) ffi->idx)) ^ gprop.c:72:17: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] gp->value = (void *) atoi(p); ^ gprop.c:75:17: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] gp->value = (void *) (!strcmp(p, "true")); ^ gprop.c:155:17: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] gp->value = (void *) value; ^ gprop.c:163:17: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] gp->value = (void *) value; ^ gprop.c:181:17: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] gp->value = (void *) value; ^ gprop.c:189:17: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] gp->value = (void *) value; ^ gui_api.c:597:60: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] gtk_clist_set_row_data(GTK_CLIST(gui_cfg.logw), row, (gpointer) ! last); ^ gui_api.c:605:16: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] row, (gpointer) ! last); ^ gui_common.c:411:12: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] row, (gpointer) type); ^ gui_common.c:479:12: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] row, (gpointer) type); ^ gui_common.c:1523:46: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] gtk_object_set_user_data(GTK_OBJECT(mi), (gpointer) i); ^ gui_limits.c:519:55: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] gtk_clist_set_row_data(GTK_CLIST(tagpat.list), row, (gpointer) type); ^ gui_main.c:1259:5: warning: cast to 'gpointer' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] TBSET_ME(tbar_setup_rec[i].label, i); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/p/proxsmtp/proxsmtp_1.8.orig.tar.gz ../common/smtppass.c:730:12: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] return (void*)(ret == 0 ? 0 : 1); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/p/pth/pth_2.0.7.orig.tar.gz test_uctx.c:71:61: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] pth_uctx_make(uctx[i], NULL, 32*1024, NULL, worker, (void *)i, uctx[0]); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/r/regina-rexx/regina-rexx_3.6.orig.tar.bz2 ./threader.c:927:87: warning: cast to 'void *' from smaller integer type 'unsigned int' [-Wint-to-void-pointer-cast] rc = pthread_create( &thread[position], NULL, (program_name) ? external : instore, (void *) position ); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/r/rplay/rplay_3.3.2.orig.tar.gz rxnfa.c:388:34: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] edge->params.side_effect = (void *)rexp->params.intval; ^ rxsuper.c:272:30: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] df->future_frame.data_2 = (void *)(super->contents->is_final); ^ rxsuper.c:1107:29: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] dft->future_frame.data_2 = (void *) dest->contents->is_final; ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/r/rxp/rxp_1.5.0.orig.tar.gz src/xmlparser.c:5555:31: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] hash_set_value(id_entry, (void *)(a->type == AT_id)); ^ src/xmlparser.c:5575:28: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] hash_set_value(id_entry, (void *)(idinfo | 1)); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/s/spass/spass_3.7.orig.tar.gz ./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/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/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/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()); ^ 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); ^ 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: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)); ^ 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); ^ 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)); ^ 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])); ^ 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/eml.c:149: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_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/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()); ^ 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))); ^ 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); ^ 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]); ^ 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)); ^ 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); ^ 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.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))); ^ 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/term.c:2219:42: warning: cast to 'POINTER' (aka 'void *') from smaller integer type 'SYMBOL' (aka 'int') [-Wint-to-void-pointer-cast] term_CreateValueBinding(Top, ActMark, (POINTER)symbol_CreateStandardVariable()); ^ SPASS/term.c:2287: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)Top, ^ SPASS/term.c:2288: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); ^ 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); ^ ./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)); ^ 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: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); ^ 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/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/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); ^ 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()); ^ 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); ^ 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); ^ 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/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), ^ 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/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); ^ 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); ^ 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-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); ^ 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-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); ^ 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); ^ 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); ^ 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/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))); ^ 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))); ^ 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); ^ 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*/ ^ 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); ^ 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)) ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/s/sphinx2/sphinx2_0.6.orig.tar.gz lm3g2dmp.c:541:42: warning: cast to 'void *' from smaller integer type 'int32' (aka 'int') [-Wint-to-void-pointer-cast] hash_add (&(model->HT), word_str[wcnt], (void *) wcnt); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/t/tiff3/tiff3_3.9.6.orig.tar.gz tif_unix.c:140:6: warning: cast to 'thandle_t' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] (thandle_t) fd, ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/v/vflib3/vflib3_3.6.14.dfsg.orig.tar.gz fileman.c:141:14: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] ck.arg1 = (void*)bin_file; ^ fileman.c:217:14: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] ck.arg1 = (void*)bin_file; ^ texfonts.c:304:27: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] font->private = (void*)fid; ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/w/whowatch/whowatch_1.8.5.orig.tar.gz wdgts.c:28:34: warning: cast to 'void *' from smaller integer type 'int' [-Wint-to-void-pointer-cast] ret = wmsg_send(w, MSND_SEARCH, (void *)type); ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/w/wxwidgets2.6/wxwidgets2.6_2.6.3.2.2.orig.tar.gz ./src/tiff/tif_unix.c:130:6: warning: cast to 'thandle_t' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] (thandle_t) fd, ^ ftp://ftp.sunet.se/pub/Linux/distributions/Debian/debian/pool/main/w/wxwidgets3.0/wxwidgets3.0_3.0.2.orig.tar.bz2 ./src/tiff/libtiff/tif_unix.c:158:6: warning: cast to 'thandle_t' (aka 'void *') from smaller integer type 'int' [-Wint-to-void-pointer-cast] (thandle_t) fd, ^ ========================================================== number of projects scanned: 2196 number of warnings: 385