PR# 18835 Type of nb_recorded in retrieve.c should be rt_uint_ptr

Problem Report Summary
Submitter: prestoat2000
Category: Runtime
Priority: Low
Date: 2014/03/04
Class: Bug
Severity: Non-critical
Number: 18835
Release: 13.11.93542
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Firefox/24.0
Synopsis: Type of nb_recorded in retrieve.c should be rt_uint_ptr

Description
Currently, the type of `nb_recorded' in file retrieve.c is int32.
It should be rt_uint_ptr, since otherwise a 64-bit program that tries to do
retrieve that creates a large number of objects will not work correctly
(most likely it will crash).

This is not currently a problem for us and won't be for a long time, if ever.
But it should be fixed.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2014/03/05   
																							Status: Closed   
											
											Download   
										

										

                                            
											
										 	
Thanks, this is fixed in rev#94575.