PR# 11310 Actual generic parameter NONE for expanded generic class crashes compiler

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2006/09/15
Class: Bug
Severity: Serious
Number: 11310
Release: 5.7.63585
Confidential: No
Status: Analyzed
Responsible: manus_eiffel
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.7) Gecko/20060627 Solaris 10 on x86
Synopsis: Actual generic parameter NONE for expanded generic class crashes compiler

Description
Compile with attached files.  Compiler dies in degree 2 if melt or degree -1 if
freeze.
To Reproduce

										

									

								

							

						

					

				

			

		

	









	

		

			
Problem Report Interactions

			

				

					
					

						

							
							

								

									
									
										

											

									
											From:prestoat2000   
											Date:2008/05/06   
											
											Download   
										

										

                                            
											
										 	
In 6.2.73306, compiler no longer crashes.  Instead, system execution fails with
violation of postcondition `same_g' of {TEST2}.feature_with_old.


											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2006/09/18   
											
											Download   
										

										

                                            
											
										 	
Added eweasel test#exec258 for this.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:manus_eiffel   
											Date:2006/09/18   
																							Status: Analyzed   
											
											Download   
										

										

                                            
											
										 	
Note: Replace NONE by any reference type and it would crash too.

											
											
											

											
										

									

								

							

							
							

								

									
									
										

											

									
											From:prestoat2000   
											Date:2006/09/15   
											
											Download   
										

										

                                            
											
										 	
Attachments for problem report #11310

											
											
											

											
											

												

													

														

															Attachment:
															test.e    
															Size:92
														

													

												

											

											
											

												

													

														

															Attachment:
															test1.e    
															Size:33
														

													

												

											

											
											

												

													

														

															Attachment:
															test.ecf    
															Size:803