Difference between revisions of "Void-Safe Library Results"

Revision as of 23:21, 20 January 2009

List of bugs found by compiling our library in void-safe mode.

WEL

• Call on Void target found in {WEL_TREE_VIEW}.insert_item because there is no guarantee that `user_tree_view_item' will be attached in `an_item':

insert_item (an_item: WEL_TREE_VIEW_INSERT_STRUCT)
			-- Insert `an_item' in the tree.
		require
			exists: exists
			an_item_not_void: an_item /= Void
			an_item_exists: an_item.exists
		local
			l_user_item: WEL_TREE_VIEW_ITEM
		do
			last_item := {WEL_API}.send_message_result (item, Tvm_insertitem, to_wparam (0), an_item.item)
			an_item.tree_view_item.set_h_item (last_item)
			an_item.user_tree_view_item.set_h_item (last_item)
		ensure
			new_count: count = old count + 1
		end