Fix casts from void* to int on x86_64 gcc by using wxUIntPtr instead.

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@38697 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775

diff --git a/src/gtk/dataview.cpp b/src/gtk/dataview.cpp
index d0d6b5d9192b6d64f1a6685acab92df9d4aefdd6..ddfe171080624645076f37b771ac71cce3a9005e 100644 (file)
--- a/src/gtk/dataview.cpp
+++ b/src/gtk/dataview.cpp
@@ -283,7 +283,7 @@ wxgtk_list_store_get_path (GtkTreeModel *tree_model,
   
     GtkTreePath *retval = gtk_tree_path_new ();
     // user_data is just the index
-    int i = (int) iter->user_data;
+    int i = (wxUIntPtr) iter->user_data;
     gtk_tree_path_append_index (retval, i);
     return retval;
 }
@@ -341,7 +341,7 @@ wxgtk_list_store_iter_next (GtkTreeModel  *tree_model,
     
     g_return_val_if_fail (list_store->stamp == iter->stamp, FALSE);
 
-    int n = (int) iter->user_data;
+    int n = (wxUIntPtr) iter->user_data;
     
     if (n == -1)
         return FALSE;