[gobo-eiffel-develop] Bug in XM_EXPAT_API

[Paul C. <pa...@se...>]

Hi,

The Result of type STRING is not created in the following feature in
XM_EXPAT_API (see line 1426):

 1415 	new_string_from_c_zero_terminated_string (psz: POINTER): STRING is
 1416 			-- Eiffel STRING object created from a zero terminated C
 1417 			-- String located at `psz'.
 1418 			-- The string is copied so the memory allocated at `psz' may be
 1419 			-- freed without affecting the returned string.
 1420 		require
 1421 			psz_valid: psz /= default_pointer
 1422 		do
 1423 #ifdef SE
 1424 			create Result.from_external_copy (psz)
 1425 #else
 1426 			Result.from_c (psz)
 1427 #endif
 1428 		ensure
 1429 			string_not_void: Result /= Void
 1430 		end

It should be:

 1426 			create Result.make_from_c (psz)

/Paul

-- 
Paul Cohen
mobile: +46 730 787 035
e-mail: pau...@se...